| |||||||||||||
| |||||||||||||
Synopsis | |||||||||||||
| |||||||||||||
Documentation | |||||||||||||
| |||||||||||||
Catch pattern violation errors and adds a constraint. | |||||||||||||
| |||||||||||||
Try to solve the constraints to be added. | |||||||||||||
| |||||||||||||
Don't allow the argument to produce any constraints. | |||||||||||||
| |||||||||||||
Guard constraint | |||||||||||||
| |||||||||||||
We ignore the constraint ids and (as in Agda) retry all constraints every time. We probably generate very few constraints. | |||||||||||||
| |||||||||||||
| |||||||||||||
Produced by Haddock version 2.4.2 |