THLego.Instances

IsLabel

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

Constructor

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

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

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

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

IsLabel instance which converts tuple to ADT.

Accessor

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

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

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

HasField

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

The most general template for HasField.

enumHasField

Arguments

:: TyLit

Field label.

-> Type

Enum type.

-> Name

Name of the constructor.

-> Dec

HasField instance which focuses on a variant of an enum and projects it into Bool signaling whether the value matches.

Generates code of the following pattern:

instance HasField "fieldLabel" enumType Bool

sumHasField

Arguments

:: TyLit

Field label.

-> Type

The ADT type.

-> Name

Name of the constructor.

-> [Type]

Member types of that constructor.

-> Dec

Instance of HasField for a constructor of a sum ADT, projecting it into a Maybe tuple of its members.

Generates code of the following pattern:

instance HasField "fieldLabel" sumAdt (Maybe projectionType)

• When the amount of member types is 0, projectionType is ().
• When the amount of member types is 1, it is that member type.
• Otherwise it is a tuple of those members.

productHasField

Arguments

:: TyLit

Field label.

-> Type

Type of the product.

-> Type

Type of the member we're focusing on.

-> Name

Constructor name.

-> Int

Total amount of members in the product.

-> Int

Offset of the member we're focusing on.

-> Dec

Instance of HasField for a member of a product type.