Copyright	(c) 2009-2011 Bas van Dijk
License	BSD-style (see the file LICENSE)
Maintainer	Bas van Dijk <v.dijk.bas@gmail.com>
Safe Haskell	Safe
Language	Haskell98

Data.String.Combinators

Contents

Combining
Wrapping in delimiters
From characters
From showable values

Description

Synopsis

Combining

(<>) :: Monoid m => m -> m -> m infixr 6 #

An infix synonym for mappend.

Since: 4.5.0.0

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 infixl 6 #

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

($$) :: (Monoid s, IsString s) => s -> s -> s infixl 5 #

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.