/Prelude-v23.0.0/NonEmpty

Exported files:

• Type.dhall:

  Type → Type
  

• all.dhall:

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

• any.dhall:

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

• concat.dhall:

  ∀(a : Type) → NonEmpty (NonEmpty a) → NonEmpty a
  

• concatMap.dhall:

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

• head.dhall:

  ∀(a : Type) → NonEmpty a → a
  

• index.dhall:

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

• indexed.dhall:

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

• last.dhall:

  ∀(a : Type) → NonEmpty a → a
  

• length.dhall:

  ∀(a : Type) → NonEmpty a → Natural
  

• make.dhall:

  ∀(a : Type) → ∀(head : a) → ∀(tail : List a) → NonEmpty a
  

• map.dhall:

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

• package.dhall
• reverse.dhall:

  ∀(a : Type) → NonEmpty a → NonEmpty a
  

• shifted.dhall:

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

• singleton.dhall:

  ∀(a : Type) → a → NonEmpty a
  

• toList.dhall:

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

• unzip.dhall:

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

• zip.dhall:

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