Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Show.TH

Synopsis

class Show a where
- showsPrec ∷ Integer → a → ShowS
- show ∷ a → BuiltinString
type ShowS = [BuiltinString] → [BuiltinString]
showString ∷ BuiltinString → ShowS
showSpace ∷ ShowS
showCommaSpace ∷ ShowS
showParen ∷ Bool → ShowS → ShowS
appPrec ∷ Integer
appPrec1 ∷ Integer
concatBuiltinStrings ∷ [BuiltinString] → BuiltinString
deriveShow ∷ Name → Q [Dec]
deriveShowsPrec ∷ [ConstructorInfo] → [Q Dec]
deriveShowsPrecBody ∷ [ConstructorInfo] → Q Exp
deriveMatchForCon ∷ Name → ConstructorInfo → Q Match
deriveShowExpForArg ∷ Integer → Name → Q Exp
parenInfixConName ∷ Name → String

Documentation

class Show a where Source #

Conversion of values to BuiltinStrings. Unlike GHC.Show.Show, there is no showList method, because there is no Show instance for String.

Minimal complete definition

showsPrec | show

Methods

showsPrec ∷ Integer → a → ShowS Source #

show ∷ a → BuiltinString Source #

Instances

Instances details

Show BuiltinByteString Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → BuiltinByteString → ShowS Source # show ∷ BuiltinByteString → BuiltinString Source #
Show BuiltinData Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → BuiltinData → ShowS Source # show ∷ BuiltinData → BuiltinString Source #
Show BuiltinString Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → BuiltinString → ShowS Source # show ∷ BuiltinString → BuiltinString Source #
Show Integer Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → Integer → ShowS Source # show ∷ Integer → BuiltinString Source #
Show () Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → () → ShowS Source # show ∷ () → BuiltinString Source #
Show Bool Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → Bool → ShowS Source # show ∷ Bool → BuiltinString Source #
Show a ⇒ Show (Maybe a) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → Maybe a → ShowS Source # show ∷ Maybe a → BuiltinString Source #
Show a ⇒ Show [a] Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → [a] → ShowS Source # show ∷ [a] → BuiltinString Source #
(Show a, Show b) ⇒ Show (Either a b) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → Either a b → ShowS Source # show ∷ Either a b → BuiltinString Source #
(Show a, Show b) ⇒ Show (These a b) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → These a b → ShowS Source # show ∷ These a b → BuiltinString Source #
(Show a, Show b) ⇒ Show (a, b) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b) → ShowS Source # show ∷ (a, b) → BuiltinString Source #
(Show a, Show b, Show c) ⇒ Show (a, b, c) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c) → ShowS Source # show ∷ (a, b, c) → BuiltinString Source #
(Show a, Show b, Show c, Show d) ⇒ Show (a, b, c, d) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d) → ShowS Source # show ∷ (a, b, c, d) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e) ⇒ Show (a, b, c, d, e) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e) → ShowS Source # show ∷ (a, b, c, d, e) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f) ⇒ Show (a, b, c, d, e, f) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f) → ShowS Source # show ∷ (a, b, c, d, e, f) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g) ⇒ Show (a, b, c, d, e, f, g) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g) → ShowS Source # show ∷ (a, b, c, d, e, f, g) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) ⇒ Show (a, b, c, d, e, f, g, h) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i) ⇒ Show (a, b, c, d, e, f, g, h, i) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j) ⇒ Show (a, b, c, d, e, f, g, h, i, j) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l, m) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l, m) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l, m, n) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q, Show r) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q, Show r, Show s) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q, Show r, Show s, Show t) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q, Show r, Show s, Show t, Show u) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q, Show r, Show s, Show t, Show u, Show v) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q, Show r, Show s, Show t, Show u, Show v, Show w) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q, Show r, Show s, Show t, Show u, Show v, Show w, Show x) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q, Show r, Show s, Show t, Show u, Show v, Show w, Show x, Show y) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q, Show r, Show s, Show t, Show u, Show v, Show w, Show x, Show y, Show z) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z) → BuiltinString Source #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p, Show q, Show r, Show s, Show t, Show u, Show v, Show w, Show x, Show y, Show z, Show t26) ⇒ Show (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26) Source #
Instance details Defined in PlutusTx.Show Methods showsPrec ∷ Integer → (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26) → ShowS Source # show ∷ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, t26) → BuiltinString Source #

type ShowS = [BuiltinString] → [BuiltinString] Source #

Currently the only way to concatenate BuiltinStrings is appendString, whose cost is linear in the total length of the two strings. A naive concatenation of multiple BuiltinStrings costs O(n^2) in the worst case, where n is the total length. By collecting the BuiltinStrings in a list and concatenating them in the end, the cost can be reduced to O(n*logn). If we add a concatStrings builtin function in the future, the cost can be further reduced to O(n).

Like ShowS, the purpose of the function type here is to turn list concatenation into function composition.

showString ∷ BuiltinString → ShowS Source #

showSpace ∷ ShowS Source #

showCommaSpace ∷ ShowS Source #

showParen ∷ Bool → ShowS → ShowS Source #

appPrec ∷ Integer Source #

appPrec1 ∷ Integer Source #

concatBuiltinStrings ∷ [BuiltinString] → BuiltinString Source #

deriveShow ∷ Name → Q [Dec] Source #

Derive Show instance. Adapted from Text.Show.Deriving.deriveShow.

deriveShowsPrec ∷ [ConstructorInfo] → [Q Dec] Source #

Derive showsPrec definition for each data constructor.

deriveShowsPrecBody ∷ [ConstructorInfo] → Q Exp Source #

deriveMatchForCon ∷ Name → ConstructorInfo → Q Match Source #

Derive showsPrec body for a single data constructor.

deriveShowExpForArg ∷ Integer → Name → Q Exp Source #

Derive the showsPrec expression for showing a single constructor argument.

parenInfixConName ∷ Name → String Source #

Add parens if it is an infix data constructor.