| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Trifunctor.Module
Contents
Synopsis
- class LeftModule cat t1 t2 t3 f where
- lstrength :: cat (f a b c) (f (t1 a x) (t2 b x) (t3 c x))
- class RightModule cat t1 t2 t3 f where
- rstrength :: cat (f a b c) (f (t1 x a) (t2 x b) (t3 x c))
- class (LeftModule cat t1 t2 t3 f, RightModule cat t1 t2 t3 f) => Bimodule cat t1 t2 t3 f
LeftModule
class LeftModule cat t1 t2 t3 f where Source #
RightModule
class RightModule cat t1 t2 t3 f where Source #
Bimodule
class (LeftModule cat t1 t2 t3 f, RightModule cat t1 t2 t3 f) => Bimodule cat t1 t2 t3 f Source #