| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Morley.Michelson.Printer
Synopsis
- class RenderDoc a where
- renderDoc :: RenderContext -> a -> Doc
- isRenderable :: a -> Bool
- printUntypedContract :: RenderDoc op => Bool -> Contract' op -> Text
- printTypedContractCode :: (SingI p, SingI s) => Bool -> ContractCode p s -> Text
- printTypedContract :: Bool -> Contract p s -> Text
- printSomeContract :: Bool -> SomeContract -> Text
- printTypedValue :: forall t. UntypedValScope t => Bool -> Value t -> Text
- printUntypedValue :: (Foldable f, RenderDoc op) => Bool -> Value' f op -> Text
Documentation
class RenderDoc a where Source #
Generalize converting a type into a Doc. Used to pretty print Michelson
code and define Buildable instances.
Minimal complete definition
Methods
renderDoc :: RenderContext -> a -> Doc Source #
isRenderable :: a -> Bool Source #
Whether a value can be represented in Michelson code.
Normally either all values of some type are renderable or not renderable.
However, in case of instructions we have extra instructions which should
not be rendered.
Note: it's not sufficient to just return mempty for such instructions,
because sometimes we want to print lists of instructions and we need to
ignore them complete (to avoid putting redundant separators).
Instances
printUntypedContract :: RenderDoc op => Bool -> Contract' op -> Text Source #
Convert an untyped contract into a textual representation which
will be accepted by the OCaml reference client: octez-client.
printTypedContractCode :: (SingI p, SingI s) => Bool -> ContractCode p s -> Text Source #
Convert a typed contract into a textual representation which
will be accepted by the OCaml reference client: octez-client.
printTypedContract :: Bool -> Contract p s -> Text Source #
Convert typed contract into a textual representation which
will be accepted by the OCaml reference client: octez-client.
printSomeContract :: Bool -> SomeContract -> Text Source #
Convert SomeContract into a textual representation which
will be accepted by the OCaml reference client: octez-client.
printTypedValue :: forall t. UntypedValScope t => Bool -> Value t -> Text Source #
Convert typed value into a textual representation which
will be accepted by the OCaml reference client: octez-client.