Hash :
ad748a00
Author :
Date :
2020-08-30T18:16:21
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 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109
when
unless
liftA1
apply
bind
discard
join
ifM
identity
whenM
unlessM
liftM1
ap
compose
otherwise
top
bottom
recip
eq
notEq
degree
div
mod
lcm
gcd
flip
const
map
void
flap
conj
disj
not
mempty
compare
min
max
comparing
clamp
between
sub
negate
append
add
zero
mul
one
show
unit
absurd
----------------------------------------------------
[
["builtin", "when"],
["builtin", "unless"],
["builtin", "liftA1"],
["builtin", "apply"],
["builtin", "bind"],
["builtin", "discard"],
["builtin", "join"],
["builtin", "ifM"],
["builtin", "identity"],
["builtin", "whenM"],
["builtin", "unlessM"],
["builtin", "liftM1"],
["builtin", "ap"],
["builtin", "compose"],
["builtin", "otherwise"],
["builtin", "top"],
["builtin", "bottom"],
["builtin", "recip"],
["builtin", "eq"],
["builtin", "notEq"],
["builtin", "degree"],
["builtin", "div"],
["builtin", "mod"],
["builtin", "lcm"],
["builtin", "gcd"],
["builtin", "flip"],
["builtin", "const"],
["builtin", "map"],
["builtin", "void"],
["builtin", "flap"],
["builtin", "conj"],
["builtin", "disj"],
["builtin", "not"],
["builtin", "mempty"],
["builtin", "compare"],
["builtin", "min"],
["builtin", "max"],
["builtin", "comparing"],
["builtin", "clamp"],
["builtin", "between"],
["builtin", "sub"],
["builtin", "negate"],
["builtin", "append"],
["builtin", "add"],
["builtin", "zero"],
["builtin", "mul"],
["builtin", "one"],
["builtin", "show"],
["builtin", "unit"],
["builtin", "absurd"]
]
----------------------------------------------------
Checks for all builtin.