Darcs.Patch.Witnesses.Ordered
data (a1 :> a2) wX wY
data (a1 :< a2) wX wY
data FL a wX wZ
data RL a wX wZ
data (a1 :\/: a2) wX wY
data (a3 :/\: a4) wX wY
data (a1 :||: a2) wX wY
data Fork common left right wA wX wY
lengthFL
mapFL
mapFL_FL
spanFL
foldlFL
allFL
anyFL
filterFL
splitAtFL
splitAtRL
bunchFL
foldlRL
lengthRL
isShorterThanRL
mapRL
mapRL_RL
zipWithFL
filterOutFLFL
filterOutRLRL
filterRL
reverseFL
reverseRL
(+>+)
(+<+)
nullFL
concatFL
concatRL
consRLSealed
nullRL
toFL
dropWhileFL
dropWhileRL
spanFL_M
mapFL_FL_M
eqFL
eqFLRev
eqFLUnsafe