Documentation

data OrdList a Source

nilOL :: OrdList aSource

isNilOL :: OrdList a -> BoolSource

unitOL :: a -> OrdList aSource

appOL :: OrdList a -> OrdList a -> OrdList aSource

consOL :: a -> OrdList a -> OrdList aSource

snocOL :: OrdList a -> a -> OrdList aSource

concatOL :: [OrdList a] -> OrdList aSource

mapOL :: (a -> b) -> OrdList a -> OrdList bSource

fromOL :: OrdList a -> [a]Source

toOL :: [a] -> OrdList aSource

foldrOL :: (a -> b -> b) -> b -> OrdList a -> bSource

foldlOL :: (b -> a -> b) -> b -> OrdList a -> bSource