monoidal-functors-0.2.0.0: Monoidal Functors Library
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Trifunctor.Module

Synopsis

LeftModule

class LeftModule cat t1 t2 t3 f where Source #

Methods

lstrength :: cat (f a b c) (f (t1 a x) (t2 b x) (t3 c x)) Source #

RightModule

class RightModule cat t1 t2 t3 f where Source #

Methods

rstrength :: cat (f a b c) (f (t1 x a) (t2 x b) (t3 x c)) Source #

Bimodule

class (LeftModule cat t1 t2 t3 f, RightModule cat t1 t2 t3 f) => Bimodule cat t1 t2 t3 f Source #