| |||||||||
| |||||||||
Description | |||||||||
Remove forced (irrelevant) arguments from constructors. | |||||||||
Synopsis | |||||||||
| |||||||||
Documentation | |||||||||
| |||||||||
Check which arguments are forced and create an IrrFilter | |||||||||
| |||||||||
Remove irrelevant arguments from constructors and branches | |||||||||
| |||||||||
| |||||||||
Remove all arguments to constructors that we don't need to store in an expression. | |||||||||
| |||||||||
Remove all the arguments that doesn't need to be stored in the constructor For the branch | |||||||||
Produced by Haddock version 2.6.1 |