plutus-tx-1.45.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Builtins.Internal

Description

This module contains the special Haskell names that are used to map to builtin types or functions in Plutus Core.

Most users should not use this module directly, but rather use Builtins.

Please note that the documentation for each function will only include operational invariants if there are any. This documentation assumes type system correctly enforces and prevents any structural errors on the generated UPLC. See Note [Structural vs operational errors within builtins].

Synopsis

Documentation

error ∷ BuiltinUnit → a Source #

data BuiltinBool Source #

Constructors

BuiltinBool ~Bool 

Instances

Instances details
Data BuiltinBool Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BuiltinBool → c BuiltinBool Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c BuiltinBool Source #

toConstr ∷ BuiltinBool → Constr Source #

dataTypeOf ∷ BuiltinBool → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c BuiltinBool) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c BuiltinBool) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → BuiltinBool → BuiltinBool Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinBool → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinBool → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → BuiltinBool → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → BuiltinBool → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinBool → m BuiltinBool Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinBool → m BuiltinBool Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinBool → m BuiltinBool Source #

HasFromBuiltin BuiltinBool Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinBool Source #

Methods

fromBuiltin ∷ BuiltinBool → FromBuiltin BuiltinBool Source #

MkNil BuiltinBool Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

mkNil ∷ BuiltinList BuiltinBool Source #

HasBlueprintSchema BuiltinBool referencedTypes Source # 
Instance details

Defined in PlutusTx.Blueprint.Class

Methods

schema ∷ Schema referencedTypes Source #

HasFromOpaque BuiltinBool Bool Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaque ∷ BuiltinBool → Bool Source #

HasToOpaque Bool BuiltinBool Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque ∷ Bool → BuiltinBool Source #

HasTermLevel uni Bool ⇒ Lift uni BuiltinBool Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

lift ∷ BuiltinBool → RTCompile uni fun (Term TyName Name uni fun ()) Source #

HasTypeLevel uni Bool ⇒ Typeable uni BuiltinBool Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep ∷ Proxy BuiltinBool → RTCompile uni fun (Type TyName uni ()) Source #

type FromBuiltin BuiltinBool Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinBool = Bool

true ∷ BuiltinBool Source #

false ∷ BuiltinBool Source #

ifThenElse ∷ BuiltinBool → a → a → a Source #

data BuiltinUnit Source #

Constructors

BuiltinUnit ~() 

Instances

Instances details
Data BuiltinUnit Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BuiltinUnit → c BuiltinUnit Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c BuiltinUnit Source #

toConstr ∷ BuiltinUnit → Constr Source #

dataTypeOf ∷ BuiltinUnit → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c BuiltinUnit) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c BuiltinUnit) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → BuiltinUnit → BuiltinUnit Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinUnit → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinUnit → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → BuiltinUnit → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → BuiltinUnit → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinUnit → m BuiltinUnit Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinUnit → m BuiltinUnit Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinUnit → m BuiltinUnit Source #

HasBlueprintDefinition BuiltinUnit Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

Associated Types

type Unroll BuiltinUnit ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

HasFromBuiltin BuiltinUnit Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinUnit Source #

Methods

fromBuiltin ∷ BuiltinUnit → FromBuiltin BuiltinUnit Source #

HasBlueprintSchema BuiltinUnit referencedTypes Source # 
Instance details

Defined in PlutusTx.Blueprint.Class

Methods

schema ∷ Schema referencedTypes Source #

HasFromOpaque BuiltinUnit () Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaque ∷ BuiltinUnit → () Source #

HasToOpaque () BuiltinUnit Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque ∷ () → BuiltinUnit Source #

HasTermLevel uni () ⇒ Lift uni BuiltinUnit Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

lift ∷ BuiltinUnit → RTCompile uni fun (Term TyName Name uni fun ()) Source #

HasTypeLevel uni () ⇒ Typeable uni BuiltinUnit Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep ∷ Proxy BuiltinUnit → RTCompile uni fun (Type TyName uni ()) Source #

type Unroll BuiltinUnit Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

type Unroll BuiltinUnit = '[BuiltinUnit]
type FromBuiltin BuiltinUnit Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinUnit = ()

unitval ∷ BuiltinUnit Source #

Unit

chooseUnit ∷ BuiltinUnit → a → a Source #

type BuiltinInteger = Integer Source #

addInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger Source #

Adds two integers and never fails.

subtractInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger Source #

Subtracts two integers and never fails.

multiplyInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger Source #

Multiplies two integers and never fails.

divideInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger Source #

Finds the quotient of two integers and fails when the second argument, the divisor, is zero. See Note [Integer division operations] for explanation on divideInteger, modInteger, quotientInteger, and remainderInteger.

modInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger Source #

Finds the remainder of two integers and fails when the second argument, the divisor, is zero.

quotientInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger Source #

Finds the quotient of two integers and fails when the second argument, the divisor, is zero.

remainderInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger Source #

Finds the remainder of two integers and fails when the second argument, the divisor, is zero.

lessThanInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinBool Source #

Compares two integers and returns true when the first argument is less than the second | argument.

lessThanEqualsInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinBool Source #

Compares two integers and returns true when the first argument is less or equal to than the | second argument.

equalsInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinBool Source #

Checks equality of two integers and never fails.

data BuiltinByteString Source #

An opaque type representing Plutus Core ByteStrings.

Constructors

BuiltinByteString ~ByteString 

Instances

Instances details
Data BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BuiltinByteString → c BuiltinByteString Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c BuiltinByteString Source #

toConstr ∷ BuiltinByteString → Constr Source #

dataTypeOf ∷ BuiltinByteString → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c BuiltinByteString) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c BuiltinByteString) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → BuiltinByteString → BuiltinByteString Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinByteString → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinByteString → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → BuiltinByteString → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → BuiltinByteString → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinByteString → m BuiltinByteString Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinByteString → m BuiltinByteString Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinByteString → m BuiltinByteString Source #

IsString BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromString ∷ String → BuiltinByteString Source #

Monoid BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

mempty ∷ BuiltinByteString Source #

mappend ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

mconcat ∷ [BuiltinByteString] → BuiltinByteString Source #

Semigroup BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

(<>) ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

sconcat ∷ NonEmpty BuiltinByteString → BuiltinByteString Source #

stimes ∷ Integral b ⇒ b → BuiltinByteString → BuiltinByteString Source #

Show BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

showsPrec ∷ Int → BuiltinByteString → ShowS Source #

show ∷ BuiltinByteString → String Source #

showList ∷ [BuiltinByteString] → ShowS Source #

NFData BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

rnf ∷ BuiltinByteString → () Source #

Eq BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

(==) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

(/=) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

Ord BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

compare ∷ BuiltinByteString → BuiltinByteString → Ordering Source #

(<) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

(<=) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

(>) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

(>=) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

max ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

min ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

Hashable BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

hashWithSalt ∷ Int → BuiltinByteString → Int Source #

hash ∷ BuiltinByteString → Int Source #

ByteArray BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

allocRet ∷ Int → (Ptr p → IO a) → IO (a, BuiltinByteString) Source #

ByteArrayAccess BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

length ∷ BuiltinByteString → Int Source #

withByteArray ∷ BuiltinByteString → (Ptr p → IO a) → IO a Source #

copyByteArrayToPtr ∷ BuiltinByteString → Ptr p → IO () Source #

HasBlueprintDefinition BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

Associated Types

type Unroll BuiltinByteString ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

HasFromBuiltin BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinByteString Source #

Methods

fromBuiltin ∷ BuiltinByteString → FromBuiltin BuiltinByteString Source #

Eq BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Eq

Methods

(==) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

FromData BuiltinByteString Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData ∷ BuiltinData → Maybe BuiltinByteString Source #

ToData BuiltinByteString Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData ∷ BuiltinByteString → BuiltinData Source #

UnsafeFromData BuiltinByteString Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData ∷ BuiltinData → BuiltinByteString Source #

Monoid BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Monoid

Methods

mempty ∷ BuiltinByteString Source #

Ord BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Ord

Methods

compare ∷ BuiltinByteString → BuiltinByteString → Ordering Source #

(<) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

(<=) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

(>) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

(>=) ∷ BuiltinByteString → BuiltinByteString → Bool Source #

max ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

min ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

Semigroup BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Semigroup

Methods

(<>) ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

Show BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Show

Methods

showsPrec ∷ Integer → BuiltinByteString → ShowS Source #

show ∷ BuiltinByteString → BuiltinString Source #

Pretty BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

pretty ∷ BuiltinByteString → Doc ann Source #

prettyList ∷ [BuiltinByteString] → Doc ann Source #

Serialise BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

encode ∷ BuiltinByteString → Encoding Source #

decode ∷ Decoder s BuiltinByteString Source #

encodeList ∷ [BuiltinByteString] → Encoding Source #

decodeList ∷ Decoder s [BuiltinByteString] Source #

HasBlueprintSchema BuiltinByteString referencedTypes Source # 
Instance details

Defined in PlutusTx.Blueprint.Class

Methods

schema ∷ Schema referencedTypes Source #

HasFromOpaque BuiltinByteString BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaque ∷ BuiltinByteString → BuiltinByteString Source #

HasToOpaque BuiltinByteString BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque ∷ BuiltinByteString → BuiltinByteString Source #

HasTermLevel uni ByteString ⇒ Lift uni BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

lift ∷ BuiltinByteString → RTCompile uni fun (Term TyName Name uni fun ()) Source #

HasTypeLevel uni ByteString ⇒ Typeable uni BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep ∷ Proxy BuiltinByteString → RTCompile uni fun (Type TyName uni ()) Source #

type Unroll BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

type Unroll BuiltinByteString = '[BuiltinByteString]
type FromBuiltin BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinByteString = ByteString

appendByteString ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

Appends a bytestring to another and never fails.

consByteString ∷ BuiltinInteger → BuiltinByteString → BuiltinByteString Source #

Appends a byte to the given bytestring. The semantics of this function differ based on [Builtin semantics variants]. - For builtin semantics variant A and B, that is for PlutusV1 and PlutusV2, this reduces the first argument modulo 256 and will never fail. - For builtin semantics variant C, that is for PlutusV3, this will expect first argument to be in range [0..255] and fail otherwise.

sliceByteString ∷ BuiltinInteger → BuiltinInteger → BuiltinByteString → BuiltinByteString Source #

Slices the given bytestring and never fails. The first integer marks the beginning index and the second marks the end. Indices are expected to be 0-indexed, and when the first integer is greater than the second, it returns an empty bytestring.

lengthOfByteString ∷ BuiltinByteString → BuiltinInteger Source #

Returns the length of the provided bytestring.

indexByteString ∷ BuiltinByteString → BuiltinInteger → BuiltinInteger Source #

Returns the n-th byte from the bytestring. Fails if the given index is not in the range [0..j), where j is the length of the bytestring.

emptyByteString ∷ BuiltinByteString Source #

An empty bytestring.

sha2_256 ∷ BuiltinByteString → BuiltinByteString Source #

Computes the SHA2-256 hash of the given bytestring.

sha3_256 ∷ BuiltinByteString → BuiltinByteString Source #

Computes the SHA3-256 hash of the given bytestring.

blake2b_224 ∷ BuiltinByteString → BuiltinByteString Source #

Computes the Blake2b-224 hash of the given bytestring.

blake2b_256 ∷ BuiltinByteString → BuiltinByteString Source #

Computes the Blake2b-256 hash of the given bytestring.

keccak_256 ∷ BuiltinByteString → BuiltinByteString Source #

Computes the Keccak-256 hash of the given bytestring.

ripemd_160 ∷ BuiltinByteString → BuiltinByteString Source #

Computes the RIPEMD-160 hash of the given bytestring.

verifyEd25519Signature ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString → BuiltinBool Source #

Ed25519 signature verification. The first bytestring is the public key (32 bytes), followed by an arbitrary-size message and the signature (64 bytes). The sizes of the public key and signature are enforced, and it fails when given bytestrings of incorrect size.

verifyEcdsaSecp256k1Signature ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString → BuiltinBool Source #

ECDSA signature verification on the SECP256k1 curve. The first bytestring is the public key (32 bytes), followed by the message hash (32 bytes) and the signature (64 bytes). The sizes of the public key and signature are enforced, and it fails when given bytestrings of incorrect size.

verifySchnorrSecp256k1Signature ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString → BuiltinBool Source #

Schnorr signature verification on the SECP256k1 curve. The first bytestring is the public key (32 bytes), followed by an arbitrary-length message and the signature (64 bytes). The sizes of the public key and signature are enforced, and it fails when given bytestrings of incorrect size.

traceAll ∷ ∀ (a ∷ Type) (f ∷ Type → Type). Foldable f ⇒ f Text → a → a Source #

Runs trace for each element in a foldable structure.

equalsByteString ∷ BuiltinByteString → BuiltinByteString → BuiltinBool Source #

Checks the equality of two bytestrings and never fails

lessThanByteString ∷ BuiltinByteString → BuiltinByteString → BuiltinBool Source #

Checks if the first bytestring is less than the second bytestring and never fails. Comparison of the bytestrings will behave identically to the compare implementation in Ord. It will compare two bytestrings byte by byte—lexicographical ordering.

lessThanEqualsByteString ∷ BuiltinByteString → BuiltinByteString → BuiltinBool Source #

Checks if the first bytestring is less than or equal to the second bytestring and never fails.

decodeUtf8 ∷ BuiltinByteString → BuiltinString Source #

Decodes the given bytestring to a string and fails when the given bytestring is not a valid UTF-8 bytestring.

data BuiltinString Source #

Constructors

BuiltinString ~Text 

Instances

Instances details
Data BuiltinString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BuiltinString → c BuiltinString Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c BuiltinString Source #

toConstr ∷ BuiltinString → Constr Source #

dataTypeOf ∷ BuiltinString → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c BuiltinString) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c BuiltinString) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → BuiltinString → BuiltinString Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinString → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinString → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → BuiltinString → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → BuiltinString → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinString → m BuiltinString Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinString → m BuiltinString Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinString → m BuiltinString Source #

IsString BuiltinString Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromString ∷ String → BuiltinString Source #

Show BuiltinString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

showsPrec ∷ Int → BuiltinString → ShowS Source #

show ∷ BuiltinString → String Source #

showList ∷ [BuiltinString] → ShowS Source #

Eq BuiltinString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

(==) ∷ BuiltinString → BuiltinString → Bool Source #

(/=) ∷ BuiltinString → BuiltinString → Bool Source #

Ord BuiltinString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

compare ∷ BuiltinString → BuiltinString → Ordering Source #

(<) ∷ BuiltinString → BuiltinString → Bool Source #

(<=) ∷ BuiltinString → BuiltinString → Bool Source #

(>) ∷ BuiltinString → BuiltinString → Bool Source #

(>=) ∷ BuiltinString → BuiltinString → Bool Source #

max ∷ BuiltinString → BuiltinString → BuiltinString Source #

min ∷ BuiltinString → BuiltinString → BuiltinString Source #

HasBlueprintDefinition BuiltinString Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

Associated Types

type Unroll BuiltinString ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

HasFromBuiltin BuiltinString Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinString Source #

Methods

fromBuiltin ∷ BuiltinString → FromBuiltin BuiltinString Source #

Eq BuiltinString Source # 
Instance details

Defined in PlutusTx.Eq

Methods

(==) ∷ BuiltinString → BuiltinString → Bool Source #

Monoid BuiltinString Source # 
Instance details

Defined in PlutusTx.Monoid

Methods

mempty ∷ BuiltinString Source #

Semigroup BuiltinString Source # 
Instance details

Defined in PlutusTx.Semigroup

Methods

(<>) ∷ BuiltinString → BuiltinString → BuiltinString Source #

Show BuiltinString Source # 
Instance details

Defined in PlutusTx.Show

Methods

showsPrec ∷ Integer → BuiltinString → ShowS Source #

show ∷ BuiltinString → BuiltinString Source #

HasBlueprintSchema BuiltinString referencedTypes Source # 
Instance details

Defined in PlutusTx.Blueprint.Class

Methods

schema ∷ Schema referencedTypes Source #

HasFromOpaque BuiltinString BuiltinString Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaque ∷ BuiltinString → BuiltinString Source #

HasToOpaque BuiltinString BuiltinString Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque ∷ BuiltinString → BuiltinString Source #

HasTermLevel uni Text ⇒ Lift uni BuiltinString Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

lift ∷ BuiltinString → RTCompile uni fun (Term TyName Name uni fun ()) Source #

HasTypeLevel uni Text ⇒ Typeable uni BuiltinString Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep ∷ Proxy BuiltinString → RTCompile uni fun (Type TyName uni ()) Source #

type Unroll BuiltinString Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

type Unroll BuiltinString = '[BuiltinString]
type FromBuiltin BuiltinString Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinString = Text

appendString ∷ BuiltinString → BuiltinString → BuiltinString Source #

Appends a string to another and never fails.

emptyString ∷ BuiltinString Source #

An empty string.

equalsString ∷ BuiltinString → BuiltinString → BuiltinBool Source #

Checks the equality of two strings and never fails.

trace ∷ BuiltinString → a → a Source #

Emits a trace message and never fails.

encodeUtf8 ∷ BuiltinString → BuiltinByteString Source #

Encodes a string into a bytestring and never fails.

data BuiltinPair a b Source #

Constructors

BuiltinPair ~(a, b) 

Instances

Instances details
(HasFromBuiltin arep, HasFromBuiltin brep, HasTermLevel uni (FromBuiltin arep, FromBuiltin brep)) ⇒ Lift uni (BuiltinPair arep brep) Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

lift ∷ BuiltinPair arep brep → RTCompile uni fun (Term TyName Name uni fun ()) Source #

(Data a, Data b) ⇒ Data (BuiltinPair a b) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

gfoldl ∷ (∀ d b0. Data d ⇒ c (d → b0) → d → c b0) → (∀ g. g → c g) → BuiltinPair a b → c (BuiltinPair a b) Source #

gunfold ∷ (∀ b0 r. Data b0 ⇒ c (b0 → r) → c r) → (∀ r. r → c r) → Constr → c (BuiltinPair a b) Source #

toConstr ∷ BuiltinPair a b → Constr Source #

dataTypeOf ∷ BuiltinPair a b → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (BuiltinPair a b)) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c (BuiltinPair a b)) Source #

gmapT ∷ (∀ b0. Data b0 ⇒ b0 → b0) → BuiltinPair a b → BuiltinPair a b Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinPair a b → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinPair a b → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → BuiltinPair a b → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → BuiltinPair a b → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinPair a b → m (BuiltinPair a b) Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinPair a b → m (BuiltinPair a b) Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinPair a b → m (BuiltinPair a b) Source #

(Show a, Show b) ⇒ Show (BuiltinPair a b) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

showsPrec ∷ Int → BuiltinPair a b → ShowS Source #

show ∷ BuiltinPair a b → String Source #

showList ∷ [BuiltinPair a b] → ShowS Source #

(Eq a, Eq b) ⇒ Eq (BuiltinPair a b) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

(==) ∷ BuiltinPair a b → BuiltinPair a b → Bool Source #

(/=) ∷ BuiltinPair a b → BuiltinPair a b → Bool Source #

(Ord a, Ord b) ⇒ Ord (BuiltinPair a b) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

compare ∷ BuiltinPair a b → BuiltinPair a b → Ordering Source #

(<) ∷ BuiltinPair a b → BuiltinPair a b → Bool Source #

(<=) ∷ BuiltinPair a b → BuiltinPair a b → Bool Source #

(>) ∷ BuiltinPair a b → BuiltinPair a b → Bool Source #

(>=) ∷ BuiltinPair a b → BuiltinPair a b → Bool Source #

max ∷ BuiltinPair a b → BuiltinPair a b → BuiltinPair a b Source #

min ∷ BuiltinPair a b → BuiltinPair a b → BuiltinPair a b Source #

(HasBlueprintDefinition a, HasBlueprintDefinition b) ⇒ HasBlueprintDefinition (BuiltinPair a b) Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

Associated Types

type Unroll (BuiltinPair a b) ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

(HasFromBuiltin a, HasFromBuiltin b) ⇒ HasFromBuiltin (BuiltinPair a b) Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin (BuiltinPair a b) Source #

Methods

fromBuiltin ∷ BuiltinPair a b → FromBuiltin (BuiltinPair a b) Source #

MkNil (BuiltinPair BuiltinData BuiltinData) Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

mkNil ∷ BuiltinList (BuiltinPair BuiltinData BuiltinData) Source #

(HasBlueprintSchema a referencedTypes, HasBlueprintSchema b referencedTypes) ⇒ HasBlueprintSchema (BuiltinPair a b) referencedTypes Source # 
Instance details

Defined in PlutusTx.Blueprint.Class

Methods

schema ∷ Schema referencedTypes Source #

HasTypeLevel uni (,) ⇒ Typeable uni BuiltinPair Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep ∷ Proxy BuiltinPair → RTCompile uni fun (Type TyName uni ()) Source #

(HasFromOpaque arep a, HasFromOpaque brep b) ⇒ HasFromOpaque (BuiltinPair arep brep) (a, b) Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaque ∷ BuiltinPair arep brep → (a, b) Source #

HasToOpaque (BuiltinData, BuiltinData) (BuiltinPair BuiltinData BuiltinData) Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque ∷ (BuiltinData, BuiltinData) → BuiltinPair BuiltinData BuiltinData Source #

type Unroll (BuiltinPair a b) Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

type Unroll (BuiltinPair a b) = Insert (BuiltinPair a b) (Unrolled a ++ Unrolled b)
type FromBuiltin (BuiltinPair a b) Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin (BuiltinPair a b) = (FromBuiltin a, FromBuiltin b)

fst ∷ BuiltinPair a b → a Source #

Takes first value from the tuple and never fails.

snd ∷ BuiltinPair a b → b Source #

Takes second value from the tuple and never fails.

mkPairData ∷ BuiltinData → BuiltinData → BuiltinPair BuiltinData BuiltinData Source #

Constructs tuple from two builtin data.

data BuiltinList a Source #

Constructors

BuiltinList ~[a] 

Instances

Instances details
(HasFromBuiltin arep, HasTermLevel uni [FromBuiltin arep]) ⇒ Lift uni (BuiltinList arep) Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

lift ∷ BuiltinList arep → RTCompile uni fun (Term TyName Name uni fun ()) Source #

Data a ⇒ Data (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BuiltinList a → c (BuiltinList a) Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c (BuiltinList a) Source #

toConstr ∷ BuiltinList a → Constr Source #

dataTypeOf ∷ BuiltinList a → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (BuiltinList a)) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c (BuiltinList a)) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → BuiltinList a → BuiltinList a Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinList a → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinList a → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → BuiltinList a → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → BuiltinList a → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinList a → m (BuiltinList a) Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinList a → m (BuiltinList a) Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinList a → m (BuiltinList a) Source #

Show a ⇒ Show (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

showsPrec ∷ Int → BuiltinList a → ShowS Source #

show ∷ BuiltinList a → String Source #

showList ∷ [BuiltinList a] → ShowS Source #

Eq a ⇒ Eq (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

(==) ∷ BuiltinList a → BuiltinList a → Bool Source #

(/=) ∷ BuiltinList a → BuiltinList a → Bool Source #

Ord a ⇒ Ord (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

compare ∷ BuiltinList a → BuiltinList a → Ordering Source #

(<) ∷ BuiltinList a → BuiltinList a → Bool Source #

(<=) ∷ BuiltinList a → BuiltinList a → Bool Source #

(>) ∷ BuiltinList a → BuiltinList a → Bool Source #

(>=) ∷ BuiltinList a → BuiltinList a → Bool Source #

max ∷ BuiltinList a → BuiltinList a → BuiltinList a Source #

min ∷ BuiltinList a → BuiltinList a → BuiltinList a Source #

HasBlueprintDefinition a ⇒ HasBlueprintDefinition (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

Associated Types

type Unroll (BuiltinList a) ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

HasFromBuiltin a ⇒ HasFromBuiltin (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin (BuiltinList a) Source #

Methods

fromBuiltin ∷ BuiltinList a → FromBuiltin (BuiltinList a) Source #

HasBlueprintSchema a referencedTypes ⇒ HasBlueprintSchema (BuiltinList a) referencedTypes Source # 
Instance details

Defined in PlutusTx.Blueprint.Class

Methods

schema ∷ Schema referencedTypes Source #

HasFromOpaque arep a ⇒ HasFromOpaque (BuiltinList arep) [a] Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaque ∷ BuiltinList arep → [a] Source #

(HasToOpaque a arep, MkNil arep) ⇒ HasToOpaque [a] (BuiltinList arep) Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque ∷ [a] → BuiltinList arep Source #

HasTypeLevel uni List ⇒ Typeable uni BuiltinList Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep ∷ Proxy BuiltinList → RTCompile uni fun (Type TyName uni ()) Source #

type Unroll (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

type Unroll (BuiltinList a) = Insert (BuiltinList a) (Unrolled a)
type FromBuiltin (BuiltinList a) Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin (BuiltinList a) = [FromBuiltin a]

null ∷ BuiltinList a → BuiltinBool Source #

Checks if the given list is empty.

head ∷ BuiltinList a → a Source #

Takes the first element of the list and fails if given list is empty.

tail ∷ BuiltinList a → BuiltinList a Source #

Takes the last element of the list and fails if given list is empty.

chooseList ∷ BuiltinList a → b → b → b Source #

Branches out depending on the structure of given list and never fails. If given list is empty, it will take the first branch and if not it will take the second branch.

caseList' ∷ ∀ a r. r → (a → BuiltinList a → r) → BuiltinList a → r Source #

Similar to chooseList but deconstructs the list in case provided list is not empty.

drop ∷ Integer → BuiltinList a → BuiltinList a Source #

Drops first n elements from the given list and never fails.

mkNilData ∷ BuiltinUnit → BuiltinList BuiltinData Source #

Creates an empty data list and never fails. Prefer using constant. See Note [Constants vs built-in functions]

mkNilPairData ∷ BuiltinUnit → BuiltinList (BuiltinPair BuiltinData BuiltinData) Source #

Creates an empty data pair list and never fails. Prefer using constant. See Note [Constants vs built-in functions]

mkCons ∷ a → BuiltinList a → BuiltinList a Source #

Appends a new element to the given list and never fails.

data BuiltinData Source #

A type corresponding to the Plutus Core builtin equivalent of Data.

The point of this type is to be an opaque equivalent of Data, so as to ensure that it is only used in ways that the compiler can handle.

As such, you should use this type in your on-chain code, and in any data structures that you want to be representable on-chain.

For off-chain usage, there are conversion functions builtinDataToData and dataToBuiltinData, but note that these will not work on-chain.

Constructors

BuiltinData ~Data 

Instances

Instances details
Data BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BuiltinData → c BuiltinData Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c BuiltinData Source #

toConstr ∷ BuiltinData → Constr Source #

dataTypeOf ∷ BuiltinData → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c BuiltinData) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c BuiltinData) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → BuiltinData → BuiltinData Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinData → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinData → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → BuiltinData → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → BuiltinData → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinData → m BuiltinData Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinData → m BuiltinData Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinData → m BuiltinData Source #

Generic BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Associated Types

type Rep BuiltinData ∷ Type → Type Source #

Methods

from ∷ BuiltinData → Rep BuiltinData x Source #

to ∷ Rep BuiltinData x → BuiltinData Source #

Show BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

showsPrec ∷ Int → BuiltinData → ShowS Source #

show ∷ BuiltinData → String Source #

showList ∷ [BuiltinData] → ShowS Source #

NFData BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

rnf ∷ BuiltinData → () Source #

Eq BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

(==) ∷ BuiltinData → BuiltinData → Bool Source #

(/=) ∷ BuiltinData → BuiltinData → Bool Source #

Ord BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

compare ∷ BuiltinData → BuiltinData → Ordering Source #

(<) ∷ BuiltinData → BuiltinData → Bool Source #

(<=) ∷ BuiltinData → BuiltinData → Bool Source #

(>) ∷ BuiltinData → BuiltinData → Bool Source #

(>=) ∷ BuiltinData → BuiltinData → Bool Source #

max ∷ BuiltinData → BuiltinData → BuiltinData Source #

min ∷ BuiltinData → BuiltinData → BuiltinData Source #

HasBlueprintDefinition BuiltinData Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

Associated Types

type Unroll BuiltinData ∷ [Type] Source #

Methods

definitionId ∷ DefinitionId Source #

HasFromBuiltin BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinData Source #

Methods

fromBuiltin ∷ BuiltinData → FromBuiltin BuiltinData Source #

MkNil BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

mkNil ∷ BuiltinList BuiltinData Source #

Eq BuiltinData Source # 
Instance details

Defined in PlutusTx.Eq

Methods

(==) ∷ BuiltinData → BuiltinData → Bool Source #

FromData BuiltinData Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData ∷ BuiltinData → Maybe BuiltinData Source #

ToData BuiltinData Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData ∷ BuiltinData → BuiltinData Source #

UnsafeFromData BuiltinData Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData ∷ BuiltinData → BuiltinData Source #

Show BuiltinData Source # 
Instance details

Defined in PlutusTx.Show

Methods

showsPrec ∷ Integer → BuiltinData → ShowS Source #

show ∷ BuiltinData → BuiltinString Source #

Pretty BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

pretty ∷ BuiltinData → Doc ann Source #

prettyList ∷ [BuiltinData] → Doc ann Source #

HasBlueprintSchema BuiltinData referencedTypes Source # 
Instance details

Defined in PlutusTx.Blueprint.Class

Methods

schema ∷ Schema referencedTypes Source #

HasFromOpaque BuiltinData BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaque ∷ BuiltinData → BuiltinData Source #

HasToOpaque BuiltinData BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque ∷ BuiltinData → BuiltinData Source #

HasTermLevel uni Data ⇒ Lift uni BuiltinData Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

lift ∷ BuiltinData → RTCompile uni fun (Term TyName Name uni fun ()) Source #

HasTypeLevel uni Data ⇒ Typeable uni BuiltinData Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep ∷ Proxy BuiltinData → RTCompile uni fun (Type TyName uni ()) Source #

MkNil (BuiltinPair BuiltinData BuiltinData) Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

mkNil ∷ BuiltinList (BuiltinPair BuiltinData BuiltinData) Source #

HasToOpaque (BuiltinData, BuiltinData) (BuiltinPair BuiltinData BuiltinData) Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque ∷ (BuiltinData, BuiltinData) → BuiltinPair BuiltinData BuiltinData Source #

type Rep BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

type Rep BuiltinData = D1 ('MetaData "BuiltinData" "PlutusTx.Builtins.Internal" "plutus-tx-1.45.0.0-inplace" 'False) (C1 ('MetaCons "BuiltinData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceLazy 'DecidedLazy) (Rec0 Data)))
type Unroll BuiltinData Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

type Unroll BuiltinData = '[BuiltinData]
type FromBuiltin BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinData = Data

builtinDataToData ∷ BuiltinData → Data Source #

NOT a builtin. Converts a BuiltinData into a Data. Only works off-chain.

dataToBuiltinData ∷ Data → BuiltinData Source #

NOT a builtin. Converts a Data into a BuiltinData. Only works off-chain.

chooseData ∷ ∀ a. BuiltinData → a → a → a → a → a → a Source #

Branches out depending on the structure of given data and never fails.

caseData' ∷ (Integer → BuiltinList BuiltinData → r) → (BuiltinList (BuiltinPair BuiltinData BuiltinData) → r) → (BuiltinList BuiltinData → r) → (Integer → r) → (BuiltinByteString → r) → BuiltinData → r Source #

Similar to chooseData but deconstructs the data on each cases. Never fails.

mkConstr ∷ BuiltinInteger → BuiltinList BuiltinData → BuiltinData Source #

Creates Constr data value with the given index and elements; never fails.

mkMap ∷ BuiltinList (BuiltinPair BuiltinData BuiltinData) → BuiltinData Source #

Creates Map data value with the given list of pairs and never fails.

mkList ∷ BuiltinList BuiltinData → BuiltinData Source #

Creates List data value with the given list and never fails.

mkI ∷ BuiltinInteger → BuiltinData Source #

Creates I data value with the given integer and never fails.

mkB ∷ BuiltinByteString → BuiltinData Source #

Creates B data value with the given bytestring and never fails.

unsafeDataAsConstr ∷ BuiltinData → BuiltinPair BuiltinInteger (BuiltinList BuiltinData) Source #

Deconstructs the given data as a Constr, failing if it is not a Constr.

unsafeDataAsMap ∷ BuiltinData → BuiltinList (BuiltinPair BuiltinData BuiltinData) Source #

Deconstructs the given data as a Map, failing if it is not a Map.

unsafeDataAsList ∷ BuiltinData → BuiltinList BuiltinData Source #

Deconstructs the given data as a List, failing if it is not a List.

unsafeDataAsI ∷ BuiltinData → BuiltinInteger Source #

Deconstructs the given data as a I, failing if it is not a I.

unsafeDataAsB ∷ BuiltinData → BuiltinByteString Source #

Deconstructs the given data as a B, failing if it is not a B.

equalsData ∷ BuiltinData → BuiltinData → BuiltinBool Source #

Checks equality of two data and never fails.

serialiseData ∷ BuiltinData → BuiltinByteString Source #

Serialize the given data into CBOR bytestring. See Data for exact encoder as Data does not uses Generic version.

data BuiltinArray a Source #

Constructors

BuiltinArray ~(Vector a) 

Instances

Instances details
(HasFromBuiltin arep, HasTermLevel uni (Vector (FromBuiltin arep))) ⇒ Lift uni (BuiltinArray arep) Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

lift ∷ BuiltinArray arep → RTCompile uni fun (Term TyName Name uni fun ()) Source #

Data a ⇒ Data (BuiltinArray a) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BuiltinArray a → c (BuiltinArray a) Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c (BuiltinArray a) Source #

toConstr ∷ BuiltinArray a → Constr Source #

dataTypeOf ∷ BuiltinArray a → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (BuiltinArray a)) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c (BuiltinArray a)) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → BuiltinArray a → BuiltinArray a Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinArray a → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinArray a → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → BuiltinArray a → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → BuiltinArray a → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinArray a → m (BuiltinArray a) Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinArray a → m (BuiltinArray a) Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinArray a → m (BuiltinArray a) Source #

Show a ⇒ Show (BuiltinArray a) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

showsPrec ∷ Int → BuiltinArray a → ShowS Source #

show ∷ BuiltinArray a → String Source #

showList ∷ [BuiltinArray a] → ShowS Source #

Eq a ⇒ Eq (BuiltinArray a) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

(==) ∷ BuiltinArray a → BuiltinArray a → Bool Source #

(/=) ∷ BuiltinArray a → BuiltinArray a → Bool Source #

Ord a ⇒ Ord (BuiltinArray a) Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

compare ∷ BuiltinArray a → BuiltinArray a → Ordering Source #

(<) ∷ BuiltinArray a → BuiltinArray a → Bool Source #

(<=) ∷ BuiltinArray a → BuiltinArray a → Bool Source #

(>) ∷ BuiltinArray a → BuiltinArray a → Bool Source #

(>=) ∷ BuiltinArray a → BuiltinArray a → Bool Source #

max ∷ BuiltinArray a → BuiltinArray a → BuiltinArray a Source #

min ∷ BuiltinArray a → BuiltinArray a → BuiltinArray a Source #

HasFromBuiltin a ⇒ HasFromBuiltin (BuiltinArray a) Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin (BuiltinArray a) Source #

Methods

fromBuiltin ∷ BuiltinArray a → FromBuiltin (BuiltinArray a) Source #

HasTypeLevel uni Vector ⇒ Typeable uni BuiltinArray Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep ∷ Proxy BuiltinArray → RTCompile uni fun (Type TyName uni ()) Source #

type FromBuiltin (BuiltinArray a) Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin (BuiltinArray a) = Vector (FromBuiltin a)

lengthOfArray ∷ BuiltinArray a → BuiltinInteger Source #

Returns the length of the provided array and never fails

listToArray ∷ BuiltinList a → BuiltinArray a Source #

Converts given list into array and never fails.

indexArray ∷ BuiltinArray a → BuiltinInteger → a Source #

Returns the n-th element from the array. Fails if the given index is not in the range [0..j), where j is the length of the array.

data BuiltinBLS12_381_G1_Element Source #

Constructors

BuiltinBLS12_381_G1_Element ~Element 

Instances

Instances details
Show BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

showsPrec ∷ Int → BuiltinBLS12_381_G1_Element → ShowS Source #

show ∷ BuiltinBLS12_381_G1_Element → String Source #

showList ∷ [BuiltinBLS12_381_G1_Element] → ShowS Source #

NFData BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

rnf ∷ BuiltinBLS12_381_G1_Element → () Source #

Eq BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

(==) ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element → Bool Source #

(/=) ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element → Bool Source #

HasFromBuiltin BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinBLS12_381_G1_Element Source #

Methods

fromBuiltin ∷ BuiltinBLS12_381_G1_Element → FromBuiltin BuiltinBLS12_381_G1_Element Source #

Eq BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.Eq

Methods

(==) ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element → Bool Source #

FromData BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData ∷ BuiltinData → Maybe BuiltinBLS12_381_G1_Element Source #

ToData BuiltinBLS12_381_G1_Element Source #

For the BLS12-381 G1 and G2 types we use the compress functions to convert to a ByteString and then encode that as Data as usual. We have to be more careful going the other way because we decode a Data object to (possibly) get a BuiltinByteString and then uncompress the underlying ByteString to get a group element. However uncompression can fail so we have to check what happens: we don't use bls12_381_G?_uncompress because that invokes error if something goes wrong (but we do use it for unsafeFromData).

Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData ∷ BuiltinBLS12_381_G1_Element → BuiltinData Source #

UnsafeFromData BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData ∷ BuiltinData → BuiltinBLS12_381_G1_Element Source #

Pretty BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

pretty ∷ BuiltinBLS12_381_G1_Element → Doc ann Source #

prettyList ∷ [BuiltinBLS12_381_G1_Element] → Doc ann Source #

HasFromOpaque BuiltinBLS12_381_G1_Element BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaque ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element Source #

HasToOpaque BuiltinBLS12_381_G1_Element BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element Source #

HasTermLevel uni Element ⇒ Lift uni BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

lift ∷ BuiltinBLS12_381_G1_Element → RTCompile uni fun (Term TyName Name uni fun ()) Source #

HasTypeLevel uni Element ⇒ Typeable uni BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep ∷ Proxy BuiltinBLS12_381_G1_Element → RTCompile uni fun (Type TyName uni ()) Source #

type FromBuiltin BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinBLS12_381_G1_Element = Element

bls12_381_G1_equals ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element → BuiltinBool Source #

Checks equality of two G1 elements and never fails.

bls12_381_G1_add ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element Source #

Adds two G1 elements and never fails.

bls12_381_G1_neg ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element Source #

Negates a G1 element and never fails.

bls12_381_G1_scalarMul ∷ BuiltinInteger → BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element Source #

Multiplies a G1 element by a scalar and never fails.

bls12_381_G1_compress ∷ BuiltinBLS12_381_G1_Element → BuiltinByteString Source #

Compresses a G1 element to a bytestring and never fails.

bls12_381_G1_uncompress ∷ BuiltinByteString → BuiltinBLS12_381_G1_Element Source #

Uncompresses a bytestring to a G1 element, failing if the bytestring is not a valid compressed G1 element.

bls12_381_G1_hashToGroup ∷ BuiltinByteString → BuiltinByteString → BuiltinBLS12_381_G1_Element Source #

Hashes an arbitrary bytestring message to a G1 element using the given domain separation tag (DST), failing if length of the DST is bigger than 255 bytes.

bls12_381_G1_compressed_zero ∷ BuiltinByteString Source #

The compressed form of the G1 identity element.

bls12_381_G1_compressed_generator ∷ BuiltinByteString Source #

The compressed form of the G1 generator element.

data BuiltinBLS12_381_G2_Element Source #

Constructors

BuiltinBLS12_381_G2_Element ~Element 

Instances

Instances details
Show BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

showsPrec ∷ Int → BuiltinBLS12_381_G2_Element → ShowS Source #

show ∷ BuiltinBLS12_381_G2_Element → String Source #

showList ∷ [BuiltinBLS12_381_G2_Element] → ShowS Source #

NFData BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

rnf ∷ BuiltinBLS12_381_G2_Element → () Source #

Eq BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

(==) ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element → Bool Source #

(/=) ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element → Bool Source #

HasFromBuiltin BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinBLS12_381_G2_Element Source #

Methods

fromBuiltin ∷ BuiltinBLS12_381_G2_Element → FromBuiltin BuiltinBLS12_381_G2_Element Source #

Eq BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.Eq

Methods

(==) ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element → Bool Source #

FromData BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData ∷ BuiltinData → Maybe BuiltinBLS12_381_G2_Element Source #

ToData BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData ∷ BuiltinBLS12_381_G2_Element → BuiltinData Source #

UnsafeFromData BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData ∷ BuiltinData → BuiltinBLS12_381_G2_Element Source #

Pretty BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

pretty ∷ BuiltinBLS12_381_G2_Element → Doc ann Source #

prettyList ∷ [BuiltinBLS12_381_G2_Element] → Doc ann Source #

HasFromOpaque BuiltinBLS12_381_G2_Element BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaque ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element Source #

HasToOpaque BuiltinBLS12_381_G2_Element BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element Source #

HasTermLevel uni Element ⇒ Lift uni BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

lift ∷ BuiltinBLS12_381_G2_Element → RTCompile uni fun (Term TyName Name uni fun ()) Source #

HasTypeLevel uni Element ⇒ Typeable uni BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep ∷ Proxy BuiltinBLS12_381_G2_Element → RTCompile uni fun (Type TyName uni ()) Source #

type FromBuiltin BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinBLS12_381_G2_Element = Element

bls12_381_G2_equals ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element → BuiltinBool Source #

Checks equality of two G2 elements and never fails.

bls12_381_G2_add ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element Source #

Adds two G2 elements and never fails.

bls12_381_G2_neg ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element Source #

Negates a G2 element and never fails.

bls12_381_G2_scalarMul ∷ BuiltinInteger → BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element Source #

Multiplies a G2 element by a scalar and never fails.

bls12_381_G2_compress ∷ BuiltinBLS12_381_G2_Element → BuiltinByteString Source #

Compresses a G2 element to a bytestring and never fails.

bls12_381_G2_uncompress ∷ BuiltinByteString → BuiltinBLS12_381_G2_Element Source #

Uncompresses a bytestring to a G2 element, failing if the bytestring is not a valid compressed G2 element.

bls12_381_G2_hashToGroup ∷ BuiltinByteString → BuiltinByteString → BuiltinBLS12_381_G2_Element Source #

Hashes an arbitrary bytestring message to a G2 element using the given domain separation tag (DST), failing if length of the DST is bigger than 255 bytes.

bls12_381_G2_compressed_zero ∷ BuiltinByteString Source #

The compressed form of the G2 identity element (also known as zero or point at infinity).

bls12_381_G2_compressed_generator ∷ BuiltinByteString Source #

The compressed form of the G2 generator element.

data BuiltinBLS12_381_MlResult Source #

Constructors

BuiltinBLS12_381_MlResult ~MlResult 

Instances

Instances details
Show BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

showsPrec ∷ Int → BuiltinBLS12_381_MlResult → ShowS Source #

show ∷ BuiltinBLS12_381_MlResult → String Source #

showList ∷ [BuiltinBLS12_381_MlResult] → ShowS Source #

NFData BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

rnf ∷ BuiltinBLS12_381_MlResult → () Source #

Eq BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

(==) ∷ BuiltinBLS12_381_MlResult → BuiltinBLS12_381_MlResult → Bool Source #

(/=) ∷ BuiltinBLS12_381_MlResult → BuiltinBLS12_381_MlResult → Bool Source #

HasFromBuiltin BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinBLS12_381_MlResult Source #

Methods

fromBuiltin ∷ BuiltinBLS12_381_MlResult → FromBuiltin BuiltinBLS12_381_MlResult Source #

(TypeError ('Text "fromBuiltinData is not supported for BuiltinBLS12_381_MlResult") ∷ Constraint) ⇒ FromData BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData ∷ BuiltinData → Maybe BuiltinBLS12_381_MlResult Source #

(TypeError ('Text "toBuiltinData is not supported for BuiltinBLS12_381_MlResult") ∷ Constraint) ⇒ ToData BuiltinBLS12_381_MlResult Source #

We do not provide instances of any of these classes for BuiltinBLS12_381_MlResult since there is no serialisation format: we expect that values of that type will only occur as the result of on-chain computations.

Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData ∷ BuiltinBLS12_381_MlResult → BuiltinData Source #

(TypeError ('Text "unsafeFromBuiltinData is not supported for BuiltinBLS12_381_MlResult") ∷ Constraint) ⇒ UnsafeFromData BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData ∷ BuiltinData → BuiltinBLS12_381_MlResult Source #

Pretty BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

pretty ∷ BuiltinBLS12_381_MlResult → Doc ann Source #

prettyList ∷ [BuiltinBLS12_381_MlResult] → Doc ann Source #

HasFromOpaque BuiltinBLS12_381_MlResult BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaque ∷ BuiltinBLS12_381_MlResult → BuiltinBLS12_381_MlResult Source #

HasToOpaque BuiltinBLS12_381_MlResult BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque ∷ BuiltinBLS12_381_MlResult → BuiltinBLS12_381_MlResult Source #

HasTermLevel uni MlResult ⇒ Lift uni BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

lift ∷ BuiltinBLS12_381_MlResult → RTCompile uni fun (Term TyName Name uni fun ()) Source #

HasTypeLevel uni MlResult ⇒ Typeable uni BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep ∷ Proxy BuiltinBLS12_381_MlResult → RTCompile uni fun (Type TyName uni ()) Source #

type FromBuiltin BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinBLS12_381_MlResult = MlResult

bls12_381_millerLoop ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_MlResult Source #

Computes the Miller loop between a G1 element and a G2 element and never fails.

bls12_381_mulMlResult ∷ BuiltinBLS12_381_MlResult → BuiltinBLS12_381_MlResult → BuiltinBLS12_381_MlResult Source #

Multiplies two Miller loop results and never fails.

bls12_381_finalVerify ∷ BuiltinBLS12_381_MlResult → BuiltinBLS12_381_MlResult → BuiltinBool Source #

Performs the final verification step of a pairing check. Returns true if e(P,Q) == e(R,S) for the given Miller loop results, and never fails.

integerToByteString ∷ BuiltinBool → BuiltinInteger → BuiltinInteger → BuiltinByteString Source #

Converts the given integer to a bytestring. The first argument specifies endianness (True for big-endian), followed by the target length of the resulting bytestring and the integer itself. See integerToByteString for its invariances.

byteStringToInteger ∷ BuiltinBool → BuiltinByteString → BuiltinInteger Source #

Converts the given bytestring to the integer and never fails. The first argument specifies endianness (True for big-endian), followed by the bytestring.

shiftByteString ∷ BuiltinByteString → BuiltinInteger → BuiltinByteString Source #

Shifts the bytestring to the left if the second argument is positive, and to the right otherwise. Right-shifts fill with 0s from the left (logical shift); left-shifts fill with 0s from the right. Never fails.

rotateByteString ∷ BuiltinByteString → BuiltinInteger → BuiltinByteString Source #

Rotates the bytestring to the left if the second argument is positive, and to the right otherwise. Never fails.

countSetBits ∷ BuiltinByteString → BuiltinInteger Source #

Counts the number of bits set to 1 in the bytestring and never fails.

findFirstSetBit ∷ BuiltinByteString → BuiltinInteger Source #

Finds the index of the first bit set to 1 in the bytestring. If the bytestring consists only of 0s, it returns the length of the bytestring in bits. Never fails.

andByteString ∷ BuiltinBool → BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

Performs a bitwise AND on two bytestrings. The first boolean argument indicates whether to use padding (True) or truncation (False) if the bytestrings have different lengths. Never fails.

orByteString ∷ BuiltinBool → BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

Performs a bitwise OR on two bytestrings. The first boolean argument indicates whether to use padding (True) or truncation (False) if the bytestrings have different lengths. Never fails.

xorByteString ∷ BuiltinBool → BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

Performs a bitwise XOR on two bytestrings. The first boolean argument indicates whether to use padding (True) or truncation (False) if the bytestrings have different lengths. Never fails.

complementByteString ∷ BuiltinByteString → BuiltinByteString Source #

Performs a bitwise complement on the bytestring and never fails.

readBit ∷ BuiltinByteString → BuiltinInteger → BuiltinBool Source #

Reads the bit at the given index in the bytestring. Fails if the index is out of bounds.

writeBits ∷ BuiltinByteString → BuiltinList BuiltinInteger → BuiltinBool → BuiltinByteString Source #

Writes the given bit (third argument, True for 1, False for 0) at the specified indices (second argument) in the bytestring. Fails if any index is out of bounds.

replicateByte ∷ BuiltinInteger → BuiltinInteger → BuiltinByteString Source #

Creates a bytestring of a given length by repeating the given byte. Fails if the byte, second argument, is not in range [0,255] or the length is negative.

expModInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger → BuiltinInteger Source #

Computes modular exponentiation (base^exponent mod modulus). Fails if the modulus is zero or negative, or if the exponent is negative and the modular inverse does not exist.