Darcs.Witnesses.Ordered
data (a1 :> a2) x y
data (a1 :< a2) x y
data (a1 :\/: a2) x y
data (a1 :/\: a2) x y
data (a1 :||: a2) x y
data FL a x z
data RL a x z
lengthFL
mapFL
mapFL_FL
spanFL
foldlFL
allFL
anyFL
filterFL
splitAtFL
splitAtRL
bunchFL
foldlRL
lengthRL
isShorterThanRL
mapRL
mapRL_RL
zipWithFL
filterFLFL
filterRL
reverseFL
reverseRL
(+>+)
(+<+)
nullFL
concatFL
concatRL
consRLSealed
nullRL
toFL
dropWhileFL
dropWhileRL
spanFL_M
eqFL
eqFLRev
eqFLUnsafe