Hard fork code

.gitignore

@@ -13,4 +13,5 @@ docs/
 seed.txt
 .env
 
-.idea/
+.idea/
+aiken.lock

aiken.lock

@@ -3,11 +3,13 @@
 
 [[requirements]]
 name = "aiken-lang/stdlib"
-version = "main"
+version = "1.6.0"
 source = "github"
 
 [[packages]]
 name = "aiken-lang/stdlib"
-version = "main"
+version = "1.6.0"
 requirements = []
 source = "github"
+
+[etags]

aiken.toml

@@ -10,5 +10,5 @@ platform = 'github'
 
 [[dependencies]]
 name = 'aiken-lang/stdlib'
-version = 'main'
+version = '1.6.0'
 source = 'github'

lib/fortuna/types.ak

@@ -0,0 +1,10 @@
+pub type State {
+  block_number: Int,
+  current_hash: ByteArray,
+  leading_zeros: Int,
+  target_number: Int,
+  epoch_time: Int,
+  current_posix_time: Int,
+  extra: Data,
+  interlink: List<Data>,
+}

lib/fortuna/utils.ak

@@ -0,0 +1,87 @@
+use aiken/dict
+use aiken/transaction.{Input, Output, OutputReference} as tx
+use aiken/transaction/value.{AssetName, PolicyId, Value}
+
+pub fn resolve_output_reference(
+  inputs: List<Input>,
+  output_ref: OutputReference,
+) -> Output {
+  expect [input, ..inputs] = inputs
+
+  if input.output_reference == output_ref {
+    input.output
+  } else {
+    resolve_output_reference(inputs, output_ref)
+  }
+}
+
+pub fn list_at(l: List<a>, index: Int) -> a {
+  expect [head, ..rest] = l
+
+  if index == 0 {
+    head
+  } else {
+    list_at(rest, index - 1)
+  }
+}
+
+pub fn quantity_of(
+  val: Value,
+  policy_id: PolicyId,
+  asset_name: AssetName,
+) -> Int {
+  when val |> value.to_dict |> dict.get(policy_id) is {
+    Some(asset) ->
+      when dict.get(asset, asset_name) is {
+        Some(quantity) -> quantity
+        None -> 0
+      }
+    None -> 0
+  }
+}
+
+pub fn filter_resolved_inputs(
+  self: List<Input>,
+  predicate: fn(Input) -> Bool,
+) -> List<Input> {
+  when self is {
+    [] ->
+      []
+    [x, ..xs] ->
+      if predicate(x) {
+        [x, ..filter_resolved_inputs(xs, predicate)]
+      } else {
+        filter_resolved_inputs(xs, predicate)
+      }
+  }
+}
+
+pub fn value_has_nft_and_lovelace(
+  val: Value,
+  policy: PolicyId,
+  asset_name: AssetName,
+) -> Bool {
+  expect [(policy1, amount1), (policy2, amount2)] =
+    val
+      |> value.to_dict
+      |> dict.to_list()
+
+  if policy1 == value.ada_policy_id {
+    // Should always reach here since maps come in ordered on chain
+    expect [(token_name, quantity)] = amount2 |> dict.to_list()
+
+    and {
+      policy2 == policy,
+      quantity == 1,
+      token_name == asset_name,
+    }
+  } else {
+    expect [(token_name, quantity)] = amount1 |> dict.to_list()
+
+    and {
+      policy1 == policy,
+      quantity == 1,
+      token_name == asset_name,
+    }
+  }
+}