manager | external | manager |
manager | internal | manager |
managerRequest | manager | managerRequest |
map | ! | codom -> map ** dom -> codom |
map | .. | nat ** nat -> (nat -> dom) ** (dom -> codom) -> map : [1], [2], [3] |
map | <+ | map ** map -> map : [1], [2], [3] |
map | <- | map ** set[dom, <] -> map : [1], [2], [3] |
map | abs | set[pair[dom, codom], less] -> map : [1], [2] |
map | def | dom ** codom ** map -> map : [1], [2], [3] |
map | extend | map ** seq[dom] ** seq[codom] -> map : [1], [2], [3] |
map | init | set[dom, <] ** (dom -> codom) -> map : [1], [2], [3] |
map | iter | dom ** (dom -> dom) ** (dom -> bool) -> (dom -> codom) -> map : [1], [2], [3] |
map | undef | dom ** map -> map : [1], [2], [3] |
map | upd | dom ** (codom -> codom) ** map -> map : [1], [2], [3] |
map | {} | map : [1], [2], [3] |
map[codom, <, dom] | invert | map[dom, <, codom] -> map[codom, <, dom] : [1], [2], [3] |
map[dom, <, codom] | / | (codom ** to -> to) ** to -> map[dom, <, codom] -> to : [1], [2] |
map[dom, <, codom] | / | (dom ** codom ** to -> to) ** to -> map[dom, <, codom] -> to : [1], [2] |
map[dom, <, codom] | ` | (dom -> denotation) ** (codom -> denotation) -> map[dom, <, codom] -> denotation : [1], [2], [3] |
map[dom, <, codom] | ` | (dom -> string) ** (codom -> string) -> map[dom, <, codom] -> string : [1], [2], [3] |
map[dom, <, codom] | ` | denotation -> denotation ** denotation ** denotation -> (dom -> denotation) ** (codom -> denotation) -> map[dom, <, codom] -> denotation : [1], [2], [3] |
map[dom, <, codom] | ` | denotation -> denotation ** denotation ** denotation -> (dom -> string) ** (codom -> string) -> map[dom, <, codom] -> string : [1], [2], [3] |
map[dom, <, codom] | abs | set[pair[dom, codom], less] -> map[dom, <, codom] |
map[dom, <, codom] | asMap | seq[pair[dom, codom]] -> map[dom, <, codom] : [1], [2], [3] |
map[dom, <, codom] | fmtMap | (dom -> fmt) ** (codom -> fmt) -> map[dom, <, codom] -> fmt |
map[dom, <, codom] | implode | seq[pair[dom, codom]] -> map[dom, <, codom] : [1], [2] |
map[dom, <, codom] | o | map[dom, <, interdom] ** map[interdom, <, codom] -> map[dom, <, codom] : [1], [2], [3] |
map[dom, <, codom] | partition | (dom ** codom -> bool) ** map[dom, <, codom] -> map[dom, <, codom] ** map[dom, <, codom] : [1], [2], [3] |
map[dom, <, codom] | | | (dom ** codom -> bool) ** map[dom, <, codom] -> map[dom, <, codom] : [1], [2], [3] |
map[dom, <, codomTo] | * | (codomFrom -> codomTo) ** map[dom, <, codomFrom] -> map[dom, <, codomTo] : [1], [2], [3] |
map[dom, <, map[codom, <, data]] | rep | rel[dom, <, codom, <, data] -> map[dom, <, map[codom, <, data]] |
mark | current | mark |
mark | insert | mark |
mark | mark | index -> mark |