Morley.Ext

Documentation

interpretMorleyUntyped :: UntypedContract -> UntypedValue -> UntypedValue -> ContractEnv -> Either (InterpretUntypedError MorleyLogs) (InterpretUntypedResult MorleyLogs)

interpretMorley :: (Typeable cp, Typeable st) => Contract cp st -> Val Instr cp -> Val Instr st -> ContractEnv -> ContractReturn MorleyLogs st

typeCheckMorleyContract :: UntypedContract -> Either TCError SomeContract

typeCheckHandler :: ExpandedUExtInstr -> TcExtFrames -> SomeHST -> TypeCheckT (TcExtFrames, Maybe ExtInstr)

interpretHandler :: (ExtInstr, SomeItStack) -> EvalOp MorleyLogs ()