Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
This model contains unit-tests for Interface
.
Included examples
- Elementary parsers
- Sequencing
- Alternatives
- Simple binding
- Binding with alternatives
- Recursion (non-left)
Higher-order patterns:
- Optional
- Kleene-closure / positive closure
- Seperator
- Inline choice
Ambiguities:
- "aaa"
- longambig
- aho_s
- EEE
- Left recursion
- Hidden left-recursion