Module

Data.Profunctor.Bimodule

Package: purescript-profunctor-extra
Repository: mcneissue/purescript-profunctor-extra

#LeftModule Source

class (Associative l c, Associative r c, Profunctor p) <= LeftModule c l r p  where

Members

lstrength :: forall x b a. c (p a b) (p (l a x) (r b x))

#RightModule Source

class (Associative l c, Associative r c, Profunctor p) <= RightModule c l r p  where

Members

rstrength :: forall x b a. c (p a b) (p (l x a) (r x b))

#Bimodule Source

class (LeftModule c l r p, RightModule c l r p) <= Bimodule c l r p

Modules: Control.Category.Tensor; Data.Profunctor.Bimodule; Data.Profunctor.Lazy; Data.Profunctor.Monoidal