vinyl-0.4.1: Extensible Records

Safe HaskellNone
LanguageHaskell2010

Data.Vinyl.Universe.Field

Documentation

data sy ::: t Source

Instances

type App * * ElField ((:::) k sy t) = t 

data SField :: * -> * where Source

Constructors

SField :: KnownSymbol sy => SField (sy ::: t) 

data ElField :: TyFun * * -> * where Source

Constructors

ElField :: ElField el 

Instances

type App * * ElField ((:::) k sy t) = t