Copyright | (c) Edward Kmett 2014 |
---|---|
License | BSD3 |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Documentation
class (Category ((~>) :: i -> i -> *), hom ~ Hom) => Powered hom where Source
Monoidal k * f => Monoidal k * (Power1 k v f) | |
Semimonoidal * k f => Semimonoidal * k (Power1 k v f) | |
Functor k * f => Functor k * (Power1 k v f) | |
Corepresentable * (k -> *) (k -> *) (Power1 k) | |
(Monoidal k * f, Monoid k m) => Monoid * (Power1 k v f m) | |
(Semimonoidal * k f, Semigroup k m) => Semigroup * (Power1 k v f m) | |
Contravariant ((k -> *) -> k -> *) * (Power1 k) | |
Monoidal (k -> *) (k -> *) (Power1 k v) | |
Semimonoidal (k -> *) (k -> *) (Power1 k v) | |
Functor (k -> *) (k -> *) (Power1 k v) | |
Monoid (k -> *) m => Monoid (k -> *) (Power1 k v m) | |
Semigroup (k -> *) m => Semigroup (k -> *) (Power1 k v m) | |
type Corep * (k -> *) (k -> *) (Power1 k) = Rel * (k -> *) |