Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.Semilattice.Bound
Documentation
Instances
Foldable Bound Source # | |
Defined in Data.Semilattice.Bound Methods fold :: Monoid m => Bound m -> m # foldMap :: Monoid m => (a -> m) -> Bound a -> 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 # elem :: Eq a => a -> Bound a -> Bool # maximum :: Ord a => Bound a -> a # minimum :: Ord a => Bound a -> a # | |
Traversable Bound Source # | |
Functor Bound Source # | |
Bounded a => Bounded (Bound a) Source # | |
Enum a => Enum (Bound a) Source # | |
Num a => Num (Bound a) Source # | |
Read a => Read (Bound a) Source # | |
Show a => Show (Bound a) Source # | |
Eq a => Eq (Bound a) Source # | |
Ord a => Ord (Bound a) Source # | |
Defined in Data.Semilattice.Bound | |
Bounded a => Lower (Bound a) Source # | |
Defined in Data.Semilattice.Bound Methods lowerBound :: Bound a Source # | |
Bounded a => Upper (Bound a) Source # | |
Defined in Data.Semilattice.Bound Methods upperBound :: Bound a Source # |