pandora-0.2.0: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Pattern.Junction.Schemes.UTU

Documentation

newtype UTU ct cu t u a Source #

Constructors

UTU ((u :. t u) > a) 
Instances
Composition (UTU ct cu t u) Source # 
Instance details

Defined in Pandora.Pattern.Junction.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.Pattern.Junction.Schemes.UTU

type Primary (UTU ct cu t u) a = (u :. t u) > a