/Prelude-v23.0.0/Optional

Exported files:

• all
• all.dhall:

  ∀(a : Type) → (a → Bool) → Optional a → Bool
  

• any
• any.dhall:

  ∀(a : Type) → (a → Bool) → Optional a → Bool
  

• build
• build.dhall:

  ∀(a : Type) → (∀(optional : Type) → ∀(some : a → optional) → ∀(none : optional) → optional) → Optional a
  

• concat
• concat.dhall:

  ∀(a : Type) → Optional (Optional a) → Optional a
  

• concatMap.dhall:

  ∀(a : Type) → ∀(b : Type) → (a → Optional b) → Optional a → Optional b
  

• default
• default.dhall:

  ∀(a : Type) → a → Optional a → a
  

• equal
• equal.dhall:

  ∀(a : Type) → (a → a → Bool) → Optional a → Optional a → Bool
  

• filter
• filter.dhall:

  ∀(a : Type) → (a → Bool) → Optional a → Optional a
  

• fold
• fold.dhall:

  ∀(a : Type) → Optional a → ∀(optional : Type) → ∀(some : a → optional) → ∀(none : optional) → optional
  

• head
• head.dhall:

  ∀(a : Type) → List (Optional a) → Optional a
  

• last
• last.dhall:

  ∀(a : Type) → List (Optional a) → Optional a
  

• length
• length.dhall:

  ∀(a : Type) → Optional a → Natural
  

• map
• map.dhall:

  ∀(a : Type) → ∀(b : Type) → (a → b) → Optional a → Optional b
  

• null
• null.dhall:

  ∀(a : Type) → Optional a → Bool
  

• package.dhall
• toList
• toList.dhall:

  ∀(a : Type) → Optional a → List a
  

• unzip
• unzip.dhall:

  ∀(a : Type) → ∀(b : Type) → Optional { _1 : a, _2 : b } → { _1 : Optional a, _2 : Optional b }