docs
API
Generated with
docs/scalus/scalus.builtin/Builtins

Builtins

scalus.builtin.Builtins
object Builtins

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Builtins.type

Members list

Value members

Concrete methods

def addInteger(i1: BigInt, i2: BigInt): BigInt
def appendString(s1: String, s2: String): String
def bData(value: ByteString): Data
def byteStringToInteger(endianness: Boolean, input: ByteString): BigInt

Conversion from ByteString to BigInt, as per CIP-121.

Conversion from ByteString to BigInt, as per CIP-121.

Attributes

def chooseData[A](d: Data, constrCase: A, mapCase: A, listCase: A, iCase: A, bCase: A): A
def chooseList[A, B](l: List[A], e: B, ne: B): B
def chooseUnit[A]()(a: A): A
def consByteString(char: BigInt, byteString: ByteString): ByteString
def constrData(ctor: BigInt, args: List[Data]): Data
def decodeUtf8(bs: ByteString): String
def divideInteger(i1: BigInt, i2: BigInt): BigInt
def encodeUtf8(s: String): ByteString
def equalsByteString(a: ByteString, b: ByteString): Boolean
def equalsData(d1: Data, d2: Data): Boolean
def equalsInteger(i1: BigInt, i2: BigInt): Boolean
def equalsString(s1: String, s2: String): Boolean
def fstPair[A, B](p: Pair[A, B]): A
def headList[A](l: List[A]): A
def iData(value: BigInt): Data
def ifThenElse[A](cond: Boolean, a: A, b: A): A
def indexByteString(bs: ByteString, i: BigInt): BigInt
def integerToByteString(endianness: Boolean, length: BigInt, input: BigInt): ByteString

Conversion from BigInt to ByteString, as per CIP-121.

Conversion from BigInt to ByteString, as per CIP-121.

Attributes

def lengthOfByteString(bs: ByteString): BigInt
def lessThanEqualsInteger(i1: BigInt, i2: BigInt): Boolean
def lessThanInteger(i1: BigInt, i2: BigInt): Boolean
def listData(values: List[Data]): Data
def mapData(values: List[Pair[Data, Data]]): Data
def mkCons[A](a: A, l: List[A]): List[A]
def mkNilData(): List[Data]
def mkPairData(fst: Data, snd: Data): Pair[Data, Data]
def modInteger(i1: BigInt, i2: BigInt): BigInt
def multiplyInteger(i1: BigInt, i2: BigInt): BigInt
def nullList[A](l: List[A]): Boolean
def quotientInteger(i1: BigInt, i2: BigInt): BigInt
def remainderInteger(i1: BigInt, i2: BigInt): BigInt
def sliceByteString(start: BigInt, n: BigInt, bs: ByteString): ByteString
def sndPair[A, B](p: Pair[A, B]): B
def subtractInteger(i1: BigInt, i2: BigInt): BigInt
def tailList[A](l: List[A]): List[A]
def trace[A](s: String)(a: A): A
def unConstrData(d: Data): Pair[BigInt, List[Data]]
def unIData(d: Data): BigInt
def unListData(d: Data): List[Data]
def verifyEd25519Signature(using ps: PlatformSpecific)(pk: ByteString, msg: ByteString, sig: ByteString): Boolean

Deprecated methods

def mkB(value: ByteString): Data

Attributes

Deprecated
true
def mkConstr(ctor: BigInt, args: List[Data]): Data

Attributes

Deprecated
true
def mkI(value: BigInt): Data

Attributes

Deprecated
true
def mkList(values: List[Data]): Data

Attributes

Deprecated
true
def mkMap(values: List[Pair[Data, Data]]): Data

Attributes

Deprecated
true
def unsafeDataAsB(d: Data): ByteString

Attributes

Deprecated
true
def unsafeDataAsConstr(d: Data): Pair[BigInt, List[Data]]

Attributes

Deprecated
true
def unsafeDataAsI(d: Data): BigInt

Attributes

Deprecated
true
def unsafeDataAsList(d: Data): List[Data]

Attributes

Deprecated
true
def unsafeDataAsMap(d: Data): List[Pair[Data, Data]]

Attributes

Deprecated
true

Concrete fields

val bls12_381_G1_compressed_zero: ByteString

The compressed form of the point at infinity in G1, 48 bytes long.

The compressed form of the point at infinity in G1, 48 bytes long.

Attributes

val bls12_381_G2_compressed_zero: ByteString

The compressed form of the point at infinity in G2, 96 bytes long.

The compressed form of the point at infinity in G2, 96 bytes long.

Attributes

Generated with