pandora-0.2.6: A box of patterns and paradigms

Safe Haskell	Safe
Language	Haskell2010

Pandora.Paradigm.Controlflow.Joint.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.Controlflow.Joint.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.Controlflow.Joint.Schemes.UTU type Primary (UTU ct cu t u u') a = (u :. (t :. u')) := a