plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Pretty.Extra

Description

Pretty-printing stuff, some of which should probably go into the main library.

Synopsis

Documentation

type PrettyParens = PrettyBy RenderContext Source #

For pretty-printing a value with a minimum amount of parens.

juxtRenderContextRenderContext Source #

An initial RenderContext. An expression printed in this context gets enclosed in parens unless its outermost operator (if any) binds even stronger than function application.

Orphan instances

Profunctor InContextM Source # 
Instance details

Methods

dimap ∷ (a → b) → (c → d) → InContextM b c → InContextM a d #

lmap ∷ (a → b) → InContextM b c → InContextM a c #

rmap ∷ (b → c) → InContextM a b → InContextM a c #

(#.) ∷ ∀ a b c q. Coercible c b ⇒ q b c → InContextM a b → InContextM a c

(.#) ∷ ∀ a b c q. Coercible b a ⇒ InContextM b c → q a b → InContextM a c

PrettyDefaultBy config [a] ⇒ DefaultPrettyBy config (Set a) Source # 
Instance details

Methods

defaultPrettyBy ∷ config → Set a → Doc ann Source #

defaultPrettyListBy ∷ config → [Set a] → Doc ann Source #

PrettyDefaultBy config (Set a) ⇒ PrettyBy config (Set a) Source # 
Instance details

Methods

prettyBy ∷ config → Set a → Doc ann Source #

prettyListBy ∷ config → [Set a] → Doc ann Source #

PrettyDefaultBy config [(k, v)] ⇒ DefaultPrettyBy config (Map k v) Source # 
Instance details

Methods

defaultPrettyBy ∷ config → Map k v → Doc ann Source #

defaultPrettyListBy ∷ config → [Map k v] → Doc ann Source #

PrettyDefaultBy config (Map k v) ⇒ PrettyBy config (Map k v) Source # 
Instance details

Methods

prettyBy ∷ config → Map k v → Doc ann Source #

prettyListBy ∷ config → [Map k v] → Doc ann Source #