lorentz-0.14.0: EDSL for the Michelson Language
Safe HaskellSafe-Inferred
LanguageHaskell2010

Lorentz.Print

Description

Printing lorentz contracts.

Synopsis

Documentation

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

Pretty-print a Haskell value as Michelson one.

printLorentzContract :: Bool -> Contract cp st vd -> LText Source #

Pretty-print a Lorentz contract into Michelson code.