Safe Haskell	Safe-Inferred
Language	Haskell2010

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.

Synopsis

error ∷ BuiltinUnit → a
data BuiltinBool = BuiltinBool ~Bool
true ∷ BuiltinBool
false ∷ BuiltinBool
ifThenElse ∷ BuiltinBool → a → a → a
data BuiltinUnit = BuiltinUnit ~()
unitval ∷ BuiltinUnit
chooseUnit ∷ BuiltinUnit → a → a
type BuiltinInteger = Integer
addInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger
subtractInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger
multiplyInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger
divideInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger
modInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger
quotientInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger
remainderInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger
lessThanInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinBool
lessThanEqualsInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinBool
equalsInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinBool
data BuiltinByteString = BuiltinByteString ~ByteString
appendByteString ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString
consByteString ∷ BuiltinInteger → BuiltinByteString → BuiltinByteString
sliceByteString ∷ BuiltinInteger → BuiltinInteger → BuiltinByteString → BuiltinByteString
lengthOfByteString ∷ BuiltinByteString → BuiltinInteger
indexByteString ∷ BuiltinByteString → BuiltinInteger → BuiltinInteger
emptyByteString ∷ BuiltinByteString
sha2_256 ∷ BuiltinByteString → BuiltinByteString
sha3_256 ∷ BuiltinByteString → BuiltinByteString
blake2b_224 ∷ BuiltinByteString → BuiltinByteString
blake2b_256 ∷ BuiltinByteString → BuiltinByteString
keccak_256 ∷ BuiltinByteString → BuiltinByteString
ripemd_160 ∷ BuiltinByteString → BuiltinByteString
verifyEd25519Signature ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString → BuiltinBool
verifyEcdsaSecp256k1Signature ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString → BuiltinBool
verifySchnorrSecp256k1Signature ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString → BuiltinBool
traceAll ∷ ∀ (a ∷ Type) (f ∷ Type → Type). Foldable f ⇒ f Text → a → a
equalsByteString ∷ BuiltinByteString → BuiltinByteString → BuiltinBool
lessThanByteString ∷ BuiltinByteString → BuiltinByteString → BuiltinBool
lessThanEqualsByteString ∷ BuiltinByteString → BuiltinByteString → BuiltinBool
decodeUtf8 ∷ BuiltinByteString → BuiltinString
data BuiltinString = BuiltinString ~Text
appendString ∷ BuiltinString → BuiltinString → BuiltinString
emptyString ∷ BuiltinString
equalsString ∷ BuiltinString → BuiltinString → BuiltinBool
trace ∷ BuiltinString → a → a
encodeUtf8 ∷ BuiltinString → BuiltinByteString
data BuiltinPair a b = BuiltinPair ~(a, b)
fst ∷ BuiltinPair a b → a
snd ∷ BuiltinPair a b → b
mkPairData ∷ BuiltinData → BuiltinData → BuiltinPair BuiltinData BuiltinData
data BuiltinList a = BuiltinList ~[a]
null ∷ BuiltinList a → BuiltinBool
head ∷ BuiltinList a → a
tail ∷ BuiltinList a → BuiltinList a
chooseList ∷ BuiltinList a → b → b → b
mkNilData ∷ BuiltinUnit → BuiltinList BuiltinData
mkNilPairData ∷ BuiltinUnit → BuiltinList (BuiltinPair BuiltinData BuiltinData)
mkCons ∷ a → BuiltinList a → BuiltinList a
data BuiltinData = BuiltinData ~Data
builtinDataToData ∷ BuiltinData → Data
dataToBuiltinData ∷ Data → BuiltinData
chooseData ∷ ∀ a. BuiltinData → a → a → a → a → a → a
mkConstr ∷ BuiltinInteger → BuiltinList BuiltinData → BuiltinData
mkMap ∷ BuiltinList (BuiltinPair BuiltinData BuiltinData) → BuiltinData
mkList ∷ BuiltinList BuiltinData → BuiltinData
mkI ∷ BuiltinInteger → BuiltinData
mkB ∷ BuiltinByteString → BuiltinData
unsafeDataAsConstr ∷ BuiltinData → BuiltinPair BuiltinInteger (BuiltinList BuiltinData)
unsafeDataAsMap ∷ BuiltinData → BuiltinList (BuiltinPair BuiltinData BuiltinData)
unsafeDataAsList ∷ BuiltinData → BuiltinList BuiltinData
unsafeDataAsI ∷ BuiltinData → BuiltinInteger
unsafeDataAsB ∷ BuiltinData → BuiltinByteString
equalsData ∷ BuiltinData → BuiltinData → BuiltinBool
serialiseData ∷ BuiltinData → BuiltinByteString
data BuiltinBLS12_381_G1_Element = BuiltinBLS12_381_G1_Element ~Element
bls12_381_G1_equals ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element → BuiltinBool
bls12_381_G1_add ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element
bls12_381_G1_neg ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element
bls12_381_G1_scalarMul ∷ BuiltinInteger → BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element
bls12_381_G1_compress ∷ BuiltinBLS12_381_G1_Element → BuiltinByteString
bls12_381_G1_uncompress ∷ BuiltinByteString → BuiltinBLS12_381_G1_Element
bls12_381_G1_hashToGroup ∷ BuiltinByteString → BuiltinByteString → BuiltinBLS12_381_G1_Element
bls12_381_G1_compressed_zero ∷ BuiltinByteString
bls12_381_G1_compressed_generator ∷ BuiltinByteString
data BuiltinBLS12_381_G2_Element = BuiltinBLS12_381_G2_Element ~Element
bls12_381_G2_equals ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element → BuiltinBool
bls12_381_G2_add ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element
bls12_381_G2_neg ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element
bls12_381_G2_scalarMul ∷ BuiltinInteger → BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element
bls12_381_G2_compress ∷ BuiltinBLS12_381_G2_Element → BuiltinByteString
bls12_381_G2_uncompress ∷ BuiltinByteString → BuiltinBLS12_381_G2_Element
bls12_381_G2_hashToGroup ∷ BuiltinByteString → BuiltinByteString → BuiltinBLS12_381_G2_Element
bls12_381_G2_compressed_zero ∷ BuiltinByteString
bls12_381_G2_compressed_generator ∷ BuiltinByteString
data BuiltinBLS12_381_MlResult = BuiltinBLS12_381_MlResult ~MlResult
bls12_381_millerLoop ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_MlResult
bls12_381_mulMlResult ∷ BuiltinBLS12_381_MlResult → BuiltinBLS12_381_MlResult → BuiltinBLS12_381_MlResult
bls12_381_finalVerify ∷ BuiltinBLS12_381_MlResult → BuiltinBLS12_381_MlResult → BuiltinBool
integerToByteString ∷ BuiltinBool → BuiltinInteger → BuiltinInteger → BuiltinByteString
byteStringToInteger ∷ BuiltinBool → BuiltinByteString → BuiltinInteger
shiftByteString ∷ BuiltinByteString → BuiltinInteger → BuiltinByteString
rotateByteString ∷ BuiltinByteString → BuiltinInteger → BuiltinByteString
countSetBits ∷ BuiltinByteString → BuiltinInteger
findFirstSetBit ∷ BuiltinByteString → BuiltinInteger
andByteString ∷ BuiltinBool → BuiltinByteString → BuiltinByteString → BuiltinByteString
orByteString ∷ BuiltinBool → BuiltinByteString → BuiltinByteString → BuiltinByteString
xorByteString ∷ BuiltinBool → BuiltinByteString → BuiltinByteString → BuiltinByteString
complementByteString ∷ BuiltinByteString → BuiltinByteString
readBit ∷ BuiltinByteString → BuiltinInteger → BuiltinBool
writeBits ∷ BuiltinByteString → BuiltinList BuiltinInteger → BuiltinBool → BuiltinByteString
replicateByte ∷ BuiltinInteger → BuiltinInteger → BuiltinByteString
expModInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger → BuiltinInteger

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 #

chooseUnit ∷ BuiltinUnit → a → a Source #

type BuiltinInteger = Integer Source #

addInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger Source #

subtractInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger Source #

multiplyInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger Source #

divideInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger Source #

modInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger Source #

quotientInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger Source #

remainderInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger Source #

lessThanInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinBool Source #

lessThanEqualsInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinBool Source #

equalsInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinBool Source #

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 #

consByteString ∷ BuiltinInteger → BuiltinByteString → BuiltinByteString Source #

sliceByteString ∷ BuiltinInteger → BuiltinInteger → BuiltinByteString → BuiltinByteString Source #

lengthOfByteString ∷ BuiltinByteString → BuiltinInteger Source #

indexByteString ∷ BuiltinByteString → BuiltinInteger → BuiltinInteger Source #

emptyByteString ∷ BuiltinByteString Source #

sha2_256 ∷ BuiltinByteString → BuiltinByteString Source #

sha3_256 ∷ BuiltinByteString → BuiltinByteString Source #

blake2b_224 ∷ BuiltinByteString → BuiltinByteString Source #

blake2b_256 ∷ BuiltinByteString → BuiltinByteString Source #

keccak_256 ∷ BuiltinByteString → BuiltinByteString Source #

ripemd_160 ∷ BuiltinByteString → BuiltinByteString Source #

verifyEd25519Signature ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString → BuiltinBool Source #

verifyEcdsaSecp256k1Signature ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString → BuiltinBool Source #

verifySchnorrSecp256k1Signature ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString → BuiltinBool Source #

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

equalsByteString ∷ BuiltinByteString → BuiltinByteString → BuiltinBool Source #

lessThanByteString ∷ BuiltinByteString → BuiltinByteString → BuiltinBool Source #

lessThanEqualsByteString ∷ BuiltinByteString → BuiltinByteString → BuiltinBool Source #

decodeUtf8 ∷ BuiltinByteString → BuiltinString Source #

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 #

emptyString ∷ BuiltinString Source #

equalsString ∷ BuiltinString → BuiltinString → BuiltinBool Source #

trace ∷ BuiltinString → a → a Source #

encodeUtf8 ∷ BuiltinString → BuiltinByteString Source #

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 #

snd ∷ BuiltinPair a b → b Source #

mkPairData ∷ BuiltinData → BuiltinData → BuiltinPair BuiltinData BuiltinData Source #

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 #

head ∷ BuiltinList a → a Source #

tail ∷ BuiltinList a → BuiltinList a Source #

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

mkNilData ∷ BuiltinUnit → BuiltinList BuiltinData Source #

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

mkCons ∷ a → BuiltinList a → BuiltinList a Source #

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.36.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 #

Convert a BuiltinData into a Data. Only works off-chain.

dataToBuiltinData ∷ Data → BuiltinData Source #

Convert a Data into a BuiltinData. Only works off-chain.

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

mkConstr ∷ BuiltinInteger → BuiltinList BuiltinData → BuiltinData Source #

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

mkList ∷ BuiltinList BuiltinData → BuiltinData Source #

mkI ∷ BuiltinInteger → BuiltinData Source #

mkB ∷ BuiltinByteString → BuiltinData Source #

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

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

unsafeDataAsList ∷ BuiltinData → BuiltinList BuiltinData Source #

unsafeDataAsI ∷ BuiltinData → BuiltinInteger Source #

unsafeDataAsB ∷ BuiltinData → BuiltinByteString Source #

equalsData ∷ BuiltinData → BuiltinData → BuiltinBool Source #

serialiseData ∷ BuiltinData → BuiltinByteString Source #

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 #

bls12_381_G1_add ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element Source #

bls12_381_G1_neg ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element Source #

bls12_381_G1_scalarMul ∷ BuiltinInteger → BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element Source #

bls12_381_G1_compress ∷ BuiltinBLS12_381_G1_Element → BuiltinByteString Source #

bls12_381_G1_uncompress ∷ BuiltinByteString → BuiltinBLS12_381_G1_Element Source #

bls12_381_G1_hashToGroup ∷ BuiltinByteString → BuiltinByteString → BuiltinBLS12_381_G1_Element Source #

bls12_381_G1_compressed_zero ∷ BuiltinByteString Source #

bls12_381_G1_compressed_generator ∷ BuiltinByteString Source #

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 #

bls12_381_G2_add ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element Source #

bls12_381_G2_neg ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element Source #

bls12_381_G2_scalarMul ∷ BuiltinInteger → BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element Source #

bls12_381_G2_compress ∷ BuiltinBLS12_381_G2_Element → BuiltinByteString Source #

bls12_381_G2_uncompress ∷ BuiltinByteString → BuiltinBLS12_381_G2_Element Source #

bls12_381_G2_hashToGroup ∷ BuiltinByteString → BuiltinByteString → BuiltinBLS12_381_G2_Element Source #

bls12_381_G2_compressed_zero ∷ BuiltinByteString Source #

bls12_381_G2_compressed_generator ∷ BuiltinByteString Source #

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 #

bls12_381_mulMlResult ∷ BuiltinBLS12_381_MlResult → BuiltinBLS12_381_MlResult → BuiltinBLS12_381_MlResult Source #

bls12_381_finalVerify ∷ BuiltinBLS12_381_MlResult → BuiltinBLS12_381_MlResult → BuiltinBool Source #

integerToByteString ∷ BuiltinBool → BuiltinInteger → BuiltinInteger → BuiltinByteString Source #

byteStringToInteger ∷ BuiltinBool → BuiltinByteString → BuiltinInteger Source #

shiftByteString ∷ BuiltinByteString → BuiltinInteger → BuiltinByteString Source #

rotateByteString ∷ BuiltinByteString → BuiltinInteger → BuiltinByteString Source #

countSetBits ∷ BuiltinByteString → BuiltinInteger Source #

findFirstSetBit ∷ BuiltinByteString → BuiltinInteger Source #

andByteString ∷ BuiltinBool → BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

orByteString ∷ BuiltinBool → BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

xorByteString ∷ BuiltinBool → BuiltinByteString → BuiltinByteString → BuiltinByteString Source #

complementByteString ∷ BuiltinByteString → BuiltinByteString Source #

readBit ∷ BuiltinByteString → BuiltinInteger → BuiltinBool Source #

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

replicateByte ∷ BuiltinInteger → BuiltinInteger → BuiltinByteString Source #

expModInteger ∷ BuiltinInteger → BuiltinInteger → BuiltinInteger → BuiltinInteger Source #