| Safe Haskell | Safe-Inferred | 
|---|---|
| Language | Haskell2010 | 
PlutusTx.Show
Contents
Synopsis
- class Show a where- showsPrec ∷ Integer → a → ShowS
- show ∷ a → BuiltinString
 
- type ShowS = [BuiltinString] → [BuiltinString]
- toDigits ∷ Integer → [Integer]
- showString ∷ BuiltinString → ShowS
- showSpace ∷ ShowS
- showCommaSpace ∷ ShowS
- showParen ∷ Bool → ShowS → ShowS
- appPrec ∷ Integer
- appPrec1 ∷ Integer
- deriveShow ∷ Name → Q [Dec]
Documentation
Conversion of values to BuiltinStrings. Unlike GHC.Show.Show, there is no
 showList method, because there is no Show instance for String.
Instances
| Show BuiltinByteString Source # | |
| Defined in PlutusTx.Show | |
| Show BuiltinData Source # | |
| Defined in PlutusTx.Show | |
| Show BuiltinString Source # | |
| Defined in PlutusTx.Show | |
| Show Integer Source # | |
| Show () Source # | |
| Defined in PlutusTx.Show | |
| Show Bool Source # | |
| Show a ⇒ Show (Maybe a) Source # | |
| Show a ⇒ Show [a] Source # | |
| Defined in PlutusTx.Show | |
| (Show a, Show b) ⇒ Show (Either a b) Source # | |
| (Show a, Show b) ⇒ Show (These a b) Source # | |
| (Show a, Show b) ⇒ Show (a, b) Source # | |
| Defined in PlutusTx.Show | |
| (Show a, Show b, Show c) ⇒ Show (a, b, c) Source # | |
| Defined in PlutusTx.Show | |
| (Show a, Show b, Show c, Show d) ⇒ Show (a, b, c, d) Source # | |
| Defined in PlutusTx.Show | |
| (Show a, Show b, Show c, Show d, Show e) ⇒ Show (a, b, c, d, e) Source # | |
| Defined in PlutusTx.Show | |
| (Show a, Show b, Show c, Show d, Show e, Show f) ⇒ Show (a, b, c, d, e, f) Source # | |
| Defined in PlutusTx.Show | |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g) ⇒ Show (a, b, c, d, e, f, g) Source # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
| (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 # | |
| Defined in PlutusTx.Show | |
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.
deriveShow ∷ Name → Q [Dec] Source #
Derive Show instance. Adapted from Text.Show.Deriving.deriveShow.
Orphan instances
| Show BuiltinByteString Source # | |
| Show BuiltinData Source # | |
| Show BuiltinString Source # | |
| Show Integer Source # | |
| Show () Source # | |
| Show Bool Source # | |
| Show a ⇒ Show (Maybe a) Source # | |
| Show a ⇒ Show [a] Source # | |
| (Show a, Show b) ⇒ Show (Either a b) Source # | |
| (Show a, Show b) ⇒ Show (These a b) Source # | |
| (Show a, Show b) ⇒ Show (a, b) Source # | |
| (Show a, Show b, Show c) ⇒ Show (a, b, c) Source # | |
| (Show a, Show b, Show c, Show d) ⇒ Show (a, b, c, d) Source # | |
| (Show a, Show b, Show c, Show d, Show e) ⇒ Show (a, b, c, d, e) Source # | |
| (Show a, Show b, Show c, Show d, Show e, Show f) ⇒ Show (a, b, c, d, e, f) Source # | |
| (Show a, Show b, Show c, Show d, Show e, Show f, Show g) ⇒ Show (a, b, c, d, e, f, g) 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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |
| (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 # | |