TicTacToe - 0.1.0

Logic.Extra

Description

Some generic helper definitions.

Definitions

axiom ++str : String String StringSource#

Primitive concatenation of Strings

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

unlines : List String StringSource#

Joins a list of strings with the newline character