next node: [ ro ] to [ se ],
prev node: [ op ] to [ pa ],
up to node: Function Index By Codomain

Function Index By Codomain [ pe ] to [ re ]

[ 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 ]

pe

permission groupExec permission
permission groupRead permission
permission groupWrite permission
permission ownerExec permission
permission ownerRead permission
permission ownerWrite permission
permission setGIdOnExec permission
permission setUIdOnExec permission
permission stickyBit permission
permission worldExec permission
permission worldRead permission
permission worldWrite permission

po

point @ denotation ** denotation -> point
point @ real ** real -> point
point point eventInfo -> point
point point index -> point
position + position ** position -> position
position - position ** position -> position
position :=_col position ** nat -> position
position :=_row position ** nat -> position
position advanceCol nat ** position -> position
position advanceCol position -> position
position advanceRow nat ** position -> position
position advanceRow position -> position
position origin position
position position nat ** nat -> position
position unknown position
positionRequest position positionRequest

pr

process child fission -> process
process pGroup sighandler -> process
process process sighandler -> process
process self process
procstat failure procstat
procstat status childstat -> procstat
procstat status sighandler -> procstat
procstat success procstat

qu

quad & data1 ** data2 ** data3 ** data4 -> quad
quad[data1, data2, data3, data4] ` (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) ** (data4 -> denotation) -> quad[data1, data2, data3, data4] -> denotation
quad[data1, data2, data3, data4] ` denotation ** denotation ** denotation -> (data1 -> denotation) ** (data2 -> denotation) ** (data3 -> denotation) ** (data4 -> denotation) -> quad[data1, data2, data3, data4] -> denotation
quad[data11, data21, data31, data41] * (data1 -> data11) ** (data2 -> data21) ** (data3 -> data31) ** (data4 -> data41) ** quad[data1, data2, data3, data4] -> quad[data11, data21, data31, data41]

ra

range range index ** index -> range

re

real ! denotation -> real
real * real ** real -> real
real + real ** real -> real
real - real ** real -> real
real - real -> real
real - time ** time -> real
real . nat ** nat -> real
real / real ** real -> real
real 0 real
real 1000000 real
real 100000 real
real 10000 real
real 1000 real
real 100 real
real 1024 real
real 10 real
real 11 real
real 128 real
real 12 real
real 13 real
real 14 real
real 15 real
real 16 real
real 17 real
real 18 real
real 19 real
real 1 real
real 20 real
real 21 real
real 22 real
real 23 real
real 24 real
real 256 real
real 25 real
real 26 real
real 27 real
real 28 real
real 29 real
real 2 real
real 30 real
real 31 real
real 32 real
real 3 real
real 4 real
real 512 real
real 5 real
real 64 real
real 6 real
real 7 real
real 8 real
real 9 real
real ^ real ** real -> real
real abs real -> real
real arccos real -> real
real arcsin real -> real
real arctan2 real ** real -> real
real arctan real -> real
real asMM string -> real
real asReal int -> real
real asReal nat -> real
real asReal sreal -> real
real ceil real -> real
real convReal string -> real
real cos real -> real
real cosh real -> real
real deg real -> real
real depth metrics -> real
real dimensions metrics -> denotation -> real ** real
real e real
real eps real
real exp real -> real
real first scrollWindow -> real
real floor real -> real
real height metrics -> real
real height size -> real
real last scrollWindow -> real
real lineskip metrics -> real
real ln real -> real
real log real -> real
real max real
real max real ** real -> real
real min real
real min real ** real -> real
real pi real
real pixelSize real
real pos scrollView -> real
real pow real ** real -> real
real px denotation -> real
real px real -> real
real rad real -> real
real real union -> real
real screenHeight real
real screenResolution real
real screenWidth real
real sign real -> real
real sin real -> real
real sinh real -> real
real sqrt real -> real
real tan real -> real
real tanh real -> real
real width size -> real
real xc point -> real
real yc point -> real
regulator regulator1 mapEntry -> regulator : [1], [2]
regulator regulator2 mapEntry -> regulator : [1], [2]
regulator regulator aEntry -> regulator : [1], [2]
regulator regulator seqEntry -> regulator : [1], [2]
regulator regulator setEntry -> regulator : [1], [2]
rel * rel ** rel -> rel
rel + rel ** rel -> rel
rel - rel ** rel -> rel
rel :-> dom ** codom -> (dom ** codom -> data) -> rel
rel :-> dom ** codom -> data -> rel
rel < rel
rel <| set[dom, <] ** rel -> rel
rel <~| set[dom, <] ** rel -> rel
rel = rel
rel > rel
rel cmp (data ** data -> bool) -> option[data] ** option[data] -> rel
rel cmp (data ** data -> bool) -> seq[data] ** seq[data] -> rel
rel cmp (data1 ** data1 -> bool) ** (data2 ** data2 -> bool) -> pair[data1, data2] ** pair[data1, data2] -> rel
rel excl dom ** codom ** rel -> rel
rel extend rel ** seq[dom] ** seq[codom] ** (dom ** codom -> data) -> rel
rel extend rel ** seq[dom] ** seq[codom] ** seq[data] -> rel
rel incl dom ** codom ** (dom ** codom -> data) ** rel -> rel
rel incl dom ** codom ** data ** rel -> rel
rel x dom ** set[codom, <] -> (dom ** codom -> data) -> rel
rel x set[dom, <] ** codom -> (dom ** codom -> data) -> rel
rel x set[dom, <] ** set[codom, <] -> (dom ** codom -> data) -> rel
rel {} rel
rel |> rel ** set[codom, <] -> rel
rel |~> rel ** set[codom, <] -> rel
rel[codom, <, dom, <, data] ~ rel[dom, <, codom, <, data] -> rel[codom, <, dom, <, data]
rel[dom, <, codom, <, data3] ; rel[dom, <, mid, <, data1] ** rel[mid, <, codom, <, data2] -> rel[dom, <, codom, <, data3]
rel[dom, <, codom, <, data3] o rel[mid, <, codom, <, data2] ** rel[dom, <, mid, <, data1] -> rel[dom, <, codom, <, data3]
rel[dom, <, codom, <, data] ` (dom -> denotation) ** (codom -> denotation) ** (data -> denotation) -> rel[dom, <, codom, <, data] -> denotation
rel[dom, <, codom, <, data] ` (dom -> string) ** (codom -> string) ** (data -> string) -> rel[dom, <, codom, <, data] -> string
rel[dom, <, codom, <, data] ` denotation ** denotation ** denotation -> (dom ** codom ** data -> denotation) -> rel[dom, <, codom, <, data] -> denotation
rel[dom, <, codom, <, data] ` denotation ** denotation ** denotation -> (dom ** codom ** data -> string) -> rel[dom, <, codom, <, data] -> string
rel[dom, <, codom, <, data] ` denotation ** denotation ** denotation -> (dom -> denotation) ** (codom -> denotation) ** (data -> denotation) -> rel[dom, <, codom, <, data] -> denotation
rel[dom, <, codom, <, data] ` denotation ** denotation ** denotation -> (dom -> string) ** (codom -> string) ** (data -> string) -> rel[dom, <, codom, <, data] -> string
rel[dom, <, codom, <, data] abs map[dom, <, map[codom, <, data]] -> rel[dom, <, codom, <, data]
rel[dom, <, codom, <, data] asRel seq[triple[dom, codom, data]] -> rel[dom, <, codom, <, data]
rel[dom, <, codom, <, data] partition (dom ** codom ** data -> bool) ** rel[dom, <, codom, <, data] -> rel[dom, <, codom, <, data] ** rel[dom, <, codom, <, data]
rel[dom, <, codom, <, data] | (dom ** codom ** data -> bool) ** rel[dom, <, codom, <, data] -> rel[dom, <, codom, <, data]
rel[dom, <, dom, <, data] * rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data]
rel[dom, <, dom, <, data] + rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data]
rel[dom, <, dom, <, data] ^ rel[dom, <, dom, <, data] ** nat -> rel[dom, <, dom, <, data]
rel[dom, <, dom, <, data] id set[dom, <] -> rel[dom, <, dom, <, data]
rel[dom, <, dom, <, data] iter rel[dom, <, dom, <, data] ** nat -> rel[dom, <, dom, <, data]
rel[dom, <, dom, <, data] refClosure rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data]
rel[dom, <, dom, <, data] refTransClosure rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data]
rel[dom, <, dom, <, data] RSTClosure rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data]
rel[dom, <, dom, <, data] symClosure rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data]
rel[dom, <, dom, <, data] transClosure rel[dom, <, dom, <, data] -> rel[dom, <, dom, <, data]
rel[domTo, <, codomTo, <, dataTo] * (domFrom ** codomFrom ** dataFrom -> domTo ** codomTo ** dataTo) ** rel[domFrom, <, codomFrom, <, dataFrom] -> rel[domTo, <, codomTo, <, dataTo]
rel[domTo, <, codomTo, <, dataTo] * (domFrom -> domTo) ** (codomFrom -> codomTo) ** (dataFrom -> dataTo) ** rel[domFrom, <, codomFrom, <, dataFrom] -> rel[domTo, <, codomTo, <, dataTo]
relief flat relief
relief groove relief
relief raised relief
relief relief denotation -> relief
relief ridge relief
relief sunken relief
res . arg ** (arg -> res) -> res
res ; (arg -> inter) ** (inter -> res) -> arg -> res
res ; (arg1 ** arg2 ** arg3 ** arg4 -> inter) ** (inter -> res) -> arg1 ** arg2 ** arg3 ** arg4 -> res
res ; (arg1 ** arg2 ** arg3 -> inter) ** (inter -> res) -> arg1 ** arg2 ** arg3 -> res
res ; (arg1 ** arg2 -> inter) ** (inter -> res) -> arg1 ** arg2 -> res
res const res -> arg -> res
res curry (arg1 ** arg2 -> res) -> arg1 -> arg2 -> res
res flip (arg1 ** arg2 -> res) -> arg2 ** arg1 -> res
res flip (arg1 -> arg2 -> res) -> arg2 -> arg1 -> res
res o (inter -> res) ** (arg -> inter) -> arg -> res
res o (inter -> res) ** (arg1 ** arg2 ** arg3 ** arg4 -> inter) -> arg1 ** arg2 ** arg3 ** arg4 -> res
res o (inter -> res) ** (arg1 ** arg2 ** arg3 -> inter) -> arg1 ** arg2 ** arg3 -> res
res o (inter -> res) ** (arg1 ** arg2 -> inter) -> arg1 ** arg2 -> res
res uncurry (arg1 -> arg2 -> res) -> arg1 ** arg2 -> res
res1 const res1 ** res2 -> arg -> res1 ** res2
res1 | (arg1 -> res1) ** (arg2 -> res2) -> arg1 ** arg2 -> res1 ** res2
res2 const res1 ** res2 -> arg -> res1 ** res2
res2 | (arg1 -> res1) ** (arg2 -> res2) -> arg1 ** arg2 -> res1 ** res2

next node: [ ro ] to [ se ],
prev node: [ op ] to [ pa ],
up to node: Function Index By Codomain