Copyright | (c) 2017 Rudy Matela |
---|---|
License | 3-Clause BSD (see the file LICENSE) |
Maintainer | Rudy Matela <rudy@matela.com.br> |
Safe Haskell | Safe |
Language | Haskell2010 |
This module is part of Extrapolate, a library for generalization of counter-examples.
Some type binding operators that are useful when defining Generalizable instances.