joint-0.1.1: Trying to compose non-composable

Safe HaskellSafe
LanguageHaskell2010

Control.Joint.Schemes.UTU

Documentation

newtype UTU t u a Source #

Constructors

UTU ((u :. t u) := a) 
Instances
Composition (UTU t u) Source # 
Instance details

Defined in Control.Joint.Schemes.UTU

Associated Types

type Primary (UTU t u) a :: Type Source #

Methods

unwrap :: UTU t u a -> Primary (UTU t u) a Source #

type Primary (UTU t u) a Source # 
Instance details

Defined in Control.Joint.Schemes.UTU

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