Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
TH code for generating classification boilerplate.
Synopsis
- promote :: forall a. (Enum a, Lift a) => a -> TypeQ
- generateClassifiedInstr :: DecsQ
- classifyInstrTH :: Name -> [Type] -> TypeQ
- generateInstrToWCI :: Name -> DecsQ
Documentation
promote :: forall a. (Enum a, Lift a) => a -> TypeQ Source #
Convert a Enum
constructor to a TemplateHaskell type quote with the
corresponding promoted datakind constructor.
generateClassifiedInstr :: DecsQ Source #
Generate ClassifiedInstr
from Instr
.