/Prelude-v20.1.0/Text

Exported files:

• concat
• concat.dhall:

  List Text → Text
  

• concatMap
• concatMap.dhall:

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

• concatMapSep
• concatMapSep.dhall:

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

• concatSep
• concatSep.dhall:

  ∀(separator : Text) → ∀(elements : List Text) → Text
  

• default
• default.dhall:

  Optional Text → Text
  

• defaultMap
• defaultMap.dhall:

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

• package.dhall
• replace.dhall:

  ∀(needle : Text) → ∀(replacement : Text) → ∀(haystack : Text) → Text
  

• replicate
• replicate.dhall:

  Natural → Text → Text
  

• show
• show.dhall:

  Text → Text
  

• spaces
• spaces.dhall:

  Natural → Text