/Bool

/Prelude-v20.1.0/Bool

Copy path to clipboard

Exported files:

and
and.dhall:
```
List Bool → Bool
```
build

(∀(bool : Type) → ∀(true : bool) → ∀(false : bool) → bool) → Bool

even
even.dhall:
```
List Bool → Bool
```
fold

∀(b : Bool) → ∀(bool : Type) → ∀(true : bool) → ∀(false : bool) → bool

not
not.dhall:
```
Bool → Bool
```
odd
odd.dhall:
```
List Bool → Bool
```
or
or.dhall:
```
List Bool → Bool
```
package.dhall
show
show.dhall:
```
Bool → Text
```