Module

Data.Bifunctor.Module

#LeftModule 

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 

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 

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

Modules