@harmoniclabs/plu-ts-onchain/dist/IR/IRNodes/IRNative/IRNativeTag.d.ts

An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript

/**
 * we use positive for natives which map to `UPLCBuiltin`
 * possibly keeping the same number
 *
 * we use negatives for natives of the `std::fn` family
 * since there is no negative `UPLCBuiltin` tag
 */
export declare const enum IRNativeTag {
    addInteger = 0,
    subtractInteger = 1,
    multiplyInteger = 2,
    divideInteger = 3,
    quotientInteger = 4,
    remainderInteger = 5,
    modInteger = 6,
    equalsInteger = 7,
    lessThanInteger = 8,
    lessThanEqualInteger = 9,
    appendByteString = 10,
    consByteString = 11,
    sliceByteString = 12,
    lengthOfByteString = 13,
    indexByteString = 14,
    equalsByteString = 15,
    lessThanByteString = 16,
    lessThanEqualsByteString = 17,
    sha2_256 = 18,
    sha3_256 = 19,
    blake2b_256 = 20,
    verifyEd25519Signature = 21,
    appendString = 22,
    equalsString = 23,
    encodeUtf8 = 24,
    decodeUtf8 = 25,
    strictIfThenElse = 26,
    chooseUnit = 27,
    trace = 28,
    fstPair = 29,
    sndPair = 30,
    strictChooseList = 31,
    mkCons = 32,
    headList = 33,
    tailList = 34,
    nullList = 35,
    chooseData = 36,
    constrData = 37,
    mapData = 38,
    listData = 39,
    iData = 40,
    bData = 41,
    unConstrData = 42,
    unMapData = 43,
    unListData = 44,
    unIData = 45,
    unBData = 46,
    equalsData = 47,
    mkPairData = 48,
    mkNilData = 49,
    mkNilPairData = 50,
    serialiseData = 51,
    verifyEcdsaSecp256k1Signature = 52,
    verifySchnorrSecp256k1Signature = 53,
    bls12_381_G1_add = 54,
    bls12_381_G1_neg = 55,
    bls12_381_G1_scalarMul = 56,
    bls12_381_G1_equal = 57,
    bls12_381_G1_hashToGroup = 58,
    bls12_381_G1_compress = 59,
    bls12_381_G1_uncompress = 60,
    bls12_381_G2_add = 61,
    bls12_381_G2_neg = 62,
    bls12_381_G2_scalarMul = 63,
    bls12_381_G2_equal = 64,
    bls12_381_G2_hashToGroup = 65,
    bls12_381_G2_compress = 66,
    bls12_381_G2_uncompress = 67,
    bls12_381_millerLoop = 68,
    bls12_381_mulMlResult = 69,
    bls12_381_finalVerify = 70,
    keccak_256 = 71,
    blake2b_224 = 72,
    integerToByteString = 73,
    byteStringToInteger = 74,
    /** @deprecated */
    z_comb = -1,
    _matchList = -2,
    _recursiveList = -3,
    _dropList = -4,
    _indexList = -5,
    _foldr = -6,
    _foldl = -7,
    _mkFindData = -8,
    _length = -9,
    _some = -10,
    _every = -11,
    _mkFilter = -12,
    _id = -15,
    _not = -16,
    _strictAnd = -17,
    _and = -18,
    _strictOr = -19,
    _or = -20,
    _gtBS = -21,
    _gtEqBS = -22,
    _gtInt = -23,
    _gtEqInt = -24,
    _strToData = -25,
    _pairDataToData = -26,
    _strFromData = -27,
    _pairDataFromData = -28,
    /** @deprecated */
    _lazyChooseList = -29,
    /** @deprecated */
    _lazyIfThenElse = -30
}
export declare function nativeTagToString(nativeTag: IRNativeTag): string;