getmap
Name | Type | Description | Optional |
---|---|---|---|
default |
?1 |
value to output when key is absent from the map |
yes |
Name | Type | Description | Optional |
---|---|---|---|
map |
map<?0>to<?1> |
a map |
no |
key |
?0 |
a key to be looked up in the map |
no |
Name | Type | Description | Optional |
---|---|---|---|
output |
?0 |
the value associated with key in the map, and default if key is absent from the map |
no |
getmap
reads a map and key from its input ports, and outputs the value associated with key in the map. if key is not bound in the map, then default is output, and if default is not given, then the default value for the value type (?1) is output.