Module

Data.Functor.Module

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

#LeftModule Source

class LeftModule cat t1 f  where

Members

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

#RightModule Source

class RightModule cat t1 f  where

Members

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

#Bimodule Source

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