pandora-0.1.8: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Core.Transformation

Documentation

type Natural t u = forall a. (Covariant t, Covariant u) => t a -> u a Source #

type (~>) t u = Natural t u Source #