lude

commit a8877191187dc9bc99ce0dba251579d521cd89b6
parent 849e1773bcc55fa5b6e8352915a4db241dfa2663
Author: Robert Russell <robert@rr3.xyz>
Date:   Sun,  9 Aug 2026 14:45:10 -0700

Add Unit

Diffstat:
A
src/Lude/Unit.hs
 | 
13
+++++++++++++
M
src/Lude/Void.hs
 | 
5
+----

2 files changed, 14 insertions(+), 4 deletions(-)
diff --git a/src/Lude/Unit.hs b/src/Lude/Unit.hs
@@ -0,0 +1,13 @@
+module Lude.Unit (
+    Unit,
+    trivial,
+) where
+
+import Prelude.Experimental (Unit)
+
+-- TODO: Instances
+
+--------------------------------------------------------------------------------
+
+trivial :: forall a. a -> Unit
+trivial _ = ()
diff --git a/src/Lude/Void.hs b/src/Lude/Void.hs
@@ -5,12 +5,9 @@ module Lude.Void (
 
 import Data.Void (Void)
 
-import Lude.Kind
-import Lude.Repr
-
 -- TODO: Instances
 
 --------------------------------------------------------------------------------
 
-absurd :: forall (r :: Repr) (a :: Type @r). Void -> a
+absurd :: forall a. Void -> a
 absurd = \case {}