1{-
2Replace a section of `Text` with another inside a `Text` literal.
3-}
4let replace
5    : ∀(needle : Text) → ∀(replacement : Text) → ∀(haystack : Text) → Text
6    = Text/replace
7
8let example0 = assert : replace "-" "_" "foo-bar" ≡ "foo_bar"
9
10let example1 = assert : replace "��" "��" "������" ≡ "������"
11
12let example2 = assert : replace "��" "��" "��‍��‍��‍��" ≡ "��‍��‍��‍��"
13
14in  replace
15