From 57df303eae0e7607a37d98da8c7bd31facc2cbe9 Mon Sep 17 00:00:00 2001
From: rvcas <x@rvcas.dev>
Date: Wed, 16 Nov 2022 12:54:19 -0500
Subject: [PATCH] feat(aiken_stdlib): add validity_range

---
 examples/aiken_std/lib/aiken/context.ak | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/examples/aiken_std/lib/aiken/context.ak b/examples/aiken_std/lib/aiken/context.ak
index 4cbe26e6..70a234bc 100644
--- a/examples/aiken_std/lib/aiken/context.ak
+++ b/examples/aiken_std/lib/aiken/context.ak
@@ -13,6 +13,22 @@ pub type ScriptPurpose {
   Certify(Certificate)
 }
 
+pub type BoundValue(value) {
+  NegativeInfinity
+  Finite(value)
+  PositiveInfinity
+}
+
+pub type Bound(value) {
+  value: BoundValue(value),
+  is_inclusive: Bool,
+}
+
+pub type Interval(value) {
+  lower_bound: Bound(value),
+  upper_bound: Bound(value),
+}
+
 pub type Transaction {
   inputs: List(Input),
   reference_inputs: List(Input),
@@ -21,7 +37,7 @@ pub type Transaction {
   mint: Value,
   certificates: List(Certificate),
   withdrawals: List(Pair(StakeCredential, Int)),
-  validity_range: Nil,
+  validity_range: Interval(Int),
   extra_signatories: Nil,
   redeemers: List(Nil),
   datums: List(Pair(Hash(Data), Data)),