@@ -156,11 +156,11 @@ inlineCommonOperators = applyAll $
156156 , binary semigroupString (C.<>) Add
157157 , binary semigroupString (C.++) Add
158158
159− , binary latticeBoolean (C.&&) And
160− , binary latticeBoolean (C.||) Or
161− , binaryFunction latticeBoolean C.inf And
162− , binaryFunction latticeBoolean C.sup Or
163− , unary complementedLatticeBoolean C.not Not
159+ , binary booleanAlgebraBoolean (C.&&) And
160+ , binary booleanAlgebraBoolean (C.||) Or
161+ , binaryFunction booleanAlgebraBoolean C.conj And
162+ , binaryFunction booleanAlgebraBoolean C.disj Or
163+ , unary booleanAlgebraBoolean C.not Not
164164
165165 , binary' C.dataIntBits (C..|.) BitwiseOr
166166 , binary' C.dataIntBits (C..&.) BitwiseAnd
@@ -307,11 +307,8 @@ semigroupString = (C.prelude, C.semigroupString)
307307boundedBoolean :: (String, String)
308308boundedBoolean = (C.prelude, C.boundedBoolean)
309309
310−latticeBoolean :: (String, String)
311−latticeBoolean = (C.prelude, C.latticeBoolean)
312−
313−complementedLatticeBoolean :: (String, String)
314−complementedLatticeBoolean = (C.prelude, C.complementedLatticeBoolean)
310+booleanAlgebraBoolean :: (String, String)
311+booleanAlgebraBoolean = (C.prelude, C.booleanAlgebraBoolean)
315312
316313semigroupoidArr :: (String, String)
317314semigroupoidArr = (C.prelude, C.semigroupoidArr)