Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Internal.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
pshowList :: forall list a s. (PShow a, PIsListLike list a) => Term s (list a :--> PString)

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 PBool Source #
Instance details Defined in Plutarch.Internal.Show Methods pshow' :: forall (s :: S). Bool -> Term s PBool -> Term s PString Source #
PShow PByteString Source #
Instance details Defined in Plutarch.Internal.Show Methods pshow' :: forall (s :: S). Bool -> Term s PByteString -> Term s PString Source #
PShow PData Source #
Instance details Defined in Plutarch.Internal.Show Methods pshow' :: forall (s :: S). Bool -> Term s PData -> Term s PString Source #
PShow PInteger Source #
Instance details Defined in Plutarch.Internal.Show Methods pshow' :: forall (s :: S). Bool -> Term s PInteger -> Term s PString Source #
PShow PString Source #
Instance details Defined in Plutarch.Internal.Show Methods pshow' :: forall (s :: S). Bool -> Term s PString -> Term s PString Source #
PShow PUnit Source #
Instance details Defined in Plutarch.Internal.Show Methods pshow' :: forall (s :: S). Bool -> Term s PUnit -> Term s PString Source #
PShow PPositive Source #	@since WIP
Instance details Defined in Plutarch.Internal.Show 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 #
(PIsData a, PShow a) => PShow (PDataNewtype a) Source #	Since: 1.7.0
Instance details Defined in Plutarch.Builtin Methods pshow' :: forall (s :: S). Bool -> Term s (PDataNewtype a) -> Term s PString Source #
(PIsData a, PShow a) => PShow (PAsData a) Source #
Instance details Defined in Plutarch.Internal.Show Methods pshow' :: forall (s :: S). Bool -> Term s (PAsData a) -> Term s PString Source #
(PShow a, Contains DefaultUni (PlutusRepr a)) => PShow (PBuiltinList a) Source #
Instance details Defined in Plutarch.Internal.Show 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 (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 #	@since WIP
Instance details Defined in Plutarch.Internal.Show Methods pshow' :: forall (s :: S). Bool -> Term s (PMaybe a) -> Term s PString Source #
PShow a => PShow (PMaybeSoP a) Source #	@since WIP
Instance details Defined in Plutarch.Internal.Show Methods pshow' :: forall (s :: S). Bool -> Term s (PMaybeSoP a) -> Term s PString Source #
(PShow a, PShow b) => PShow (PBuiltinPair a b) Source #
Instance details Defined in Plutarch.Internal.Show 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 #
(PIsData a, PIsData b, PShow a, PShow b) => PShow (PEitherData a b) Source #	@since WIP
Instance details Defined in Plutarch.Either Methods pshow' :: forall (s :: S). Bool -> Term s (PEitherData 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 #

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.

pshowList :: forall list a s. (PShow a, PIsListLike list a) => Term s (list a :--> PString) Source #