---
name: "Dict.delete_1"
section: "3kaya"
platform: "linux"
package: "kaya"
version: "0.4.4-6.2"
release: "Debian 8 (Jessie)"
platforms: ["linux"]
url: "https://new.carta.tech/Dict.delete_1"
---

# Dict.delete\_1(3kaya)

Remove an entry from a tiny dictionary

## NAME

Dict::delete - Remove an entry from a tiny dictionary

## SYNOPSIS

**Void delete(** *TinyDict\<a, b\>  dict, a key* **)**

## ARGUMENTS

**dict** A tiny dictionary

**a** The key of the entry to remove.

## DESCRIPTION

Remove the entry with the given key from the tiny dictionary.

## AUTHORS

Kaya standard library by Edwin Brady, Chris Morris and others (kaya@kayalang.org). For further information see http://kayalang.org/

## LICENSE

The Kaya standard library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (version 2.1 or any later version) as published by the Free Software Foundation.

## RELATED

**Dict.TinyDict (3kaya)**

**Dict.add\_1 (3kaya)**

**Dict.empty\_1 (3kaya)**

**Dict.entries\_1 (3kaya)**

**Dict.exists\_1 (3kaya)**

**Dict.keys\_1 (3kaya)**

**Dict.lookup\_1 (3kaya)**

**Dict.newTiny (3kaya)**

**Dict.vals\_1 (3kaya)**