Moduleplutus-tx-1.70.0.0

PlutusTx.Builtins.Internal

12 types
122 values

Packageplutus-tx-1.70.0.0
Exports134
LicenceApache-2.0

valueaddInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger

valueandByteString

:: Bool
-> BuiltinByteString
-> BuiltinByteString
-> BuiltinByteString

valueappendByteString

:: BuiltinByteString
-> BuiltinByteString
-> BuiltinByteString

valueappendString :: BuiltinString -> BuiltinString -> BuiltinString

valueassetCount :: BuiltinValue -> BuiltinInteger

valueblake2b_224 :: BuiltinByteString -> BuiltinByteString

valueblake2b_256 :: BuiltinByteString -> BuiltinByteString

valuebls12_381_G1_add

:: BuiltinBLS12_381_G1_Element
-> BuiltinBLS12_381_G1_Element
-> BuiltinBLS12_381_G1_Element

valuebls12_381_G1_compress :: BuiltinBLS12_381_G1_Element -> BuiltinByteString

valuebls12_381_G1_compressed_generator :: BuiltinByteString

valuebls12_381_G1_compressed_zero :: BuiltinByteString

valuebls12_381_G1_equals

:: BuiltinBLS12_381_G1_Element
-> BuiltinBLS12_381_G1_Element
-> Bool

valuebls12_381_G1_hashToGroup

:: BuiltinByteString
-> BuiltinByteString
-> BuiltinBLS12_381_G1_Element

valuebls12_381_G1_multiScalarMul

:: BuiltinList BuiltinInteger
-> BuiltinList BuiltinBLS12_381_G1_Element
-> BuiltinBLS12_381_G1_Element

valuebls12_381_G1_neg

:: BuiltinBLS12_381_G1_Element
-> BuiltinBLS12_381_G1_Element

valuebls12_381_G1_scalarMul

:: BuiltinInteger
-> BuiltinBLS12_381_G1_Element
-> BuiltinBLS12_381_G1_Element

valuebls12_381_G1_uncompress :: BuiltinByteString -> BuiltinBLS12_381_G1_Element

valuebls12_381_G2_add

:: BuiltinBLS12_381_G2_Element
-> BuiltinBLS12_381_G2_Element
-> BuiltinBLS12_381_G2_Element

valuebls12_381_G2_compress :: BuiltinBLS12_381_G2_Element -> BuiltinByteString

valuebls12_381_G2_compressed_generator :: BuiltinByteString

valuebls12_381_G2_compressed_zero :: BuiltinByteString

valuebls12_381_G2_equals

:: BuiltinBLS12_381_G2_Element
-> BuiltinBLS12_381_G2_Element
-> Bool

valuebls12_381_G2_hashToGroup

:: BuiltinByteString
-> BuiltinByteString
-> BuiltinBLS12_381_G2_Element

valuebls12_381_G2_multiScalarMul

:: BuiltinList BuiltinInteger
-> BuiltinList BuiltinBLS12_381_G2_Element
-> BuiltinBLS12_381_G2_Element

valuebls12_381_G2_neg

:: BuiltinBLS12_381_G2_Element
-> BuiltinBLS12_381_G2_Element

valuebls12_381_G2_scalarMul

:: BuiltinInteger
-> BuiltinBLS12_381_G2_Element
-> BuiltinBLS12_381_G2_Element

valuebls12_381_G2_uncompress :: BuiltinByteString -> BuiltinBLS12_381_G2_Element

valuebls12_381_finalVerify

:: BuiltinBLS12_381_MlResult
-> BuiltinBLS12_381_MlResult
-> Bool

valuebls12_381_millerLoop

:: BuiltinBLS12_381_G1_Element
-> BuiltinBLS12_381_G2_Element
-> BuiltinBLS12_381_MlResult

valuebls12_381_mulMlResult

:: BuiltinBLS12_381_MlResult
-> BuiltinBLS12_381_MlResult
-> BuiltinBLS12_381_MlResult

valuebuiltinDataToData :: BuiltinData -> Data

valuebyteStringToInteger :: Bool -> BuiltinByteString -> BuiltinInteger

valuecaseData :: BuiltinData -> [BuiltinList BuiltinData -> a] -> a

valuecaseInteger :: Integer -> [a] -> a

valuecaseList' :: r -> (a -> BuiltinList a -> r) -> BuiltinList a -> r

valuecasePair :: BuiltinPair a b -> (a -> b -> r) -> r

valuechooseData :: BuiltinData -> a -> a -> a -> a -> a -> a

valuechooseList :: BuiltinList a -> b -> b -> b

valuechooseUnit :: BuiltinUnit -> a -> a

valuecomplementByteString :: BuiltinByteString -> BuiltinByteString

valueconsByteString :: BuiltinInteger -> BuiltinByteString -> BuiltinByteString

valuecountSetBits :: BuiltinByteString -> BuiltinInteger

valuedataToBuiltinData :: Data -> BuiltinData

valuedecodeUtf8 :: BuiltinByteString -> BuiltinString

valuedivideInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger

valuedrop :: Integer -> BuiltinList a -> BuiltinList a

valuedropPolicies

:: BuiltinList BuiltinByteString
-> BuiltinValue
-> BuiltinValue

valueemptyByteString :: BuiltinByteString

valueemptyString :: BuiltinString

valueencodeUtf8 :: BuiltinString -> BuiltinByteString

valueequalsByteString :: BuiltinByteString -> BuiltinByteString -> Bool

valueequalsData :: BuiltinData -> BuiltinData -> Bool

valueequalsInteger :: BuiltinInteger -> BuiltinInteger -> Bool

valueequalsString :: BuiltinString -> BuiltinString -> Bool

valueerror :: BuiltinUnit -> a

valueexpModInteger

:: BuiltinInteger
-> BuiltinInteger
-> BuiltinInteger
-> BuiltinInteger

valuefindFirstSetBit :: BuiltinByteString -> BuiltinInteger

valuefst :: BuiltinPair a b -> a

valuehead :: BuiltinList a -> a

valueifThenElse :: Bool -> a -> a -> a

valueindexArray :: BuiltinArray a -> BuiltinInteger -> a

valueindexByteString :: BuiltinByteString -> BuiltinInteger -> BuiltinInteger

valueinsertCoin

:: BuiltinByteString
-> BuiltinByteString
-> BuiltinInteger
-> BuiltinValue
-> BuiltinValue

valueintegerToByteString

:: Bool
-> BuiltinInteger
-> BuiltinInteger
-> BuiltinByteString

valuekeccak_256 :: BuiltinByteString -> BuiltinByteString

valuekeepPolicies

:: BuiltinList BuiltinByteString
-> BuiltinValue
-> BuiltinValue

valuelengthOfArray :: BuiltinArray a -> BuiltinInteger

valuelengthOfByteString :: BuiltinByteString -> BuiltinInteger

valuelessThanByteString :: BuiltinByteString -> BuiltinByteString -> Bool

valuelessThanEqualsByteString :: BuiltinByteString -> BuiltinByteString -> Bool

valuelessThanEqualsInteger :: BuiltinInteger -> BuiltinInteger -> Bool

valuelessThanInteger :: BuiltinInteger -> BuiltinInteger -> Bool

valuelistToArray :: BuiltinList a -> BuiltinArray a

valuelookupCoin

:: BuiltinByteString
-> BuiltinByteString
-> BuiltinValue
-> Integer

valuemkB :: BuiltinByteString -> BuiltinData

valuemkCons :: a -> BuiltinList a -> BuiltinList a

valuemkConstr :: BuiltinInteger -> BuiltinList BuiltinData -> BuiltinData

valuemkI :: BuiltinInteger -> BuiltinData

valuemkList :: BuiltinList BuiltinData -> BuiltinData

valuemkMap :: BuiltinList (BuiltinPair BuiltinData BuiltinData) -> BuiltinData

valuemkNilData :: BuiltinUnit -> BuiltinList BuiltinData

valuemkNilPairData

:: BuiltinUnit
-> BuiltinList (BuiltinPair BuiltinData BuiltinData)

valuemkPairData

:: BuiltinData
-> BuiltinData
-> BuiltinPair BuiltinData BuiltinData

valuemkValue :: BuiltinValue -> BuiltinData

valuemodInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger

valuemultiIndexArray

:: BuiltinArray a
-> BuiltinList BuiltinInteger
-> BuiltinList a

valuemultiplyInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger

valuenull :: BuiltinList a -> Bool

valueorByteString

:: Bool
-> BuiltinByteString
-> BuiltinByteString
-> BuiltinByteString

valuepolicies :: BuiltinValue -> BuiltinList BuiltinByteString

valuequotientInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger

valuereadBit :: BuiltinByteString -> BuiltinInteger -> Bool

valueremainderInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger

valuereplicateByte :: BuiltinInteger -> BuiltinInteger -> BuiltinByteString

valueripemd_160 :: BuiltinByteString -> BuiltinByteString

valuerotateByteString :: BuiltinByteString -> BuiltinInteger -> BuiltinByteString

valuescaleValue :: Integer -> BuiltinValue -> BuiltinValue

valueserialiseData :: BuiltinData -> BuiltinByteString

valuesha2_256 :: BuiltinByteString -> BuiltinByteString

valuesha3_256 :: BuiltinByteString -> BuiltinByteString

valueshiftByteString :: BuiltinByteString -> BuiltinInteger -> BuiltinByteString

valuesliceByteString

:: BuiltinInteger
-> BuiltinInteger
-> BuiltinByteString
-> BuiltinByteString

valuesnd :: BuiltinPair a b -> b

valuesubtractInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger

valuetail :: BuiltinList a -> BuiltinList a

valuetrace :: BuiltinString -> a -> a

valuetraceAll :: Foldable f => f Text -> a -> a

valueunionValue :: BuiltinValue -> BuiltinValue -> BuiltinValue

valueunitval :: BuiltinUnit

valueunsafeCaseList :: (a -> BuiltinList a -> r) -> BuiltinList a -> r

valueunsafeDataAsB :: BuiltinData -> BuiltinByteString

valueunsafeDataAsConstr

:: BuiltinData
-> BuiltinPair BuiltinInteger (BuiltinList BuiltinData)

valueunsafeDataAsI :: BuiltinData -> BuiltinInteger

valueunsafeDataAsList :: BuiltinData -> BuiltinList BuiltinData

valueunsafeDataAsMap

:: BuiltinData
-> BuiltinList (BuiltinPair BuiltinData BuiltinData)

valueunsafeDataAsValue :: BuiltinData -> BuiltinValue

valuevalueContains :: BuiltinValue -> BuiltinValue -> Bool

valueverifyEcdsaSecp256k1Signature

:: BuiltinByteString
-> BuiltinByteString
-> BuiltinByteString
-> Bool

valueverifyEd25519Signature

:: BuiltinByteString
-> BuiltinByteString
-> BuiltinByteString
-> Bool

valueverifySchnorrSecp256k1Signature

:: BuiltinByteString
-> BuiltinByteString
-> BuiltinByteString
-> Bool

valuewriteBits

:: BuiltinByteString
-> BuiltinList BuiltinInteger
-> Bool
-> BuiltinByteString

valuexorByteString

:: Bool
-> BuiltinByteString
-> BuiltinByteString
-> BuiltinByteString

datadata BuiltinArray a

Constructors

BuiltinArray ~(Vector a)

Instances9Lift, Eq, Data, Ord, Show, MkNil, …

(HasFromBuiltin arep, HasTermLevel uni (Vector (FromBuiltin arep))) => Lift uni (BuiltinArray arep)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
Eq a => Eq (BuiltinArray a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Data a => Data (BuiltinArray a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Ord a => Ord (BuiltinArray a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Show a => Show (BuiltinArray a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
MkNil a => MkNil (BuiltinArray a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasFromBuiltin a => HasFromBuiltin (BuiltinArray a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin
HasTypeLevel uni Vector => Typeable uni BuiltinArrayDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
type FromBuiltin (BuiltinArray a) = Vector (FromBuiltin a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin

datadata BuiltinBLS12_381_G1_Element

Constructors

BuiltinBLS12_381_G1_Element ~Element

Instances15Show, NFData, Pretty, FromData, ToData, UnsafeFromData, …

Eq BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Show BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
NFData BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Pretty BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
FromData BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.IsData.Class
ToData BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.IsData.Class
UnsafeFromData BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.IsData.Class
Eq BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Eq.Class
MkNil BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasFromBuiltin BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin
HasTermLevel uni Element => Lift uni BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasFromOpaque BuiltinBLS12_381_G1_Element BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasToOpaque BuiltinBLS12_381_G1_Element BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasTypeLevel uni Element => Typeable uni BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
type FromBuiltin BuiltinBLS12_381_G1_Element = ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin

datadata BuiltinBLS12_381_G2_Element

Constructors

BuiltinBLS12_381_G2_Element ~Element

Instances15Show, NFData, Pretty, FromData, ToData, UnsafeFromData, …

Eq BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Show BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
NFData BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Pretty BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
FromData BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.IsData.Class
ToData BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.IsData.Class
UnsafeFromData BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.IsData.Class
Eq BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Eq.Class
MkNil BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasFromBuiltin BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin
HasTermLevel uni Element => Lift uni BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasFromOpaque BuiltinBLS12_381_G2_Element BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasToOpaque BuiltinBLS12_381_G2_Element BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasTypeLevel uni Element => Typeable uni BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
type FromBuiltin BuiltinBLS12_381_G2_Element = ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin

datadata BuiltinBLS12_381_MlResult

Constructors

BuiltinBLS12_381_MlResult ~MlResult

Instances13Eq, Show, NFData, Pretty, FromData, ToData, …

Eq BuiltinBLS12_381_MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Show BuiltinBLS12_381_MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
NFData BuiltinBLS12_381_MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Pretty BuiltinBLS12_381_MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
TypeError ('Text "fromBuiltinData is not supported for BuiltinBLS12_381_MlResult") => FromData BuiltinBLS12_381_MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.IsData.Class
TypeError ('Text "toBuiltinData is not supported for BuiltinBLS12_381_MlResult") => ToData BuiltinBLS12_381_MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.IsData.Class
TypeError ('Text "unsafeFromBuiltinData is not supported for BuiltinBLS12_381_MlResult") => UnsafeFromData BuiltinBLS12_381_MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.IsData.Class
HasFromBuiltin BuiltinBLS12_381_MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin
HasTermLevel uni MlResult => Lift uni BuiltinBLS12_381_MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasFromOpaque BuiltinBLS12_381_MlResult BuiltinBLS12_381_MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasToOpaque BuiltinBLS12_381_MlResult BuiltinBLS12_381_MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasTypeLevel uni MlResult => Typeable uni BuiltinBLS12_381_MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
type FromBuiltin BuiltinBLS12_381_MlResult = MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin

datadata BuiltinByteString

Constructors

BuiltinByteString ~ByteString

Instances31Data, IsString, NFData, Pretty, Hashable, Serialise, …

Eq BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Data BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Ord BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Show BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
IsString BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque · orphan
Semigroup BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Monoid BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
NFData BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Pretty BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Hashable BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Serialise BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
ByteArray BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
ByteArrayAccess BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
FromData BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.IsData.Class
ToData BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.IsData.Class
UnsafeFromData BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.IsData.Class
Monoid BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Monoid
HasBlueprintDefinition BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
Semigroup BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Semigroup
Eq BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Eq.Class
MkNil BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasFromBuiltin BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin
Ord BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Ord.Class
Show BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Show · orphan
HasTermLevel uni ByteString => Lift uni BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasBlueprintSchema BuiltinByteString referencedTypesDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Class
HasFromOpaque BuiltinByteString BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasToOpaque BuiltinByteString BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasTypeLevel uni ByteString => Typeable uni BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
type Unroll BuiltinByteString = '[BuiltinByteString]Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
type FromBuiltin BuiltinByteString = ByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin

datadata BuiltinData

Constructors

BuiltinData ~Data

Instances24Data, Ord, Generic, NFData, Pretty, FromData, …

Eq BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Data BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Ord BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Show BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Generic BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
NFData BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Pretty BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
FromData BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.IsData.Class
ToData BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.IsData.Class
UnsafeFromData BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.IsData.Class
HasBlueprintDefinition BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
Eq BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Eq.Class
MkNil BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasFromBuiltin BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin
Show BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Show · orphan
HasTermLevel uni Data => Lift uni BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasBlueprintSchema BuiltinData referencedTypesDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Class
HasFromOpaque BuiltinData BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasToOpaque BuiltinData BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasTypeLevel uni Data => Typeable uni BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasToOpaque (BuiltinData, BuiltinData) (BuiltinPair BuiltinData BuiltinData)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
type Rep BuiltinData = D1 ('MetaData "BuiltinData" "PlutusTx.Builtins.Internal" "plutus-tx-1.70.0.0-6Ae79dzJelpIrjL4E9N8Jt" 'False) (C1 ('MetaCons "BuiltinData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceLazy 'DecidedLazy) (Rec0 Data)))Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
type Unroll BuiltinData = '[BuiltinData]Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
type FromBuiltin BuiltinData = DataDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin

typetype BuiltinInteger = Integer

datadata BuiltinList a

Constructors

BuiltinList ~[a]

Instances14Lift, Eq, Data, Ord, Show, HasBlueprintDefinition, …

(HasFromBuiltin arep, HasTermLevel uni [FromBuiltin arep]) => Lift uni (BuiltinList arep)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
Eq a => Eq (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Data a => Data (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Ord a => Ord (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Show a => Show (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
HasBlueprintDefinition a => HasBlueprintDefinition (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
MkNil a => MkNil (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasFromBuiltin a => HasFromBuiltin (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin
HasBlueprintSchema a referencedTypes => HasBlueprintSchema (BuiltinList a) referencedTypesDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Class
HasFromOpaque arep a => HasFromOpaque (BuiltinList arep) [a]Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
(HasToOpaque a arep, MkNil arep) => HasToOpaque [a] (BuiltinList arep)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasTypeLevel uni [] => Typeable uni BuiltinListDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
type Unroll (BuiltinList a) = Insert (BuiltinList a) (Unrolled a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
type FromBuiltin (BuiltinList a) = [FromBuiltin a]Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin

datadata BuiltinPair a b

Constructors

BuiltinPair ~(a, b)

Instances14Lift, Eq, Data, Ord, Show, HasBlueprintDefinition, …

(HasFromBuiltin arep, HasFromBuiltin brep, HasTermLevel uni (FromBuiltin arep, FromBuiltin brep)) => Lift uni (BuiltinPair arep brep)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
(Eq a, Eq b) => Eq (BuiltinPair a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
(Data a, Data b) => Data (BuiltinPair a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
(Ord a, Ord b) => Ord (BuiltinPair a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
(Show a, Show b) => Show (BuiltinPair a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
(HasBlueprintDefinition a, HasBlueprintDefinition b) => HasBlueprintDefinition (BuiltinPair a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
(MkNil a, MkNil b) => MkNil (BuiltinPair a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
(HasFromBuiltin a, HasFromBuiltin b) => HasFromBuiltin (BuiltinPair a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin
(HasBlueprintSchema a referencedTypes, HasBlueprintSchema b referencedTypes) => HasBlueprintSchema (BuiltinPair a b) referencedTypesDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Class
HasTypeLevel uni Tuple2 => Typeable uni BuiltinPairDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
(HasFromOpaque arep a, HasFromOpaque brep b) => HasFromOpaque (BuiltinPair arep brep) (a, b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasToOpaque (BuiltinData, BuiltinData) (BuiltinPair BuiltinData BuiltinData)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
type Unroll (BuiltinPair a b) = Insert (BuiltinPair a b) (Unrolled a ++ Unrolled b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
type FromBuiltin (BuiltinPair a b) = (FromBuiltin a, FromBuiltin b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin

datadata BuiltinString

Constructors

BuiltinString ~Text

Instances18Data, Ord, IsString, Monoid, HasBlueprintDefinition, Semigroup, …

Eq BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Data BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Ord BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
Show BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
IsString BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque · orphan
Monoid BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Monoid
HasBlueprintDefinition BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
Semigroup BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Semigroup
Eq BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Eq.Class
HasFromBuiltin BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin
Show BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Show · orphan
HasTermLevel uni Text => Lift uni BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasBlueprintSchema BuiltinString referencedTypesDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Class
HasFromOpaque BuiltinString BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasToOpaque BuiltinString BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasTypeLevel uni Text => Typeable uni BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
type Unroll BuiltinString = '[BuiltinString]Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
type FromBuiltin BuiltinString = TextDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin

datadata BuiltinUnit

Constructors

BuiltinUnit ~()

Instances10Data, HasBlueprintDefinition, HasFromBuiltin, Lift, HasBlueprintSchema, HasFromOpaque, …

Data BuiltinUnitDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
HasBlueprintDefinition BuiltinUnitDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
HasFromBuiltin BuiltinUnitDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin
HasTermLevel uni () => Lift uni BuiltinUnitDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasBlueprintSchema BuiltinUnit referencedTypesDefined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Class
HasFromOpaque BuiltinUnit ()Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasToOpaque () BuiltinUnitDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasTypeLevel uni () => Typeable uni BuiltinUnitDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
type Unroll BuiltinUnit = '[BuiltinUnit]Defined in plutus-tx-1.70.0.0 · PlutusTx.Blueprint.Definition.Unroll
type FromBuiltin BuiltinUnit = ()Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin

datadata BuiltinValue

Constructors

BuiltinValue ~Value

Instances9Generic, MkNil, HasFromBuiltin, Lift, HasFromOpaque, HasToOpaque, …

Generic BuiltinValueDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
MkNil BuiltinValueDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasFromBuiltin BuiltinValueDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin
HasTermLevel uni Value => Lift uni BuiltinValueDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
HasFromOpaque BuiltinValue BuiltinValueDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasToOpaque BuiltinValue BuiltinValueDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasOpaque
HasTypeLevel uni Value => Typeable uni BuiltinValueDefined in plutus-tx-1.70.0.0 · PlutusTx.Lift.Class
type Rep BuiltinValue = D1 ('MetaData "BuiltinValue" "PlutusTx.Builtins.Internal" "plutus-tx-1.70.0.0-6Ae79dzJelpIrjL4E9N8Jt" 'False) (C1 ('MetaCons "BuiltinValue" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceLazy 'DecidedLazy) (Rec0 Value)))Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.Internal
type FromBuiltin BuiltinValue = ValueDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin