Documentation

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

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

typeCheckMorleyContract :: UntypedContract -> Either TCError SomeContract Source #

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

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