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