lorentz-0.4.0: EDSL for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Lorentz.Print

Description

Printing lorentz contracts.

Synopsis

Documentation

printLorentzValue :: forall v. NicePrintedValue v => Bool -> v -> LText Source #

Pretty-print a Haskell value as Michelson one.

printLorentzContract :: forall cp st. (NiceParameterFull cp, NiceStorage st) => Bool -> Contract cp st -> LText Source #

Pretty-print a Lorentz contract into Michelson code.