Darcs.Witnesses.Ordered
data a1 :> a2
data a1 :< a2
data a1 :\/: a2
data a1 :/\: a2
data a1 :||: a2
data FL a
data RL a
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