monoidal-functors-0.1.1.0: Monoidal Functors Library
Safe HaskellNone
LanguageHaskell2010

Data.Bifunctor.Module

Documentation

class LeftModule cat t1 t2 f where Source #

Methods

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

class RightModule cat t1 t2 f where Source #

Methods

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

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