morley-1.16.3: Developer tools for the Michelson Language

Safe Haskell	None
Language	Haskell2010

Morley.Util.TH

Synopsis

deriveGADTNFData :: Name -> Q [Dec]
lookupTypeNameOrFail :: String -> Q Name
isTypeAlias :: Name -> Q Bool
addTypeVariables :: Name -> Q Type

Documentation

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

Generates an NFData instance for a GADT. Note: This will not generate additional constraints to the generated instance if those are required.

lookupTypeNameOrFail :: String -> Q Name Source #

isTypeAlias :: Name -> Q Bool Source #

Check if name is a type

addTypeVariables :: Name -> Q Type Source #

Accepts a type constructor and fills it with variables until getting a type of kind *.