Darcs.Witnesses.Ordered

data EqCheck

isEq

data a1 :> a2

data a1 :< a2

data a1 :\/: a2

data a1 :/\: a2

data a1 :||: a2

data FL a

data RL a

data Proof a

lengthFL

mapFL

mapFL_FL

spanFL

foldlFL

allFL

anyFL

filterFL

splitAtFL

splitAtRL

bunchFL

foldlRL

lengthRL

isShorterThanRL

mapRL

mapRL_RL

zipWithFL

unsafeMap_l2f

filterE

filterFLFL

filterRL

reverseFL

reverseRL

(+>+)

(+<+)

nullFL

concatFL

concatRL

concatReverseFL

headRL

class MyEq p

consRLSealed

nullRL

toFL

data a1 :>> a2

unsafeCoercePStart

unsafeCoercePEnd

unsafeCoerceP

unsafeCoerceP2

spanFL_M