Documentation

Methods

(>>=) :: Ordered a -> (a -> Ordered b) -> Ordered b Source #

(>>) :: Ordered a -> Ordered b -> Ordered b Source #

return :: a -> Ordered a Source #

Methods

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

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

Methods

pure :: a -> Ordered a Source #

(<*>) :: Ordered (a -> b) -> Ordered a -> Ordered b Source #

liftA2 :: (a -> b -> c) -> Ordered a -> Ordered b -> Ordered c Source #

(*>) :: Ordered a -> Ordered b -> Ordered b Source #

(<*) :: Ordered a -> Ordered b -> Ordered a Source #

Methods

fold :: Monoid m => Ordered m -> m Source #

foldMap :: Monoid m => (a -> m) -> Ordered a -> m Source #

foldMap' :: Monoid m => (a -> m) -> Ordered a -> m Source #

foldr :: (a -> b -> b) -> b -> Ordered a -> b Source #

foldr' :: (a -> b -> b) -> b -> Ordered a -> b Source #

foldl :: (b -> a -> b) -> b -> Ordered a -> b Source #

foldl' :: (b -> a -> b) -> b -> Ordered a -> b Source #

foldr1 :: (a -> a -> a) -> Ordered a -> a Source #

foldl1 :: (a -> a -> a) -> Ordered a -> a Source #

toList :: Ordered a -> [a] Source #

null :: Ordered a -> Bool Source #

length :: Ordered a -> Int Source #

elem :: Eq a => a -> Ordered a -> Bool Source #

maximum :: Ord a => Ordered a -> a Source #

minimum :: Ord a => Ordered a -> a Source #

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

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

Methods

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

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

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

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

Methods

(==) :: Ordered a -> Ordered a -> Bool Source #

(/=) :: Ordered a -> Ordered a -> Bool Source #

Methods

gfoldl :: ( forall d b. Data d => c (d -> b) -> d -> c b) -> ( forall g. g -> c g) -> Ordered a -> c ( Ordered a) Source #

gunfold :: ( forall b r. Data b => c (b -> r) -> c r) -> ( forall r. r -> c r) -> Constr -> c ( Ordered a) Source #

toConstr :: Ordered a -> Constr Source #

dataTypeOf :: Ordered a -> DataType Source #

dataCast1 :: Typeable t => ( forall d. Data d => c (t d)) -> Maybe (c ( Ordered a)) Source #

dataCast2 :: Typeable t => ( forall d e. ( Data d, Data e) => c (t d e)) -> Maybe (c ( Ordered a)) Source #

gmapT :: ( forall b. Data b => b -> b) -> Ordered a -> Ordered a Source #

gmapQl :: (r -> r' -> r) -> r -> ( forall d. Data d => d -> r') -> Ordered a -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> ( forall d. Data d => d -> r') -> Ordered a -> r Source #

gmapQ :: ( forall d. Data d => d -> u) -> Ordered a -> [u] Source #

gmapQi :: Int -> ( forall d. Data d => d -> u) -> Ordered a -> u Source #

gmapM :: Monad m => ( forall d. Data d => d -> m d) -> Ordered a -> m ( Ordered a) Source #

gmapMp :: MonadPlus m => ( forall d. Data d => d -> m d) -> Ordered a -> m ( Ordered a) Source #

gmapMo :: MonadPlus m => ( forall d. Data d => d -> m d) -> Ordered a -> m ( Ordered a) Source #

Methods

compare :: Ordered a -> Ordered a -> Ordering Source #

(<) :: Ordered a -> Ordered a -> Bool Source #

(<=) :: Ordered a -> Ordered a -> Bool Source #

(>) :: Ordered a -> Ordered a -> Bool Source #

(>=) :: Ordered a -> Ordered a -> Bool Source #

max :: Ordered a -> Ordered a -> Ordered a Source #

min :: Ordered a -> Ordered a -> Ordered a Source #

Methods

readsPrec :: Int -> ReadS ( Ordered a) Source #

readList :: ReadS [ Ordered a] Source #

readPrec :: ReadPrec ( Ordered a) Source #

readListPrec :: ReadPrec [ Ordered a] Source #

Methods

showsPrec :: Int -> Ordered a -> ShowS Source #

show :: Ordered a -> String Source #

showList :: [ Ordered a] -> ShowS Source #

Methods

from :: Ordered a -> Rep ( Ordered a) x Source #

to :: Rep ( Ordered a) x -> Ordered a Source #

Methods

function :: ( Ordered a -> b) -> Ordered a :-> b Source #

Methods

arbitrary :: Gen ( Ordered a) Source #

shrink :: Ordered a -> [ Ordered a] Source #

Methods

coarbitrary :: Ordered a -> Gen b -> Gen b Source #

Methods

rnf :: Ordered a -> () Source #

Methods

hashWithSalt :: Int -> Ordered a -> Int Source #

hash :: Ordered a -> Int Source #

Methods

universe :: [ Ordered a] Source #

Methods

universeF :: [ Ordered a] Source #

cardinality :: Tagged ( Ordered a) Natural Source #

Methods

leq :: Ordered a -> Ordered a -> Bool Source #

comparable :: Ordered a -> Ordered a -> Bool Source #

Methods

top :: Ordered a Source #

Methods

bottom :: Ordered a Source #

Methods

(\/) :: Ordered a -> Ordered a -> Ordered a Source #

(/\) :: Ordered a -> Ordered a -> Ordered a Source #

Methods

(==>) :: Ordered a -> Ordered a -> Ordered a Source #

neg :: Ordered a -> Ordered a Source #

(<=>) :: Ordered a -> Ordered a -> Ordered a Source #

Methods

from1 :: forall (a :: k). Ordered a -> Rep1 Ordered a Source #

to1 :: forall (a :: k). Rep1 Ordered a -> Ordered a Source #