/Prelude-v22.0.0/Bool

Exported files:

• and
• and.dhall:

  List Bool → Bool
  

• build
• build.dhall:

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

• even
• even.dhall:

  List Bool → Bool
  

• fold
• fold.dhall:

  ∀(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