lude

commit 762bfc7cb184e0ff4ca4c7ab41044d6fd303413b
parent 22c569316476595abb81eb64ed1eeb7946491314
Author: Robert Russell <robert@rr3.xyz>
Date:   Wed,  7 Oct 2026 16:58:14 -0700

Bool: reexport type-level stuff

Diffstat:
M
src/Lude/Bool.hs
 | 
8
++++++++

1 file changed, 8 insertions(+), 0 deletions(-)
diff --git a/src/Lude/Bool.hs b/src/Lude/Bool.hs
@@ -3,10 +3,18 @@ module Lude.Bool (
     not,
     (&&),
     (||),
+    --
+    If,
+    Not,
+    type (&&),
+    type (||),
 ) where
 
 import Data.Bool (Bool (..), not, (&&), (||))
+import Data.Type.Bool (If, Not, type (&&), type (||))
 
 -- TODO: Instances
 
+-- TODO: Generalize to Heyting/Boolean algebras
+
 --------------------------------------------------------------------------------