plutarch-1.10.1
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.String

Contents

Synopsis

Type

data PString s Source #

Plutus BuiltinString values

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 #

PlutusType PString Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

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

Monoid (Term s PString) Source # 
Instance details

Defined in Plutarch.Builtin.String

Semigroup (Term s PString) Source # 
Instance details

Defined in Plutarch.Builtin.String

type AsHaskell PString Source # 
Instance details

Defined in Plutarch.Internal.Lift

type PlutusRepr PString Source # 
Instance details

Defined in Plutarch.Internal.Lift

type PContravariant' PString Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PCovariant' PString Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PString Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.PlutusType

type PVariant' PString Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

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-LPGZaAWjybFFuyJX8dF1yJ" '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)

pisHexDigit :: forall (s :: S). Term s (PInteger :--> PBool) Source #

Verify if the given argument is the ASCII encoding of a hex digit. This includes specifically the following ASCII ranges (inclusively):

  • 48-54 (digits 0 through 9)
  • 65-70 (upper-case A through upper-case F)
  • 97-102 (lower-case a through lower-case f)

Since: 1.10.0

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

Encode a PString using UTF-8.