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 (Precartesian ((~>) :: i -> i -> *), Profunctor p) => Strong p where Source
Strong * (->) | |
Strong Constraint (:-) | |
Precartesian i ((~>) i) => Strong i (Self i) | |
Precartesian i ((~>) i) => Strong i (Get i i r) | |
Strong (i -> Constraint) (Nat Constraint i) | |
Strong (i -> *) (Nat * i) |
to :: (Contravariant p, Post Contravariant p) => (s ~> a) -> p a a -> p s s Source