semilattices-0.0.0.0: Semilattices

Safe HaskellNone
LanguageHaskell2010

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

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 # 
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 #