Data.Functor.Module

Documentation

class LeftModule cat t1 f where

Methods

lstrength :: f a `cat` f (t1 a x)

class RightModule cat t1 f where

Methods

rstrength :: f a `cat` f (t1 x a)

class (LeftModule cat t1 f, RightModule cat t1 f) => Bimodule cat t1 f