grisette-0.10.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.DeriveBuiltin

Description

 
Synopsis

Documentation

deriveBuiltinExtra :: [SomeDeriveTypeParamHandler] -> Maybe [SomeDeriveTypeParamHandler] -> Bool -> Strategy -> [Name] -> Name -> Q [Dec] Source #

Derive a builtin class for a type, with extra handlers.

deriveBuiltin :: Strategy -> [Name] -> Name -> Q [Dec] Source #

Derive a builtin class for a type.

deriveBuiltins :: Strategy -> [Name] -> [Name] -> Q [Dec] Source #

Derive builtin classes for a list of types.