Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Pretty.Extra

Contents

Orphan instances

Description

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

Synopsis

type PrettyParens = PrettyBy RenderContext
juxtRenderContext ∷ RenderContext

Documentation

type PrettyParens = PrettyBy RenderContext Source #

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

juxtRenderContext ∷ RenderContext 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 Source # lmap ∷ (a → b) → InContextM b c → InContextM a c Source # rmap ∷ (b → c) → InContextM a b → InContextM a c Source # (#.) ∷ ∀ a b c q. Coercible c b ⇒ q b c → InContextM a b → InContextM a c Source # (.#) ∷ ∀ a b c q. Coercible b a ⇒ InContextM b c → q a b → InContextM a c Source #
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 [a] ⇒ DefaultPrettyBy config (Vector a) Source #
Instance details Methods defaultPrettyBy ∷ config → Vector a → Doc ann Source # defaultPrettyListBy ∷ config → [Vector 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 (Vector a) ⇒ PrettyBy config (Vector a) Source #
Instance details Methods prettyBy ∷ config → Vector a → Doc ann Source # prettyListBy ∷ config → [Vector 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 #