Dict.lookup_13kaya
Look up a value in a tiny dictionary.
Usage
Maybe<b> lookup( TinyDict<a, b> dict, a key )
Arguments
dict A tiny dictionary
key The key to lookup
Overview
Look up a value in a tiny dictionary. Returns nothing if the key does not exist, or just(x) if it maps to x
Releases
4 releases since Debian 5.0 (Lenny); the text changed 3 times.