Data.Semilattice.Bound

Lower and Upper bounds from Bounded instances.

Documentation

newtype Bound a

A convenience bridging Bounded to Lower and Upper.

Constructors

Bound

Fields

• getBound :: a

Instances

Functor Bound

Methods

fmap :: (a -> b) -> Bound a -> Bound b

(<$) :: a -> Bound b -> Bound a

Foldable Bound

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

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)

Methods

minBound :: Bound a

maxBound :: Bound a

Enum a => Enum (Bound a)

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)

Methods

(==) :: Bound a -> Bound a -> Bool

(/=) :: Bound a -> Bound a -> Bool

Num a => Num (Bound a)

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)

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)

Methods

readsPrec :: Int -> ReadS (Bound a)

readList :: ReadS [Bound a]

readPrec :: ReadPrec (Bound a)

readListPrec :: ReadPrec [Bound a]

Show a => Show (Bound a)

Methods

showsPrec :: Int -> Bound a -> ShowS

show :: Bound a -> String

showList :: [Bound a] -> ShowS

Bounded a => Lower (Bound a)

Methods

lowerBound :: Bound a

Bounded a => Upper (Bound a)

Methods

upperBound :: Bound a