Skip to content

Commit da99459

Browse files
committed
Fix operator exports for BooleanAlgebra
1 parent 6755635 commit da99459

File tree

2 files changed

+17
-1
lines changed

2 files changed

+17
-1
lines changed

docs/Prelude.md

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -850,6 +850,22 @@ laws:
850850
- `a && not a = bottom`
851851
- `a || not a = top`
852852

853+
#### `(||)`
854+
855+
``` purescript
856+
(||) :: forall a. (BooleanAlgebra a) => a -> a -> a
857+
```
858+
859+
The `conj` operator.
860+
861+
#### `(&&)`
862+
863+
``` purescript
864+
(&&) :: forall a. (BooleanAlgebra a) => a -> a -> a
865+
```
866+
867+
The `disj` operator.
868+
853869
#### `Show`
854870

855871
``` purescript

src/Prelude.purs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ module Prelude
2121
, Eq, eq, (==), (/=)
2222
, Ordering(..), Ord, compare, (<), (>), (<=), (>=)
2323
, Bounded, top, bottom
24-
, BooleanAlgebra, conj, disj, not
24+
, BooleanAlgebra, conj, disj, not, (&&), (||)
2525
, Show, show
2626
) where
2727

0 commit comments

Comments
 (0)