Logic.Extra
Contents
Some generic helper definitions.
concat : List String → StringSource#
Concatenates a list of strings concat (("a" :: nil) :: "b" :: nil) evaluates to "a" :: "b" :: nil
surround : String → List String → List StringSource#
It inserts the first String at the beginning, in between, and at the end of the second list
intercalate : String → List String → StringSource#
It inserts the first String in between the Strings in the second list and concatenates the result