vinyl-0.4.2: Extensible Records

Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Vinyl.TyFun

Documentation

data TyFun :: * -> * -> * Source

type family App f a :: l Source

Instances

type App * * ElField ((:::) k sy t) = t 
type App k k (Id k) x = x 
type App * k (TC k t) x = t x 
type App * k (Const k t) x = t 

data TC :: (k -> *) -> TyFun k * -> * Source

Instances

type App * k (TC k t) x = t x 

type ($) f x = App f x Source