Add 'Never' type to the prelude.

aiken-lang · Sep 1, 2024 · 1906506 · 1906506
1 parent 653f323
commit 1906506
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/lib/aiken.ak b/lib/aiken.ak
@@ -127,6 +127,20 @@ pub type Option<a> {
   None
 }
 
+/// <small>Minimum Plutus Version</small> | <small>1</small>
+/// ---                                   | ---
+///
+/// A type that like [`Option`](#Option) but that is always `None`. Fundamentally, we have:
+///
+/// ```aiken
+/// let never: Data = Never
+/// let none: Data = None
+/// never == none
+/// ```
+pub type Never {
+  Never
+}
+
 /// <small>Minimum Plutus Version</small> | <small>1</small>
 /// ---                                   | ---
 ///