Builtins
| Builtins | Type Args | Term Args | Result |
|---|---|---|---|
ifThenElse1 | (α) | (bool, (α), (α)) | α |
addInteger | - | (integer, integer) | integer |
subtractInteger | - | (integer, integer) | integer |
multiplyInteger | - | (integer, integer) | integer |
divideInteger | - | (integer, integer) | integer |
modInteger | - | (integer, integer) | integer |
quotientInteger | - | (integer, integer) | integer |
remainderInteger | - | (integer, integer) | integer |
equalsInteger | - | (integer, integer) | bool |
lessThanInteger | - | (integer, integer) | bool |
lessThanEqualsInteger | - | (integer, integer) | bool |
appendString | - | (string, string) | string |
equalsString | - | (string, string) | bool |
encodeUtf8 | - | (string) | bytestring |
appendByteString | - | (bytestring, bytestring) | bytestring |
consByteString | - | (integer, bytestring) | bytestring |
indexByteString | - | (bytestring, integer) | integer |
sliceByteString | - | (integer, integer, bytestring) | bytestring |
lengthOfByteString | - | (bytestring) | integer |
equalsByteString | - | (bytestring, bytestring) | bool |
lessThanByteString | - | (bytestring, bytestring) | bool |
lessThanEqualsByteString | - | (bytestring, bytestring) | bool |
decodeUtf8 | - | (bytestring) | string |
chooseData2 | (α) | (data, (α), (α), (α), (α), (α)) | α |
constrData | - | (integer, list data) | data |
unConstrData | - | data | (integer, list data) |
iData | - | (integer) | data |
unIData | - | (data) | integer |
bData | - | (bytestring) | data |
unBData | - | (data) | bytestring |
mapData | - | (list (pair data data)) | data |
unMapData | - | (data) | list (pair data data) |
listData | - | (list data) | data |
unListData | - | (data) | list data |
equalsData | - | (data, data) | bool |
serialiseData | - | (data) | bytestring |
chooseList3 | (α, β) | (list (α), (β), (β)) | β |
mkNilData | - | (unit) | list (data) |
mkNilPairData | - | (unit) | list (pair data data) |
mkCons | (α) | ((α), list (α)) | list (α) |
headList | (α) | (list (α)) | α |
tailList | (α) | (list (α)) | list (α) |
nullList | (α) | (list (α)) | bool |
mkPairData | - | (data, data) | pair (data) (data) |
fstPair | (α, β) | pair (α) (β) | α |
sndPair | (α, β) | pair (α) (β) | β |
sha2_256 | - | (bytestring) | bytestring |
sha3_256 | - | (bytestring) | bytestring |
blake2b_256 | - | (bytestring) | bytestring |
verifyEd25519Signature4 | - | (bytestring, bytestring, bytestring) | bool |
verifyEcdsaSecp256k1Signature4 | - | (bytestring, bytestring, bytestring) | bool |
verifySchnorrSecp256k1Signature4 | - | (bytestring, bytestring, bytestring) | bool |
trace | (α) | (string, (α)) | α |
Footnotes
-
Returns the second argument when the predicate is
True, and the third argument whenFalse. ↩ -
Each argument corresponds to each of the constructors of a builtin data (in this order): constr, map, list, integer and bytestring. The evaluation will continue with whatever branch actually corresponds to the given term value. ↩
-
Returns the second argument when the list is empty, and the third argument otherwise. ↩
-
Arguments are respectively: the public key, the message and the signature ↩ ↩2 ↩3