Copyright	(c) Sirui Lu 2024
License	BSD-3-Clause (see the LICENSE file)
Maintainer	siruilu@cs.washington.edu
Stability	Experimental
Portability	GHC only
Safe Haskell	Safe-Inferred
Language	Haskell2010

Grisette.Internal.TH.GADT.DeriveGADT

Description

Synopsis

deriveGADT :: [Name] -> [Name] -> Q [Dec]
deriveGADTWith :: DeriveConfig -> [Name] -> [Name] -> Q [Dec]
allClasses0 :: [Name]
allClasses01 :: [Name]
allClasses012 :: [Name]
basicClasses0 :: [Name]
noExistentialClasses0 :: [Name]
ordClasses0 :: [Name]
basicClasses1 :: [Name]
noExistentialClasses1 :: [Name]
ordClasses1 :: [Name]
basicClasses2 :: [Name]
noExistentialClasses2 :: [Name]
ordClasses2 :: [Name]

Documentation

deriveGADT :: [Name] -> [Name] -> Q [Dec] Source #

Derive the specified classes for a GADT with the given name.

See deriveGADTWith for more details.

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

Derive the specified classes for a GADT with the given name.

Support the following classes.

Note that the following type classes cannot be derived for GADTs with existential type variables.

allClasses0 :: [Name] Source #

All the classes that can be derived for GADTs.

This includes:

allClasses01 :: [Name] Source #

All the classes that can be derived for GADT functors.

This includes all the classes in allClasses0 and allClasses1.

allClasses012 :: [Name] Source #

All the classes that can be derived for GADTfunctors.

This includes all the classes in allClasses0, allClasses1, and allClasses2.

basicClasses0 :: [Name] Source #

Basic classes for GADTs.

This includes:

These classes can be derived for most GADTs.

noExistentialClasses0 :: [Name] Source #

Classes that can only be derived for GADTs without existential type variables.

This includes:

ordClasses0 :: [Name] Source #

Concrete ordered classes that can be derived for GADTs that

uses unified evaluation mode, or
does not contain any symbolic variables.

This includes:

Ord
UnifiedSymOrd

basicClasses1 :: [Name] Source #

Basic classes for GADT functors.

This includes:

noExistentialClasses1 :: [Name] Source #

*1 classes that can only be derived for GADT functors without existential type variables.

This includes:

ordClasses1 :: [Name] Source #

*1 concrete ordered classes that can be derived for GADT functors that

uses unified evaluation mode, or
does not contain any symbolic variables.

This includes:

Ord1
UnifiedSymOrd1

basicClasses2 :: [Name] Source #

Basic classes for GADT functors.

This includes:

noExistentialClasses2 :: [Name] Source #

*2 classes that can only be derived for GADT functors without existential type variables.

This includes:

ordClasses2 :: [Name] Source #

*2 concrete ordered classes that can be derived for GADT functors that

uses unified evaluation mode, or
does not contain any symbolic variables.

This includes:

Ord2
UnifiedSymOrd2