Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class LeftModule cat t1 t2 t3 f where Source #
class RightModule cat t1 t2 t3 f where Source #
class (LeftModule cat t1 t2 t3 f, RightModule cat t1 t2 t3 f) => Bimodule cat t1 t2 t3 f Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
class LeftModule cat t1 t2 t3 f where Source #
class RightModule cat t1 t2 t3 f where Source #
class (LeftModule cat t1 t2 t3 f, RightModule cat t1 t2 t3 f) => Bimodule cat t1 t2 t3 f Source #