Darcs.Witnesses.Ordered
data
EqCheck
isEq
data
a1
:>
a2
data
a1
:<
a2
data
a1
:\/:
a2
data
a1
:/\:
a2
data
a1
:||:
a2
data
FL
a
data
RL
a
data
Proof
a
unsafeUnFL
unsafeFL
unsafeRL
unsafeUnRL
lengthFL
mapFL
mapFL_FL
spanFL
foldlFL
allFL
splitAtFL
bunchFL
foldlRL
lengthRL
isShorterThanRL
mapRL
mapRL_RL
zipWithFL
unsafeMap_l2f
filterE
filterFL
reverseFL
reverseRL
(+>+)
(+<+)
nullFL
concatFL
concatRL
concatReverseFL
headRL
class
MyEq
p
consRLSealed
nullRL
unsafeCoerceP
unsafeCoerceP2