pandora-0.2.0: 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 #