Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Show

Synopsis

class PShow t where
- pshow' :: Bool -> Term s t -> Term s PString
pshow :: PShow a => Term s a -> Term s PString
pshowAndErr :: Term s a -> Term s b

Documentation

class PShow t where Source #

Minimal complete definition

Nothing

Methods

pshow' :: Bool -> Term s t -> Term s PString Source #

Return the string representation of a Plutarch value

If the wrap argument is True, optionally wrap the output in `(..)` if it represents multiple parameters.

default pshow' :: (PGeneric t, PlutusType t, All2 PShow (PCode t)) => Bool -> Term s t -> Term s PString Source #

Instances

Instances details

PShow PAddress Source #
Instance details Defined in Plutarch.Api.V1.Address Methods pshow' :: forall (s :: S). Bool -> Term s PAddress -> Term s PString Source #
PShow PCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Methods pshow' :: forall (s :: S). Bool -> Term s PCredential -> Term s PString Source #
PShow PStakingCredential Source #
Instance details Defined in Plutarch.Api.V1.Address Methods pshow' :: forall (s :: S). Bool -> Term s PStakingCredential -> Term s PString Source #
PShow PScriptContext Source #
Instance details Defined in Plutarch.Api.V1.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PScriptContext -> Term s PString Source #
PShow PScriptPurpose Source #
Instance details Defined in Plutarch.Api.V1.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PScriptPurpose -> Term s PString Source #
PShow PTxInfo Source #
Instance details Defined in Plutarch.Api.V1.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PTxInfo -> Term s PString Source #
PShow PPubKeyHash Source #
Instance details Defined in Plutarch.Api.V1.Crypto Methods pshow' :: forall (s :: S). Bool -> Term s PPubKeyHash -> Term s PString Source #
PShow PDCert Source #
Instance details Defined in Plutarch.Api.V1.DCert Methods pshow' :: forall (s :: S). Bool -> Term s PDCert -> Term s PString Source #
PShow PDatum Source #
Instance details Defined in Plutarch.Api.V1.Scripts Methods pshow' :: forall (s :: S). Bool -> Term s PDatum -> Term s PString Source #
PShow PDatumHash Source #
Instance details Defined in Plutarch.Api.V1.Scripts Methods pshow' :: forall (s :: S). Bool -> Term s PDatumHash -> Term s PString Source #
PShow PRedeemer Source #
Instance details Defined in Plutarch.Api.V1.Scripts Methods pshow' :: forall (s :: S). Bool -> Term s PRedeemer -> Term s PString Source #
PShow PRedeemerHash Source #
Instance details Defined in Plutarch.Api.V1.Scripts Methods pshow' :: forall (s :: S). Bool -> Term s PRedeemerHash -> Term s PString Source #
PShow PScriptHash Source #
Instance details Defined in Plutarch.Api.V1.Scripts Methods pshow' :: forall (s :: S). Bool -> Term s PScriptHash -> Term s PString Source #
PShow PPOSIXTime Source #
Instance details Defined in Plutarch.Api.V1.Time Methods pshow' :: forall (s :: S). Bool -> Term s PPOSIXTime -> Term s PString Source #
PShow PTxId Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxId -> Term s PString Source #
PShow PTxInInfo Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxInInfo -> Term s PString Source #
PShow PTxOut Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxOut -> Term s PString Source #
PShow PTxOutRef Source #
Instance details Defined in Plutarch.Api.V1.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxOutRef -> Term s PString Source #
PShow PCurrencySymbol Source #
Instance details Defined in Plutarch.Api.V1.Value Methods pshow' :: forall (s :: S). Bool -> Term s PCurrencySymbol -> Term s PString Source #
PShow PTokenName Source #
Instance details Defined in Plutarch.Api.V1.Value Methods pshow' :: forall (s :: S). Bool -> Term s PTokenName -> Term s PString Source #
PShow PScriptContext Source #
Instance details Defined in Plutarch.Api.V2.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PScriptContext -> Term s PString Source #
PShow PTxInfo Source #
Instance details Defined in Plutarch.Api.V2.Contexts Methods pshow' :: forall (s :: S). Bool -> Term s PTxInfo -> Term s PString Source #
PShow POutputDatum Source #
Instance details Defined in Plutarch.Api.V2.Tx Methods pshow' :: forall (s :: S). Bool -> Term s POutputDatum -> Term s PString Source #
PShow PTxInInfo Source #
Instance details Defined in Plutarch.Api.V2.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxInInfo -> Term s PString Source #
PShow PTxOut Source #
Instance details Defined in Plutarch.Api.V2.Tx Methods pshow' :: forall (s :: S). Bool -> Term s PTxOut -> Term s PString Source #
PShow PBool Source #
Instance details Defined in Plutarch.Show Methods pshow' :: forall (s :: S). Bool -> Term s PBool -> Term s PString Source #
PShow PData Source #
Instance details Defined in Plutarch.Builtin Methods pshow' :: forall (s :: S). Bool -> Term s PData -> Term s PString Source #
PShow PByteString Source #
Instance details Defined in Plutarch.Show Methods pshow' :: forall (s :: S). Bool -> Term s PByteString -> Term s PString Source #
PShow PInteger Source #
Instance details Defined in Plutarch.Show Methods pshow' :: forall (s :: S). Bool -> Term s PInteger -> Term s PString Source #
PShow PPositive Source #
Instance details Defined in Plutarch.Positive Methods pshow' :: forall (s :: S). Bool -> Term s PPositive -> Term s PString Source #
PShow PRational Source #
Instance details Defined in Plutarch.Rational Methods pshow' :: forall (s :: S). Bool -> Term s PRational -> Term s PString Source #
PShow PString Source #
Instance details Defined in Plutarch.Show Methods pshow' :: forall (s :: S). Bool -> Term s PString -> Term s PString Source #
(PIsData a, PShow a) => PShow (PExtended a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PExtended a) -> Term s PString Source #
(PIsData a, PShow a) => PShow (PInterval a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PInterval a) -> Term s PString Source #
(PIsData a, PShow a) => PShow (PLowerBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PLowerBound a) -> Term s PString Source #
(PIsData a, PShow a) => PShow (PUpperBound a) Source #
Instance details Defined in Plutarch.Api.V1.Interval Methods pshow' :: forall (s :: S). Bool -> Term s (PUpperBound a) -> Term s PString Source #
(PIsData a, PShow a) => PShow (PMaybeData a) Source #
Instance details Defined in Plutarch.Api.V1.Maybe Methods pshow' :: forall (s :: S). Bool -> Term s (PMaybeData a) -> Term s PString Source #
(PIsData a, PShow a) => PShow (PAsData a) Source #
Instance details Defined in Plutarch.Builtin Methods pshow' :: forall (s :: S). Bool -> Term s (PAsData a) -> Term s PString Source #
(PShow a, PLift a) => PShow (PBuiltinList a) Source #
Instance details Defined in Plutarch.Builtin Methods pshow' :: forall (s :: S). Bool -> Term s (PBuiltinList a) -> Term s PString Source #
(All (Top :: PLabeledType -> Constraint) xs, KnownSymbol label, PIsData x, PShow x, PShow (PDataRecordShowHelper xs)) => PShow (PDataRecord ((label := x) ': xs)) Source #
Instance details Defined in Plutarch.DataRepr.Internal Methods pshow' :: forall (s :: S). Bool -> Term s (PDataRecord ((label := x) ': xs)) -> Term s PString Source #
PShow (PDataRecord ('[] :: [PLabeledType])) Source #
Instance details Defined in Plutarch.DataRepr.Internal Methods pshow' :: forall (s :: S). Bool -> Term s (PDataRecord '[]) -> Term s PString Source #
(All (Top :: [PLabeledType] -> Constraint) defs, All (Compose PShow PDataRecord) defs) => PShow (PDataSum defs) Source #
Instance details Defined in Plutarch.DataRepr.Internal Methods pshow' :: forall (s :: S). Bool -> Term s (PDataSum defs) -> Term s PString Source #
PShow a => PShow (PTxList a) Source #
Instance details Defined in Plutarch.FFI Methods pshow' :: forall (s :: S). Bool -> Term s (PTxList a) -> Term s PString Source #
PShow a => PShow (PTxMaybe a) Source #
Instance details Defined in Plutarch.FFI Methods pshow' :: forall (s :: S). Bool -> Term s (PTxMaybe a) -> Term s PString Source #
PShow a => PShow (PList a) Source #
Instance details Defined in Plutarch.List Methods pshow' :: forall (s :: S). Bool -> Term s (PList a) -> Term s PString Source #
PShow a => PShow (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe Methods pshow' :: forall (s :: S). Bool -> Term s (PMaybe a) -> Term s PString Source #
PShow (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit Methods pshow' :: forall (s :: S). Bool -> Term s PUnit -> Term s PString Source #
PShow (PValue keys amounts) Source #
Instance details Defined in Plutarch.Api.V1.Value Methods pshow' :: forall (s :: S). Bool -> Term s (PValue keys amounts) -> Term s PString Source #
(PShow a, PShow b) => PShow (PBuiltinPair a b) Source #
Instance details Defined in Plutarch.Builtin Methods pshow' :: forall (s :: S). Bool -> Term s (PBuiltinPair a b) -> Term s PString Source #
(PShow a, PShow b) => PShow (PEither a b) Source #
Instance details Defined in Plutarch.Either Methods pshow' :: forall (s :: S). Bool -> Term s (PEither a b) -> Term s PString Source #
(PShow a, PShow b) => PShow (PPair a b) Source #
Instance details Defined in Plutarch.Pair Methods pshow' :: forall (s :: S). Bool -> Term s (PPair a b) -> Term s PString Source #
(PIsData k, PIsData v, PShow k, PShow v) => PShow (PMap keysort k v) Source #
Instance details Defined in Plutarch.Api.V1.AssocMap Methods pshow' :: forall (s :: S). Bool -> Term s (PMap keysort k v) -> Term s PString Source #

pshow :: PShow a => Term s a -> Term s PString Source #

Return the string representation of a Plutarch value

pshowAndErr :: Term s a -> Term s b Source #

Causes an error where the input is shown in the message. Works for all types.