/Prelude-v16.0.0/Optional

Exported files:

• all:

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

• any:

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

• build:

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

• concat:

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

• default:

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

• filter:

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

• fold:

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

• head:

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

• last:

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

• length:

  ∀(a : Type) → Optional a → Natural
  

• map:

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

• null:

  ∀(a : Type) → Optional a → Bool
  

• package.dhall
• toList:

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

• unzip:

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