Safe Haskell	None

Code.Build

Contents

Functions on code
Combinators for building blocks of code

Synopsis

Documentation

newtype Code Source

Representation of code, each string represents a line

Constructors

Code
Fields unCode :: [String]

Instances

Codeable Code

showCode :: Code -> String Source

class Codeable a whereSource

Type class for lifting data structures into code

Methods

code :: a -> Code Source

Instances

Codeable String
Show a => Codeable a
Codeable Code
Codeable a => Codeable (Maybe a)

class CodeList a whereSource

Methods

codeList :: a -> [Code]Source

Instances

Codeable a => CodeList a
Codeable a => CodeList [a]

Functions on code

noCode :: Code Source

line :: Code Source

isNull :: Codeable a => a -> Bool Source

numLines :: CodeList a => a -> Int Source

singleLine :: CodeList a => a -> Bool Source

indent :: Codeable a => Int -> a -> Code Source

surround :: Codeable a => String -> String -> a -> Code Source

parenthesis :: Codeable a => a -> Code Source

accolades :: Codeable a => a -> Code Source

square :: Codeable a => a -> Code Source

align :: Codeable a => a -> Code Source

codeWidth :: Codeable a => a -> Int Source

codeLines :: Codeable a => a -> [Code]Source

many :: Codeable a => a -> Code Source

mkSequence :: Codeable a => [a] -> Code Source

mkStack :: Codeable a => [a] -> Code Source

interleave :: (Codeable a, CodeList l) => a -> l -> Code Source

Combinators for building blocks of code

(|><|) :: (Codeable a, Codeable b) => a -> b -> Code Source

Join two blocks line by line, in the way of inner join, so both lines have to be present.

(><) :: (Codeable a, Codeable b) => a -> b -> Code Source

Join two blocks line by line, in the way of outer join, so both missing lines are discarded.

(|><) :: (Codeable a, Codeable b) => a -> b -> Code Source

Left outer-join

(><|) :: (Codeable a, Codeable b) => a -> b -> Code Source

Right outer-join

(<+>) :: (Codeable a, Codeable b) => a -> b -> Code Source

Sequencing. Place the second block after the last line of the first block. Aligns the second block

(<++>) :: (Codeable a, Codeable b) => a -> b -> Code Source

Same as ++ but with space

(<+|) :: (Codeable a, Codeable b) => a -> b -> Code Source

Place the second block after the last line of the first block. Aligns the second block

(|>+<|) :: (Codeable a, CodeList b) => a -> b -> Code Source

Combination of join and sequence. The code blocks in the second argument are sequenced with the first argument.

(<->) :: (Codeable a, Codeable b) => a -> b -> Code Source

Place two pieces of code under each other