pandora-0.3.0: A box of patterns and paradigms

Safe Haskell	Safe
Language	Haskell2010

Pandora.Paradigm.Schemes.UTU

Documentation

newtype UTU ct cu t u u' a Source #

Constructors

UTU ((u :. (t :. u')) := a)

Instances

Interpreted (UTU ct cu t u u') Source #
Instance details Defined in Pandora.Paradigm.Schemes.UTU Associated Types type Primary (UTU ct cu t u u') a :: Type Source # Methods run :: UTU ct cu t u u' a -> Primary (UTU ct cu t u u') a Source #
type Primary (UTU ct cu t u u') a Source #
Instance details Defined in Pandora.Paradigm.Schemes.UTU type Primary (UTU ct cu t u u') a = (u :. (t :. u')) := a

type (<.<:>.>) = UTU Covariant Covariant Covariant Source #

type (>.<:>.>) = UTU Contravariant Covariant Covariant Source #

type (<.<:>.<) = UTU Covariant Covariant Contravariant Source #

type (>.<:>.<) = UTU Contravariant Covariant Contravariant Source #

type (<.>:<.>) = UTU Covariant Contravariant Covariant Source #

type (>.>:<.>) = UTU Contravariant Contravariant Covariant Source #

type (<.>:<.<) = UTU Covariant Contravariant Contravariant Source #

type (>.>:<.<) = UTU Contravariant Contravariant Contravariant Source #