1 files changed, 33 insertions, 0 deletions
diff --git a/source/lux/data/bool.lux b/source/lux/data/bool.lux
new file mode 100644
index 000000000..d4f223612
--- /dev/null
+++ b/source/lux/data/bool.lux
@@ -0,0 +1,33 @@
+##   Copyright (c) Eduardo Julian. All rights reserved.
+##   The use and distribution terms for this software are covered by the
+##   Eclipse Public License 1.0 (http://opensource.org/licenses/eclipse-1.0.php)
+##   which can be found in the file epl-v10.html at the root of this distribution.
+##   By using this software in any fashion, you are agreeing to be bound by
+##   the terms of this license.
+##   You must not remove this notice, or any other, from this software.
+
+(;import lux
+         (lux/control (monoid #as m))
+         (.. (eq #as E)
+             (show #as S)))
+
+## [Structures]
+(defstruct #export Bool/Eq (E;Eq Bool)
+  (def (E;= x y)
+    (if x
+      y
+      (not y))))
+
+(defstruct #export Bool/Show (S;Show Bool)
+  (def (S;show x)
+    (if x "true" "false")))
+
+(do-template [<name> <unit> <op>]
+  [(defstruct #export <name> (m;Monoid Bool)
+     (def m;unit <unit>)
+     (def (m;++ x y)
+       (<op> x y)))]
+
+  [ Or/Monoid false or]
+  [And/Monoid true and]
+  )