Safe Haskell	Safe
Language	Haskell2010

Pandora.Paradigm.Controlflow.Joint.Schemes.TU

Documentation

newtype TU ct cu t u a Source #

Constructors

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

Instances

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