Module

Data.Trifunctor.Module

Package: purescript-monoidal
Repository: mcneissue/purescript-monoidal

#LeftModule Source

class LeftModule cat t1 t2 t3 f  where

Members

lstrength :: forall a b c x. cat (f a b c) (f (t1 a x) (t2 b x) (t3 c x))

#RightModule Source

class RightModule cat t1 t2 t3 f  where

Members

rstrength :: forall a b c x. cat (f a b c) (f (t1 x a) (t2 x b) (t3 x c))

#Bimodule Source

class (LeftModule cat t1 t2 t3 f, RightModule cat t1 t2 t3 f) <= Bimodule cat t1 t2 t3 f

Modules: Control.Category.Tensor; Data.Bifunctor.ApplicativeDo; Data.Bifunctor.Module; Data.Bifunctor.Monoidal; Data.Bifunctor.Monoidal.Specialized; Data.Functor.ApplicativeDo; Data.Functor.Module; Data.Functor.Monoidal; Data.Trifunctor.ApplicativeDo; Data.Trifunctor.Module; Data.Trifunctor.Monoidal