waalge/aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update gift card example

Browse Source
This commit is contained in:
microproofs
2024-05-04 16:08:08 -04:00
parent b669db8516
commit 14903f7352
4 changed files with 18 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
examples/gift_card/validators/multi.ak
View File

@@ -60,7 +60,7 @@ validator(creator: ByteArray) {
mint
|> value.from_minted_value
|> value.tokens(policy_id)
|> dict.to_list()
|> dict.to_alist()
when rdmr is {
Mint(total) -> {
@@ -86,7 +86,7 @@ validator(creator: ByteArray) {
list.all(
minted_assets,
fn(asset) {
let (_, amount) = asset
let Pair(_, amount) = asset
amount == -1
},
)
@@ -111,14 +111,14 @@ fn insert(self: List<a>, e: a, compare: fn(a, a) -> Ordering) -> List<a> {
// and has a corresponding ouput with datum containing token name.
// Otherwise fail
fn check_mint_and_outputs(
minted_assets: List<(ByteArray, Int)>,
minted_assets: AList<ByteArray, Int>,
outputs: List<Output>,
expected_assets: List<ByteArray>,
validator_cred: PaymentCredential,
) -> Bool {
when minted_assets is {
[] -> True
[(minted_asset_name, quantity), ..rest_assets] -> {
[Pair(minted_asset_name, quantity), ..rest_assets] -> {
expect
list.any(
expected_assets,

8
examples/gift_card/validators/oneshot.ak
View File

@@ -16,11 +16,11 @@ validator(token_name: ByteArray, utxo_ref: OutputReference) {
let Transaction { inputs, mint, .. } = transaction
expect [(asset_name, amount)] =
expect [Pair(asset_name, amount)] =
mint
|> value.from_minted_value
|> value.tokens(policy_id)
|> dict.to_list()
|> dict.to_alist()
when rdmr is {
Mint -> {
@@ -39,11 +39,11 @@ validator(token_name: ByteArray, policy_id: ByteArray) {
let Transaction { mint, .. } = transaction
expect [(asset_name, amount)] =
expect [Pair(asset_name, amount)] =
mint
|> value.from_minted_value
|> value.tokens(policy_id)
|> dict.to_list()
|> dict.to_alist()
amount == -1 && asset_name == token_name
}