Data.Semilattice.MaxMin

Documentation

newtype MaxMin a

Constructors

MaxMin

Fields

• unMaxMin :: a

Instances

Functor MaxMin

Defined in Data.Semilattice.MaxMin

Methods

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

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

Applicative MaxMin

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)

Defined in Data.Semilattice.MaxMin

Methods

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

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

Show a => Show (MaxMin a)

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

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

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

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

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)

Defined in Data.Semilattice.MaxMin

Methods

(<=) :: MaxMin a -> MaxMin a -> Bool

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

(<) :: MaxMin a -> MaxMin a -> Bool

(>) :: MaxMin a -> MaxMin a -> Bool

(?~) :: MaxMin a -> MaxMin a -> Bool

(=~) :: MaxMin a -> MaxMin a -> Bool

(/~) :: MaxMin a -> MaxMin a -> Bool

(~~) :: MaxMin a -> MaxMin a -> Bool

(!~) :: MaxMin a -> MaxMin a -> Bool

pcompare :: MaxMin a -> MaxMin a -> Maybe Ordering

(Ord a, Bound a) => Lattice (MaxMin a)

Defined in Data.Semilattice.MaxMin