Data.Functor.Monoidal

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

Members

• combine :: forall x x'. cat (to (f x) (f x')) (f (t1 x x'))

Instances

• (Apply f) => Semigroupal Function Tuple Tuple f
• (Alt f) => Semigroupal Function Either Tuple f

class Unital cat i1 io f  where

Members

• introduce :: cat io (f i1)

Instances

• (Applicative f) => Unital Function Unit Unit f
• (Plus f) => Unital Function Void Unit f

class (Tensor t1 i1 cat, Tensor to io cat, Semigroupal cat t1 to f, Unital cat i1 io f) <= Monoidal cat t1 i1 to io f 

Instances

• (Applicative f) => Monoidal Function Tuple Unit Tuple Unit f
• (Plus f) => Monoidal Function Either Void Tuple Unit f