morley-0.5.0: Developer tools for the Michelson Language

Safe Haskell	None
Language	Haskell2010

Lorentz.Run

Synopsis

compileLorentz :: (inp :-> out) -> Instr (ToTs inp) (ToTs out)
compileLorentzContract :: forall cp st. (NiceParameter cp, NiceStorage st, ParameterEntryPoints cp) => Contract cp st -> FullContract (ToT cp) (ToT st)
interpretLorentzInstr :: (IsoValuesStack inp, IsoValuesStack out) => ContractEnv -> (inp :-> out) -> Rec Identity inp -> Either MichelsonFailed (Rec Identity out)
interpretLorentzLambda :: (IsoValue inp, IsoValue out) => ContractEnv -> Lambda inp out -> inp -> Either MichelsonFailed out
analyzeLorentz :: (inp :-> out) -> AnalyzerRes

Documentation

compileLorentz :: (inp :-> out) -> Instr (ToTs inp) (ToTs out) Source #

For use outside of Lorentz.

compileLorentzContract :: forall cp st. (NiceParameter cp, NiceStorage st, ParameterEntryPoints cp) => Contract cp st -> FullContract (ToT cp) (ToT st) Source #

Version of compileLorentz specialized to instruction corresponding to contract code.

interpretLorentzInstr :: (IsoValuesStack inp, IsoValuesStack out) => ContractEnv -> (inp :-> out) -> Rec Identity inp -> Either MichelsonFailed (Rec Identity out) Source #

Interpret a Lorentz instruction, for test purposes.

interpretLorentzLambda :: (IsoValue inp, IsoValue out) => ContractEnv -> Lambda inp out -> inp -> Either MichelsonFailed out Source #

Like interpretLorentzInstr, but works on lambda rather than arbitrary instruction.

analyzeLorentz :: (inp :-> out) -> AnalyzerRes Source #

Lorentz version of analyzer.