| |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
Description | |||||||||||||||||||||
Implementation of the Functional Pearl: Implicit Configurations paper by Oleg Kiselyov and Chung-chieh Shan. http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf Packaged and updated to work with the current implementation of scoped type variables by Edward Kmett. | |||||||||||||||||||||
Synopsis | |||||||||||||||||||||
| |||||||||||||||||||||
Reflect Integrals | |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
Reflect Lists of Integrals | |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
Reflect Storables | |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
Reflect Anything | |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
| |||||||||||||||||||||
Produced by Haddock version 2.4.2 |