packages feed

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