Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data OrdList a
- nilOL :: OrdList a
- isNilOL :: OrdList a -> Bool
- unitOL :: a -> OrdList a
- appOL :: OrdList a -> OrdList a -> OrdList a
- consOL :: a -> OrdList a -> OrdList a
- snocOL :: OrdList a -> a -> OrdList a
- concatOL :: [OrdList a] -> OrdList a
- lastOL :: OrdList a -> a
- headOL :: OrdList a -> a
- mapOL :: (a -> b) -> OrdList a -> OrdList b
- fromOL :: OrdList a -> [a]
- toOL :: [a] -> OrdList a
- foldrOL :: (a -> b -> b) -> b -> OrdList a -> b
- foldlOL :: (b -> a -> b) -> b -> OrdList a -> b
- reverseOL :: OrdList a -> OrdList a
- fromOLReverse :: OrdList a -> [a]
- strictlyEqOL :: Eq a => OrdList a -> OrdList a -> Bool
- strictlyOrdOL :: Ord a => OrdList a -> OrdList a -> Ordering
Documentation
Instances
Functor OrdList # | |
Foldable OrdList # | |
Defined in OrdList fold :: Monoid m => OrdList m -> m Source # foldMap :: Monoid m => (a -> m) -> OrdList a -> m Source # foldMap' :: Monoid m => (a -> m) -> OrdList a -> m Source # foldr :: (a -> b -> b) -> b -> OrdList a -> b Source # foldr' :: (a -> b -> b) -> b -> OrdList a -> b Source # foldl :: (b -> a -> b) -> b -> OrdList a -> b Source # foldl' :: (b -> a -> b) -> b -> OrdList a -> b Source # foldr1 :: (a -> a -> a) -> OrdList a -> a Source # foldl1 :: (a -> a -> a) -> OrdList a -> a Source # toList :: OrdList a -> [a] Source # null :: OrdList a -> Bool Source # length :: OrdList a -> Int Source # elem :: Eq a => a -> OrdList a -> Bool Source # maximum :: Ord a => OrdList a -> a Source # minimum :: Ord a => OrdList a -> a Source # | |
Traversable OrdList # | |
Semigroup (OrdList a) # | |
Monoid (OrdList a) # | |
Outputable a => Outputable (OrdList a) # | |
fromOLReverse :: OrdList a -> [a] Source #