builtin

const (
	// Integer functions
	AddInteger            DefaultFunction = 0
	SubtractInteger       DefaultFunction = 1
	MultiplyInteger       DefaultFunction = 2
	DivideInteger         DefaultFunction = 3
	QuotientInteger       DefaultFunction = 4
	RemainderInteger      DefaultFunction = 5
	ModInteger            DefaultFunction = 6
	EqualsInteger         DefaultFunction = 7
	LessThanInteger       DefaultFunction = 8
	LessThanEqualsInteger DefaultFunction = 9
	// ByteString functions
	AppendByteString         DefaultFunction = 10
	ConsByteString           DefaultFunction = 11
	SliceByteString          DefaultFunction = 12
	LengthOfByteString       DefaultFunction = 13
	IndexByteString          DefaultFunction = 14
	EqualsByteString         DefaultFunction = 15
	LessThanByteString       DefaultFunction = 16
	LessThanEqualsByteString DefaultFunction = 17
	// Cryptography and hash functions
	Sha2_256                        DefaultFunction = 18
	Sha3_256                        DefaultFunction = 19
	Blake2b_256                     DefaultFunction = 20
	Keccak_256                      DefaultFunction = 71
	Blake2b_224                     DefaultFunction = 72
	VerifyEd25519Signature          DefaultFunction = 21
	VerifyEcdsaSecp256k1Signature   DefaultFunction = 52
	VerifySchnorrSecp256k1Signature DefaultFunction = 53
	// String functions
	AppendString DefaultFunction = 22
	EqualsString DefaultFunction = 23
	EncodeUtf8   DefaultFunction = 24
	DecodeUtf8   DefaultFunction = 25
	// Bool function
	IfThenElse DefaultFunction = 26
	// Unit function
	ChooseUnit DefaultFunction = 27
	// Tracing function
	Trace DefaultFunction = 28
	// Pairs functions
	FstPair DefaultFunction = 29
	SndPair DefaultFunction = 30
	// List functions
	ChooseList DefaultFunction = 31
	MkCons     DefaultFunction = 32
	HeadList   DefaultFunction = 33
	TailList   DefaultFunction = 34
	NullList   DefaultFunction = 35
	// Data functions
	// It is convenient to have a "choosing" function for a data type that has more than two
	// constructors to get pattern matching over it and we may end up having multiple such data
	// types hence we include the name of the data type as a suffix.
	ChooseData    DefaultFunction = 36
	ConstrData    DefaultFunction = 37
	MapData       DefaultFunction = 38
	ListData      DefaultFunction = 39
	IData         DefaultFunction = 40
	BData         DefaultFunction = 41
	UnConstrData  DefaultFunction = 42
	UnMapData     DefaultFunction = 43
	UnListData    DefaultFunction = 44
	UnIData       DefaultFunction = 45
	UnBData       DefaultFunction = 46
	EqualsData    DefaultFunction = 47
	SerialiseData DefaultFunction = 51
	// Misc constructors
	// Constructors that we need for constructing e.g. Data. Polymorphic builtin
	// constructors are often problematic (See note [Representable built-in
	// functions over polymorphic built-in types])
	MkPairData    DefaultFunction = 48
	MkNilData     DefaultFunction = 49
	MkNilPairData DefaultFunction = 50

	// BLS Builtins
	Bls12_381_G1_Add         DefaultFunction = 54
	Bls12_381_G1_Neg         DefaultFunction = 55
	Bls12_381_G1_ScalarMul   DefaultFunction = 56
	Bls12_381_G1_Equal       DefaultFunction = 57
	Bls12_381_G1_Compress    DefaultFunction = 58
	Bls12_381_G1_Uncompress  DefaultFunction = 59
	Bls12_381_G1_HashToGroup DefaultFunction = 60
	Bls12_381_G2_Add         DefaultFunction = 61
	Bls12_381_G2_Neg         DefaultFunction = 62
	Bls12_381_G2_ScalarMul   DefaultFunction = 63
	Bls12_381_G2_Equal       DefaultFunction = 64
	Bls12_381_G2_Compress    DefaultFunction = 65
	Bls12_381_G2_Uncompress  DefaultFunction = 66
	Bls12_381_G2_HashToGroup DefaultFunction = 67
	Bls12_381_MillerLoop     DefaultFunction = 68
	Bls12_381_MulMlResult    DefaultFunction = 69
	Bls12_381_FinalVerify    DefaultFunction = 70

	// Conversions
	IntegerToByteString DefaultFunction = 73
	ByteStringToInteger DefaultFunction = 74

	// Logical
	AndByteString        DefaultFunction = 75
	OrByteString         DefaultFunction = 76
	XorByteString        DefaultFunction = 77
	ComplementByteString DefaultFunction = 78
	ReadBit              DefaultFunction = 79
	WriteBits            DefaultFunction = 80
	ReplicateByte        DefaultFunction = 81

	// Bitwise
	ShiftByteString  DefaultFunction = 82
	RotateByteString DefaultFunction = 83
	CountSetBits     DefaultFunction = 84
	FindFirstSetBit  DefaultFunction = 85

	// Ripemd_160
	Ripemd_160 DefaultFunction = 86

	// Batch 6
	ExpModInteger DefaultFunction = 87
	CaseList      DefaultFunction = 88
	CaseData      DefaultFunction = 89
	DropList      DefaultFunction = 90

	// Arrays
	LengthOfArray DefaultFunction = 91
	ListToArray   DefaultFunction = 92
	IndexArray    DefaultFunction = 93
)