Safe Haskell	Safe
Language	Haskell2010

Data.Semilattice.MaxMin

Documentation

newtype MaxMin a Source #

Constructors

MaxMin
Fields unMaxMin :: a

Instances

Functor MaxMin Source #
Instance details Defined in Data.Semilattice.MaxMin Methods fmap :: (a -> b) -> MaxMin a -> MaxMin b # (<$) :: a -> MaxMin b -> MaxMin a #
Applicative MaxMin Source #
Instance details Defined in Data.Semilattice.MaxMin Methods pure :: a -> MaxMin a # (<>) :: MaxMin (a -> b) -> MaxMin a -> MaxMin b # liftA2 :: (a -> b -> c) -> MaxMin a -> MaxMin b -> MaxMin c # (>) :: MaxMin a -> MaxMin b -> MaxMin b # (<*) :: MaxMin a -> MaxMin b -> MaxMin a #
Prd a => Eq (MaxMin a) Source #
Instance details Defined in Data.Semilattice.MaxMin Methods (==) :: MaxMin a -> MaxMin a -> Bool # (/=) :: MaxMin a -> MaxMin a -> Bool #
Show a => Show (MaxMin a) Source #
Instance details Defined in Data.Semilattice.MaxMin Methods showsPrec :: Int -> MaxMin a -> ShowS # show :: MaxMin a -> String # showList :: [MaxMin a] -> ShowS #
Ord a => Semigroup (Meet (MaxMin a)) Source #
Instance details Defined in Data.Semilattice.MaxMin Methods (<>) :: Meet (MaxMin a) -> Meet (MaxMin a) -> Meet (MaxMin a) # sconcat :: NonEmpty (Meet (MaxMin a)) -> Meet (MaxMin a) # stimes :: Integral b => b -> Meet (MaxMin a) -> Meet (MaxMin a) #
Ord a => Semigroup (Join (MaxMin a)) Source #
Instance details Defined in Data.Semilattice.MaxMin Methods (<>) :: Join (MaxMin a) -> Join (MaxMin a) -> Join (MaxMin a) # sconcat :: NonEmpty (Join (MaxMin a)) -> Join (MaxMin a) # stimes :: Integral b => b -> Join (MaxMin a) -> Join (MaxMin a) #
(Ord a, Maximal a) => Monoid (Meet (MaxMin a)) Source #
Instance details Defined in Data.Semilattice.MaxMin Methods mempty :: Meet (MaxMin a) # mappend :: Meet (MaxMin a) -> Meet (MaxMin a) -> Meet (MaxMin a) # mconcat :: [Meet (MaxMin a)] -> Meet (MaxMin a) #
(Ord a, Minimal a) => Monoid (Join (MaxMin a)) Source #
Instance details Defined in Data.Semilattice.MaxMin Methods mempty :: Join (MaxMin a) # mappend :: Join (MaxMin a) -> Join (MaxMin a) -> Join (MaxMin a) # mconcat :: [Join (MaxMin a)] -> Join (MaxMin a) #
Prd a => Prd (MaxMin a) Source #
Instance details Defined in Data.Semilattice.MaxMin Methods (<=) :: MaxMin a -> MaxMin a -> Bool Source # (>=) :: MaxMin a -> MaxMin a -> Bool Source # (<) :: MaxMin a -> MaxMin a -> Bool Source # (>) :: MaxMin a -> MaxMin a -> Bool Source # (?~) :: MaxMin a -> MaxMin a -> Bool Source # (=~) :: MaxMin a -> MaxMin a -> Bool Source # (/~) :: MaxMin a -> MaxMin a -> Bool Source # (~~) :: MaxMin a -> MaxMin a -> Bool Source # (!~) :: MaxMin a -> MaxMin a -> Bool Source # pcompare :: MaxMin a -> MaxMin a -> Maybe Ordering Source #
(Ord a, Bound a) => Lattice (MaxMin a) Source #
Instance details Defined in Data.Semilattice.MaxMin