reflection-0.3.0: reflection.cabal
name: reflection
version: 0.3.0
license: BSD3
license-file: LICENSE
author: Edward A. Kmett, Oleg Kiselyov and Chung-chieh Shan
maintainer: Edward A. Kmett <ekmett@gmail.com>
stability: experimental
homepage: http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf
category: Data, Reflection, Dependent Types
synopsis: Functional Pearl: Implicit Configurations
copyright: 2009 Edward A. Kmett, 2004 Oleg Kiselyov and Chung-chieh Shan
description: Implementation of the ideas presented in the paper "Functional Pearl: Implicit Configurations" by Oleg Kiselyov and Chung-chieh Shan.
Modified to avoid the use of scoped type variables, and to use a phantom type wrapper rather than dummy arguments.
build-type: Simple
cabal-version: >=1.2
library
build-depends:
base >= 4 && < 5,
tagged >= 0.0 && < 0.1
exposed-modules:
Data.Reflection
ghc-options: -Wall