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 :: ConstructorInfo -> Q Match
deriveShowExpForArg :: Integer -> Name -> Q Exp
parenInfixConName :: Name -> String

Documentation

class Show a where #

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 #

show :: a -> BuiltinString #

Instances

Instances details

Show BuiltinByteString #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> BuiltinByteString -> ShowS # show :: BuiltinByteString -> BuiltinString #
Show BuiltinData #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> BuiltinData -> ShowS # show :: BuiltinData -> BuiltinString #
Show BuiltinString #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> BuiltinString -> ShowS # show :: BuiltinString -> BuiltinString #
Show Integer #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> Integer -> ShowS # show :: Integer -> BuiltinString #
Show () #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> () -> ShowS # show :: () -> BuiltinString #
Show Bool #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> Bool -> ShowS # show :: Bool -> BuiltinString #
Show a => Show (Maybe a) #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> Maybe a -> ShowS # show :: Maybe a -> BuiltinString #
Show a => Show [a] #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> [a] -> ShowS # show :: [a] -> BuiltinString #
(Show a, Show b) => Show (Either a b) #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> Either a b -> ShowS # show :: Either a b -> BuiltinString #
(Show a, Show b) => Show (These a b) #
Instance details Defined in PlutusTx.These Methods showsPrec :: Integer -> These a b -> ShowS # show :: These a b -> BuiltinString #
(Show a, Show b) => Show (a, b) #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> (a, b) -> ShowS # show :: (a, b) -> BuiltinString #
(Show a, Show b, Show c) => Show (a, b, c) #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> (a, b, c) -> ShowS # show :: (a, b, c) -> BuiltinString #
(Show a, Show b, Show c, Show d) => Show (a, b, c, d) #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> (a, b, c, d) -> ShowS # show :: (a, b, c, d) -> BuiltinString #
(Show a, Show b, Show c, Show d, Show e) => Show (a, b, c, d, e) #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> (a, b, c, d, e) -> ShowS # show :: (a, b, c, d, e) -> BuiltinString #
(Show a, Show b, Show c, Show d, Show e, Show f) => Show (a, b, c, d, e, f) #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> (a, b, c, d, e, f) -> ShowS # show :: (a, b, c, d, e, f) -> BuiltinString #
(Show a, Show b, Show c, Show d, Show e, Show f, Show g) => Show (a, b, c, d, e, f, g) #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> (a, b, c, d, e, f, g) -> ShowS # show :: (a, b, c, d, e, f, g) -> BuiltinString #
(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) #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> (a, b, c, d, e, f, g, h) -> ShowS # show :: (a, b, c, d, e, f, g, h) -> BuiltinString #
(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) #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> (a, b, c, d, e, f, g, h, i) -> ShowS # show :: (a, b, c, d, e, f, g, h, i) -> BuiltinString #
(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) #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> (a, b, c, d, e, f, g, h, i, j) -> ShowS # show :: (a, b, c, d, e, f, g, h, i, j) -> BuiltinString #
(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) #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> (a, b, c, d, e, f, g, h, i, j, k) -> ShowS # show :: (a, b, c, d, e, f, g, h, i, j, k) -> BuiltinString #
(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) #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> (a, b, c, d, e, f, g, h, i, j, k, l) -> ShowS # show :: (a, b, c, d, e, f, g, h, i, j, k, l) -> BuiltinString #
(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) #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> (a, b, c, d, e, f, g, h, i, j, k, l, m) -> ShowS # show :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> BuiltinString #
(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) #
Instance details Defined in PlutusTx.Show Methods showsPrec :: Integer -> (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> ShowS # show :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> BuiltinString #
(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) #
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 # show :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> BuiltinString #
(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) #
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 # show :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) -> BuiltinString #
(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) #
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 # show :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q) -> BuiltinString #
(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) #
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 # show :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r) -> BuiltinString #
(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) #
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 # show :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s) -> BuiltinString #
(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) #
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 # show :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) -> BuiltinString #
(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) #
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 # show :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u) -> BuiltinString #
(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) #
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 # show :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v) -> BuiltinString #
(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) #
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 # 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 #
(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) #
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 # 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 #
(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) #
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 # 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 #
(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) #
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 # 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 #
(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) #
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 # 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 #

type ShowS = [BuiltinString] -> [BuiltinString] #

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 #

showSpace :: ShowS #

showCommaSpace :: ShowS #

showParen :: Bool -> ShowS -> ShowS #

appPrec :: Integer #

appPrec1 :: Integer #

concatBuiltinStrings :: [BuiltinString] -> BuiltinString #

deriveShow :: ConstructorInfo -> Q Match #

Derive showsPrec body for a single data constructor.

deriveShowExpForArg :: Integer -> Name -> Q Exp #

Derive the showsPrec expression for showing a single constructor argument.

parenInfixConName :: Name -> String #

Add parens if it is an infix data constructor.