plutarch-1.10.1
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.Builtin.ByteString

Synopsis

Documentation

newtype PByteString 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 Source #

type PlutusRepr PByteString Source #

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 #

PlutusType PByteString Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

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 #

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) :: 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.Builtin.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 #

Generic (PByteString s) Source # 
Instance details

Defined in Plutarch.Builtin.ByteString

Associated Types

type Code (PByteString s) :: [[Type]]

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 PContravariant' PByteString Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PContravariant' PByteString = PContravariant' (DeriveNewtypePlutusType PByteString)
type PCovariant' PByteString Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PCovariant' PByteString = PCovariant' (DeriveNewtypePlutusType PByteString)
type PInner PByteString Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PByteString = PInner (DeriveNewtypePlutusType PByteString)
type PVariant' PByteString Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

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

Defined in Plutarch.Internal.TryFrom

type PTryFromExcess PData (PAsData 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.10.1-LPGZaAWjybFFuyJX8dF1yJ" '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 Source #

type PlutusRepr PByte Source #

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 :: PType Source #

type PCovariant' PByte Source #

type PContravariant' PByte Source #

type PVariant' PByte Source #

Methods

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

pmatch' :: forall (s :: S) (b :: PType). 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) :: Type -> Type Source #

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) :: [[Type]]

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 PContravariant' PByte Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PContravariant' PByte = PContravariant' (DeriveNewtypePlutusType PByte)
type PCovariant' PByte Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PCovariant' PByte = PCovariant' (DeriveNewtypePlutusType PByte)
type PInner PByte Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PByte = PInner (DeriveNewtypePlutusType PByte)
type PVariant' PByte Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PVariant' PByte = PVariant' (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.10.1-LPGZaAWjybFFuyJX8dF1yJ" '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 :: PType Source #

type PCovariant' PLogicOpSemantics Source #

type PContravariant' PLogicOpSemantics Source #

type PVariant' PLogicOpSemantics Source #

Methods

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

pmatch' :: forall (s :: S) (b :: PType). 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) :: Type -> Type Source #

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) :: [[Type]]

Methods

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

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

type PContravariant' PLogicOpSemantics Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PContravariant' PLogicOpSemantics = PContravariant' (DeriveNewtypePlutusType PLogicOpSemantics)
type PCovariant' PLogicOpSemantics Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PCovariant' PLogicOpSemantics = PCovariant' (DeriveNewtypePlutusType PLogicOpSemantics)
type PInner PLogicOpSemantics Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PLogicOpSemantics = PInner (DeriveNewtypePlutusType PLogicOpSemantics)
type PVariant' PLogicOpSemantics Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PVariant' PLogicOpSemantics = PVariant' (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.10.1-LPGZaAWjybFFuyJX8dF1yJ" '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 :: PType Source #

type PCovariant' PEndianness Source #

type PContravariant' PEndianness Source #

type PVariant' PEndianness Source #

Methods

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

pmatch' :: forall (s :: S) (b :: PType). 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) :: Type -> Type Source #

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) :: [[Type]]

Methods

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

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

type PContravariant' PEndianness Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PContravariant' PEndianness = PContravariant' (DeriveNewtypePlutusType PEndianness)
type PCovariant' PEndianness Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PCovariant' PEndianness = PCovariant' (DeriveNewtypePlutusType PEndianness)
type PInner PEndianness Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner PEndianness = PInner (DeriveNewtypePlutusType PEndianness)
type PVariant' PEndianness Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PVariant' PEndianness = PVariant' (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.10.1-LPGZaAWjybFFuyJX8dF1yJ" '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 :: Term s (PByte :--> (PByteString :--> PByteString)) Source #

Prepend a PByte to a 'PByteString.

Since: 1.10.0

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

Convert a PByte into its corresponding PInteger.

Since: 1.10.0

pintegerToByte :: 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 :: 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 :--> 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 :: 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.