purescript-algebra

模块文档 模块 Data.BooleanAlgebra 类型类 class (Lattice a) <= BooleanAlgebra a where complement :: a -> a 类型类实例 instance booleanBoolean :: BooleanAlgebra Boolean 价值观 booleanNegate :: Boolean -> Boolean not :: forall b. (BooleanAlgebra b) => b -> b 模块数据有界半格 类型类 class (JoinSemilattice l) <= LowerSemilattice l where bottom :: l class (MeetSemilattice l) <= UpperSemilattice l where top :: l 类型类实例 in