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