Module

Data.Bifunctor.Monoidal

#Semigroupal

class (Associative t1 cat, Associative t2 cat, Associative to cat) <= Semigroupal cat t1 t2 to f  where

Members

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 Tuple
Semigroupal Function Either Either Either Tuple
Semigroupal Function Either Either Either Either
Semigroupal Function Either Tuple Tuple Either
Semigroupal Function These Tuple Tuple Either
Semigroupal Function Tuple Tuple Tuple Function
Semigroupal 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

class Unital cat i1 i2 io f  where

Members

introduce :: cat io (f i1 i2)

Instances

(Profunctor p, Category p) => Unital Function Unit Unit Unit (StrongCategory p)
Unital Function Unit Unit Unit Tuple
Unital Function Void Void Void Tuple
Unital Function Void Void Void Either
Unital Function Void Unit Unit Either
Unital Function Unit Unit Unit Function
Unital 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

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 Tuple
Monoidal Function Either Void Either Void Either Void Tuple
Monoidal Function Either Void Either Void Either Void Either
Monoidal Function Either Void Tuple Unit Tuple Unit Either
Monoidal Function These Void Tuple Unit Tuple Unit Either
Monoidal Function Tuple Unit Tuple Unit Tuple Unit Function
Monoidal 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

newtype StrongCategory p a b

Constructors

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)

Modules