Portability | non-portable (rank-2 polymorphism) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
- newtype Ran g h a = Ran {
- runRan :: forall b. (a -> g b) -> h b
- toRan :: (Composition c, Functor k) => Natural (c k g) h -> Natural k (Ran g h)
- fromRan :: Composition c => Natural k (Ran g h) -> Natural (c k g) h
- data Lan g h a = forall b . Lan (g b -> a) (h b)
- toLan :: (Composition c, Functor f) => Natural h (c f g) -> Natural (Lan g h) f
- fromLan :: Composition c => Natural (Lan g h) f -> Natural h (c f g)