ghc-8.10.2: The GHC API
Safe HaskellNone
LanguageHaskell2010

OrdList

Synopsis

Documentation

data OrdList a Source #

Instances

Instances details
Functor OrdList # 
Instance details

Defined in OrdList

Methods

fmap :: (a -> b) -> OrdList a -> OrdList b Source #

(<$) :: a -> OrdList b -> OrdList a Source #

Foldable OrdList # 
Instance details

Defined in OrdList

Methods

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 #

sum :: Num a => OrdList a -> a Source #

product :: Num a => OrdList a -> a Source #

Traversable OrdList # 
Instance details

Defined in OrdList

Methods

traverse :: Applicative f => (a -> f b) -> OrdList a -> f (OrdList b) Source #

sequenceA :: Applicative f => OrdList (f a) -> f (OrdList a) Source #

mapM :: Monad m => (a -> m b) -> OrdList a -> m (OrdList b) Source #

sequence :: Monad m => OrdList (m a) -> m (OrdList a) Source #

Semigroup (OrdList a) # 
Instance details

Defined in OrdList

Methods

(<>) :: OrdList a -> OrdList a -> OrdList a Source #

sconcat :: NonEmpty (OrdList a) -> OrdList a Source #

stimes :: Integral b => b -> OrdList a -> OrdList a Source #

Monoid (OrdList a) # 
Instance details

Defined in OrdList

Outputable a => Outputable (OrdList a) # 
Instance details

Defined in OrdList

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 #

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 #

Strict left fold.

strictlyEqOL :: Eq a => OrdList a -> OrdList a -> Bool Source #

Compare not only the values but also the structure of two lists

strictlyOrdOL :: Ord a => OrdList a -> OrdList a -> Ordering Source #

Compare not only the values but also the structure of two lists