generics/boolean -- not and or

Author: xieyuheng

TODO.md

@@ -1,7 +1,11 @@
+[docs] 总结各种 monad 的用法
+
 # 4.4 Dependencies Improve Search
 
 > https://github.com/cicada-lang/propagator/issues/4
 
+generics/boolean.test
+
 propagators/boolean -- inverter
 propagators/boolean.test -- inverter
 

src/generics/boolean.ts

@@ -0,0 +1,11 @@
+import { defineGeneric, defineHandler } from "../generic/index.js"
+import { isBoolean } from "../utils/isBoolean.js"
+
+export const not = defineGeneric()
+defineHandler(not, [isBoolean], (x) => !x)
+
+export const and = defineGeneric()
+defineHandler(and, [isBoolean, isBoolean], (x) => x && y)
+
+export const or = defineGeneric()
+defineHandler(or, [isBoolean, isBoolean], (x, y) => x || y)

src/utils/isBoolean.ts

@@ -0,0 +1,3 @@
+export function isBoolean(x: any): x is boolean {
+  return typeof x === "boolean"
+}