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