| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Pretty.PrettyConst
Contents
Synopsis
- newtype ConstConfig = ConstConfig {}
- type PrettyConst = PrettyBy ConstConfig
- type PrettyUni uni = (PrettyParens (SomeTypeIn uni), Closed uni, uni `Everywhere` PrettyConst)
- type ThrowableBuiltins uni fun = (PrettyUni uni, Pretty fun, Typeable uni, Typeable fun)
- prettyConst ∷ PrettyConst a ⇒ RenderContext → a → Doc ann
- newtype NoParens a = NoParens {
- unNoParens ∷ a
- asBytes ∷ Word8 → Doc ann
- toBytes ∷ ByteString → Doc ann
Documentation
newtype ConstConfig Source #
The type of configs used for pretty-printing constants. Has a RenderContext inside, so that
we don't add redundant parens to the output.
Constructors
| ConstConfig | |
Fields | |
Instances
type PrettyConst = PrettyBy ConstConfig Source #
type PrettyUni uni = (PrettyParens (SomeTypeIn uni), Closed uni, uni `Everywhere` PrettyConst) Source #
The set of constraints we need to be able to print built-in types and their values.
type ThrowableBuiltins uni fun = (PrettyUni uni, Pretty fun, Typeable uni, Typeable fun) Source #
The set of constraints we need to be able to throw exceptions with things with built-in types and functions in them.
prettyConst ∷ PrettyConst a ⇒ RenderContext → a → Doc ann Source #
For rendering values without parens, i.e. in botRenderContext.
Constructors
| NoParens | |
Fields
| |
Instances
| PrettyConst a ⇒ PrettyBy ConstConfig (NoParens a) Source # | |
Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy ∷ ConstConfig → NoParens a → Doc ann Source # prettyListBy ∷ ConstConfig → [NoParens a] → Doc ann Source # | |
toBytes ∷ ByteString → Doc ann Source #
Orphan instances
| Pretty (SomeTypeIn uni) ⇒ Pretty (SomeTypeIn (Kinded uni)) Source # | |
Methods pretty ∷ SomeTypeIn (Kinded uni) → Doc ann Source # prettyList ∷ [SomeTypeIn (Kinded uni)] → Doc ann Source # | |
| (Closed uni, Everywhere uni PrettyConst) ⇒ Pretty (ValueOf uni a) Source # | |
| (Closed uni, Everywhere uni PrettyConst) ⇒ Pretty (Some (ValueOf uni)) Source # | |