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