plutarch-1.3.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.String

Synopsis

Documentation

data PString s Source #

Plutus BuiltinString values

Instances

Instances details
PEq PString Source # 
Instance details

Defined in Plutarch.String

Methods

(#==) :: forall (s :: S). Term s PString -> Term s PString -> Term s PBool Source #

DerivePlutusType PString Source # 
Instance details

Defined in Plutarch.String

Associated Types

type DPTStrat PString Source #

PlutusType PString Source # 
Instance details

Defined in Plutarch.String

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 #

PUnsafeLiftDecl PString Source # 
Instance details

Defined in Plutarch.String

Associated Types

type PLifted PString = (r :: Type) Source #

PShow PString Source # 
Instance details

Defined in Plutarch.Show

Methods

pshow' :: forall (s :: S). Bool -> Term s PString -> Term s PString Source #

Generic (PString s) Source # 
Instance details

Defined in Plutarch.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 #

IsString (Term s PString) Source # 
Instance details

Defined in Plutarch.String

Methods

fromString :: String -> Term s PString Source #

Monoid (Term s PString) Source # 
Instance details

Defined in Plutarch.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.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 DPTStrat PString Source # 
Instance details

Defined in Plutarch.String

type DPTStrat PString = PlutusTypeNewtype
type PContravariant' PString Source # 
Instance details

Defined in Plutarch.String

type PContravariant' PString
type PCovariant' PString Source # 
Instance details

Defined in Plutarch.String

type PCovariant' PString
type PInner PString Source # 
Instance details

Defined in Plutarch.String

type PInner PString = DerivedPInner (DPTStrat PString) PString
type PVariant' PString Source # 
Instance details

Defined in Plutarch.String

type PVariant' PString
type PLifted PString Source # 
Instance details

Defined in Plutarch.String

type PLifted PString = Text
type Rep (PString s) Source # 
Instance details

Defined in Plutarch.String

type Rep (PString s) = D1 ('MetaData "PString" "Plutarch.String" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POpaque))))

pfromText :: Text -> Term s PString Source #

Deprecated: Use pconstant instead.

Create a PString from Text

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

Encode a PString using UTF-8.

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

Decode a PByteString using UTF-8.

Orphan instances