Safe Haskell	None
Language	Haskell2010

Data.Semilattice.Bound

Description

Lower and Upper bounds from Bounded instances.

Synopsis

Documentation

newtype Bound a Source #

A convenience bridging Bounded to Lower and Upper.

Constructors

Bound
Fields getBound :: a

Instances

Functor Bound Source #
Methods fmap :: (a -> b) -> Bound a -> Bound b # (<$) :: a -> Bound b -> Bound a #
Foldable Bound Source #
Methods fold :: Monoid m => Bound m -> m # foldMap :: Monoid m => (a -> m) -> Bound a -> m # foldr :: (a -> b -> b) -> b -> Bound a -> b # foldr' :: (a -> b -> b) -> b -> Bound a -> b # foldl :: (b -> a -> b) -> b -> Bound a -> b # foldl' :: (b -> a -> b) -> b -> Bound a -> b # foldr1 :: (a -> a -> a) -> Bound a -> a # foldl1 :: (a -> a -> a) -> Bound a -> a # toList :: Bound a -> [a] # null :: Bound a -> Bool # length :: Bound a -> Int # elem :: Eq a => a -> Bound a -> Bool # maximum :: Ord a => Bound a -> a # minimum :: Ord a => Bound a -> a # sum :: Num a => Bound a -> a # product :: Num a => Bound a -> a #
Traversable Bound Source #
Methods traverse :: Applicative f => (a -> f b) -> Bound a -> f (Bound b) # sequenceA :: Applicative f => Bound (f a) -> f (Bound a) # mapM :: Monad m => (a -> m b) -> Bound a -> m (Bound b) # sequence :: Monad m => Bound (m a) -> m (Bound a) #
Bounded a => Bounded (Bound a) Source #
Methods minBound :: Bound a # maxBound :: Bound a #
Enum a => Enum (Bound a) Source #
Methods succ :: Bound a -> Bound a # pred :: Bound a -> Bound a # toEnum :: Int -> Bound a # fromEnum :: Bound a -> Int # enumFrom :: Bound a -> [Bound a] # enumFromThen :: Bound a -> Bound a -> [Bound a] # enumFromTo :: Bound a -> Bound a -> [Bound a] # enumFromThenTo :: Bound a -> Bound a -> Bound a -> [Bound a] #
Eq a => Eq (Bound a) Source #
Methods (==) :: Bound a -> Bound a -> Bool # (/=) :: Bound a -> Bound a -> Bool #
Num a => Num (Bound a) Source #
Methods (+) :: Bound a -> Bound a -> Bound a # (-) :: Bound a -> Bound a -> Bound a # (*) :: Bound a -> Bound a -> Bound a # negate :: Bound a -> Bound a # abs :: Bound a -> Bound a # signum :: Bound a -> Bound a # fromInteger :: Integer -> Bound a #
Ord a => Ord (Bound a) Source #
Methods compare :: Bound a -> Bound a -> Ordering # (<) :: Bound a -> Bound a -> Bool # (<=) :: Bound a -> Bound a -> Bool # (>) :: Bound a -> Bound a -> Bool # (>=) :: Bound a -> Bound a -> Bool # max :: Bound a -> Bound a -> Bound a # min :: Bound a -> Bound a -> Bound a #
Read a => Read (Bound a) Source #
Methods readsPrec :: Int -> ReadS (Bound a) # readList :: ReadS [Bound a] # readPrec :: ReadPrec (Bound a) # readListPrec :: ReadPrec [Bound a] #
Show a => Show (Bound a) Source #
Methods showsPrec :: Int -> Bound a -> ShowS # show :: Bound a -> String # showList :: [Bound a] -> ShowS #
Bounded a => Lower (Bound a) Source #
Methods lowerBound :: Bound a Source #
Bounded a => Upper (Bound a) Source #
Methods upperBound :: Bound a Source #