lude

commit 0bc08b1b68e4048ad9b4bef33ece8f62c5472087
parent af2fe6661f4a13b144962b5a2430716faf03db9e
Author: Robert Russell <robert@rr3.xyz>
Date:   Tue, 10 Mar 2026 18:05:53 -0700

Add Void

Diffstat:
A
src/Lude/Void.hs
 | 
15
+++++++++++++++

1 file changed, 15 insertions(+), 0 deletions(-)
diff --git a/src/Lude/Void.hs b/src/Lude/Void.hs
@@ -0,0 +1,15 @@
+module Lude.Void (
+    Void,
+    absurd,
+) where
+
+import Lude.Kind
+
+-- TODO: Instances
+
+--------------------------------------------------------------------------------
+
+data Void
+
+absurd :: forall r (a :: Type @r). Void -> a
+absurd = \case {}