Morley.Macro

For utilities

expandContract :: Contract ParsedOp -> UntypedContract

Expand all macros in parsed contract.

expandValue :: Value ParsedOp -> UntypedValue

For parsing

mapLeaves :: [(VarAnn, FieldAnn)] -> PairStruct -> PairStruct

Internals exported for tests

expand :: ParsedOp -> ExpandedOp

expandList :: [ParsedOp] -> [ExpandedOp]

expandPapair :: PairStruct -> TypeAnn -> VarAnn -> [ParsedOp]

expandUnpapair :: PairStruct -> [ParsedOp]

expandCadr :: [CadrStruct] -> VarAnn -> FieldAnn -> [ParsedOp]

expandSetCadr :: [CadrStruct] -> VarAnn -> FieldAnn -> [ParsedOp]

expandMapCadr :: [CadrStruct] -> VarAnn -> FieldAnn -> [ParsedOp] -> [ParsedOp]