th-lego-0.1.0.2: Template Haskell construction utilities

Safe Haskell	None
Language	Haskell2010

THLego.Instances

Contents

IsLabel
- Constructor
- Accessor
HasField

Synopsis

isLabel :: TyLit -> Type -> Exp -> Dec
newtypeConstructorIsLabel :: TyLit -> Type -> Name -> Type -> Dec
sumConstructorIsLabel :: TyLit -> Type -> Name -> [Type] -> Dec
enumConstructorIsLabel :: TyLit -> Type -> Name -> Dec
tupleAdtConstructorIsLabel :: TyLit -> Type -> Name -> [Type] -> Dec
productAccessorIsLabel :: TyLit -> Type -> Type -> Name -> Int -> Int -> Dec
sumAccessorIsLabel :: TyLit -> Type -> Name -> [Type] -> Dec
enumAccessorIsLabel :: TyLit -> Type -> Name -> Dec
hasField :: TyLit -> Type -> Type -> [Clause] -> Dec
enumHasField :: TyLit -> Type -> Name -> Dec
sumHasField :: TyLit -> Type -> Name -> [Type] -> Dec
productHasField :: TyLit -> Type -> Type -> Name -> Int -> Int -> Dec

IsLabel

isLabel :: TyLit -> Type -> Exp -> Dec Source #

Constructor

newtypeConstructorIsLabel :: TyLit -> Type -> Name -> Type -> Dec Source #

sumConstructorIsLabel :: TyLit -> Type -> Name -> [Type] -> Dec Source #

enumConstructorIsLabel :: TyLit -> Type -> Name -> Dec Source #

tupleAdtConstructorIsLabel :: TyLit -> Type -> Name -> [Type] -> Dec Source #

IsLabel instance which converts tuple to ADT.

Accessor

productAccessorIsLabel :: TyLit -> Type -> Type -> Name -> Int -> Int -> Dec Source #

sumAccessorIsLabel :: TyLit -> Type -> Name -> [Type] -> Dec Source #

enumAccessorIsLabel :: TyLit -> Type -> Name -> Dec Source #

`HasField`

hasField :: TyLit -> Type -> Type -> [Clause] -> Dec Source #

The most general template for HasField.

enumHasField :: TyLit -> Type -> Name -> Dec Source #

Field which projects enum values into bools.

sumHasField :: TyLit -> Type -> Name -> [Type] -> Dec Source #

productHasField :: TyLit -> Type -> Type -> Name -> Int -> Int -> Dec Source #