pandora-0.2.3: A box of patterns and paradigms

Safe Haskell	Safe
Language	Haskell2010

Pandora.Paradigm.Controlflow.Joint.Schemes.UTU

Documentation

newtype UTU ct cu t u a Source #

Constructors

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

Instances

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