docs
API
Generated with
docs/scalus/scalus.uplc/CardanoBuiltins

CardanoBuiltins

scalus.uplc.CardanoBuiltins
class CardanoBuiltins(builtinCostModel: BuiltinCostModel, platformSpecific: PlatformSpecific, semanticVariant: BuiltinSemanticsVariant) extends BuiltinsMeaning

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Inherited methods

def getBuiltinRuntime(fun: DefaultFun): BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
def mkMeaning(t: TypeScheme, f: (logger: Logger, args: Seq[CekValue]) => CekValue, costFunction: CostingFun): BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning

Inherited fields

val AddInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val AndByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val AppendByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val AppendString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val BData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Blake2b_224: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Blake2b_256: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G1_add: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G1_compress: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G1_equal: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G1_hashToGroup: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G1_neg: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G1_scalarMul: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G1_uncompress: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G2_add: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G2_compress: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G2_equal: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G2_hashToGroup: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G2_neg: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G2_scalarMul: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G2_uncompress: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_finalVerify: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_millerLoop: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_mulMlResult: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
lazy val BuiltinMeanings: Map[DefaultFun, BuiltinRuntime]

Attributes

Inherited from:
BuiltinsMeaning
val ByteStringToInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ChooseData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ChooseList: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ChooseUnit: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ComplementByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ConsByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ConstrData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val CountSetBits: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val DecodeUtf8: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val DivideInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val EncodeUtf8: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val EqualsByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val EqualsData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val EqualsInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val EqualsString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val FindFirstSetBit: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val FstPair: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val HeadList: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val IData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val IfThenElse: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val IndexByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val IntegerToByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Keccak_256: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val LengthOfByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val LessThanByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val LessThanEqualsByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val LessThanEqualsInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val LessThanInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ListData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val MapData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val MkCons: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val MkNilData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val MkNilPairData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val MkPairData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ModInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val MultiplyInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val NullList: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val OrByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val QuotientInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ReadBit: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val RemainderInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ReplicateByte: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Ripemd_160: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val RotateByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val SerialiseData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Sha2_256: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Sha3_256: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ShiftByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val SliceByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val SndPair: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val SubtractInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val TailList: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Trace: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val UnBData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val UnConstrData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val UnIData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val UnListData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val UnMapData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val VerifyEd25519Signature: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val WriteBits: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val XorByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
lazy val forcedBuiltins: Map[DefaultFun, Term]

A map of all UPLC builtins to their forced versions.

A map of all UPLC builtins to their forced versions.

In UPLC, built-in functions can have polymorphic types, which means they can operate on different types of data, like:

ifThenElse : forall a. Boolean -> a -> a -> a

During erasure, type abstractions are replaced with delay and type applications with force. So on each use of a polymorphic builtin, we need to force all its type arguments.

This map provides the forced versions of all builtins.

Attributes

Inherited from:
BuiltinsMeaning

Extensions

Inherited extensions

extension (x: DefaultUni)
infix def $(t: String): TypeScheme

Attributes

Inherited from:
BuiltinsMeaning
infix def $(t: TypeScheme): TypeScheme

Attributes

Inherited from:
BuiltinsMeaning
def ->:(t: DefaultUni): TypeScheme

Attributes

Inherited from:
BuiltinsMeaning
Generated with