Documentation

type FreshIndex = IntegerSource

type Indentation = StringSource

type ModuleName = StringSource

type NestingDepth = IntegerSource

data State a Source

empState :: a -> State aSource

data Compile a b Source

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

nothing :: Compile a ()Source

fresh :: Compile a StringSource

freshWithPrefix :: String -> Compile a StringSource

setModule :: String -> Compile a ()Source

getModule :: Compile a (Maybe String)Source

nest :: Compile a ()Source

unnest :: Compile a ()Source

depth :: Compile a IntegerSource

indent :: Compile String ()Source

unindent :: Compile String ()Source

space :: Compile String ()Source

spaces :: Int -> Compile String ()Source

newline :: Compile String ()Source

newlines :: Int -> Compile String ()Source

string :: String -> Compile String ()Source

raw :: String -> Compile String ()Source