Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.ByteString

Contents

Orphan instances

Synopsis

data PByteString s
phexByteStr :: HasCallStack => String -> Term s PByteString
pbyteStr :: ByteString -> Term s PByteString
pconsBS :: Term s (PInteger :--> (PByteString :--> PByteString))
psliceBS :: Term s (PInteger :--> (PInteger :--> (PByteString :--> PByteString)))
plengthBS :: Term s (PByteString :--> PInteger)
pindexBS :: Term s (PByteString :--> (PInteger :--> PInteger))

Documentation

data PByteString s Source #

Plutus BuiltinByteString

Instances

Instances details

PEq PByteString Source #
Instance details Defined in Plutarch.ByteString Methods (#==) :: forall (s :: S). Term s PByteString -> Term s PByteString -> Term s PBool Source #
POrd PByteString Source #
Instance details Defined in Plutarch.ByteString
PPartialOrd PByteString Source #
Instance details Defined in Plutarch.ByteString Methods (#<=) :: forall (s :: S). Term s PByteString -> Term s PByteString -> Term s PBool Source # (#<) :: forall (s :: S). Term s PByteString -> Term s PByteString -> Term s PBool Source #
PIsData PByteString Source #
Instance details Defined in Plutarch.Builtin Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PByteString) -> Term s PByteString Source # pdataImpl :: forall (s :: S). Term s PByteString -> Term s PData Source #
DerivePlutusType PByteString Source #
Instance details Defined in Plutarch.ByteString Associated Types type DPTStrat PByteString Source #
PlutusType PByteString Source #
Instance details Defined in Plutarch.ByteString Associated Types type PInner PByteString :: PType Source # type PCovariant' PByteString Source # type PContravariant' PByteString Source # type PVariant' PByteString Source # Methods pcon' :: forall (s :: S). PByteString s -> Term s (PInner PByteString) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PByteString) -> (PByteString s -> Term s b) -> Term s b Source #
PUnsafeLiftDecl PByteString Source #
Instance details Defined in Plutarch.ByteString Associated Types type PLifted PByteString = (r :: Type) Source #
PShow PByteString Source #
Instance details Defined in Plutarch.Show Methods pshow' :: forall (s :: S). Bool -> Term s PByteString -> Term s PString Source #
PTryFrom PData (PAsData PByteString) Source #
Instance details Defined in Plutarch.Builtin Associated Types type PTryFromExcess PData (PAsData PByteString) :: PType Source # Methods ptryFrom' :: forall (s :: S) (r :: PType). Term s PData -> ((Term s (PAsData PByteString), Reduce (PTryFromExcess PData (PAsData PByteString) s)) -> Term s r) -> Term s r Source #
Generic (PByteString s) Source #
Instance details Defined in Plutarch.ByteString Associated Types type Rep (PByteString s) :: Type -> Type Source # Methods from :: PByteString s -> Rep (PByteString s) x Source # to :: Rep (PByteString s) x -> PByteString s Source #
Monoid (Term s PByteString) Source #
Instance details Defined in Plutarch.ByteString Methods mempty :: Term s PByteString Source # mappend :: Term s PByteString -> Term s PByteString -> Term s PByteString Source # mconcat :: [Term s PByteString] -> Term s PByteString Source #
Semigroup (Term s PByteString) Source #
Instance details Defined in Plutarch.ByteString Methods (<>) :: Term s PByteString -> Term s PByteString -> Term s PByteString Source # sconcat :: NonEmpty (Term s PByteString) -> Term s PByteString Source # stimes :: Integral b => b -> Term s PByteString -> Term s PByteString Source #
type DPTStrat PByteString Source #
Instance details Defined in Plutarch.ByteString type DPTStrat PByteString = PlutusTypeNewtype
type PContravariant' PByteString Source #
Instance details Defined in Plutarch.ByteString type PContravariant' PByteString
type PCovariant' PByteString Source #
Instance details Defined in Plutarch.ByteString type PCovariant' PByteString
type PInner PByteString Source #
Instance details Defined in Plutarch.ByteString type PInner PByteString = DerivedPInner (DPTStrat PByteString) PByteString
type PVariant' PByteString Source #
Instance details Defined in Plutarch.ByteString type PVariant' PByteString
type PLifted PByteString Source #
Instance details Defined in Plutarch.ByteString type PLifted PByteString = ByteString
type PTryFromExcess PData (PAsData PByteString) Source #
Instance details Defined in Plutarch.Builtin type PTryFromExcess PData (PAsData PByteString)
type Rep (PByteString s) Source #
Instance details Defined in Plutarch.ByteString type Rep (PByteString s) = D1 ('MetaData "PByteString" "Plutarch.ByteString" "plutarch-1.3.0-287WdR4V4qr3NTh5i3Je4I" 'True) (C1 ('MetaCons "PByteString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POpaque))))

phexByteStr :: HasCallStack => String -> Term s PByteString Source #

Interpret a hex string as a PByteString.

pbyteStr :: ByteString -> Term s PByteString Source #

Deprecated: Use pconstant instead.

Construct a PByteString term from a Haskell bytestring.

pconsBS :: Term s (PInteger :--> (PByteString :--> PByteString)) Source #

Prepend a byte, represented by a non negative PInteger, to a PBytestring.

psliceBS :: Term s (PInteger :--> (PInteger :--> (PByteString :--> PByteString))) Source #

Slice a PByteString with given start index and slice length.

>>> (pslice # 2 # 3 phexByteStr "4102afde5b2a") #== phexByteStr "afde5b"

plengthBS :: Term s (PByteString :--> PInteger) Source #

Find the length of a PByteString.

pindexBS :: Term s (PByteString :--> (PInteger :--> PInteger)) Source #

PByteString indexing function.

Orphan instances

PConstantDecl ByteString Source #
Instance details Associated Types type PConstantRepr ByteString Source # type PConstanted ByteString :: PType Source # Methods pconstantToRepr :: ByteString -> PConstantRepr ByteString Source # pconstantFromRepr :: PConstantRepr ByteString -> Maybe ByteString Source #