grisette-0.11.0.0: Symbolic evaluation as a library
Copyright(c) Sirui Lu 2024
LicenseBSD-3-Clause (see the LICENSE file)
Maintainersiruilu@cs.washington.edu
StabilityExperimental
PortabilityGHC only
Safe HaskellSafe-Inferred
LanguageHaskell2010

Grisette.Internal.TH.Ctor.Common

Description

 
Synopsis

Documentation

withNameTransformer Source #

Arguments

:: ([String] -> Name -> Q [Dec])

A function that generates decs given a list of constructor names and a type name

-> (String -> String)

A function that transforms constructor names

-> Name

The type to generate the wrappers for

-> Q [Dec] 

Generate smart constructor given a type name, using a name transformer to transform constructor names.

prefixTransformer :: String -> String -> String Source #

A name transformer that prefixes a string to the constructor name

decapitalizeTransformer :: String -> String Source #

A name transformer that converts the first character to lowercase