template-haskell-natural-1.0.0.0

Safe Haskell	None
Language	Haskell2010

Language.Haskell.TH.Natural.Syntax.Datatype.Con.Record

Contents

Type
Functions

Description

Builder for record constructors

Synopsis

type RecordConBuilder = ConstBuilder RecC
newRecordCon :: String -> RecordConBuilder () -> Q RecC
addField :: String -> Type -> RecordConBuilder ()
addField' :: (String, Bang, Type) -> RecordConBuilder ()

Type

type RecordConBuilder = ConstBuilder RecC Source #

newRecordCon :: String -> RecordConBuilder () -> Q RecC Source #

Builds a record constructor

Functions

addField :: String -> Type -> RecordConBuilder () Source #

Add a field to the constructor

addField' :: (String, Bang, Type) -> RecordConBuilder () Source #

Same as addField, but allow setting the field's Kind