aiken/examples/acceptance_tests/071/plutus.json

167 lines
7.0 KiB
JSON

{
"preamble": {
"title": "aiken-lang/acceptance_test_071",
"version": "0.0.0",
"plutusVersion": "v2"
},
"validators": [
{
"title": "spend.pool_contract",
"datum": {
"title": "PoolDatum",
"anyOf": [
{
"title": "PoolDatum",
"dataType": "constructor",
"index": 0,
"fields": [
{
"title": "currency_symbol",
"anyOf": [
{
"title": "CurrencySymbol",
"dataType": "constructor",
"index": 0,
"fields": [
{
"title": "policy_id",
"dataType": "bytes"
},
{
"title": "asset_name",
"dataType": "bytes"
}
]
}
]
},
{
"title": "balance",
"dataType": "integer"
},
{
"title": "lent_out",
"dataType": "integer"
}
]
}
]
},
"redeemer": {
"title": "PoolRedeemer",
"anyOf": [
{
"title": "PoolRedeemer",
"dataType": "constructor",
"index": 0,
"fields": [
{
"title": "action",
"anyOf": [
{
"title": "PoolWithdraw",
"dataType": "constructor",
"index": 0,
"fields": [
{
"dataType": "integer"
}
]
},
{
"title": "PoolDeposit",
"dataType": "constructor",
"index": 1,
"fields": [
{
"title": "PoolDepositRedeemer",
"anyOf": [
{
"title": "PoolDepositRedeemer",
"dataType": "constructor",
"index": 0,
"fields": [
{
"title": "input_cs",
"anyOf": [
{
"title": "CurrencySymbol",
"dataType": "constructor",
"index": 0,
"fields": [
{
"title": "policy_id",
"dataType": "bytes"
},
{
"title": "asset_name",
"dataType": "bytes"
}
]
}
]
},
{
"title": "input_amount",
"dataType": "integer"
}
]
}
]
}
]
},
{
"title": "PoolBorrow",
"dataType": "constructor",
"index": 2,
"fields": [
{
"title": "PoolBorrowRedeemer",
"anyOf": [
{
"title": "PoolBorrowRedeemer",
"dataType": "constructor",
"index": 0,
"fields": [
{
"title": "input_cs",
"anyOf": [
{
"title": "CurrencySymbol",
"dataType": "constructor",
"index": 0,
"fields": [
{
"title": "policy_id",
"dataType": "bytes"
},
{
"title": "asset_name",
"dataType": "bytes"
}
]
}
]
},
{
"title": "input_amount",
"dataType": "integer"
}
]
}
]
}
]
}
]
}
]
}
]
},
"compiledCode": "59030501000032323232323232323232322225333006323232323232323232533300f3370e002900009925130090021533300f3370e0029001099191919299980999b87001480084c8c8cccc8888c8c8c8c8c9289812000980b19299980e99b8748000c080dd500088008a9980fa492a4173736572746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016330120070033022001301432533301b3370e9000180f1baa0011001153301d49012a4173736572746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300f005001300d48901ff00010001012005301b001300d00214a0602a6ea8004cc028c02c03120023017001300900213232323253330133370e0029001099191999911119191919192513024001301632533301d3370e900018101baa0011001153301f49012a4173736572746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e0016330120070033022001301432533301b3370e9000180f1baa0011001153301d49012a4173736572746564206f6e20696e636f727265637420636f6e7374727563746f722076617269616e742e00163300f005001300d48901ff00010001012005301b001300d00214a0602a6ea8004cc028c02c031200230170013009002301137540026600c600e0129000119ba548000cc04ccdd2a4004660266ea40052f5c06602666e9520024bd7025eb8088cc010dd6198031803998031803801240009002119baf3300730080014800000888cc00cdd6198029803198029803001240009000119baf3300630073300630070014800920000023001001222533301000213374a900125eb804c8c94ccc034c00c0084cdd2a40006602600497ae013330050050010033014003301200222323330010014800000c888cccc030cdc3802001009919980200219b8000348008c0540040048c02cdd50008a4c2c6002002444a666012004293099802980098058011998018019806001000ab9a5736ae7155ceaab9e5573eae815d0aba201",
"hash": "c95b3842362b77afec21773b7c0b1f09e61bf5e4c58b685533e6d342"
}
]
}