Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Builtin.String

Synopsis

newtype PString s = PString (Term s POpaque)
pdecodeUtf8 :: Term s (PByteString :--> PString)
pencodeUtf8 :: Term s (PString :--> PByteString)
ptrace' :: Term s (PString :--> (a :--> a))
ptraceInfo :: forall (a :: S -> Type) (s :: S). Term s PString -> Term s a -> Term s a

Documentation

newtype PString s Source #

Plutus BuiltinString values

Constructors

PString (Term s POpaque)

Instances

Instances details

PEq PString Source #
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s PString -> Term s PString -> Term s PBool Source #
PLiftable PString Source #
Instance details Defined in Plutarch.Internal.Lift Associated Types type AsHaskell PString Source # type PlutusRepr PString Source # Methods haskToRepr :: AsHaskell PString -> PlutusRepr PString Source # reprToHask :: PlutusRepr PString -> Either LiftError (AsHaskell PString) Source # reprToPlut :: forall (s :: S). PlutusRepr PString -> PLifted s PString Source # plutToRepr :: (forall (s :: S). PLifted s PString) -> Either LiftError (PlutusRepr PString) Source #
PlutusType PString Source #
Instance details Defined in Plutarch.Internal.PlutusType Associated Types type PInner PString :: PType Source # type PCovariant' PString Source # type PContravariant' PString Source # type PVariant' PString Source # Methods pcon' :: forall (s :: S). PString s -> Term s (PInner PString) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PString) -> (PString s -> Term s b) -> Term s b Source #
PMonoid PString Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s PString Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s PString -> Term s PString Source #
PSemigroup PString Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s PString -> Term s PString -> Term s PString Source # pstimes :: forall (s :: S). Term s PPositive -> Term s PString -> 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 #
Generic (PString s) Source #
Instance details Defined in Plutarch.Builtin.String Associated Types type Rep (PString s) :: Type -> Type Source # Methods from :: PString s -> Rep (PString s) x Source # to :: Rep (PString s) x -> PString s Source #
Generic (PString s) Source #
Instance details Defined in Plutarch.Builtin.String Associated Types type Code (PString s) :: [[Type]] Methods from :: PString s -> Rep (PString s) to :: Rep (PString s) -> PString s
IsString (Term s PString) Source #
Instance details Defined in Plutarch.Builtin.String Methods fromString :: String -> Term s PString Source #
Monoid (Term s PString) Source #
Instance details Defined in Plutarch.Builtin.String Methods mempty :: Term s PString Source # mappend :: Term s PString -> Term s PString -> Term s PString Source # mconcat :: [Term s PString] -> Term s PString Source #
Semigroup (Term s PString) Source #
Instance details Defined in Plutarch.Builtin.String Methods (<>) :: Term s PString -> Term s PString -> Term s PString Source # sconcat :: NonEmpty (Term s PString) -> Term s PString Source # stimes :: Integral b => b -> Term s PString -> Term s PString Source #
type AsHaskell PString Source #
Instance details Defined in Plutarch.Internal.Lift type AsHaskell PString = AsHaskell (DeriveBuiltinPLiftable PString Text)
type PlutusRepr PString Source #
Instance details Defined in Plutarch.Internal.Lift type PlutusRepr PString = PlutusRepr (DeriveBuiltinPLiftable PString Text)
type PContravariant' PString Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' PString = PContravariant' (DeriveNewtypePlutusType PString)
type PCovariant' PString Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' PString = PCovariant' (DeriveNewtypePlutusType PString)
type PInner PString Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.PlutusType type PInner PString = PInner (DeriveNewtypePlutusType PString)
type PVariant' PString Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' PString = PVariant' (DeriveNewtypePlutusType PString)
type Rep (PString s) Source #
Instance details Defined in Plutarch.Builtin.String type Rep (PString s) = D1 ('MetaData "PString" "Plutarch.Builtin.String" "plutarch-1.10.1-L8uVCYsr0h87jxG2Nmhqfx" 'True) (C1 ('MetaCons "PString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POpaque))))
type Code (PString s) Source #
Instance details Defined in Plutarch.Builtin.String type Code (PString s) = GCode (PString s)

pdecodeUtf8 :: Term s (PByteString :--> PString) Source #

Decode a PByteString using UTF-8.

pencodeUtf8 :: Term s (PString :--> PByteString) Source #

Encode a PString using UTF-8.

ptrace' :: Term s (PString :--> (a :--> a)) Source #

ptraceInfo :: forall (a :: S -> Type) (s :: S). Term s PString -> Term s a -> Term s a Source #

Trace the given message at the info level before evaluating the given argument.

Since: 1.6.0