plutarch
Safe HaskellNone
LanguageGHC2021

Plutarch.Builtin.ByteString

Synopsis

Documentation

newtype PByteString (s :: S) Source #

Plutus BuiltinByteString

Constructors

PByteString (Term s POpaque) 

Instances

Instances details
PEq PByteString Source # 
Instance details

Defined in Plutarch.Internal.Eq

Methods

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

PIsData PByteString Source # 
Instance details

Defined in Plutarch.Internal.IsData

Methods

pfromDataImpl :: forall (s :: S). Term s (PAsData PByteString) -> Term s PByteString Source #

pdataImpl :: forall (s :: S). Term s PByteString -> Term s PData Source #

PLiftable PByteString Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Lift

Associated Types

type AsHaskell PByteString 
Instance details

Defined in Plutarch.Internal.Lift

type AsHaskell PByteString = ByteString
type PlutusRepr PByteString 
Instance details

Defined in Plutarch.Internal.Lift

type PlutusRepr PByteString = ByteString

Methods

haskToRepr :: AsHaskell PByteString -> PlutusRepr PByteString Source #

reprToHask :: PlutusRepr PByteString -> Either LiftError (AsHaskell PByteString) Source #

reprToPlut :: forall (s :: S). PlutusRepr PByteString -> PLifted s PByteString Source #

plutToRepr :: (forall (s :: S). PLifted s PByteString) -> Either LiftError (PlutusRepr PByteString) Source #

POrd PByteString Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Ord

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 #

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

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

PValidateData PByteString Source #

Checks that we have a B.

Since: 1.12.0

Instance details

Defined in Plutarch.Internal.Parse

Methods

pwithValidated :: forall (s :: S). Term s PData -> forall (r :: S -> Type). Term s r -> Term s r Source #

PlutusType PByteString Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

Associated Types

type PInner PByteString

Since: plutarch-1.10.0

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PByteString = PInner (DeriveNewtypePlutusType PByteString)

Methods

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

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PByteString) -> (PByteString s -> Term s b) -> Term s b Source #

PMonoid PByteString Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Semigroup

Methods

pmempty :: forall (s :: S). Term s PByteString Source #

pmtimes :: forall (s :: S). Term s PNatural -> Term s PByteString -> Term s PByteString Source #

PSemigroup PByteString Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Semigroup

Methods

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

pstimes :: forall (s :: S). Term s PPositive -> Term s PByteString -> Term s PByteString Source #

PShow PByteString Source # 
Instance details

Defined in Plutarch.Internal.Show

Methods

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

PTryFrom PData (PAsData PByteString) Source # 
Instance details

Defined in Plutarch.Internal.TryFrom

Associated Types

type PTryFromExcess PData (PAsData PByteString) 
Instance details

Defined in Plutarch.Internal.TryFrom

type PTryFromExcess PData (PAsData PByteString) = Flip Term PByteString

Methods

ptryFrom' :: forall (s :: S) (r :: S -> Type). 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.Builtin.ByteString

Associated Types

type Rep (PByteString s) 
Instance details

Defined in Plutarch.Builtin.ByteString

type Rep (PByteString s) = D1 ('MetaData "PByteString" "Plutarch.Builtin.ByteString" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'True) (C1 ('MetaCons "PByteString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POpaque))))

Methods

from :: PByteString s -> Rep (PByteString s) x Source #

to :: Rep (PByteString s) x -> PByteString s Source #

Generic (PByteString s) Source # 
Instance details

Defined in Plutarch.Builtin.ByteString

Associated Types

type Code (PByteString s) 
Instance details

Defined in Plutarch.Builtin.ByteString

type Code (PByteString s) = GCode (PByteString s)

Methods

from :: PByteString s -> Rep (PByteString s)

to :: Rep (PByteString s) -> PByteString s

PMonoid (PAnd PByteString) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Semigroup

Methods

pmempty :: forall (s :: S). Term s (PAnd PByteString) Source #

pmtimes :: forall (s :: S). Term s PNatural -> Term s (PAnd PByteString) -> Term s (PAnd PByteString) Source #

PMonoid (POr PByteString) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Semigroup

Methods

pmempty :: forall (s :: S). Term s (POr PByteString) Source #

pmtimes :: forall (s :: S). Term s PNatural -> Term s (POr PByteString) -> Term s (POr PByteString) Source #

PMonoid (PXor PByteString) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Semigroup

Methods

pmempty :: forall (s :: S). Term s (PXor PByteString) Source #

pmtimes :: forall (s :: S). Term s PNatural -> Term s (PXor PByteString) -> Term s (PXor PByteString) Source #

PSemigroup (PAnd PByteString) Source #

This uses padding semantics as specified in CIP-122, as this allows a PMonoid instance as well.

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Semigroup

Methods

(#<>) :: forall (s :: S). Term s (PAnd PByteString) -> Term s (PAnd PByteString) -> Term s (PAnd PByteString) Source #

pstimes :: forall (s :: S). Term s PPositive -> Term s (PAnd PByteString) -> Term s (PAnd PByteString) Source #

PSemigroup (POr PByteString) Source #

This uses padding semantics as specified in CIP-122, as this allows a PMonoid instance as well.

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Semigroup

Methods

(#<>) :: forall (s :: S). Term s (POr PByteString) -> Term s (POr PByteString) -> Term s (POr PByteString) Source #

pstimes :: forall (s :: S). Term s PPositive -> Term s (POr PByteString) -> Term s (POr PByteString) Source #

PSemigroup (PXor PByteString) Source #

This uses padding semantics as specified in CIP-122, as this allows a PMonoid instance as well.

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Semigroup

Methods

(#<>) :: forall (s :: S). Term s (PXor PByteString) -> Term s (PXor PByteString) -> Term s (PXor PByteString) Source #

pstimes :: forall (s :: S). Term s PPositive -> Term s (PXor PByteString) -> Term s (PXor PByteString) Source #

Monoid (Term s PByteString) Source # 
Instance details

Defined in Plutarch.Builtin.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.Builtin.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 AsHaskell PByteString Source # 
Instance details

Defined in Plutarch.Internal.Lift

type AsHaskell PByteString = ByteString
type PlutusRepr PByteString Source # 
Instance details

Defined in Plutarch.Internal.Lift

type PlutusRepr PByteString = ByteString
type PInner PByteString Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PByteString = PInner (DeriveNewtypePlutusType PByteString)
type PTryFromExcess PData (PAsData PByteString) Source # 
Instance details

Defined in Plutarch.Internal.TryFrom

type PTryFromExcess PData (PAsData PByteString) = Flip Term PByteString
type Rep (PByteString s) Source # 
Instance details

Defined in Plutarch.Builtin.ByteString

type Rep (PByteString s) = D1 ('MetaData "PByteString" "Plutarch.Builtin.ByteString" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'True) (C1 ('MetaCons "PByteString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POpaque))))
type Code (PByteString s) Source # 
Instance details

Defined in Plutarch.Builtin.ByteString

type Code (PByteString s) = GCode (PByteString s)

newtype PByte (s :: S) Source #

A Plutarch-level representation of bytes.

Note =

This type is intentionally quite restrictive, as it's not really meant to be computed with. Instead, it ensures certain operations' type safety while also allowing more sensible signatures. If you want to do anything with PBytes, we recommend converting them to PIntegers first.

Since: 1.10.0

Constructors

PByte (Term s POpaque) 

Instances

Instances details
PEq PByte Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Eq

Methods

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

PLiftable PByte Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Lift

Associated Types

type AsHaskell PByte 
Instance details

Defined in Plutarch.Internal.Lift

type AsHaskell PByte = Word8
type PlutusRepr PByte 
Instance details

Defined in Plutarch.Internal.Lift

type PlutusRepr PByte = Integer

Methods

haskToRepr :: AsHaskell PByte -> PlutusRepr PByte Source #

reprToHask :: PlutusRepr PByte -> Either LiftError (AsHaskell PByte) Source #

reprToPlut :: forall (s :: S). PlutusRepr PByte -> PLifted s PByte Source #

plutToRepr :: (forall (s :: S). PLifted s PByte) -> Either LiftError (PlutusRepr PByte) Source #

POrd PByte Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Ord

Methods

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

(#<) :: forall (s :: S). Term s PByte -> Term s PByte -> Term s PBool Source #

pmax :: forall (s :: S). Term s PByte -> Term s PByte -> Term s PByte Source #

pmin :: forall (s :: S). Term s PByte -> Term s PByte -> Term s PByte Source #

PlutusType PByte Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

Associated Types

type PInner PByte

Since: plutarch-1.10.0

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PByte = PInner (DeriveNewtypePlutusType PByte)

Methods

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

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PByte) -> (PByte s -> Term s b) -> Term s b Source #

Generic (PByte s) Source # 
Instance details

Defined in Plutarch.Builtin.ByteString

Associated Types

type Rep (PByte s)

Since: plutarch-1.10.0

Instance details

Defined in Plutarch.Builtin.ByteString

type Rep (PByte s) = D1 ('MetaData "PByte" "Plutarch.Builtin.ByteString" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'True) (C1 ('MetaCons "PByte" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POpaque))))

Methods

from :: PByte s -> Rep (PByte s) x Source #

to :: Rep (PByte s) x -> PByte s Source #

Generic (PByte s) Source # 
Instance details

Defined in Plutarch.Builtin.ByteString

Associated Types

type Code (PByte s) 
Instance details

Defined in Plutarch.Builtin.ByteString

type Code (PByte s) = GCode (PByte s)

Methods

from :: PByte s -> Rep (PByte s)

to :: Rep (PByte s) -> PByte s

type AsHaskell PByte Source # 
Instance details

Defined in Plutarch.Internal.Lift

type AsHaskell PByte = Word8
type PlutusRepr PByte Source # 
Instance details

Defined in Plutarch.Internal.Lift

type PlutusRepr PByte = Integer
type PInner PByte Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PByte = PInner (DeriveNewtypePlutusType PByte)
type Rep (PByte s) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Builtin.ByteString

type Rep (PByte s) = D1 ('MetaData "PByte" "Plutarch.Builtin.ByteString" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'True) (C1 ('MetaCons "PByte" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s POpaque))))
type Code (PByte s) Source # 
Instance details

Defined in Plutarch.Builtin.ByteString

type Code (PByte s) = GCode (PByte s)

newtype PLogicOpSemantics (s :: S) Source #

Type designating whether logical operations should use padding or truncation semantics. See CIP-122 for more details on this.

Since: 1.10.0

Constructors

PLogicOpSemantics (Term s PBool) 

Instances

Instances details
PEq PLogicOpSemantics Source # 
Instance details

Defined in Plutarch.Internal.Eq

Methods

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

POrd PLogicOpSemantics Source # 
Instance details

Defined in Plutarch.Internal.Ord

Methods

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

(#<) :: forall (s :: S). Term s PLogicOpSemantics -> Term s PLogicOpSemantics -> Term s PBool Source #

pmax :: forall (s :: S). Term s PLogicOpSemantics -> Term s PLogicOpSemantics -> Term s PLogicOpSemantics Source #

pmin :: forall (s :: S). Term s PLogicOpSemantics -> Term s PLogicOpSemantics -> Term s PLogicOpSemantics Source #

PlutusType PLogicOpSemantics Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

Associated Types

type PInner PLogicOpSemantics

Since: plutarch-1.10.0

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PLogicOpSemantics = PInner (DeriveNewtypePlutusType PLogicOpSemantics)

Methods

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

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PLogicOpSemantics) -> (PLogicOpSemantics s -> Term s b) -> Term s b Source #

Generic (PLogicOpSemantics s) Source # 
Instance details

Defined in Plutarch.Builtin.ByteString

Associated Types

type Rep (PLogicOpSemantics s) 
Instance details

Defined in Plutarch.Builtin.ByteString

type Rep (PLogicOpSemantics s) = D1 ('MetaData "PLogicOpSemantics" "Plutarch.Builtin.ByteString" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'True) (C1 ('MetaCons "PLogicOpSemantics" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PBool))))

Methods

from :: PLogicOpSemantics s -> Rep (PLogicOpSemantics s) x Source #

to :: Rep (PLogicOpSemantics s) x -> PLogicOpSemantics s Source #

Generic (PLogicOpSemantics s) Source # 
Instance details

Defined in Plutarch.Builtin.ByteString

Associated Types

type Code (PLogicOpSemantics s) 
Instance details

Defined in Plutarch.Builtin.ByteString

type Code (PLogicOpSemantics s) = GCode (PLogicOpSemantics s)

Methods

from :: PLogicOpSemantics s -> Rep (PLogicOpSemantics s)

to :: Rep (PLogicOpSemantics s) -> PLogicOpSemantics s

type PInner PLogicOpSemantics Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PLogicOpSemantics = PInner (DeriveNewtypePlutusType PLogicOpSemantics)
type Rep (PLogicOpSemantics s) Source # 
Instance details

Defined in Plutarch.Builtin.ByteString

type Rep (PLogicOpSemantics s) = D1 ('MetaData "PLogicOpSemantics" "Plutarch.Builtin.ByteString" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'True) (C1 ('MetaCons "PLogicOpSemantics" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PBool))))
type Code (PLogicOpSemantics s) Source # 
Instance details

Defined in Plutarch.Builtin.ByteString

type Code (PLogicOpSemantics s) = GCode (PLogicOpSemantics s)

newtype PEndianness (s :: S) Source #

Type designating whether a conversion should be most-significant-first or most-significant-last. See CIP-121 for more details on this.

Since: 1.10.0

Constructors

PEndianness (Term s PBool) 

Instances

Instances details
PEq PEndianness Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Eq

Methods

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

POrd PEndianness Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Ord

Methods

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

(#<) :: forall (s :: S). Term s PEndianness -> Term s PEndianness -> Term s PBool Source #

pmax :: forall (s :: S). Term s PEndianness -> Term s PEndianness -> Term s PEndianness Source #

pmin :: forall (s :: S). Term s PEndianness -> Term s PEndianness -> Term s PEndianness Source #

PlutusType PEndianness Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

Associated Types

type PInner PEndianness

Since: plutarch-1.10.0

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PEndianness = PInner (DeriveNewtypePlutusType PEndianness)

Methods

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

pmatch' :: forall (s :: S) (b :: S -> Type). Term s (PInner PEndianness) -> (PEndianness s -> Term s b) -> Term s b Source #

Generic (PEndianness s) Source # 
Instance details

Defined in Plutarch.Builtin.ByteString

Associated Types

type Rep (PEndianness s)

Since: plutarch-1.10.0

Instance details

Defined in Plutarch.Builtin.ByteString

type Rep (PEndianness s) = D1 ('MetaData "PEndianness" "Plutarch.Builtin.ByteString" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'True) (C1 ('MetaCons "PEndianness" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PBool))))

Methods

from :: PEndianness s -> Rep (PEndianness s) x Source #

to :: Rep (PEndianness s) x -> PEndianness s Source #

Generic (PEndianness s) Source # 
Instance details

Defined in Plutarch.Builtin.ByteString

Associated Types

type Code (PEndianness s) 
Instance details

Defined in Plutarch.Builtin.ByteString

type Code (PEndianness s) = GCode (PEndianness s)

Methods

from :: PEndianness s -> Rep (PEndianness s)

to :: Rep (PEndianness s) -> PEndianness s

type PInner PEndianness Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PEndianness = PInner (DeriveNewtypePlutusType PEndianness)
type Rep (PEndianness s) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Builtin.ByteString

type Rep (PEndianness s) = D1 ('MetaData "PEndianness" "Plutarch.Builtin.ByteString" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'True) (C1 ('MetaCons "PEndianness" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PBool))))
type Code (PEndianness s) Source # 
Instance details

Defined in Plutarch.Builtin.ByteString

type Code (PEndianness s) = GCode (PEndianness s)

ppadding :: forall (s :: S). Term s PLogicOpSemantics Source #

Indicates that padding semantics should be used.

Since: 1.10.0

ptruncation :: forall (s :: S). Term s PLogicOpSemantics Source #

Indicates that truncation semantics should be used.

Since: 1.10.0

pmostSignificantFirst :: forall (s :: S). Term s PEndianness Source #

Indicates the conversion should be most-significant-first.

Since: 1.10.0

pmostSignificantLast :: forall (s :: S). Term s PEndianness Source #

Indicates the conversion should be most-significant-last.

Since: 1.10.0

pandBS :: forall (s :: S). Term s (PLogicOpSemantics :--> (PByteString :--> (PByteString :--> PByteString))) Source #

Perform the logical AND of two PByteStrings, as per CIP-122. The PLogicOpSemantics argument specifies what should be done if the lengths of the two PByteString arguments do not match.

Since: 1.10.0

porBS :: forall (s :: S). Term s (PLogicOpSemantics :--> (PByteString :--> (PByteString :--> PByteString))) Source #

Perform the logical OR of two PByteStrings, as per CIP-122. The PLogicOpSemantics argument specifies what should be done if the lengths of the two PByteString arguments do not match.

Since: 1.10.0

pxorBS :: forall (s :: S). Term s (PLogicOpSemantics :--> (PByteString :--> (PByteString :--> PByteString))) Source #

Perform the logical XOR of two PByteStrings, as per CIP-122. The PLogicOpSemantics argument specifies what should be done if the lengths of the two PByteString arguments do not match.

Since: 1.10.0

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

Perform the logical complement of a PByteString, as per CIP-122.

Since: 1.10.0

preplicateBS :: forall (s :: S). Term s (PInteger :--> (PByte :--> PByteString)) Source #

Given a desired length and a PByte, construct a PByteString of the specified length (0 if negative) consisting entirely of that PByte.

Since: 1.10.0

pconsBS :: forall (s :: S). Term s (PByte :--> (PByteString :--> PByteString)) Source #

Prepend a PByte to a 'PByteString.

Since: 1.10.0

pbyteToInteger :: forall (s :: S). Term s (PByte :--> PInteger) Source #

Convert a PByte into its corresponding PInteger.

Since: 1.10.0

pintegerToByte :: forall (s :: S). Term s (PInteger :--> PByte) Source #

Try to convert a PInteger into its corresponding PByte. This operation unchecked: use with care.

Since: 1.10.0

psliceBS :: forall (s :: S). 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 :: forall (s :: S). Term s (PByteString :--> PInteger) Source #

Find the length of a PByteString.

pindexBS :: forall (s :: S). Term s (PByteString :--> (PInteger :--> PByte)) Source #

Given a valid index into a PByteString, returns the PByte at that index. Will crash if given an out-of-bounds index.

Since: 1.10.0

phexByteStr :: forall (s :: S). HasCallStack => String -> Term s PByteString Source #

Interpret a hex string as a PByteString.

pbyteStringToInteger :: forall (s :: S). Term s (PEndianness :--> (PByteString :--> PInteger)) Source #

Convert a PByteString into a PInteger, as per CIP-121.

Since: 1.10.0

pintegerToByteString :: forall (s :: S). Term s (PEndianness :--> (PInteger :--> (PInteger :--> PByteString))) Source #

Converts a PInteger into a PByteString, given a desired endianness and target length. For more details, see CIP-121.

Note

This conversion is unsafe. It will fail if any of the following occur:

  1. The size is negative.
  2. The size is too large (currently if over 8196 bytes).
  3. The size won't fit the integer to convert.