semilattices-0.0.0.2: Semilattices

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 FieldsgetBound :: a
Instances
 Source # Instance detailsDefined in Data.Semilattice.Bound Methodsfmap :: (a -> b) -> Bound a -> Bound b #(<\$) :: a -> Bound b -> Bound a # Source # Instance detailsDefined in Data.Semilattice.Bound Methodsfold :: 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 # Source # Instance detailsDefined in Data.Semilattice.Bound Methodstraverse :: 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 # Instance detailsDefined in Data.Semilattice.Bound Methods Enum a => Enum (Bound a) Source # Instance detailsDefined in Data.Semilattice.Bound Methodssucc :: 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 # Instance detailsDefined in Data.Semilattice.Bound Methods(==) :: Bound a -> Bound a -> Bool #(/=) :: Bound a -> Bound a -> Bool # Num a => Num (Bound a) Source # Instance detailsDefined in Data.Semilattice.Bound 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 # Ord a => Ord (Bound a) Source # Instance detailsDefined in Data.Semilattice.Bound Methodscompare :: 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 # Instance detailsDefined in Data.Semilattice.Bound MethodsreadsPrec :: Int -> ReadS (Bound a) #readList :: ReadS [Bound a] # Show a => Show (Bound a) Source # Instance detailsDefined in Data.Semilattice.Bound MethodsshowsPrec :: Int -> Bound a -> ShowS #show :: Bound a -> String #showList :: [Bound a] -> ShowS # Bounded a => Lower (Bound a) Source # Instance detailsDefined in Data.Semilattice.Bound Methods Bounded a => Upper (Bound a) Source # Instance detailsDefined in Data.Semilattice.Bound Methods