plutus-tx-1.30.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Show.TH

Synopsis

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

showsPrecInteger → a → ShowS Source #

show ∷ a → BuiltinString Source #

Instances

Instances details
Show BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Show

Show BuiltinData Source # 
Instance details

Defined in PlutusTx.Show

Show BuiltinString Source # 
Instance details

Defined in PlutusTx.Show

Show Integer Source # 
Instance details

Defined in PlutusTx.Show

Show () Source # 
Instance details

Defined in PlutusTx.Show

Methods

showsPrecInteger → () → ShowS Source #

show ∷ () → BuiltinString Source #

Show Bool Source # 
Instance details

Defined in PlutusTx.Show

Show a ⇒ Show (Maybe a) Source # 
Instance details

Defined in PlutusTx.Show

Show a ⇒ Show [a] Source # 
Instance details

Defined in PlutusTx.Show

Methods

showsPrecInteger → [a] → ShowS Source #

show ∷ [a] → BuiltinString Source #

(Show a, Show b) ⇒ Show (Either a b) Source # 
Instance details

Defined in PlutusTx.Show

Methods

showsPrecIntegerEither a b → ShowS Source #

showEither a b → BuiltinString Source #

(Show a, Show b) ⇒ Show (These a b) Source # 
Instance details

Defined in PlutusTx.Show

Methods

showsPrecIntegerThese a b → ShowS Source #

showThese a b → BuiltinString Source #

(Show a, Show b) ⇒ Show (a, b) Source # 
Instance details

Defined in PlutusTx.Show

Methods

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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

showsPrecInteger → (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.

deriveShowNameQ [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 #

deriveMatchForConName → ConstructorInfo → Q Match Source #

Derive showsPrec body for a single data constructor.

deriveShowExpForArgIntegerNameQ Exp Source #

Derive the showsPrec expression for showing a single constructor argument.

parenInfixConNameNameString Source #

Add parens if it is an infix data constructor.