/Prelude-v17.0.0/Text

Exported files:

• concat:

  List Text → Text
  

• concatMap:

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

• concatMapSep:

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

• concatSep:

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

• default:

  Optional Text → Text
  

• defaultMap:

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

• package.dhall
• replicate:

  Natural → Text → Text
  

• show:

  Text → Text
  

• spaces:

  Natural → Text