Data.String.Combinators

Combining

(<>) :: Monoid m => m -> m -> m

An infix synonym for mappend.

mid :: Monoid s => s -> s -> s -> s

mid m x y Puts x and y around m.

Note that: mid m x y = between x y m.

(<+>) :: (Monoid s, IsString s) => s -> s -> s

Put two string-likes besides eachother separated by a space.

($$) :: (Monoid s, IsString s) => s -> s -> s

Put two string-likes above eachother (separated by a newline).

intercalate :: Monoid s => (s -> s -> s) -> [s] -> s

Combine the string-likes with a given function.

intercalate f [s1, ... sn] = s1 `f` (s2 `f` (... (sn-1 `f` sn)))

hcat :: Monoid s => [s] -> s

List version of <>.

Note that: hcat = intercalate (<>).

unwords :: (Monoid s, IsString s) => [s] -> s

List version of <+>.

Note that: unwords = intercalate (<+>).

unlines :: (Monoid s, IsString s) => [s] -> s

List version of $$.

Note that: unlines = foldr ($$) mempty

punctuate :: Monoid s => s -> [s] -> [s]

punctuate p [s1, ... sn] = [s1 <> p, s2 <> p, ... sn-1 <> p, sn].

(Idea and implementation taken from the pretty package.)

Wrapping in delimiters

between :: Monoid s => s -> s -> s -> s

between b c s wraps the string-like s between b and c.

parens :: (Monoid s, IsString s) => s -> s

Wrap a string-like in (...).

thenParens :: (Monoid s, IsString s) => Bool -> s -> s

Like showParen conditionally wraps a string-like in (...)

This function is supposed to be used infix as in:

(precedence >= 10) `thenParens` ("fun" <+> "arg")

brackets :: (Monoid s, IsString s) => s -> s

Wrap a string-like in [...].

braces :: (Monoid s, IsString s) => s -> s

Wrap a string-like in {...}.

angleBrackets :: (Monoid s, IsString s) => s -> s

Wrap a string-like in <...>.

quotes :: (Monoid s, IsString s) => s -> s

Wrap a string-like in '...'.

doubleQuotes :: (Monoid s, IsString s) => s -> s

Wrap a string-like in "...".

From characters

char :: IsString s => Char -> s

Convert a character to a string-like.

semi :: IsString s => s

A ';' character.

colon :: IsString s => s

A : character.

comma :: IsString s => s

A ',' character.

space :: IsString s => s

A ' ' character.

newline :: IsString s => s

A '\n' character.

equals :: IsString s => s

A '=' character.

lparen :: IsString s => s

A '(' character.

rparen :: IsString s => s

A ')' character.

lbrack :: IsString s => s

A '[' character.

rbrack :: IsString s => s

A ']' character.

lbrace :: IsString s => s

A '{' character.

rbrace :: IsString s => s

A '}' character.

labrack :: IsString s => s

A '<' character.

rabrack :: IsString s => s

A '>' character.

From showable values

fromShow :: (Show a, IsString s) => a -> s

Convert a Showable value to a string-like.

int :: IsString s => Int -> s

Convert an Int to a string-like.

integer :: IsString s => Integer -> s

Convert an Integer to a string-like.

float :: IsString s => Float -> s

Convert a Float to a string-like.

double :: IsString s => Double -> s

Convert a Double to a string-like.

rational :: IsString s => Rational -> s

Convert a Rational to a string-like.