Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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.
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
.
NoParens | |
|
Instances
PrettyConst a ⇒ PrettyBy ConstConfig (NoParens a) Source # | |
Defined in PlutusCore.Pretty.PrettyConst 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 # | |
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 # | |