Portability | see LANGUAGE pragmas (... GHC) |
---|---|
Stability | experimental |
Maintainer | nicolas.frisby@gmail.com |
Natural transformations and pairs.
- type NT_ u f = forall t. u t -> f t
- newtype NT u f = NT (forall t. u t -> Unwrap f t)
- nt_ :: Proxy (KTSS f) -> (forall t. u t -> Unwrap f t) -> NT u f
- appNT :: NT u f -> u t -> Unwrap f t
- appNTF :: Wrapper f => NT u f -> NT_ u f
- orNT :: NT u f -> NT v f -> NT (u :|| v) f
- constNT :: Unwrap f t -> NT (:=: t) f
- constNT_ :: Proxy (KTSS f) -> Unwrap f t -> NT (:=: t) f
- constNTF :: Wrapper f => f t -> NT (:=: t) f
- firstNT :: NT_ u g -> NT g f -> NT u f
- data NP u f = forall t . NP (u t) (Unwrap f t)
- firstNP :: NT_ u v -> NP u f -> NP v f
- newtype ArrowTSS f g a = ArrowTSS (f a -> g a)
- appNTtoNP :: (Wrapper f, Wrapper g) => NT u (ArrowTSS f g) -> NP u f -> NP u g