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
lengthFL
mapFL
mapFL_FL
spanFL
foldlFL
allFL
anyFL
filterFL
splitAtFL
splitAtRL
bunchFL
foldlRL
lengthRL
isShorterThanRL
mapRL
mapRL_RL
zipWithFL
unsafeMap_l2f
filterE
filterFLFL
filterRL
reverseFL
reverseRL
(+>+)
(+<+)
nullFL
concatFL
concatRL
concatReverseFL
headRL
class
MyEq
p
consRLSealed
nullRL
toFL
data
a1
:>>
a2
unsafeCoercePStart
unsafeCoercePEnd
unsafeCoerceP
unsafeCoerceP2
spanFL_M