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 HaskellNone
LanguageHaskell2010

Grisette.Internal.TH.Derivation.DeriveUnifiedSimpleMergeable

Description

 
Synopsis

Documentation

deriveUnifiedSimpleMergeable :: DeriveConfig -> Name -> Q [Dec] Source #

Derive UnifiedSimpleMergeable instance for a data type.

deriveUnifiedSimpleMergeable1 :: DeriveConfig -> Name -> Q [Dec] Source #

Derive UnifiedSimpleMergeable1 instance for a data type.

deriveUnifiedSimpleMergeable2 :: DeriveConfig -> Name -> Q [Dec] Source #

Derive UnifiedSimpleMergeable2 instance for a data type.