Merge pull request #18 from ariady-putra/main

Bump to stdlib v2.2.0
aiken-extra · Dec 14, 2024 · 1d8a82d · 1d8a82d
2 parents 58870f1 + 59db5b2
commit 1d8a82d
Show file tree

Hide file tree

Showing 20 changed files with 206 additions and 238 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -13,7 +13,7 @@ jobs:
 
       - uses: aiken-lang/setup-aiken@v1
         with:
-          version: v1.1.2
+          version: v1.1.9
 
       - run: aiken fmt --check
       - run: aiken c -D

diff --git a/README.md b/README.md
@@ -2,7 +2,7 @@
 
 A utility library to help comparing time intervals.
 
-| ℹ️  | Package info    | aiken-extra/time_util v5.210.202409 | 🐞  |
+| ℹ️  | Package info    | aiken-extra/time_util v5.220.202412 | 🐞  |
 | --- | --------------- | ----------------------------------- | --- |
-| 🟢  | **Depends on**  | **aiken-lang/stdlib v2.1.0**        | ✔️  |
-| 🟢  | **Tested with** | **aiken v1.1.2**                    | ✔️  |
+| 🟢  | **Depends on**  | **aiken-lang/stdlib v2.2.0**        | ✔️  |
+| 🟢  | **Tested with** | **aiken v1.1.9**                    | ✔️  |
diff --git a/aiken.lock b/aiken.lock
@@ -3,12 +3,12 @@
 
 [[requirements]]
 name = "aiken-lang/stdlib"
-version = "v2.1.0"
+version = "v2.2.0"
 source = "github"
 
 [[packages]]
 name = "aiken-lang/stdlib"
-version = "v2.1.0"
+version = "v2.2.0"
 requirements = []
 source = "github"
 

diff --git a/aiken.toml b/aiken.toml
@@ -1,5 +1,5 @@
 name = "aiken-extra/time_util"
-version = "5.210.202409"
+version = "5.220.202412"
 license = "Apache-2.0"
 description = "An Aiken utility library to help comparing time intervals"
 
@@ -10,5 +10,5 @@ platform = "github"
 
 [[dependencies]]
 name = "aiken-lang/stdlib"
-version = "v2.1.0"
+version = "v2.2.0"
 source = "github"
diff --git a/docs/index.html b/docs/index.html
@@ -7,8 +7,8 @@
     <meta name="theme-color" content="#eff1f5" media="(prefers-color-scheme: light)"/>
     <meta name="theme-color" content="#1e1e2e" media="(prefers-color-scheme: dark)"/>
     <link rel="icon" type="image/svg+xml" sizes="any" href="./favicon.svg"/>
-    <link rel="stylesheet" href="./css/index.css?v=1.1.2" type="text/css"/>
-    <link id="syntax-theme" rel="stylesheet" href="./css/atom-one-light.min.css?v=1.1.2"/>
+    <link rel="stylesheet" href="./css/index.css?v=1.1.9" type="text/css"/>
+    <link id="syntax-theme" rel="stylesheet" href="./css/atom-one-light.min.css?v=1.1.9"/>
   </head>
   <body class="prewrap-off theme-light drawer-closed">
     <script>
@@ -120,13 +120,13 @@
       <h2>
         <a href="./">time_util</a>
         <span id="project-version">
-          <span>5.210.202409 </span>
+          <span>5.220.202412 </span>
         </span>
         <script>
           "use strict";
 
           if ("undefined" !== typeof versionNodes) {
-            const currentVersion = "v5.210.202409";
+            const currentVersion = "v5.220.202412";
             if (! versionNodes.find(element => element.version === currentVersion)) {
               versionNodes.unshift({ version: currentVersion, url: "#" });
             }
@@ -266,9 +266,9 @@ <h2>Modules</h2>
 
 <h1>time_util</h1>
 <p>A utility library to help comparing time intervals.</p>
-<table><thead><tr><th>ℹ️</th><th>Package info</th><th>aiken-extra/time_util v5.210.202409</th><th>🐞</th></tr></thead><tbody>
-<tr><td>🟢</td><td><strong>Depends on</strong></td><td><strong>aiken-lang/stdlib v2.1.0</strong></td><td>✔️</td></tr>
-<tr><td>🟢</td><td><strong>Tested with</strong></td><td><strong>aiken v1.1.2</strong></td><td>✔️</td></tr>
+<table><thead><tr><th>ℹ️</th><th>Package info</th><th>aiken-extra/time_util v5.220.202412</th><th>🐞</th></tr></thead><tbody>
+<tr><td>🟢</td><td><strong>Depends on</strong></td><td><strong>aiken-lang/stdlib v2.2.0</strong></td><td>✔️</td></tr>
+<tr><td>🟢</td><td><strong>Tested with</strong></td><td><strong>aiken v1.1.9</strong></td><td>✔️</td></tr>
 </tbody></table>
 
 
@@ -347,8 +347,8 @@ <h1>time_util</h1>
       </defs>
     </svg>
 
-    <script src="./js/highlight.min.js?v=1.1.2"></script>
-    <script src="./js/highlightjs-aiken.js?v=1.1.2"></script>
+    <script src="./js/highlight.min.js?v=1.1.9"></script>
+    <script src="./js/highlightjs-aiken.js?v=1.1.9"></script>
     <script>
       document.querySelectorAll("pre code").forEach((elem) => {
         if (elem.className === "") {
@@ -390,10 +390,10 @@ <h1>time_util</h1>
     </script>
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
-    <script src="./js/lunr.min.js?v=1.1.2"></script>
-    <script src="./js/index.js?v=1726367832"></script>
+    <script src="./js/lunr.min.js?v=1.1.9"></script>
+    <script src="./js/index.js?v=1734152340"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="./search-data.js?v=1726367832"></script>
+    <script src="./search-data.js?v=1734152340"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {

diff --git a/docs/search-data.js b/docs/search-data.js
diff --git a/docs/time_util/bound.html b/docs/time_util/bound.html
@@ -7,8 +7,8 @@
     <meta name="theme-color" content="#eff1f5" media="(prefers-color-scheme: light)"/>
     <meta name="theme-color" content="#1e1e2e" media="(prefers-color-scheme: dark)"/>
     <link rel="icon" type="image/svg+xml" sizes="any" href="../favicon.svg"/>
-    <link rel="stylesheet" href="../css/index.css?v=1.1.2" type="text/css"/>
-    <link id="syntax-theme" rel="stylesheet" href="../css/atom-one-light.min.css?v=1.1.2"/>
+    <link rel="stylesheet" href="../css/index.css?v=1.1.9" type="text/css"/>
+    <link id="syntax-theme" rel="stylesheet" href="../css/atom-one-light.min.css?v=1.1.9"/>
   </head>
   <body class="prewrap-off theme-light drawer-closed">
     <script>
@@ -120,13 +120,13 @@
       <h2>
         <a href="../">time_util</a>
         <span id="project-version">
-          <span>5.210.202409 </span>
+          <span>5.220.202412 </span>
         </span>
         <script>
           "use strict";
 
           if ("undefined" !== typeof versionNodes) {
-            const currentVersion = "v5.210.202409";
+            const currentVersion = "v5.220.202412";
             if (! versionNodes.find(element => element.version === currentVersion)) {
               versionNodes.unshift({ version: currentVersion, url: "#" });
             }
@@ -325,18 +325,10 @@ <h1 id="module-functions" class="module-member-kind">
         <div class="member-name">
           <h2 id="start_of"><pre class="hljs language-aiken">start_of(interval: Interval&lt;PosixTime&gt;) -&gt; IntervalBound&lt;PosixTime&gt;</pre></h2>
 
-      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/aiken-extra/time_util/blob/5.210.202409/lib/time_util/bound.ak#L17-L19"></a>
+      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/aiken-extra/time_util/blob/5.220.202412/lib/time_util/bound.ak#L8-L11"></a>
 
         </div>
-        <div class="rendered-markdown"><p>Returns the <strong>min-bound</strong> of <code>interval</code></p>
-<pre><code>start_of(after(5)).bound_type == Finite(5)
-start_of(before(5)).bound_type == NegativeInfinity
-start_of(between(5, 10)).bound_type == Finite(5)
-
-// also works with flipped `between` arguments
-start_of(between(10, 5)).bound_type == Finite(5)
-// as of Aiken v1.0.8-alpha
-</code></pre>
+        <div class="rendered-markdown"><p>Returns the <code>lower_bound</code> of an <code>interval</code></p>
 </div>
       </div>
 
@@ -348,10 +340,10 @@ <h2 id="start_bound_type_of"><pre class="hljs language-aiken">start_bound_type_o
   interval: Interval&lt;PosixTime&gt;,
 ) -&gt; IntervalBoundType&lt;PosixTime&gt;</pre></h2>
 
-      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/aiken-extra/time_util/blob/5.210.202409/lib/time_util/bound.ak#L39-L55"></a>
+      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/aiken-extra/time_util/blob/5.220.202412/lib/time_util/bound.ak#L31-L47"></a>
 
         </div>
-        <div class="rendered-markdown"><p>Returns the <strong>min-bound type</strong> of <code>interval</code> with <strong>normalized</strong> <code>Finite(PosixTime)</code></p>
+        <div class="rendered-markdown"><p>Returns the <code>lower_bound</code> type of an <code>interval</code> with <strong>normalized</strong> <code>Finite(PosixTime)</code></p>
 <p>i.e. returns,</p>
 <pre><code>let bound = start_of(interval)
 when bound.bound_type is {
@@ -376,10 +368,10 @@ <h2 id="start_bound_type_of"><pre class="hljs language-aiken">start_bound_type_o
         <div class="member-name">
           <h2 id="finite_start_of"><pre class="hljs language-aiken">finite_start_of(interval: Interval&lt;PosixTime&gt;) -&gt; Option&lt;PosixTime&gt;</pre></h2>
 
-      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/aiken-extra/time_util/blob/5.210.202409/lib/time_util/bound.ak#L58-L71"></a>
+      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/aiken-extra/time_util/blob/5.220.202412/lib/time_util/bound.ak#L50-L63"></a>
 
         </div>
-        <div class="rendered-markdown"><p>May return the <strong>normalized min-bound</strong> <code>Posixtime</code> of <code>interval</code></p>
+        <div class="rendered-markdown"><p>May return the <strong>normalized lower-bound</strong> <code>Posixtime</code> of <code>interval</code></p>
 </div>
       </div>
 
@@ -389,10 +381,10 @@ <h2 id="finite_start_of"><pre class="hljs language-aiken">finite_start_of(interv
         <div class="member-name">
           <h2 id="finite_end_of"><pre class="hljs language-aiken">finite_end_of(interval: Interval&lt;PosixTime&gt;) -&gt; Option&lt;PosixTime&gt;</pre></h2>
 
-      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/aiken-extra/time_util/blob/5.210.202409/lib/time_util/bound.ak#L74-L87"></a>
+      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/aiken-extra/time_util/blob/5.220.202412/lib/time_util/bound.ak#L66-L79"></a>
 
         </div>
-        <div class="rendered-markdown"><p>May return the <strong>normalized max-bound</strong> <code>PosixTime</code> of <code>interval</code></p>
+        <div class="rendered-markdown"><p>May return the <strong>normalized uppoer-bound</strong> <code>PosixTime</code> of <code>interval</code></p>
 </div>
       </div>
 
@@ -402,10 +394,10 @@ <h2 id="finite_end_of"><pre class="hljs language-aiken">finite_end_of(interval:
         <div class="member-name">
           <h2 id="end_bound_type_of"><pre class="hljs language-aiken">end_bound_type_of(interval: Interval&lt;PosixTime&gt;) -&gt; IntervalBoundType&lt;PosixTime&gt;</pre></h2>
 
-      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/aiken-extra/time_util/blob/5.210.202409/lib/time_util/bound.ak#L107-L123"></a>
+      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/aiken-extra/time_util/blob/5.220.202412/lib/time_util/bound.ak#L99-L115"></a>
 
         </div>
-        <div class="rendered-markdown"><p>Returns the <strong>max-bound type</strong> of <code>interval</code> with <strong>normalized</strong> <code>Finite(PosixTime)</code></p>
+        <div class="rendered-markdown"><p>Returns the <code>upper_bound</code> type of an <code>interval</code> with <strong>normalized</strong> <code>Finite(PosixTime)</code></p>
 <p>i.e. returns,</p>
 <pre><code>let bound = end_of(interval)
 when bound.bound_type is {
@@ -430,18 +422,10 @@ <h2 id="end_bound_type_of"><pre class="hljs language-aiken">end_bound_type_of(in
         <div class="member-name">
           <h2 id="end_of"><pre class="hljs language-aiken">end_of(interval: Interval&lt;PosixTime&gt;) -&gt; IntervalBound&lt;PosixTime&gt;</pre></h2>
 
-      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/aiken-extra/time_util/blob/5.210.202409/lib/time_util/bound.ak#L135-L137"></a>
+      	    <a class="member-source" alt="view source" title="view source" target="_blank" href="https://github.com/aiken-extra/time_util/blob/5.220.202412/lib/time_util/bound.ak#L118-L121"></a>
 
         </div>
-        <div class="rendered-markdown"><p>Returns the <strong>max-bound</strong> of <code>interval</code></p>
-<pre><code>end_of(after(5)).bound_type == PositiveInfinity
-end_of(before(5)).bound_type == Finite(5)
-end_of(between(5, 10)).bound_type == Finite(10)
-
-// also works with flipped `between` arguments
-end_of(between(10, 5)).bound_type == Finite(10)
-// as of Aiken v1.0.8-alpha
-</code></pre>
+        <div class="rendered-markdown"><p>Returns the <code>upper_bound</code> of an <code>interval</code></p>
 </div>
       </div>
 
@@ -524,8 +508,8 @@ <h2 id="end_of"><pre class="hljs language-aiken">end_of(interval: Interval&lt;Po
       </defs>
     </svg>
 
-    <script src="../js/highlight.min.js?v=1.1.2"></script>
-    <script src="../js/highlightjs-aiken.js?v=1.1.2"></script>
+    <script src="../js/highlight.min.js?v=1.1.9"></script>
+    <script src="../js/highlightjs-aiken.js?v=1.1.9"></script>
     <script>
       document.querySelectorAll("pre code").forEach((elem) => {
         if (elem.className === "") {
@@ -567,10 +551,10 @@ <h2 id="end_of"><pre class="hljs language-aiken">end_of(interval: Interval&lt;Po
     </script>
     <script src="https://unpkg.com/@popperjs/core@2"></script>
     <script src="https://unpkg.com/tippy.js@6"></script>
-    <script src="../js/lunr.min.js?v=1.1.2"></script>
-    <script src="../js/index.js?v=1726367832"></script>
+    <script src="../js/lunr.min.js?v=1.1.9"></script>
+    <script src="../js/index.js?v=1734152340"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="../search-data.js?v=1726367832"></script>
+    <script src="../search-data.js?v=1734152340"></script>
     <script>
       void function() {
         if (typeof tippy !== "undefined") {