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