Look up a value in a tiny dictionary.
Maybe<b> lookup( TinyDict<a, b> dict, a key )
dict A tiny dictionary
key The key to lookup
Look up a value in a tiny dictionary. Returns nothing if the key does not exist, or just(x) if it maps to x
Kaya standard library by Edwin Brady, Chris Morris and others ([email protected]). For further information see http://kayalang.org/
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.
Dict.TinyDict (3kaya)
Dict.add_1 (3kaya)
Dict.delete_1 (3kaya)
Dict.empty_1 (3kaya)
Dict.entries_1 (3kaya)
Dict.exists_1 (3kaya)
Dict.keys_1 (3kaya)
Dict.newTiny (3kaya)
Dict.vals_1 (3kaya)