Safe Haskell	Safe
Language	Haskell2010

Data.Semigroup.Join

Contents

Constraint kinds
Join semilattices
Meet semilattices
DerivingVia

Synopsis

type (-) (g :: Type -> Type) (f :: Type -> Constraint) a = f (g a)
type Semilattice = Semigroup
type LatticeLaw a = ((Join - Semilattice) a, (Meet - Semilattice) a)
type BoundedLaw a = ((Join - Monoid) a, (Meet - Monoid) a)
bottom :: (Join - Monoid) a => a
(\/) :: (Join - Semilattice) a => a -> a -> a
join :: Foldable f => (Join - Monoid) a => f a -> a
joinWith :: Foldable t => (Join - Monoid) a => (b -> a) -> t b -> a
join1 :: Foldable1 f => (Join - Semilattice) a => f a -> a
joinWith1 :: Foldable1 t => (Join - Semilattice) a => (b -> a) -> t b -> a
joinLe :: Eq a => (Join - Semilattice) a => a -> a -> Bool
joinGe :: Eq a => (Join - Semilattice) a => a -> a -> Bool
pcompareJoin :: Eq a => (Join - Semilattice) a => a -> a -> Maybe Ordering
newtype Join a = Join {
- getJoin :: a
}
top :: (Meet - Monoid) a => a
(/\) :: (Meet - Semilattice) a => a -> a -> a
meet :: Foldable f => (Meet - Monoid) a => f a -> a
meetWith :: Foldable f => (Meet - Monoid) a => (b -> a) -> f b -> a
meet1 :: Foldable1 f => (Meet - Semilattice) a => f a -> a
meetWith1 :: Foldable1 f => (Meet - Semilattice) a => (b -> a) -> f b -> a
meetLe :: Eq a => (Meet - Semilattice) a => a -> a -> Bool
meetGe :: Eq a => (Meet - Semilattice) a => a -> a -> Bool
pcompareMeet :: Eq a => (Meet - Semilattice) a => a -> a -> Maybe Ordering
newtype Meet a = Meet {
- getMeet :: a
}
newtype F1 (f :: Type -> Type) a = F1 (f a)
newtype F2 (f :: Type -> Type) (g :: Type -> Type) a = F2 (f (g a))
newtype N5Min a = N5Min a
newtype N5Max a = N5Max a

Constraint kinds

type (-) (g :: Type -> Type) (f :: Type -> Constraint) a = f (g a) Source #

Hyphenation operator.

type Semilattice = Semigroup Source #

type LatticeLaw a = ((Join - Semilattice) a, (Meet - Semilattice) a) Source #

type BoundedLaw a = ((Join - Monoid) a, (Meet - Monoid) a) Source #

Join semilattices

bottom :: (Join - Monoid) a => a Source #

(\/) :: (Join - Semilattice) a => a -> a -> a infixr 5 Source #

Join operation on a semilattice.

>>> (> (0::Int)) ∧ ((< 10) \/ (== 15)) $ 10
False

>>> IntSet.fromList [1..5] ∧ IntSet.fromList [2..5]
fromList [2,3,4,5]

join :: Foldable f => (Join - Monoid) a => f a -> a Source #

joinWith :: Foldable t => (Join - Monoid) a => (b -> a) -> t b -> a Source #

join1 :: Foldable1 f => (Join - Semilattice) a => f a -> a Source #

The join of a list of join-semilattice elements (of length at least top)

joinWith1 :: Foldable1 t => (Join - Semilattice) a => (b -> a) -> t b -> a Source #

Fold over a non-empty collection using the join operation of an arbitrary join semilattice.

joinLe :: Eq a => (Join - Semilattice) a => a -> a -> Bool infix 4 Source #

The partial ordering induced by the join-semilattice structure.

Normally when a implements Ord we should have: joinLe x y = x <= y

joinGe :: Eq a => (Join - Semilattice) a => a -> a -> Bool infix 4 Source #

The partial ordering induced by the join-semilattice structure.

Normally when a implements Ord we should have: joinGe x y = x >= y

pcompareJoin :: Eq a => (Join - Semilattice) a => a -> a -> Maybe Ordering Source #

Partial version of compare.

Normally when a implements Preorder we should have: pcompareJoin x y = pcompare x y

newtype Join a Source #

A commutative Semilattice under \/.

Constructors

Join
Fields getJoin :: a

Instances

Functor Join Source #
Instance details Defined in Data.Semigroup.Join Methods fmap :: (a -> b) -> Join a -> Join b # (<$) :: a -> Join b -> Join a #
Applicative Join Source #
Instance details Defined in Data.Semigroup.Join Methods pure :: a -> Join a # (<>) :: Join (a -> b) -> Join a -> Join b # liftA2 :: (a -> b -> c) -> Join a -> Join b -> Join c # (>) :: Join a -> Join b -> Join b # (<*) :: Join a -> Join b -> Join a #
Eq a => Eq (Join a) Source #
Instance details Defined in Data.Semigroup.Join Methods (==) :: Join a -> Join a -> Bool # (/=) :: Join a -> Join a -> Bool #
Ord a => Ord (Join a) Source #
Instance details Defined in Data.Semigroup.Join Methods compare :: Join a -> Join a -> Ordering # (<) :: Join a -> Join a -> Bool # (<=) :: Join a -> Join a -> Bool # (>) :: Join a -> Join a -> Bool # (>=) :: Join a -> Join a -> Bool # max :: Join a -> Join a -> Join a # min :: Join a -> Join a -> Join a #
Show a => Show (Join a) Source #
Instance details Defined in Data.Semigroup.Join Methods showsPrec :: Int -> Join a -> ShowS # show :: Join a -> String # showList :: [Join a] -> ShowS #
Generic (Join a) Source #
Instance details Defined in Data.Semigroup.Join Associated Types type Rep (Join a) :: Type -> Type # Methods from :: Join a -> Rep (Join a) x # to :: Rep (Join a) x -> Join a #
Semigroup (Join Bool) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Bool -> Join Bool -> Join Bool # sconcat :: NonEmpty (Join Bool) -> Join Bool # stimes :: Integral b => b -> Join Bool -> Join Bool #
Semigroup (Join Double) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Double -> Join Double -> Join Double # sconcat :: NonEmpty (Join Double) -> Join Double # stimes :: Integral b => b -> Join Double -> Join Double #
Semigroup (Join Float) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Float -> Join Float -> Join Float # sconcat :: NonEmpty (Join Float) -> Join Float # stimes :: Integral b => b -> Join Float -> Join Float #
Semigroup (Join a) => Semigroup (Join (r -> a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join (r -> a) -> Join (r -> a) -> Join (r -> a) # sconcat :: NonEmpty (Join (r -> a)) -> Join (r -> a) # stimes :: Integral b => b -> Join (r -> a) -> Join (r -> a) #
Semigroup (Join Int) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Int -> Join Int -> Join Int # sconcat :: NonEmpty (Join Int) -> Join Int # stimes :: Integral b => b -> Join Int -> Join Int #
Semigroup (Join Int8) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Int8 -> Join Int8 -> Join Int8 # sconcat :: NonEmpty (Join Int8) -> Join Int8 # stimes :: Integral b => b -> Join Int8 -> Join Int8 #
Semigroup (Join Int16) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Int16 -> Join Int16 -> Join Int16 # sconcat :: NonEmpty (Join Int16) -> Join Int16 # stimes :: Integral b => b -> Join Int16 -> Join Int16 #
Semigroup (Join Int32) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Int32 -> Join Int32 -> Join Int32 # sconcat :: NonEmpty (Join Int32) -> Join Int32 # stimes :: Integral b => b -> Join Int32 -> Join Int32 #
Semigroup (Join Int64) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Int64 -> Join Int64 -> Join Int64 # sconcat :: NonEmpty (Join Int64) -> Join Int64 # stimes :: Integral b => b -> Join Int64 -> Join Int64 #
Semigroup (Join Integer) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Integer -> Join Integer -> Join Integer # sconcat :: NonEmpty (Join Integer) -> Join Integer # stimes :: Integral b => b -> Join Integer -> Join Integer #
Semigroup (Join Natural) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Natural -> Join Natural -> Join Natural # sconcat :: NonEmpty (Join Natural) -> Join Natural # stimes :: Integral b => b -> Join Natural -> Join Natural #
Semigroup (Join a) => Semigroup (Join (Maybe a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join (Maybe a) -> Join (Maybe a) -> Join (Maybe a) # sconcat :: NonEmpty (Join (Maybe a)) -> Join (Maybe a) # stimes :: Integral b => b -> Join (Maybe a) -> Join (Maybe a) #
Semigroup (Join Ordering) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Ordering -> Join Ordering -> Join Ordering # sconcat :: NonEmpty (Join Ordering) -> Join Ordering # stimes :: Integral b => b -> Join Ordering -> Join Ordering #
Semigroup (Join (Ratio Integer)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join (Ratio Integer) -> Join (Ratio Integer) -> Join (Ratio Integer) # sconcat :: NonEmpty (Join (Ratio Integer)) -> Join (Ratio Integer) # stimes :: Integral b => b -> Join (Ratio Integer) -> Join (Ratio Integer) #
Semigroup (Join (Ratio Natural)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join (Ratio Natural) -> Join (Ratio Natural) -> Join (Ratio Natural) # sconcat :: NonEmpty (Join (Ratio Natural)) -> Join (Ratio Natural) # stimes :: Integral b => b -> Join (Ratio Natural) -> Join (Ratio Natural) #
Semigroup (Join Word) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Word -> Join Word -> Join Word # sconcat :: NonEmpty (Join Word) -> Join Word # stimes :: Integral b => b -> Join Word -> Join Word #
Semigroup (Join Word8) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Word8 -> Join Word8 -> Join Word8 # sconcat :: NonEmpty (Join Word8) -> Join Word8 # stimes :: Integral b => b -> Join Word8 -> Join Word8 #
Semigroup (Join Word16) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Word16 -> Join Word16 -> Join Word16 # sconcat :: NonEmpty (Join Word16) -> Join Word16 # stimes :: Integral b => b -> Join Word16 -> Join Word16 #
Semigroup (Join Word32) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Word32 -> Join Word32 -> Join Word32 # sconcat :: NonEmpty (Join Word32) -> Join Word32 # stimes :: Integral b => b -> Join Word32 -> Join Word32 #
Semigroup (Join Word64) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join Word64 -> Join Word64 -> Join Word64 # sconcat :: NonEmpty (Join Word64) -> Join Word64 # stimes :: Integral b => b -> Join Word64 -> Join Word64 #
(Semigroup (Join a), Semigroup (Join b)) => Semigroup (Join (Either a b)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join (Either a b) -> Join (Either a b) -> Join (Either a b) # sconcat :: NonEmpty (Join (Either a b)) -> Join (Either a b) # stimes :: Integral b0 => b0 -> Join (Either a b) -> Join (Either a b) #
Semigroup (Join ()) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join () -> Join () -> Join () # sconcat :: NonEmpty (Join ()) -> Join () # stimes :: Integral b => b -> Join () -> Join () #
(Semigroup (Join a), Semigroup (Join b)) => Semigroup (Join (a, b)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join (a, b) -> Join (a, b) -> Join (a, b) # sconcat :: NonEmpty (Join (a, b)) -> Join (a, b) # stimes :: Integral b0 => b0 -> Join (a, b) -> Join (a, b) #
Semigroup (Join a) => Semigroup (Join (Op a b)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join (Op a b) -> Join (Op a b) -> Join (Op a b) # sconcat :: NonEmpty (Join (Op a b)) -> Join (Op a b) # stimes :: Integral b0 => b0 -> Join (Op a b) -> Join (Op a b) #
Semigroup (Join (Predicate a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join (Predicate a) -> Join (Predicate a) -> Join (Predicate a) # sconcat :: NonEmpty (Join (Predicate a)) -> Join (Predicate a) # stimes :: Integral b => b -> Join (Predicate a) -> Join (Predicate a) #
Semigroup a => Semigroup (Join (Endo a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join (Endo a) -> Join (Endo a) -> Join (Endo a) # sconcat :: NonEmpty (Join (Endo a)) -> Join (Endo a) # stimes :: Integral b => b -> Join (Endo a) -> Join (Endo a) #
Semigroup (Meet a) => Semigroup (Join (Down a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join (Down a) -> Join (Down a) -> Join (Down a) # sconcat :: NonEmpty (Join (Down a)) -> Join (Down a) # stimes :: Integral b => b -> Join (Down a) -> Join (Down a) #
Semigroup (Join a) => Semigroup (Join (IntMap a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join (IntMap a) -> Join (IntMap a) -> Join (IntMap a) # sconcat :: NonEmpty (Join (IntMap a)) -> Join (IntMap a) # stimes :: Integral b => b -> Join (IntMap a) -> Join (IntMap a) #
Semigroup (Join IntSet) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join IntSet -> Join IntSet -> Join IntSet # sconcat :: NonEmpty (Join IntSet) -> Join IntSet # stimes :: Integral b => b -> Join IntSet -> Join IntSet #
(TotalOrder k, Semigroup (Join a)) => Semigroup (Join (Map k a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join (Map k a) -> Join (Map k a) -> Join (Map k a) # sconcat :: NonEmpty (Join (Map k a)) -> Join (Map k a) # stimes :: Integral b => b -> Join (Map k a) -> Join (Map k a) #
TotalOrder a => Semigroup (Join (Set a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join (Set a) -> Join (Set a) -> Join (Set a) # sconcat :: NonEmpty (Join (Set a)) -> Join (Set a) # stimes :: Integral b => b -> Join (Set a) -> Join (Set a) #
(Monad m, Semigroup (Join r)) => Semigroup (Join (ContT r m a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join (ContT r m a) -> Join (ContT r m a) -> Join (ContT r m a) # sconcat :: NonEmpty (Join (ContT r m a)) -> Join (ContT r m a) # stimes :: Integral b => b -> Join (ContT r m a) -> Join (ContT r m a) #
Monad m => Semigroup (Join (SelectT Bool m a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Join (SelectT Bool m a) -> Join (SelectT Bool m a) -> Join (SelectT Bool m a) # sconcat :: NonEmpty (Join (SelectT Bool m a)) -> Join (SelectT Bool m a) # stimes :: Integral b => b -> Join (SelectT Bool m a) -> Join (SelectT Bool m a) #
Semigroup (Join a) => Semigroup (Join (Extended a)) Source #
Instance details Defined in Data.Order.Extended Methods (<>) :: Join (Extended a) -> Join (Extended a) -> Join (Extended a) # sconcat :: NonEmpty (Join (Extended a)) -> Join (Extended a) # stimes :: Integral b => b -> Join (Extended a) -> Join (Extended a) #
Lattice a => Semigroup (Join (Sup a)) Source #
Instance details Defined in Data.Order.Topology Methods (<>) :: Join (Sup a) -> Join (Sup a) -> Join (Sup a) # sconcat :: NonEmpty (Join (Sup a)) -> Join (Sup a) # stimes :: Integral b => b -> Join (Sup a) -> Join (Sup a) #
Lattice a => Semigroup (Join (Inf a)) Source #
Instance details Defined in Data.Order.Topology Methods (<>) :: Join (Inf a) -> Join (Inf a) -> Join (Inf a) # sconcat :: NonEmpty (Join (Inf a)) -> Join (Inf a) # stimes :: Integral b => b -> Join (Inf a) -> Join (Inf a) #
Lattice a => Semigroup (Join (Interval a)) Source #
Instance details Defined in Data.Order.Interval Methods (<>) :: Join (Interval a) -> Join (Interval a) -> Join (Interval a) # sconcat :: NonEmpty (Join (Interval a)) -> Join (Interval a) # stimes :: Integral b => b -> Join (Interval a) -> Join (Interval a) #
Monoid (Join Bool) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join Bool # mappend :: Join Bool -> Join Bool -> Join Bool # mconcat :: [Join Bool] -> Join Bool #
Monoid (Join Double) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join Double # mappend :: Join Double -> Join Double -> Join Double # mconcat :: [Join Double] -> Join Double #
Monoid (Join Float) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join Float # mappend :: Join Float -> Join Float -> Join Float # mconcat :: [Join Float] -> Join Float #
Monoid (Join a) => Monoid (Join (r -> a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join (r -> a) # mappend :: Join (r -> a) -> Join (r -> a) -> Join (r -> a) # mconcat :: [Join (r -> a)] -> Join (r -> a) #
Monoid (Join Int) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join Int # mappend :: Join Int -> Join Int -> Join Int # mconcat :: [Join Int] -> Join Int #
Monoid (Join Int8) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join Int8 # mappend :: Join Int8 -> Join Int8 -> Join Int8 # mconcat :: [Join Int8] -> Join Int8 #
Monoid (Join Int16) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join Int16 # mappend :: Join Int16 -> Join Int16 -> Join Int16 # mconcat :: [Join Int16] -> Join Int16 #
Monoid (Join Int32) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join Int32 # mappend :: Join Int32 -> Join Int32 -> Join Int32 # mconcat :: [Join Int32] -> Join Int32 #
Monoid (Join Int64) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join Int64 # mappend :: Join Int64 -> Join Int64 -> Join Int64 # mconcat :: [Join Int64] -> Join Int64 #
Monoid (Join Natural) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join Natural # mappend :: Join Natural -> Join Natural -> Join Natural # mconcat :: [Join Natural] -> Join Natural #
Semigroup (Join a) => Monoid (Join (Maybe a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join (Maybe a) # mappend :: Join (Maybe a) -> Join (Maybe a) -> Join (Maybe a) # mconcat :: [Join (Maybe a)] -> Join (Maybe a) #
Monoid (Join Ordering) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join Ordering # mappend :: Join Ordering -> Join Ordering -> Join Ordering # mconcat :: [Join Ordering] -> Join Ordering #
Monoid (Join (Ratio Integer)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join (Ratio Integer) # mappend :: Join (Ratio Integer) -> Join (Ratio Integer) -> Join (Ratio Integer) # mconcat :: [Join (Ratio Integer)] -> Join (Ratio Integer) #
Monoid (Join (Ratio Natural)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join (Ratio Natural) # mappend :: Join (Ratio Natural) -> Join (Ratio Natural) -> Join (Ratio Natural) # mconcat :: [Join (Ratio Natural)] -> Join (Ratio Natural) #
Monoid (Join Word) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join Word # mappend :: Join Word -> Join Word -> Join Word # mconcat :: [Join Word] -> Join Word #
Monoid (Join Word8) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join Word8 # mappend :: Join Word8 -> Join Word8 -> Join Word8 # mconcat :: [Join Word8] -> Join Word8 #
Monoid (Join Word16) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join Word16 # mappend :: Join Word16 -> Join Word16 -> Join Word16 # mconcat :: [Join Word16] -> Join Word16 #
Monoid (Join Word32) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join Word32 # mappend :: Join Word32 -> Join Word32 -> Join Word32 # mconcat :: [Join Word32] -> Join Word32 #
Monoid (Join Word64) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join Word64 # mappend :: Join Word64 -> Join Word64 -> Join Word64 # mconcat :: [Join Word64] -> Join Word64 #
(Monoid (Join a), Semigroup (Join b)) => Monoid (Join (Either a b)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join (Either a b) # mappend :: Join (Either a b) -> Join (Either a b) -> Join (Either a b) # mconcat :: [Join (Either a b)] -> Join (Either a b) #
Monoid (Join ()) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join () # mappend :: Join () -> Join () -> Join () # mconcat :: [Join ()] -> Join () #
(Monoid (Join a), Monoid (Join b)) => Monoid (Join (a, b)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join (a, b) # mappend :: Join (a, b) -> Join (a, b) -> Join (a, b) # mconcat :: [Join (a, b)] -> Join (a, b) #
Monoid (Join a) => Monoid (Join (Op a b)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join (Op a b) # mappend :: Join (Op a b) -> Join (Op a b) -> Join (Op a b) # mconcat :: [Join (Op a b)] -> Join (Op a b) #
Monoid (Join (Predicate a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join (Predicate a) # mappend :: Join (Predicate a) -> Join (Predicate a) -> Join (Predicate a) # mconcat :: [Join (Predicate a)] -> Join (Predicate a) #
Monoid a => Monoid (Join (Endo a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join (Endo a) # mappend :: Join (Endo a) -> Join (Endo a) -> Join (Endo a) # mconcat :: [Join (Endo a)] -> Join (Endo a) #
Monoid (Meet a) => Monoid (Join (Down a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join (Down a) # mappend :: Join (Down a) -> Join (Down a) -> Join (Down a) # mconcat :: [Join (Down a)] -> Join (Down a) #
Semigroup (Join a) => Monoid (Join (IntMap a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join (IntMap a) # mappend :: Join (IntMap a) -> Join (IntMap a) -> Join (IntMap a) # mconcat :: [Join (IntMap a)] -> Join (IntMap a) #
Monoid (Join IntSet) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join IntSet # mappend :: Join IntSet -> Join IntSet -> Join IntSet # mconcat :: [Join IntSet] -> Join IntSet #
(TotalOrder k, Semigroup (Join a)) => Monoid (Join (Map k a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join (Map k a) # mappend :: Join (Map k a) -> Join (Map k a) -> Join (Map k a) # mconcat :: [Join (Map k a)] -> Join (Map k a) #
TotalOrder a => Monoid (Join (Set a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join (Set a) # mappend :: Join (Set a) -> Join (Set a) -> Join (Set a) # mconcat :: [Join (Set a)] -> Join (Set a) #
(Monad m, Monoid (Join r)) => Monoid (Join (ContT r m a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join (ContT r m a) # mappend :: Join (ContT r m a) -> Join (ContT r m a) -> Join (ContT r m a) # mconcat :: [Join (ContT r m a)] -> Join (ContT r m a) #
MonadPlus m => Monoid (Join (SelectT Bool m a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Join (SelectT Bool m a) # mappend :: Join (SelectT Bool m a) -> Join (SelectT Bool m a) -> Join (SelectT Bool m a) # mconcat :: [Join (SelectT Bool m a)] -> Join (SelectT Bool m a) #
Semigroup (Join a) => Monoid (Join (Extended a)) Source #
Instance details Defined in Data.Order.Extended Methods mempty :: Join (Extended a) # mappend :: Join (Extended a) -> Join (Extended a) -> Join (Extended a) # mconcat :: [Join (Extended a)] -> Join (Extended a) #
LowerBounded a => Monoid (Join (Sup a)) Source #
Instance details Defined in Data.Order.Topology Methods mempty :: Join (Sup a) # mappend :: Join (Sup a) -> Join (Sup a) -> Join (Sup a) # mconcat :: [Join (Sup a)] -> Join (Sup a) #
UpperBounded a => Monoid (Join (Inf a)) Source #
Instance details Defined in Data.Order.Topology Methods mempty :: Join (Inf a) # mappend :: Join (Inf a) -> Join (Inf a) -> Join (Inf a) # mconcat :: [Join (Inf a)] -> Join (Inf a) #
Lattice a => Monoid (Join (Interval a)) Source #
Instance details Defined in Data.Order.Interval Methods mempty :: Join (Interval a) # mappend :: Join (Interval a) -> Join (Interval a) -> Join (Interval a) # mconcat :: [Join (Interval a)] -> Join (Interval a) #
(Eq a, Semigroup (Join a)) => Preorder (Join a) Source #
Instance details Defined in Data.Semigroup.Join Methods (<~) :: Join a -> Join a -> Bool Source # (>~) :: Join a -> Join a -> Bool Source # (<) :: Join a -> Join a -> Bool Source # (>) :: Join a -> Join a -> Bool Source # (?~) :: Join a -> Join a -> Bool Source # (~~) :: Join a -> Join a -> Bool Source # (/~) :: Join a -> Join a -> Bool Source # similar :: Join a -> Join a -> Bool Source # pcompare :: Join a -> Join a -> Maybe Ordering Source # pmax :: Join a -> Join a -> Maybe (Join a) Source # pmin :: Join a -> Join a -> Maybe (Join a) Source #
Quantale (Meet a) => Quantale (Join (Down a)) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Join (Down a) -> ConnL (Join (Down a)) (Join (Down a)) Source # residR :: Join (Down a) -> ConnR (Join (Down a)) (Join (Down a)) Source # (//) :: Join (Down a) -> Join (Down a) -> Join (Down a) Source # (\\) :: Join (Down a) -> Join (Down a) -> Join (Down a) Source #
type Rep (Join a) Source #
Instance details Defined in Data.Semigroup.Join type Rep (Join a) = D1 (MetaData "Join" "Data.Semigroup.Join" "connections-0.1.0-11OS2JegWRt65QKiR71Tlk" True) (C1 (MetaCons "Join" PrefixI True) (S1 (MetaSel (Just "getJoin") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

Meet semilattices

top :: (Meet - Monoid) a => a Source #

(/\) :: (Meet - Semilattice) a => a -> a -> a infixr 6 Source #

Meet operation on a semilattice.

>>> (> (0::Int)) /\ ((< 10) ∨ (== 15)) $ 15
True

meet :: Foldable f => (Meet - Monoid) a => f a -> a Source #

meetWith :: Foldable f => (Meet - Monoid) a => (b -> a) -> f b -> a Source #

Fold over a collection using the multiplicative operation of an arbitrary semiring.

meet f = foldr' ((*) . f) top

>>> meetWith Just [1..5 :: Int]
Just 1
>>> meetWith N5 [1,5,0/0]
N5 {fromN5 = -Infinity}

meet1 :: Foldable1 f => (Meet - Semilattice) a => f a -> a Source #

The meet of a non-empty collection of meet-semilattice elements.

meetWith1 :: Foldable1 f => (Meet - Semilattice) a => (b -> a) -> f b -> a Source #

Fold over a non-empty collection using the multiplicative operation of a semiring.

As the collection is non-empty this does not require a distinct multiplicative unit:

>>> meetWith1 Just $ 1 :| [2..5 :: Int]
Just 120
>>> meetWith1 First $ 1 :| [2..(5 :: Int)]
First {getFirst = 15}
>>> meetWith1 First $ Nothing :| [Just (5 :: Int), Just 6,  Nothing]
First {getFirst = Just 11}

meetLe :: Eq a => (Meet - Semilattice) a => a -> a -> Bool infix 4 Source #

The partial ordering induced by the meet-semilattice structure.

Normally when a implements Preorder we should have: meetLe x y = x <~ y

meetGe :: Eq a => (Meet - Semilattice) a => a -> a -> Bool infix 4 Source #

The partial ordering induced by the meet-semilattice structure.

Normally when a implements Preorder we should have: meetGe x y = x >~ y

pcompareMeet :: Eq a => (Meet - Semilattice) a => a -> a -> Maybe Ordering Source #

Partial version of compare.

Normally when a implements Preorder we should have: pcompareJoin x y = pcompare x y

newtype Meet a Source #

Constructors

Meet
Fields getMeet :: a

Instances

Functor Meet Source #
Instance details Defined in Data.Semigroup.Join Methods fmap :: (a -> b) -> Meet a -> Meet b # (<$) :: a -> Meet b -> Meet a #
Applicative Meet Source #
Instance details Defined in Data.Semigroup.Join Methods pure :: a -> Meet a # (<>) :: Meet (a -> b) -> Meet a -> Meet b # liftA2 :: (a -> b -> c) -> Meet a -> Meet b -> Meet c # (>) :: Meet a -> Meet b -> Meet b # (<*) :: Meet a -> Meet b -> Meet a #
Eq a => Eq (Meet a) Source #
Instance details Defined in Data.Semigroup.Join Methods (==) :: Meet a -> Meet a -> Bool # (/=) :: Meet a -> Meet a -> Bool #
Ord a => Ord (Meet a) Source #
Instance details Defined in Data.Semigroup.Join Methods compare :: Meet a -> Meet a -> Ordering # (<) :: Meet a -> Meet a -> Bool # (<=) :: Meet a -> Meet a -> Bool # (>) :: Meet a -> Meet a -> Bool # (>=) :: Meet a -> Meet a -> Bool # max :: Meet a -> Meet a -> Meet a # min :: Meet a -> Meet a -> Meet a #
Show a => Show (Meet a) Source #
Instance details Defined in Data.Semigroup.Join Methods showsPrec :: Int -> Meet a -> ShowS # show :: Meet a -> String # showList :: [Meet a] -> ShowS #
Generic (Meet a) Source #
Instance details Defined in Data.Semigroup.Join Associated Types type Rep (Meet a) :: Type -> Type # Methods from :: Meet a -> Rep (Meet a) x # to :: Rep (Meet a) x -> Meet a #
Semigroup (Meet Bool) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Bool -> Meet Bool -> Meet Bool # sconcat :: NonEmpty (Meet Bool) -> Meet Bool # stimes :: Integral b => b -> Meet Bool -> Meet Bool #
Semigroup (Meet Double) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Double -> Meet Double -> Meet Double # sconcat :: NonEmpty (Meet Double) -> Meet Double # stimes :: Integral b => b -> Meet Double -> Meet Double #
Semigroup (Meet Float) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Float -> Meet Float -> Meet Float # sconcat :: NonEmpty (Meet Float) -> Meet Float # stimes :: Integral b => b -> Meet Float -> Meet Float #
Semigroup (Meet a) => Semigroup (Meet (r -> a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet (r -> a) -> Meet (r -> a) -> Meet (r -> a) # sconcat :: NonEmpty (Meet (r -> a)) -> Meet (r -> a) # stimes :: Integral b => b -> Meet (r -> a) -> Meet (r -> a) #
Semigroup (Meet Int) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Int -> Meet Int -> Meet Int # sconcat :: NonEmpty (Meet Int) -> Meet Int # stimes :: Integral b => b -> Meet Int -> Meet Int #
Semigroup (Meet Int8) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Int8 -> Meet Int8 -> Meet Int8 # sconcat :: NonEmpty (Meet Int8) -> Meet Int8 # stimes :: Integral b => b -> Meet Int8 -> Meet Int8 #
Semigroup (Meet Int16) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Int16 -> Meet Int16 -> Meet Int16 # sconcat :: NonEmpty (Meet Int16) -> Meet Int16 # stimes :: Integral b => b -> Meet Int16 -> Meet Int16 #
Semigroup (Meet Int32) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Int32 -> Meet Int32 -> Meet Int32 # sconcat :: NonEmpty (Meet Int32) -> Meet Int32 # stimes :: Integral b => b -> Meet Int32 -> Meet Int32 #
Semigroup (Meet Int64) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Int64 -> Meet Int64 -> Meet Int64 # sconcat :: NonEmpty (Meet Int64) -> Meet Int64 # stimes :: Integral b => b -> Meet Int64 -> Meet Int64 #
Semigroup (Meet Integer) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Integer -> Meet Integer -> Meet Integer # sconcat :: NonEmpty (Meet Integer) -> Meet Integer # stimes :: Integral b => b -> Meet Integer -> Meet Integer #
Semigroup (Meet Natural) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Natural -> Meet Natural -> Meet Natural # sconcat :: NonEmpty (Meet Natural) -> Meet Natural # stimes :: Integral b => b -> Meet Natural -> Meet Natural #
Semigroup (Meet a) => Semigroup (Meet (Maybe a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet (Maybe a) -> Meet (Maybe a) -> Meet (Maybe a) # sconcat :: NonEmpty (Meet (Maybe a)) -> Meet (Maybe a) # stimes :: Integral b => b -> Meet (Maybe a) -> Meet (Maybe a) #
Semigroup (Meet Ordering) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Ordering -> Meet Ordering -> Meet Ordering # sconcat :: NonEmpty (Meet Ordering) -> Meet Ordering # stimes :: Integral b => b -> Meet Ordering -> Meet Ordering #
Semigroup (Meet (Ratio Integer)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet (Ratio Integer) -> Meet (Ratio Integer) -> Meet (Ratio Integer) # sconcat :: NonEmpty (Meet (Ratio Integer)) -> Meet (Ratio Integer) # stimes :: Integral b => b -> Meet (Ratio Integer) -> Meet (Ratio Integer) #
Semigroup (Meet (Ratio Natural)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet (Ratio Natural) -> Meet (Ratio Natural) -> Meet (Ratio Natural) # sconcat :: NonEmpty (Meet (Ratio Natural)) -> Meet (Ratio Natural) # stimes :: Integral b => b -> Meet (Ratio Natural) -> Meet (Ratio Natural) #
Semigroup (Meet Word) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Word -> Meet Word -> Meet Word # sconcat :: NonEmpty (Meet Word) -> Meet Word # stimes :: Integral b => b -> Meet Word -> Meet Word #
Semigroup (Meet Word8) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Word8 -> Meet Word8 -> Meet Word8 # sconcat :: NonEmpty (Meet Word8) -> Meet Word8 # stimes :: Integral b => b -> Meet Word8 -> Meet Word8 #
Semigroup (Meet Word16) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Word16 -> Meet Word16 -> Meet Word16 # sconcat :: NonEmpty (Meet Word16) -> Meet Word16 # stimes :: Integral b => b -> Meet Word16 -> Meet Word16 #
Semigroup (Meet Word32) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Word32 -> Meet Word32 -> Meet Word32 # sconcat :: NonEmpty (Meet Word32) -> Meet Word32 # stimes :: Integral b => b -> Meet Word32 -> Meet Word32 #
Semigroup (Meet Word64) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet Word64 -> Meet Word64 -> Meet Word64 # sconcat :: NonEmpty (Meet Word64) -> Meet Word64 # stimes :: Integral b => b -> Meet Word64 -> Meet Word64 #
(Semigroup (Meet a), Semigroup (Meet b)) => Semigroup (Meet (Either a b)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet (Either a b) -> Meet (Either a b) -> Meet (Either a b) # sconcat :: NonEmpty (Meet (Either a b)) -> Meet (Either a b) # stimes :: Integral b0 => b0 -> Meet (Either a b) -> Meet (Either a b) #
Semigroup (Meet ()) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet () -> Meet () -> Meet () # sconcat :: NonEmpty (Meet ()) -> Meet () # stimes :: Integral b => b -> Meet () -> Meet () #
(Semigroup (Meet a), Semigroup (Meet b)) => Semigroup (Meet (a, b)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet (a, b) -> Meet (a, b) -> Meet (a, b) # sconcat :: NonEmpty (Meet (a, b)) -> Meet (a, b) # stimes :: Integral b0 => b0 -> Meet (a, b) -> Meet (a, b) #
Semigroup (Meet a) => Semigroup (Meet (Op a b)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet (Op a b) -> Meet (Op a b) -> Meet (Op a b) # sconcat :: NonEmpty (Meet (Op a b)) -> Meet (Op a b) # stimes :: Integral b0 => b0 -> Meet (Op a b) -> Meet (Op a b) #
Semigroup (Meet (Predicate a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet (Predicate a) -> Meet (Predicate a) -> Meet (Predicate a) # sconcat :: NonEmpty (Meet (Predicate a)) -> Meet (Predicate a) # stimes :: Integral b => b -> Meet (Predicate a) -> Meet (Predicate a) #
Semigroup a => Semigroup (Meet (Endo a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet (Endo a) -> Meet (Endo a) -> Meet (Endo a) # sconcat :: NonEmpty (Meet (Endo a)) -> Meet (Endo a) # stimes :: Integral b => b -> Meet (Endo a) -> Meet (Endo a) #
Semigroup (Join a) => Semigroup (Meet (Down a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet (Down a) -> Meet (Down a) -> Meet (Down a) # sconcat :: NonEmpty (Meet (Down a)) -> Meet (Down a) # stimes :: Integral b => b -> Meet (Down a) -> Meet (Down a) #
Semigroup (Meet a) => Semigroup (Meet (IntMap a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet (IntMap a) -> Meet (IntMap a) -> Meet (IntMap a) # sconcat :: NonEmpty (Meet (IntMap a)) -> Meet (IntMap a) # stimes :: Integral b => b -> Meet (IntMap a) -> Meet (IntMap a) #
Semigroup (Meet IntSet) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet IntSet -> Meet IntSet -> Meet IntSet # sconcat :: NonEmpty (Meet IntSet) -> Meet IntSet # stimes :: Integral b => b -> Meet IntSet -> Meet IntSet #
(TotalOrder k, Semigroup (Meet a)) => Semigroup (Meet (Map k a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet (Map k a) -> Meet (Map k a) -> Meet (Map k a) # sconcat :: NonEmpty (Meet (Map k a)) -> Meet (Map k a) # stimes :: Integral b => b -> Meet (Map k a) -> Meet (Map k a) #
TotalOrder a => Semigroup (Meet (Set a)) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: Meet (Set a) -> Meet (Set a) -> Meet (Set a) # sconcat :: NonEmpty (Meet (Set a)) -> Meet (Set a) # stimes :: Integral b => b -> Meet (Set a) -> Meet (Set a) #
Semigroup (Meet a) => Semigroup (Meet (Extended a)) Source #
Instance details Defined in Data.Order.Extended Methods (<>) :: Meet (Extended a) -> Meet (Extended a) -> Meet (Extended a) # sconcat :: NonEmpty (Meet (Extended a)) -> Meet (Extended a) # stimes :: Integral b => b -> Meet (Extended a) -> Meet (Extended a) #
Lattice a => Semigroup (Meet (Sup a)) Source #
Instance details Defined in Data.Order.Topology Methods (<>) :: Meet (Sup a) -> Meet (Sup a) -> Meet (Sup a) # sconcat :: NonEmpty (Meet (Sup a)) -> Meet (Sup a) # stimes :: Integral b => b -> Meet (Sup a) -> Meet (Sup a) #
Lattice a => Semigroup (Meet (Inf a)) Source #
Instance details Defined in Data.Order.Topology Methods (<>) :: Meet (Inf a) -> Meet (Inf a) -> Meet (Inf a) # sconcat :: NonEmpty (Meet (Inf a)) -> Meet (Inf a) # stimes :: Integral b => b -> Meet (Inf a) -> Meet (Inf a) #
Monoid (Meet Bool) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet Bool # mappend :: Meet Bool -> Meet Bool -> Meet Bool # mconcat :: [Meet Bool] -> Meet Bool #
Monoid (Meet Double) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet Double # mappend :: Meet Double -> Meet Double -> Meet Double # mconcat :: [Meet Double] -> Meet Double #
Monoid (Meet Float) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet Float # mappend :: Meet Float -> Meet Float -> Meet Float # mconcat :: [Meet Float] -> Meet Float #
Monoid (Meet a) => Monoid (Meet (r -> a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet (r -> a) # mappend :: Meet (r -> a) -> Meet (r -> a) -> Meet (r -> a) # mconcat :: [Meet (r -> a)] -> Meet (r -> a) #
Monoid (Meet Int) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet Int # mappend :: Meet Int -> Meet Int -> Meet Int # mconcat :: [Meet Int] -> Meet Int #
Monoid (Meet Int8) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet Int8 # mappend :: Meet Int8 -> Meet Int8 -> Meet Int8 # mconcat :: [Meet Int8] -> Meet Int8 #
Monoid (Meet Int16) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet Int16 # mappend :: Meet Int16 -> Meet Int16 -> Meet Int16 # mconcat :: [Meet Int16] -> Meet Int16 #
Monoid (Meet Int32) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet Int32 # mappend :: Meet Int32 -> Meet Int32 -> Meet Int32 # mconcat :: [Meet Int32] -> Meet Int32 #
Monoid (Meet Int64) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet Int64 # mappend :: Meet Int64 -> Meet Int64 -> Meet Int64 # mconcat :: [Meet Int64] -> Meet Int64 #
Monoid (Meet a) => Monoid (Meet (Maybe a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet (Maybe a) # mappend :: Meet (Maybe a) -> Meet (Maybe a) -> Meet (Maybe a) # mconcat :: [Meet (Maybe a)] -> Meet (Maybe a) #
Monoid (Meet Ordering) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet Ordering # mappend :: Meet Ordering -> Meet Ordering -> Meet Ordering # mconcat :: [Meet Ordering] -> Meet Ordering #
Monoid (Meet (Ratio Integer)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet (Ratio Integer) # mappend :: Meet (Ratio Integer) -> Meet (Ratio Integer) -> Meet (Ratio Integer) # mconcat :: [Meet (Ratio Integer)] -> Meet (Ratio Integer) #
Monoid (Meet (Ratio Natural)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet (Ratio Natural) # mappend :: Meet (Ratio Natural) -> Meet (Ratio Natural) -> Meet (Ratio Natural) # mconcat :: [Meet (Ratio Natural)] -> Meet (Ratio Natural) #
Monoid (Meet Word) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet Word # mappend :: Meet Word -> Meet Word -> Meet Word # mconcat :: [Meet Word] -> Meet Word #
Monoid (Meet Word8) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet Word8 # mappend :: Meet Word8 -> Meet Word8 -> Meet Word8 # mconcat :: [Meet Word8] -> Meet Word8 #
Monoid (Meet Word16) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet Word16 # mappend :: Meet Word16 -> Meet Word16 -> Meet Word16 # mconcat :: [Meet Word16] -> Meet Word16 #
Monoid (Meet Word32) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet Word32 # mappend :: Meet Word32 -> Meet Word32 -> Meet Word32 # mconcat :: [Meet Word32] -> Meet Word32 #
Monoid (Meet Word64) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet Word64 # mappend :: Meet Word64 -> Meet Word64 -> Meet Word64 # mconcat :: [Meet Word64] -> Meet Word64 #
(Semigroup (Meet a), Monoid (Meet b)) => Monoid (Meet (Either a b)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet (Either a b) # mappend :: Meet (Either a b) -> Meet (Either a b) -> Meet (Either a b) # mconcat :: [Meet (Either a b)] -> Meet (Either a b) #
Monoid (Meet ()) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet () # mappend :: Meet () -> Meet () -> Meet () # mconcat :: [Meet ()] -> Meet () #
(Monoid (Meet a), Monoid (Meet b)) => Monoid (Meet (a, b)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet (a, b) # mappend :: Meet (a, b) -> Meet (a, b) -> Meet (a, b) # mconcat :: [Meet (a, b)] -> Meet (a, b) #
Monoid (Meet a) => Monoid (Meet (Op a b)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet (Op a b) # mappend :: Meet (Op a b) -> Meet (Op a b) -> Meet (Op a b) # mconcat :: [Meet (Op a b)] -> Meet (Op a b) #
Monoid (Meet (Predicate a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet (Predicate a) # mappend :: Meet (Predicate a) -> Meet (Predicate a) -> Meet (Predicate a) # mconcat :: [Meet (Predicate a)] -> Meet (Predicate a) #
Monoid a => Monoid (Meet (Endo a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet (Endo a) # mappend :: Meet (Endo a) -> Meet (Endo a) -> Meet (Endo a) # mconcat :: [Meet (Endo a)] -> Meet (Endo a) #
Monoid (Join a) => Monoid (Meet (Down a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet (Down a) # mappend :: Meet (Down a) -> Meet (Down a) -> Meet (Down a) # mconcat :: [Meet (Down a)] -> Meet (Down a) #
Monoid (Meet a) => Monoid (Meet (IntMap a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet (IntMap a) # mappend :: Meet (IntMap a) -> Meet (IntMap a) -> Meet (IntMap a) # mconcat :: [Meet (IntMap a)] -> Meet (IntMap a) #
Monoid (Meet IntSet) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet IntSet # mappend :: Meet IntSet -> Meet IntSet -> Meet IntSet # mconcat :: [Meet IntSet] -> Meet IntSet #
(TotalOrder k, Finite k, Monoid (Meet a)) => Monoid (Meet (Map k a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet (Map k a) # mappend :: Meet (Map k a) -> Meet (Map k a) -> Meet (Map k a) # mconcat :: [Meet (Map k a)] -> Meet (Map k a) #
(TotalOrder a, Finite a) => Monoid (Meet (Set a)) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: Meet (Set a) # mappend :: Meet (Set a) -> Meet (Set a) -> Meet (Set a) # mconcat :: [Meet (Set a)] -> Meet (Set a) #
Semigroup (Meet a) => Monoid (Meet (Extended a)) Source #
Instance details Defined in Data.Order.Extended Methods mempty :: Meet (Extended a) # mappend :: Meet (Extended a) -> Meet (Extended a) -> Meet (Extended a) # mconcat :: [Meet (Extended a)] -> Meet (Extended a) #
Bounded a => Monoid (Meet (Sup a)) Source #
Instance details Defined in Data.Order.Topology Methods mempty :: Meet (Sup a) # mappend :: Meet (Sup a) -> Meet (Sup a) -> Meet (Sup a) # mconcat :: [Meet (Sup a)] -> Meet (Sup a) #
Bounded a => Monoid (Meet (Inf a)) Source #
Instance details Defined in Data.Order.Topology Methods mempty :: Meet (Inf a) # mappend :: Meet (Inf a) -> Meet (Inf a) -> Meet (Inf a) # mconcat :: [Meet (Inf a)] -> Meet (Inf a) #
(Eq a, Semigroup (Meet a)) => Preorder (Meet a) Source #
Instance details Defined in Data.Semigroup.Join Methods (<~) :: Meet a -> Meet a -> Bool Source # (>~) :: Meet a -> Meet a -> Bool Source # (<) :: Meet a -> Meet a -> Bool Source # (>) :: Meet a -> Meet a -> Bool Source # (?~) :: Meet a -> Meet a -> Bool Source # (~~) :: Meet a -> Meet a -> Bool Source # (/~) :: Meet a -> Meet a -> Bool Source # similar :: Meet a -> Meet a -> Bool Source # pcompare :: Meet a -> Meet a -> Maybe Ordering Source # pmax :: Meet a -> Meet a -> Maybe (Meet a) Source # pmin :: Meet a -> Meet a -> Maybe (Meet a) Source #
Quantale (Meet Bool) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet Bool -> ConnL (Meet Bool) (Meet Bool) Source # residR :: Meet Bool -> ConnR (Meet Bool) (Meet Bool) Source # (//) :: Meet Bool -> Meet Bool -> Meet Bool Source # (\\) :: Meet Bool -> Meet Bool -> Meet Bool Source #
Quantale (Meet a) => Quantale (Meet (r -> a)) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet (r -> a) -> ConnL (Meet (r -> a)) (Meet (r -> a)) Source # residR :: Meet (r -> a) -> ConnR (Meet (r -> a)) (Meet (r -> a)) Source # (//) :: Meet (r -> a) -> Meet (r -> a) -> Meet (r -> a) Source # (\\) :: Meet (r -> a) -> Meet (r -> a) -> Meet (r -> a) Source #
Quantale (Meet Int) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet Int -> ConnL (Meet Int) (Meet Int) Source # residR :: Meet Int -> ConnR (Meet Int) (Meet Int) Source # (//) :: Meet Int -> Meet Int -> Meet Int Source # (\\) :: Meet Int -> Meet Int -> Meet Int Source #
Quantale (Meet Int8) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet Int8 -> ConnL (Meet Int8) (Meet Int8) Source # residR :: Meet Int8 -> ConnR (Meet Int8) (Meet Int8) Source # (//) :: Meet Int8 -> Meet Int8 -> Meet Int8 Source # (\\) :: Meet Int8 -> Meet Int8 -> Meet Int8 Source #
Quantale (Meet Int16) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet Int16 -> ConnL (Meet Int16) (Meet Int16) Source # residR :: Meet Int16 -> ConnR (Meet Int16) (Meet Int16) Source # (//) :: Meet Int16 -> Meet Int16 -> Meet Int16 Source # (\\) :: Meet Int16 -> Meet Int16 -> Meet Int16 Source #
Quantale (Meet Int32) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet Int32 -> ConnL (Meet Int32) (Meet Int32) Source # residR :: Meet Int32 -> ConnR (Meet Int32) (Meet Int32) Source # (//) :: Meet Int32 -> Meet Int32 -> Meet Int32 Source # (\\) :: Meet Int32 -> Meet Int32 -> Meet Int32 Source #
Quantale (Meet Int64) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet Int64 -> ConnL (Meet Int64) (Meet Int64) Source # residR :: Meet Int64 -> ConnR (Meet Int64) (Meet Int64) Source # (//) :: Meet Int64 -> Meet Int64 -> Meet Int64 Source # (\\) :: Meet Int64 -> Meet Int64 -> Meet Int64 Source #
UnitalQuantale (Meet a) => Quantale (Meet (Maybe a)) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet (Maybe a) -> ConnL (Meet (Maybe a)) (Meet (Maybe a)) Source # residR :: Meet (Maybe a) -> ConnR (Meet (Maybe a)) (Meet (Maybe a)) Source # (//) :: Meet (Maybe a) -> Meet (Maybe a) -> Meet (Maybe a) Source # (\\) :: Meet (Maybe a) -> Meet (Maybe a) -> Meet (Maybe a) Source #
Quantale (Meet Ordering) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet Ordering -> ConnL (Meet Ordering) (Meet Ordering) Source # residR :: Meet Ordering -> ConnR (Meet Ordering) (Meet Ordering) Source # (//) :: Meet Ordering -> Meet Ordering -> Meet Ordering Source # (\\) :: Meet Ordering -> Meet Ordering -> Meet Ordering Source #
Quantale (Meet Word) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet Word -> ConnL (Meet Word) (Meet Word) Source # residR :: Meet Word -> ConnR (Meet Word) (Meet Word) Source # (//) :: Meet Word -> Meet Word -> Meet Word Source # (\\) :: Meet Word -> Meet Word -> Meet Word Source #
Quantale (Meet Word8) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet Word8 -> ConnL (Meet Word8) (Meet Word8) Source # residR :: Meet Word8 -> ConnR (Meet Word8) (Meet Word8) Source # (//) :: Meet Word8 -> Meet Word8 -> Meet Word8 Source # (\\) :: Meet Word8 -> Meet Word8 -> Meet Word8 Source #
Quantale (Meet Word16) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet Word16 -> ConnL (Meet Word16) (Meet Word16) Source # residR :: Meet Word16 -> ConnR (Meet Word16) (Meet Word16) Source # (//) :: Meet Word16 -> Meet Word16 -> Meet Word16 Source # (\\) :: Meet Word16 -> Meet Word16 -> Meet Word16 Source #
Quantale (Meet Word32) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet Word32 -> ConnL (Meet Word32) (Meet Word32) Source # residR :: Meet Word32 -> ConnR (Meet Word32) (Meet Word32) Source # (//) :: Meet Word32 -> Meet Word32 -> Meet Word32 Source # (\\) :: Meet Word32 -> Meet Word32 -> Meet Word32 Source #
Quantale (Meet Word64) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet Word64 -> ConnL (Meet Word64) (Meet Word64) Source # residR :: Meet Word64 -> ConnR (Meet Word64) (Meet Word64) Source # (//) :: Meet Word64 -> Meet Word64 -> Meet Word64 Source # (\\) :: Meet Word64 -> Meet Word64 -> Meet Word64 Source #
(Preorder a, UnitalQuantale (Meet a)) => Quantale (Meet (Either a a)) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet (Either a a) -> ConnL (Meet (Either a a)) (Meet (Either a a)) Source # residR :: Meet (Either a a) -> ConnR (Meet (Either a a)) (Meet (Either a a)) Source # (//) :: Meet (Either a a) -> Meet (Either a a) -> Meet (Either a a) Source # (\\) :: Meet (Either a a) -> Meet (Either a a) -> Meet (Either a a) Source #
Quantale (Meet ()) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet () -> ConnL (Meet ()) (Meet ()) Source # residR :: Meet () -> ConnR (Meet ()) (Meet ()) Source # (//) :: Meet () -> Meet () -> Meet () Source # (\\) :: Meet () -> Meet () -> Meet () Source #
Quantale (Meet (Predicate a)) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet (Predicate a) -> ConnL (Meet (Predicate a)) (Meet (Predicate a)) Source # residR :: Meet (Predicate a) -> ConnR (Meet (Predicate a)) (Meet (Predicate a)) Source # (//) :: Meet (Predicate a) -> Meet (Predicate a) -> Meet (Predicate a) Source # (\\) :: Meet (Predicate a) -> Meet (Predicate a) -> Meet (Predicate a) Source #
Quantale (Join a) => Quantale (Meet (Down a)) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet (Down a) -> ConnL (Meet (Down a)) (Meet (Down a)) Source # residR :: Meet (Down a) -> ConnR (Meet (Down a)) (Meet (Down a)) Source # (//) :: Meet (Down a) -> Meet (Down a) -> Meet (Down a) Source # (\\) :: Meet (Down a) -> Meet (Down a) -> Meet (Down a) Source #
(TotalOrder k, Finite k, UnitalQuantale (Meet a)) => Quantale (Meet (Map k a)) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet (Map k a) -> ConnL (Meet (Map k a)) (Meet (Map k a)) Source # residR :: Meet (Map k a) -> ConnR (Meet (Map k a)) (Meet (Map k a)) Source # (//) :: Meet (Map k a) -> Meet (Map k a) -> Meet (Map k a) Source # (\\) :: Meet (Map k a) -> Meet (Map k a) -> Meet (Map k a) Source #
TotalOrder a => Quantale (Meet (Set a)) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: Meet (Set a) -> ConnL (Meet (Set a)) (Meet (Set a)) Source # residR :: Meet (Set a) -> ConnR (Meet (Set a)) (Meet (Set a)) Source # (//) :: Meet (Set a) -> Meet (Set a) -> Meet (Set a) Source # (\\) :: Meet (Set a) -> Meet (Set a) -> Meet (Set a) Source #
type Rep (Meet a) Source #
Instance details Defined in Data.Semigroup.Join type Rep (Meet a) = D1 (MetaData "Meet" "Data.Semigroup.Join" "connections-0.1.0-11OS2JegWRt65QKiR71Tlk" True) (C1 (MetaCons "Meet" PrefixI True) (S1 (MetaSel (Just "getMeet") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

DerivingVia

newtype F1 (f :: Type -> Type) a Source #

Constructors

F1 (f a)

Instances

Functor f => Functor (F1 f) Source #
Instance details Defined in Data.Semigroup.Join Methods fmap :: (a -> b) -> F1 f a -> F1 f b # (<$) :: a -> F1 f b -> F1 f a #
Eq (f a) => Eq (F1 f a) Source #
Instance details Defined in Data.Semigroup.Join Methods (==) :: F1 f a -> F1 f a -> Bool # (/=) :: F1 f a -> F1 f a -> Bool #
Ord (f a) => Ord (F1 f a) Source #
Instance details Defined in Data.Semigroup.Join Methods compare :: F1 f a -> F1 f a -> Ordering # (<) :: F1 f a -> F1 f a -> Bool # (<=) :: F1 f a -> F1 f a -> Bool # (>) :: F1 f a -> F1 f a -> Bool # (>=) :: F1 f a -> F1 f a -> Bool # max :: F1 f a -> F1 f a -> F1 f a # min :: F1 f a -> F1 f a -> F1 f a #
Show (f a) => Show (F1 f a) Source #
Instance details Defined in Data.Semigroup.Join Methods showsPrec :: Int -> F1 f a -> ShowS # show :: F1 f a -> String # showList :: [F1 f a] -> ShowS #
(Applicative f, Semigroup a) => Semigroup (F1 f a) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: F1 f a -> F1 f a -> F1 f a # sconcat :: NonEmpty (F1 f a) -> F1 f a # stimes :: Integral b => b -> F1 f a -> F1 f a #
(Applicative f, Monoid a) => Monoid (F1 f a) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: F1 f a # mappend :: F1 f a -> F1 f a -> F1 f a # mconcat :: [F1 f a] -> F1 f a #
(Applicative f, Quantale a) => Quantale (F1 f a) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: F1 f a -> ConnL (F1 f a) (F1 f a) Source # residR :: F1 f a -> ConnR (F1 f a) (F1 f a) Source # (//) :: F1 f a -> F1 f a -> F1 f a Source # (\\) :: F1 f a -> F1 f a -> F1 f a Source #

newtype F2 (f :: Type -> Type) (g :: Type -> Type) a Source #

Constructors

F2 (f (g a))

Instances

(Functor f, Functor g) => Functor (F2 f g) Source #
Instance details Defined in Data.Semigroup.Join Methods fmap :: (a -> b) -> F2 f g a -> F2 f g b # (<$) :: a -> F2 f g b -> F2 f g a #
(Applicative f, Applicative g) => Applicative (F2 f g) Source #
Instance details Defined in Data.Semigroup.Join Methods pure :: a -> F2 f g a # (<>) :: F2 f g (a -> b) -> F2 f g a -> F2 f g b # liftA2 :: (a -> b -> c) -> F2 f g a -> F2 f g b -> F2 f g c # (>) :: F2 f g a -> F2 f g b -> F2 f g b # (<*) :: F2 f g a -> F2 f g b -> F2 f g a #
Eq (f (g a)) => Eq (F2 f g a) Source #
Instance details Defined in Data.Semigroup.Join Methods (==) :: F2 f g a -> F2 f g a -> Bool # (/=) :: F2 f g a -> F2 f g a -> Bool #
Ord (f (g a)) => Ord (F2 f g a) Source #
Instance details Defined in Data.Semigroup.Join Methods compare :: F2 f g a -> F2 f g a -> Ordering # (<) :: F2 f g a -> F2 f g a -> Bool # (<=) :: F2 f g a -> F2 f g a -> Bool # (>) :: F2 f g a -> F2 f g a -> Bool # (>=) :: F2 f g a -> F2 f g a -> Bool # max :: F2 f g a -> F2 f g a -> F2 f g a # min :: F2 f g a -> F2 f g a -> F2 f g a #
Show (f (g a)) => Show (F2 f g a) Source #
Instance details Defined in Data.Semigroup.Join Methods showsPrec :: Int -> F2 f g a -> ShowS # show :: F2 f g a -> String # showList :: [F2 f g a] -> ShowS #
(Applicative f, Applicative g, Semigroup a) => Semigroup (F2 f g a) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: F2 f g a -> F2 f g a -> F2 f g a # sconcat :: NonEmpty (F2 f g a) -> F2 f g a # stimes :: Integral b => b -> F2 f g a -> F2 f g a #
(Applicative f, Applicative g, Monoid a) => Monoid (F2 f g a) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: F2 f g a # mappend :: F2 f g a -> F2 f g a -> F2 f g a # mconcat :: [F2 f g a] -> F2 f g a #
(Applicative f, Applicative g, Quantale a) => Quantale (F2 f g a) Source #
Instance details Defined in Data.Semigroup.Quantale Methods residL :: F2 f g a -> ConnL (F2 f g a) (F2 f g a) Source # residR :: F2 f g a -> ConnR (F2 f g a) (F2 f g a) Source # (//) :: F2 f g a -> F2 f g a -> F2 f g a Source # (\\) :: F2 f g a -> F2 f g a -> F2 f g a Source #

newtype N5Min a Source #

Constructors

N5Min a

Instances

Functor N5Min Source #
Instance details Defined in Data.Semigroup.Join Methods fmap :: (a -> b) -> N5Min a -> N5Min b # (<$) :: a -> N5Min b -> N5Min a #
Applicative N5Min Source #
Instance details Defined in Data.Semigroup.Join Methods pure :: a -> N5Min a # (<>) :: N5Min (a -> b) -> N5Min a -> N5Min b # liftA2 :: (a -> b -> c) -> N5Min a -> N5Min b -> N5Min c # (>) :: N5Min a -> N5Min b -> N5Min b # (<*) :: N5Min a -> N5Min b -> N5Min a #
Eq a => Eq (N5Min a) Source #
Instance details Defined in Data.Semigroup.Join Methods (==) :: N5Min a -> N5Min a -> Bool # (/=) :: N5Min a -> N5Min a -> Bool #
Ord a => Ord (N5Min a) Source #
Instance details Defined in Data.Semigroup.Join Methods compare :: N5Min a -> N5Min a -> Ordering # (<) :: N5Min a -> N5Min a -> Bool # (<=) :: N5Min a -> N5Min a -> Bool # (>) :: N5Min a -> N5Min a -> Bool # (>=) :: N5Min a -> N5Min a -> Bool # max :: N5Min a -> N5Min a -> N5Min a # min :: N5Min a -> N5Min a -> N5Min a #
Show a => Show (N5Min a) Source #
Instance details Defined in Data.Semigroup.Join Methods showsPrec :: Int -> N5Min a -> ShowS # show :: N5Min a -> String # showList :: [N5Min a] -> ShowS #
(Preorder a, Fractional a) => Semigroup (N5Min a) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: N5Min a -> N5Min a -> N5Min a # sconcat :: NonEmpty (N5Min a) -> N5Min a # stimes :: Integral b => b -> N5Min a -> N5Min a #
(Preorder a, Fractional a) => Monoid (N5Min a) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: N5Min a # mappend :: N5Min a -> N5Min a -> N5Min a # mconcat :: [N5Min a] -> N5Min a #

newtype N5Max a Source #

Constructors

N5Max a

Instances

Functor N5Max Source #
Instance details Defined in Data.Semigroup.Join Methods fmap :: (a -> b) -> N5Max a -> N5Max b # (<$) :: a -> N5Max b -> N5Max a #
Applicative N5Max Source #
Instance details Defined in Data.Semigroup.Join Methods pure :: a -> N5Max a # (<>) :: N5Max (a -> b) -> N5Max a -> N5Max b # liftA2 :: (a -> b -> c) -> N5Max a -> N5Max b -> N5Max c # (>) :: N5Max a -> N5Max b -> N5Max b # (<*) :: N5Max a -> N5Max b -> N5Max a #
Eq a => Eq (N5Max a) Source #
Instance details Defined in Data.Semigroup.Join Methods (==) :: N5Max a -> N5Max a -> Bool # (/=) :: N5Max a -> N5Max a -> Bool #
Ord a => Ord (N5Max a) Source #
Instance details Defined in Data.Semigroup.Join Methods compare :: N5Max a -> N5Max a -> Ordering # (<) :: N5Max a -> N5Max a -> Bool # (<=) :: N5Max a -> N5Max a -> Bool # (>) :: N5Max a -> N5Max a -> Bool # (>=) :: N5Max a -> N5Max a -> Bool # max :: N5Max a -> N5Max a -> N5Max a # min :: N5Max a -> N5Max a -> N5Max a #
Show a => Show (N5Max a) Source #
Instance details Defined in Data.Semigroup.Join Methods showsPrec :: Int -> N5Max a -> ShowS # show :: N5Max a -> String # showList :: [N5Max a] -> ShowS #
(Preorder a, Fractional a) => Semigroup (N5Max a) Source #
Instance details Defined in Data.Semigroup.Join Methods (<>) :: N5Max a -> N5Max a -> N5Max a # sconcat :: NonEmpty (N5Max a) -> N5Max a # stimes :: Integral b => b -> N5Max a -> N5Max a #
(Preorder a, Fractional a) => Monoid (N5Max a) Source #
Instance details Defined in Data.Semigroup.Join Methods mempty :: N5Max a # mappend :: N5Max a -> N5Max a -> N5Max a # mconcat :: [N5Max a] -> N5Max a #