/Prelude-v20.0.0/Text/concatMap.dhall
Copy path to clipboardTransform each value in a List
into Text
and concatenate the result
Examples
concatMap Natural (λ(n : Natural) → "${Natural/show n} ") [ 0, 1, 2 ] ≡ "0 1 2 "
concatMap Natural (λ(n : Natural) → "${Natural/show n} ") ([] : List Natural)
≡ ""
Source
--| Transform each value in a `List` into `Text` and concatenate the result
let concatMap
: ∀(a : Type) → (a → Text) → List a → Text
= λ(a : Type) →
λ(f : a → Text) →
λ(xs : List a) →
List/fold a xs Text (λ(x : a) → λ(y : Text) → f x ++ y) ""
let example0 =
assert
: concatMap Natural (λ(n : Natural) → "${Natural/show n} ") [ 0, 1, 2 ]
≡ "0 1 2 "
let example1 =
assert
: concatMap
Natural
(λ(n : Natural) → "${Natural/show n} ")
([] : List Natural)
≡ ""
in concatMap