Module

Data.Bifunctor.Module

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

#LeftModule Source

class LeftModule cat t1 t2 f  where

Members

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

#RightModule Source

class RightModule cat t1 t2 f  where

Members

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

#Bimodule Source

class (LeftModule cat t1 t2 f, RightModule cat t1 t2 f) <= Bimodule cat t1 t2 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