Morley.Michelson.Typed.ClassifiedInstr.Internal.TH

TH code for generating classification boilerplate.

Documentation

generateClassifiedInstr :: DecsQ

Generate ClassifiedInstr from Instr.

toName :: forall a. (Enum a, Show a) => a -> Name

A dirty hack to turn a enum value into its corresponding Name

classifyInstrTH :: Name -> [Type] -> TypeQ

Based on instruction constructor name and types of its arguments, generate its classification.

generateInstrToWCI :: Name -> DecsQ

Generate the function converting from Instr to WellClassifiedInstr existential.