Data.Functor.ProductIsomorphic.TH

This module exports templates to make product constructors.

Template of ProductConstructor

defineProductConstructor

Arguments

:: Name

name of product or record type constructor

-> Q [Dec]

result template

Make template of ProductConstructor instance from type constructor name.

defineTupleProductConstructor

Arguments

:: Int

n-tuple

-> Q [Dec]

result template

Make template of ProductConstructor instance of tuple type.

Low-level API to get record info

reifyRecordType :: Name -> Q (((TypeQ, [Name]), ExpQ), (Maybe [Name], [TypeQ]))

Low-level reify interface for record type name.