option | < | (data ** data -> bool) -> option ** option -> bool |
option | = | (data ** data -> bool) -> option ** option -> bool |
option | avail | data -> option |
option | cont | data -> option -> data |
option | nil | option |
option[bool] | dst? | time -> option[bool] |
option[bool] | scan | string -> option[bool] ** string |
option[bstree[data, <]] | !? | bstree[data, <] ** nat -> option[bstree[data, <]] |
option[char] | find? | (char -> bool) ** string -> option[char] |
option[char] | scan | string -> option[char] ** string |
option[codom] | !? | map ** dom -> option[codom] : [1], [2], [3] |
option[codom] | !? | natMap ** nat -> option[codom] |
option[data] | !? | bstree[data, <] ** nat -> option[data] |
option[data] | !? | dArray ** nat -> option[data] |
option[data] | !? | heap[data, <] ** nat -> option[data] |
option[data] | !? | rel ** dom ** codom -> option[data] |
option[data] | !? | tree[data] ** nat -> option[data] |
option[data] | @ | parser ** string -> option[data] |
option[data] | ` | (data -> denotation) -> option[data] -> denotation |
option[data] | asFct | parser -> string -> option[data] ** string |
option[data] | cmp | (data ** data -> bool) -> option[data] ** option[data] -> rel |
option[data] | eq? | (data ** data -> bool) -> option[data] ** option[data] -> bool |
option[data] | find? | (data -> bool) ** bag -> option[data] |
option[data] | find? | (data -> bool) ** bstree -> option[data] |
option[data] | find? | (data -> bool) ** heap -> option[data] |
option[data] | find? | (data -> bool) ** iseq -> option[data] |
option[data] | find? | (data -> bool) ** seq -> option[data] |
option[data] | find? | (data -> bool) ** set -> option[data] : [1], [2] |
option[data] | find? | (data -> bool) ** tree -> option[data] |
option[data] | fmtOption | (data -> fmt) -> option[data] -> fmt |
option[data] | tryUnpack | dyn ** denotation -> option[data] |
option[denotation] | applEnv | denotation -> option[denotation] |
option[heap[data, <]] | !? | heap[data, <] ** nat -> option[heap[data, <]] |
option[int] | scan | string -> option[int] ** string |
option[nat] | find? | (nat -> bool) ** set -> option[nat] |
option[nat] | pos | (char -> bool) ** string -> option[nat] |
option[nat] | pos | (data -> bool) ** iseq[data] -> option[nat] |
option[nat] | pos | (data -> bool) ** seq[data] -> option[nat] |
option[nat] | scan | string -> option[nat] ** string |
option[pair[dom, codom]] | find? | (dom ** codom -> bool) ** map -> option[pair[dom, codom]] : [1], [2], [3] |
option[pair[dom, codom]] | find? | (dom ** codom -> bool) ** rel -> option[pair[dom, codom]] |
option[pair[nat, codom]] | find? | (nat ** codom -> bool) ** natMap -> option[pair[nat, codom]] |
option[real] | scan | string -> option[real] ** string |
option[res] | * | (arg -> res) ** option[arg] -> option[res] |
option[seq[union]] | scan | denotation ** string -> option[seq[union]] |
option[tree[data]] | !? | tree[data] ** nat -> option[tree[data]] |
option[triple[dom, codom, data]] | find? | (dom ** codom ** data -> bool) ** rel -> option[triple[dom, codom, data]] |