next node: [ de ],
prev node: [ co ],
up to node: Function Index By Codomain

Function Index By Codomain [ cu ] to [ da ]

[ a ] [ al ] [ an ] [ ar ] [ b ] [ ba ] [ bi ] [ bo ] [ bs ] [ ca ] [ ch ] [ co ] [ cu ] [ da ] [ de ] [ do ] [ dr ] [ dy ] [ ei ] [ en ] [ ev ] [ fi ] [ fm ] [ fo ] [ fr ] [ fu ] [ gr ] [ he ] [ ic ] [ im ] [ in ] [ is ] [ it ] [ jo ] [ ju ] [ ma ] [ mo ] [ na ] [ op ] [ or ] [ ou ] [ pa ] [ pe ] [ po ] [ pr ] [ qu ] [ ra ] [ re ] [ ro ] [ sc ] [ se ] [ si ] [ so ] [ sr ] [ st ] [ su ] [ ta ] [ ti ] [ to ] [ tr ] [ un ] [ us ] [ ve ] [ vi ] [ vo ] [ wc ] [ wd ] [ wi ] [ wr ]

cu

cursor arrow cursor
cursor boat cursor
cursor circle cursor
cursor clock cursor
cursor cursor denotation -> cursor
cursor diamondCross cursor
cursor dot cursor
cursor drapedBox cursor
cursor exchange cursor
cursor file denotation ** denotation -> cursor
cursor fleur cursor
cursor gobbler cursor
cursor gumby cursor
cursor hand1 cursor
cursor hand2 cursor
cursor pencil cursor
cursor plus cursor
cursor spraycan cursor
cursor target cursor
cursor tcross cursor
cursor watch cursor

da

dArray := dArray ** nat ** data -> dArray
dArray abs array[data] ** set ** nat -> dArray
dArray empty dArray
dArray empty nat -> dArray
dArray extend dArray ** nat ** (nat -> data) -> dArray
dArray extend dArray ** nat ** data -> dArray
dArray init nat ** (nat -> data) -> dArray
dArray init nat ** data -> dArray
dArray init nat -> nat ** (nat -> data) -> dArray
dArray init nat -> nat ** data -> dArray
dArray swap dArray ** nat ** nat -> dArray
dArray upd nat ** (data -> data) ** dArray -> dArray
dArray upd nat ** data ** dArray -> dArray
dArray[data] ` (data -> denotation) -> dArray[data] -> denotation
dArray[data] ` (data -> string) -> dArray[data] -> string
dArray[data] asDArray array[data] -> dArray[data]
dArray[data] asDArray seq[data] -> dArray[data]
dArray[data] drop (data -> bool) ** dArray[data] -> dArray[data]
dArray[data] partition (data -> bool) ** dArray[data] -> dArray[data] ** dArray[data]
dArray[data] split (data -> bool) ** dArray[data] -> dArray[data] ** dArray[data]
dArray[data] take (data -> bool) ** dArray[data] -> dArray[data]
dArray[data] | (data -> bool) ** dArray[data] -> dArray[data]
dArray[to] * (from -> to) ** dArray[from] -> dArray[to]
data ! array ** nat -> data
data ! bstree[data, <] ** nat -> data
data ! dArray ** nat -> data
data ! heap[data, <] ** nat -> data
data ! iseq[data] ** nat -> data
data ! rel ** dom ** codom -> data
data ! seq[data] ** nat -> data
data ! tree[data] ** nat -> data
data % (data -> bool) -> data ** data -> bool
data ++ data ** data -> data
data .. nat ** nat -> (nat -> data) -> bag
data .. nat ** nat -> (nat -> data) -> seq
data .. nat ** nat -> (nat -> data) -> set : [1], [2]
data .. nat -> (nat -> data) -> iseq
data / (data ** data -> data) ** array[data] -> data
data / (data ** data -> data) ** bag[data, <] -> data
data / (data ** data -> data) ** dArray[data] -> data
data / (data ** data -> data) ** seq[data] -> data
data / (data ** data -> data) ** set[data, <] -> data : [1], [2]
data :-> dom ** codom -> (dom ** codom -> data) -> rel
data :-> dom ** codom -> data -> rel
data :: (data ** data -> bool) ** (data ** data -> bool) -> data ** data -> bool
data :: (data -> bool) ** (data ** data -> bool) -> data ** data -> bool
data @! parser ** string -> data
data \ (data ** data -> data) ** array[data] -> data
data \ (data ** data -> data) ** dArray[data] -> data
data \ (data ** data -> data) ** seq[data] -> data
data ^ (data -> data) ** nat -> data -> data
data ` denotation ** denotation ** denotation -> (data -> denotation) -> iseq[data] -> denotation
data ` denotation ** denotation ** denotation -> (data -> denotation) -> seq[data] -> denotation
data ` denotation ** denotation ** denotation -> (data -> denotation) -> set[data, <] -> denotation : [1], [2]
data ` denotation ** denotation ** denotation -> (data -> string) -> iseq[data] -> string
data ` denotation ** denotation ** denotation -> (data -> string) -> seq[data] -> string
data ` denotation ** denotation ** denotation -> (data -> string) -> set[data, <] -> string : [1], [2]
data ` denotation ** denotation ** denotation -> (dom ** codom ** data -> denotation) -> rel[dom, <, codom, <, data] -> denotation
data ` denotation ** denotation ** denotation -> (dom ** codom ** data -> string) -> rel[dom, <, codom, <, data] -> string
data ` denotation ** denotation ** denotation -> (dom -> denotation) ** (codom -> denotation) ** (data -> denotation) -> rel[dom, <, codom, <, data] -> denotation
data ` denotation ** denotation ** denotation -> (dom -> string) ** (codom -> string) ** (data -> string) -> rel[dom, <, codom, <, data] -> string
data ` denotation ** denotation ** denotation -> nat ** (data -> denotation) -> iseq[data] -> denotation
data ` denotation ** denotation ** denotation -> nat ** (data -> string) -> iseq[data] -> string
data and (data -> bool) ** (data -> bool) -> data -> bool
data arb bag -> data
data arb rel -> dom ** codom ** data
data arb set -> data : [1], [2]
data cF set -> data -> bool
data cond (data -> bool) ** (data -> data) ** (data -> data) -> data -> data
data cont data -> option -> data
data cont option -> data
data data ans -> data
data EXEC com -> data
data extractMin heap -> data ** heap
data find? (data -> bool) ** iseq -> data
data for nat ** nat ** (nat ** data -> data) -> data -> data
data ft iseq -> data
data ft seq -> data
data gen dom ** dom -> data
data id data -> data
data init nat -> nat ** (nat -> data) -> dArray
data init nat -> nat ** data -> dArray
data INLINE denotation ** denotation ** denotation -> data
data iter nat ** (data -> data) -> data -> data
data last seq -> data
data leftmost bstree -> data
data leftmost heap -> data
data leftmost tree -> data
data max set -> data : [1], [2]
data min bstree -> data
data min heap -> data
data min set -> data : [1], [2]
data or (data -> bool) ** (data -> bool) -> data -> bool
data PRINT bool ** (() -> denotation) ** data -> data
data PRINT bool ** (() -> fmt) ** data -> data
data PRINT bool ** (() -> string) ** data -> data
data PRINT bool ** denotation ** data -> data
data PRINT bool ** fmt ** data -> data
data PRINT bool ** string ** data -> data
data PRINT denotation ** (() -> denotation) ** data -> data
data PRINT denotation ** (() -> string) ** data -> data
data PRINT denotation ** denotation ** data -> data
data PRINT denotation ** string ** data -> data
data rightmost bstree -> data
data rightmost heap -> data
data rightmost tree -> data
data unpack dyn ** denotation -> data
data until (data -> bool) ** (data -> data) -> data -> data
data val bstree -> data
data val heap -> data
data val tree -> data
data while (data -> bool) ** (data -> data) -> data -> data
data x dom ** set[codom, <] -> (dom ** codom -> data) -> rel
data x set[dom, <] ** codom -> (dom ** codom -> data) -> rel
data x set[dom, <] ** set[codom, <] -> (dom ** codom -> data) -> rel
data ~ (data -> bool) -> data -> bool
data ~ data -> data
data1 1st data1 ** data2 ** data3 ** data4 -> data1
data1 1st data1 ** data2 ** data3 -> data1
data1 1st data1 ** data2 -> data1
data1 1st pair -> data1
data1 1st quad -> data1
data1 1st triple -> data1
data1 ` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) ** (data4 -> denotation) -> quad[data1, data2, data3, data4] -> denotation
data1 ` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) -> triple[data1, data2, data3] -> denotation
data1 ` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) -> pair[data1, data2] -> denotation
data1 cont1 union -> data1 : [1], [2], [3]
data1 unpair pair -> data1 ** data2
data1 unquad quad -> data1 ** data2 ** data3 ** data4
data1 untriple triple -> data1 ** data2 ** data3
data2 2nd data1 ** data2 ** data3 ** data4 -> data2
data2 2nd data1 ** data2 ** data3 -> data2
data2 2nd data1 ** data2 -> data2
data2 2nd pair -> data2
data2 2nd quad -> data2
data2 2nd triple -> data2
data2 ` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) ** (data4 -> denotation) -> quad[data1, data2, data3, data4] -> denotation
data2 ` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) -> triple[data1, data2, data3] -> denotation
data2 ` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) -> pair[data1, data2] -> denotation
data2 cont2 union -> data2 : [1], [2], [3]
data2 f data1 -> data2
data2 unpair pair -> data1 ** data2
data2 unquad quad -> data1 ** data2 ** data3 ** data4
data2 untriple triple -> data1 ** data2 ** data3
data3 ++ data1 ** data2 -> data3
data3 3rd data1 ** data2 ** data3 ** data4 -> data3
data3 3rd data1 ** data2 ** data3 -> data3
data3 3rd quad -> data3
data3 3rd triple -> data3
data3 ` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) ** (data4 -> denotation) -> quad[data1, data2, data3, data4] -> denotation
data3 ` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) -> triple[data1, data2, data3] -> denotation
data3 cont3 union -> data3 : [1], [2]
data3 unquad quad -> data1 ** data2 ** data3 ** data4
data3 untriple triple -> data1 ** data2 ** data3
data4 4th data1 ** data2 ** data3 ** data4 -> data4
data4 4th quad -> data4
data4 ` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) ** (data4 -> denotation) -> quad[data1, data2, data3, data4] -> denotation
data4 cont4 union -> data4
data4 unquad quad -> data1 ** data2 ** data3 ** data4

next node: [ de ],
prev node: [ co ],
up to node: Function Index By Codomain