|
|
|
|
|
|
Synopsis |
|
|
|
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 |