reflection 0.4.0 → 0.4.0.1
raw patch · 2 files changed
+21/−13 lines, 2 files
Files
- Data/Reflection.hs +2/−2
- reflection.cabal +19/−11
Data/Reflection.hs view
@@ -1,4 +1,4 @@-{-# LANGUAGE RankNTypes, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-}+{-# LANGUAGE Rank2Types, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-} {-# OPTIONS_GHC -fno-cse -fno-full-laziness -fno-float-in #-} ----------------------------------------------------------------------------@@ -17,7 +17,7 @@ -- <http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf> -- -- Modified to minimize extensions and work with Data.Proxy rather than --- explicit scoped type variables by Edward Kmett.+-- explicit scoped type variables and undefined values by Edward Kmett. -- -------------------------------------------------------------------------------
reflection.cabal view
@@ -1,24 +1,32 @@-name: reflection-version: 0.4.0-license: BSD3+name: reflection+version: 0.4.0.1+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+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+cabal-version: >=1.6 +source-repository head+ type: git+ location: git://github.com/ekmett/reflection.git+ library+ other-extensions:+ Rank2Types+ MultiParamTypeClasses+ FunctionalDependencies+ FlexibleInstances build-depends: base >= 4 && < 5, tagged >= 0.2.2 && < 0.3 exposed-modules: Data.Reflection- ghc-options: -Wall