/Prelude-v23.0.0/List

Exported files:

• all
• all.dhall:

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

• any
• any.dhall:

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

• build
• build.dhall:

  ∀(a : Type) → (∀(list : Type) → ∀(cons : a → list → list) → ∀(nil : list) → list) → List a
  

• concat
• concat.dhall:

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

• concatMap
• concatMap.dhall:

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

• default
• default.dhall:

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

• drop
• drop.dhall:

  ∀(n : Natural) → ∀(a : Type) → List a → List a
  

• empty
• empty.dhall:

  ∀(a : Type) → List a
  

• filter
• filter.dhall:

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

• filterMap.dhall:

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

• fold
• fold.dhall:

  ∀(a : Type) → List a → ∀(list : Type) → ∀(cons : a → list → list) → ∀(nil : list) → list
  

• foldLeft.dhall:

  ∀(a : Type) → List a → ∀(list : Type) → ∀(cons : list → a → list) → ∀(nil : list) → list
  

• generate
• generate.dhall:

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

• head
• head.dhall:

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

• index
• index.dhall:

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

• indexed
• indexed.dhall:

  ∀(a : Type) → List a → List { index : Natural, value : a }
  

• iterate
• iterate.dhall:

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

• last
• last.dhall:

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

• length
• length.dhall:

  ∀(a : Type) → List a → Natural
  

• map
• map.dhall:

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

• mapMaybe.dhall:

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

• mapWithIndex
• mapWithIndex.dhall:

  ∀(a : Type) → ∀(b : Type) → (Natural → a → b) → List a → List b
  

• null
• null.dhall:

  ∀(a : Type) → List a → Bool
  

• package.dhall
• partition
• partition.dhall:

  ∀(a : Type) → (a → Bool) → List a → Partition a
  

• replicate
• replicate.dhall:

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

• reverse
• reverse.dhall:

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

• shifted
• shifted.dhall:

  ∀(a : Type) → List (List { index : Natural, value : a }) → List { index : Natural, value : a }
  

• take
• take.dhall:

  ∀(n : Natural) → ∀(a : Type) → List a → List a
  

• unpackOptionals
• unpackOptionals.dhall:

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

• unzip
• unzip.dhall:

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

• zip
• zip.dhall:

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