Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
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.