Module
Data.Bifunctor.Monoidal
- Package
- purescript-monoidal
- Repository
- mcneissue/purescript-monoidal
#Semigroupal Source
class (Associative t1 cat, Associative t2 cat, Associative to cat) <= Semigroupal cat t1 t2 to f whereMembers
combine :: forall x x' y y'. cat (to (f x y) (f x' y')) (f (t1 x x') (t2 y y'))
Instances
(Profunctor p) => Semigroupal Function Tuple Either Either p(Strong p, Semigroupoid p) => Semigroupal Function Tuple Tuple Tuple (StrongCategory p)Semigroupal Function Tuple Tuple Tuple TupleSemigroupal Function Either Either Either TupleSemigroupal Function Either Either Either EitherSemigroupal Function Either Tuple Tuple EitherSemigroupal Function These Tuple Tuple EitherSemigroupal Function Tuple Tuple Tuple FunctionSemigroupal Function Either Either Tuple Function(Apply f) => Semigroupal Function Tuple Tuple Tuple (Joker f)(Alt f) => Semigroupal Function Either Either Tuple (Joker f)(Functor f) => Semigroupal Function Either Either Either (Joker f)(Apply f) => Semigroupal Function Tuple Tuple Tuple (Star f)(Functor f) => Semigroupal Function Either Either Tuple (Star f)(Plus f) => Semigroupal Function Either Either Either (Star f)(Alt f) => Semigroupal Function Tuple Either Tuple (Star f)
#Unital Source
class Unital cat i1 i2 io f whereMembers
introduce :: cat io (f i1 i2)
Instances
(Profunctor p, Category p) => Unital Function Unit Unit Unit (StrongCategory p)Unital Function Unit Unit Unit TupleUnital Function Void Void Void TupleUnital Function Void Void Void EitherUnital Function Void Unit Unit EitherUnital Function Unit Unit Unit FunctionUnital Function Void Void Unit Function(Applicative f) => Unital Function Unit Unit Unit (Joker f)(Plus f) => Unital Function Void Void Unit (Joker f)(Functor f) => Unital Function Void Void Void (Joker f)(Applicative f) => Unital Function Unit Unit Unit (Star f)(Functor f) => Unital Function Void Void Unit (Star f)(Plus f) => Unital Function Void Void Void (Star f)(Plus f) => Unital Function Unit Void Unit (Star f)
#Monoidal Source
class (Tensor t1 i1 cat, Tensor t2 i2 cat, Tensor to io cat, Semigroupal cat t1 t2 to f, Unital cat i1 i2 io f) <= Monoidal cat t1 i1 t2 i2 to io f Instances
(Strong p, Category p) => Monoidal Function Tuple Unit Tuple Unit Tuple Unit (StrongCategory p)Monoidal Function Tuple Unit Tuple Unit Tuple Unit TupleMonoidal Function Either Void Either Void Either Void TupleMonoidal Function Either Void Either Void Either Void EitherMonoidal Function Either Void Tuple Unit Tuple Unit EitherMonoidal Function These Void Tuple Unit Tuple Unit EitherMonoidal Function Tuple Unit Tuple Unit Tuple Unit FunctionMonoidal Function Either Void Either Void Tuple Unit Function(Applicative f) => Monoidal Function Tuple Unit Tuple Unit Tuple Unit (Joker f)(Plus f) => Monoidal Function Either Void Either Void Tuple Unit (Joker f)(Functor f) => Monoidal Function Either Void Either Void Either Void (Joker f)(Applicative f) => Monoidal Function Tuple Unit Tuple Unit Tuple Unit (Star f)(Functor f) => Monoidal Function Either Void Either Void Tuple Unit (Star f)(Plus f) => Monoidal Function Either Void Either Void Either Void (Star f)(Plus f) => Monoidal Function Tuple Unit Either Void Tuple Unit (Star f)
#StrongCategory Source
newtype StrongCategory p a bConstructors
StrongCategory (p a b)
Instances
Newtype (StrongCategory p a b) _(Profunctor p) => Profunctor (StrongCategory p)(Strong p) => Strong (StrongCategory p)(Semigroupoid p) => Semigroupoid (StrongCategory p)(Category p) => Category (StrongCategory p)(Strong p, Semigroupoid p) => Semigroupal Function Tuple Tuple Tuple (StrongCategory p)(Profunctor p, Category p) => Unital Function Unit Unit Unit (StrongCategory p)(Strong p, Category p) => Monoidal Function Tuple Unit Tuple Unit Tuple Unit (StrongCategory p)