plutarch

Safe Haskell	None
Language	GHC2021

Plutarch.Builtin.String

Synopsis

newtype PString (s :: S) = PString (Term s POpaque)
pdecodeUtf8 :: forall (s :: S). Term s (PByteString :--> PString)
pencodeUtf8 :: forall (s :: S). Term s (PString :--> PByteString)
ptrace' :: forall (s :: S) (a :: S -> Type). 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 :: 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
Instance details Defined in Plutarch.Internal.Lift type AsHaskell PString = AsHaskell (DeriveBuiltinPLiftable PString Text)
type PlutusRepr PString
Instance details Defined in Plutarch.Internal.Lift type PlutusRepr PString = PlutusRepr (DeriveBuiltinPLiftable PString Text)

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	Since: plutarch-1.10.0
Instance details Defined in Plutarch.Internal.PlutusType type PInner PString = PInner (DeriveNewtypePlutusType PString)

Methods

pcon' :: forall (s :: S). PString s -> Term s (PInner PString) Source #

pmatch' :: forall (s :: S) (b :: S -> Type). 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)
Instance details Defined in Plutarch.Builtin.String type Rep (PString s) = D1 ('MetaData "PString" "Plutarch.Builtin.String" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'True) (C1 ('MetaCons "PString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POpaque))))

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)
Instance details Defined in Plutarch.Builtin.String type Code (PString s) = GCode (PString s)

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 PInner PString Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PString = PInner (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.14.0-6fw3gqGsL7f3TFINWPu1lG" '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 :: forall (s :: S). Term s (PByteString :--> PString) Source #

Decode a PByteString using UTF-8.

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

Encode a PString using UTF-8.

ptrace' :: forall (s :: S) (a :: S -> Type). 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