GitHub - ehird/reflection: Reifies arbitrary Haskell terms into types that can be reflected back into terms

ehird / reflection Public

forked from ekmett/reflection

Notifications You must be signed in to change notification settings
Fork 0
Star 4

Reifies arbitrary Haskell terms into types that can be reflected back into terms

BSD-3-Clause license

4 stars 24 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 46 Commits
examples		examples
fast/Data		fast/Data
slow/Data		slow/Data
.gitignore		.gitignore
LICENSE		LICENSE
README		README
Setup.lhs		Setup.lhs
reflection.cabal		reflection.cabal

Repository files navigation

reflection
==========

This package provides an implementation of the ideas presented in the paper

  Oleg Kiselyov and Chung-Chieh Shan, "Functional Pearl: Implicit Configurations"
  <http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf>

However, the API has been modified to use Rank2Types and TypeFamilies and the
implementation has been streamlined to improve performance.