scalus
API
Generated with
scalus/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 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 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 ifThenElse[A](cond: Boolean, a: A, b: A): A
def indexByteString(bs: ByteString, i: BigInt): BigInt
def lengthOfByteString(bs: ByteString): BigInt
def lessThanEqualsInteger(i1: BigInt, i2: BigInt): Boolean
def lessThanInteger(i1: BigInt, i2: BigInt): Boolean
def mkB(value: ByteString): Data
def mkCons[A](a: A, l: List[A]): List[A]
def mkConstr(ctor: BigInt, args: List[Data]): Data
def mkI(value: BigInt): Data
def mkList(values: List[Data]): Data
def mkMap(values: List[Pair[Data, Data]]): Data
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(bs: ByteString, start: BigInt, end: BigInt): 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 unsafeDataAsConstr(d: Data): Pair[BigInt, List[Data]]
def unsafeDataAsI(d: Data): BigInt
def verifyEd25519Signature(using ps: PlatformSpecific)(pk: ByteString, msg: ByteString, sig: ByteString): Boolean
Generated with