aboutsummaryrefslogtreecommitdiff
path: root/src/operation/logic.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/operation/logic.h')
-rw-r--r--src/operation/logic.h28
1 files changed, 28 insertions, 0 deletions
diff --git a/src/operation/logic.h b/src/operation/logic.h
new file mode 100644
index 0000000..23393b2
--- /dev/null
+++ b/src/operation/logic.h
@@ -0,0 +1,28 @@
+#ifndef TYPEASVALUE_SRC_OPERATION_LOGIC_H_
+#define TYPEASVALUE_SRC_OPERATION_LOGIC_H_
+
+#include "type.h"
+
+namespace tav {
+
+template <
+ typename X,
+ typename Y
+>
+using And = Boolean<X::value && Y::value>;
+
+template <
+ typename X,
+ typename Y
+>
+using Or = Boolean<X::value || Y::value>;
+
+template <
+ typename X,
+ typename Y
+>
+using Xor = Boolean<X::value ^ Y::value>;
+
+}
+
+#endif // TYPEASVALUE_SRC_OPERATION_LOGIC_H_