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