Control.Compilation.Compile

Documentation

type FreshIndex = Integer

type Indentation = String

type ModuleName = String

type NestingDepth = Integer

data State a

Constructors

State FreshIndex Indentation (Maybe ModuleName) NestingDepth a

empState :: a -> State a

data Compile a b

Constructors

Compile (State a -> (State a, b))

Instances

Monad (Compile a)

extract :: Compile a () -> a -> a

nothing :: Compile a ()

fresh :: Compile a String

freshWithPrefix :: String -> Compile a String

setModule :: String -> Compile a ()

getModule :: Compile a (Maybe String)

nest :: Compile a ()

unnest :: Compile a ()

depth :: Compile a Integer

indent :: Compile String ()

unindent :: Compile String ()

space :: Compile String ()

spaces :: Int -> Compile String ()

newline :: Compile String ()

newlines :: Int -> Compile String ()

string :: String -> Compile String ()

raw :: String -> Compile String ()