Documentation

data OrdList a Source

nilOL :: OrdList a Source

isNilOL :: OrdList a -> Bool Source

unitOL :: a -> OrdList a Source

appOL :: OrdList a -> OrdList a -> OrdList a infixl 5 Source

consOL :: a -> OrdList a -> OrdList a infixr 5 Source

snocOL :: OrdList a -> a -> OrdList a infixl 5 Source

concatOL :: [OrdList a] -> OrdList a Source

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

fromOL :: OrdList a -> [a] Source

toOL :: [a] -> OrdList a Source

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

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