ContentsIndex
Parser
Contents
Processes
Synopsis
symbol :: Parser Char
comment :: Parser ()
sp :: Parser ()
head :: Parser String
name :: Parser Name
termFactory :: Parser Term -> Parser Term
term :: Parser Term
input :: Parser Proc
output :: Parser Proc
new :: Parser Proc
par :: Parser Proc
repl :: Parser Proc
decl :: Parser Proc
match :: Parser Proc
check :: Parser Proc
process :: Parser Proc
premiss :: Parser String
file :: Parser (String, Proc)
Documentation
symbol :: Parser Char
One of some non alphanumeric symbols.
comment :: Parser ()
#-till-newline comment parser.
sp :: Parser ()
Whitespace parser (comments are whitespace).
head :: Parser String
Heads start with lowercase char.
name :: Parser Name
Names start with uppercase char.
termFactory :: Parser Term -> Parser Term
Term parser builder.
term :: Parser Term
Processes
input :: Parser Proc
output :: Parser Proc
new :: Parser Proc
par :: Parser Proc
Parallel (includes nil = ()).
repl :: Parser Proc
decl :: Parser Proc
Let
match :: Parser Proc
check :: Parser Proc
process :: Parser Proc
premiss :: Parser String
file :: Parser (String, Proc)

The whole process file. Example:

rewriting rule 1 .
rewriting rule 1 .
rewriting rule 2 .
%%
process
Produced by Haddock version 0.6