Grisette.Internal.TH.GADT.Common

Documentation

data CheckArgsResult

Result of checkArgs for a GADT.

Constructors

CheckArgsResult

Fields

• constructors :: [ConstructorInfo]
• keptNewNames :: [Name]
• keptNewVars :: [TyVarBndr_ ()]
• argNewNames :: [Name]
• argNewVars :: [TyVarBndr_ ()]
• isVarUsedInFields :: Name -> Bool

checkArgs :: String -> Int -> Name -> Int -> Q CheckArgsResult

Check if the number of type parameters is valid for a GADT, and return new names for the type variables, split into kept and arg parts.