doc | <+> | doc ** doc -> doc |
doc | <> | doc ** doc -> doc |
doc | ^^ | doc ** doc -> doc |
doc | angles | doc -> doc |
doc | braces | doc -> doc |
doc | brackets | doc -> doc |
doc | nest | nat ** doc -> doc |
doc | parens | doc -> doc |
doc | pretty | doc -> denotation |
doc | pretty | doc -> seq[denotation] |
doc | pretty | doc -> seq[string] |
doc | pretty | doc -> string |
doc | pretty | nat ** doc -> denotation |
doc | pretty | nat ** doc -> seq[denotation] |
doc | pretty | nat ** doc -> seq[string] |
doc | pretty | nat ** doc -> string |
doc | punctuate | doc ** seq[doc] -> seq[doc] |
doc | quotes | doc -> doc |
doc | squotes | doc -> doc |
doc | squoteslr | doc -> doc |
dom | ! | map ** dom -> codom : [1], [2], [3] |
dom | ! | rel ** dom ** codom -> data |
dom | ! | rel ** dom -> set[codom, <] |
dom | !? | map ** dom -> option[codom] : [1], [2], [3] |
dom | !? | rel ** dom ** codom -> option[data] |
dom | / | (dom ** codom ** data ** to -> to) ** to ** rel[dom, <, codom, <, data] -> to |
dom | / | (dom ** codom ** to -> to) ** to ** map[dom, <, codom] -> to : [1], [2], [3] |
dom | / | (dom ** codom ** to -> to) ** to -> map[dom, <, codom] -> to : [1], [2] |
dom | :-> | dom ** codom -> (dom ** codom -> data) -> rel |
dom | :-> | dom ** codom -> data -> rel |
dom | < | dom ** dom -> bool : [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30], [31] |
dom | ` | (dom -> denotation) ** (codom -> denotation) ** (data -> denotation) -> rel[dom, <, codom, <, data] -> denotation |
dom | ` | (dom -> denotation) ** (codom -> denotation) -> map[dom, <, codom] -> denotation : [1], [2], [3] |
dom | ` | (dom -> string) ** (codom -> string) ** (data -> string) -> rel[dom, <, codom, <, data] -> string |
dom | ` | (dom -> string) ** (codom -> string) -> map[dom, <, codom] -> string : [1], [2], [3] |
dom | def | dom ** codom ** map -> map : [1], [2], [3] |
dom | def? | dom ** map -> bool : [1], [2], [3] |
dom | def? | rel ** dom -> bool |
dom | excl | dom ** codom ** rel -> rel |
dom | exist? | (dom ** codom ** data -> bool) ** rel -> bool |
dom | exist? | (dom ** codom -> bool) ** map -> bool : [1], [2], [3] |
dom | exist? | (dom ** codom -> bool) ** rel -> bool |
dom | extend | rel ** seq[dom] ** seq[codom] ** (dom ** codom -> data) -> rel |
dom | find? | (dom ** codom ** data -> bool) ** rel -> option[triple[dom, codom, data]] |
dom | find? | (dom ** codom -> bool) ** map -> option[pair[dom, codom]] : [1], [2], [3] |
dom | find? | (dom ** codom -> bool) ** rel -> option[pair[dom, codom]] |
dom | fmtMap | (dom -> fmt) ** (codom -> fmt) -> map[dom, <, codom] -> fmt |
dom | forall? | (dom ** codom ** data -> bool) ** rel -> bool |
dom | forall? | (dom ** codom -> bool) ** map -> bool : [1], [2], [3] |
dom | forall? | (dom ** codom -> bool) ** rel -> bool |
dom | gen | dom ** dom -> data |
dom | in | dom ** codom ** rel -> bool |
dom | incl | dom ** codom ** (dom ** codom -> data) ** rel -> rel |
dom | incl | dom ** codom ** data ** rel -> rel |
dom | init | set[dom, <] ** (dom -> codom) -> map : [1], [2], [3] |
dom | iter | dom ** (dom -> dom) ** (dom -> bool) -> (dom -> codom) -> map : [1], [2], [3] |
dom | partition | (dom ** codom ** data -> bool) ** rel[dom, <, codom, <, data] -> rel[dom, <, codom, <, data] ** rel[dom, <, codom, <, data] |
dom | partition | (dom ** codom -> bool) ** map[dom, <, codom] -> map[dom, <, codom] ** map[dom, <, codom] : [1], [2], [3] |
dom | undef | dom ** map -> map : [1], [2], [3] |
dom | upd | dom ** (codom -> codom) ** map -> map : [1], [2], [3] |
dom | x | dom ** set[codom, <] -> (dom ** codom -> data) -> rel |
dom | | | (dom ** codom ** data -> bool) ** rel[dom, <, codom, <, data] -> rel[dom, <, codom, <, data] |
dom | | | (dom ** codom -> bool) ** map[dom, <, codom] -> map[dom, <, codom] : [1], [2], [3] |
domFrom | * | (domFrom ** codomFrom ** dataFrom -> domTo ** codomTo ** dataTo) ** rel[domFrom, <, codomFrom, <, dataFrom] -> rel[domTo, <, codomTo, <, dataTo] |
domFrom | * | (domFrom -> domTo) ** (codomFrom -> codomTo) ** (dataFrom -> dataTo) ** rel[domFrom, <, codomFrom, <, dataFrom] -> rel[domTo, <, codomTo, <, dataTo] |
domFrom | < | domFrom ** domFrom -> bool |
domTo | * | (domFrom ** codomFrom ** dataFrom -> domTo ** codomTo ** dataTo) ** rel[domFrom, <, codomFrom, <, dataFrom] -> rel[domTo, <, codomTo, <, dataTo] |
domTo | * | (domFrom -> domTo) ** (codomFrom -> codomTo) ** (dataFrom -> dataTo) ** rel[domFrom, <, codomFrom, <, dataFrom] -> rel[domTo, <, codomTo, <, dataTo] |
domTo | < | domTo ** domTo -> bool |