vinyl-0.4.3: Extensible Records

Safe Haskell	Safe-Inferred
Language	Haskell2010

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