Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class (Associative t1 cat, Associative t2 cat, Associative t3 cat, Associative to cat) => Semigroupal cat t1 t2 t3 to f where Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
class (Associative t1 cat, Associative t2 cat, Associative t3 cat, Associative to cat) => Semigroupal cat t1 t2 t3 to f where Source #