Safe Haskell	None
Language	Haskell2010

Proarrow.Monoid

Documentation

class (Monoidal k, Ob m) => Monoid (m :: k) where Source Comments #

Methods

Instances details

Monoid m => Monoid (m :: Type) Source Comments #
Instance details Defined in Proarrow.Monoid Methods mempty :: (Unit :: Type) ~> m Source Comments # mappend :: (m ** m) ~> m Source Comments #
Monoid ('S 'Z) Source Comments #
Instance details Defined in Proarrow.Category.Instance.Simplex Methods mempty :: (Unit :: Nat) ~> 'S 'Z Source Comments # mappend :: ('S 'Z ** 'S 'Z) ~> 'S 'Z Source Comments #
(Profunctor p, MonoidalProfunctor p) => Monoid (p :: PRO j k) Source Comments #
Instance details Defined in Proarrow.Profunctor.Day Methods mempty :: (Unit :: PRO j k) ~> p Source Comments # mappend :: (p ** p) ~> p Source Comments #
(Bicategory kk, Monad m) => Monoid ('E m :: ENDO kk a) Source Comments #	Monads are monoids in the category of endo-1-cells.
Instance details Defined in Proarrow.Category.Monoidal.Endo Methods mempty :: (Unit :: ENDO kk a) ~> 'E m Source Comments # mappend :: ('E m ** 'E m) ~> 'E m Source Comments #

newtype GenElt (x :: k) (m :: k) Source Comments #

Constructors

Instances details

(Monoid m, Cartesian k, Ob x) => Monoid (GenElt x m) Source Comments #
Instance details Defined in Proarrow.Monoid Methods mempty :: GenElt x m Comments # mappend :: GenElt x m -> GenElt x m -> GenElt x m Comments # mconcat :: [GenElt x m] -> GenElt x m Comments #
(Monoid m, Cartesian k) => Semigroup (GenElt x m) Source Comments #
Instance details Defined in Proarrow.Monoid Methods (<>) :: GenElt x m -> GenElt x m -> GenElt x m Comments # sconcat :: NonEmpty (GenElt x m) -> GenElt x m Comments # stimes :: Integral b => b -> GenElt x m -> GenElt x m Comments #

class (Monoidal k, Ob c) => Comonoid (c :: k) where Source Comments #

Methods

Instances details

(Bicategory kk, Comonad c) => Comonoid ('E c :: ENDO kk a) Source Comments #	Comonads are comonoids in the category of endo-1-cells.
Instance details Defined in Proarrow.Category.Monoidal.Endo Methods counit :: 'E c ~> (Unit :: ENDO kk a) Source Comments # comult :: 'E c ~> ('E c ** 'E c) Source Comments #