forked from pool/ghc-reflection
osc copypac from project:devel:languages:haskell:ghc-9.6.x package:ghc-reflection revision:4, using keep-link
OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-reflection?expand=0&rev=39
This commit is contained in:
Peter Simons
Git OBS Bridge
parent
69ed80c928
commit
b2907b9808
272
reflection.cabal
272
reflection.cabal
@ -1,136 +1,136 @@
|
|||||||
name: reflection
|
name: reflection
|
||||||
version: 2.1.7
|
version: 2.1.7
|
||||||
x-revision: 1
|
x-revision: 1
|
||||||
license: BSD3
|
license: BSD3
|
||||||
license-file: LICENSE
|
license-file: LICENSE
|
||||||
author: Edward A. Kmett, Elliott Hird, Oleg Kiselyov and Chung-chieh Shan
|
author: Edward A. Kmett, Elliott Hird, Oleg Kiselyov and Chung-chieh Shan
|
||||||
maintainer: Edward A. Kmett <ekmett@gmail.com>
|
maintainer: Edward A. Kmett <ekmett@gmail.com>
|
||||||
stability: experimental
|
stability: experimental
|
||||||
homepage: http://github.com/ekmett/reflection
|
homepage: http://github.com/ekmett/reflection
|
||||||
bug-reports: http://github.com/ekmett/reflection/issues
|
bug-reports: http://github.com/ekmett/reflection/issues
|
||||||
category: Data, Reflection, Dependent Types
|
category: Data, Reflection, Dependent Types
|
||||||
synopsis: Reifies arbitrary terms into types that can be reflected back into terms
|
synopsis: Reifies arbitrary terms into types that can be reflected back into terms
|
||||||
copyright: 2009-2013 Edward A. Kmett,
|
copyright: 2009-2013 Edward A. Kmett,
|
||||||
2012 Elliott Hird,
|
2012 Elliott Hird,
|
||||||
2004 Oleg Kiselyov and Chung-chieh Shan
|
2004 Oleg Kiselyov and Chung-chieh Shan
|
||||||
build-type: Simple
|
build-type: Simple
|
||||||
cabal-version: >= 1.10
|
cabal-version: >= 1.10
|
||||||
description:
|
description:
|
||||||
This package addresses the /configuration problem/ which is
|
This package addresses the /configuration problem/ which is
|
||||||
propagating configurations that are available at run-time, allowing
|
propagating configurations that are available at run-time, allowing
|
||||||
multiple configurations to coexist without resorting to mutable
|
multiple configurations to coexist without resorting to mutable
|
||||||
global variables or 'System.IO.Unsafe.unsafePerformIO'.
|
global variables or 'System.IO.Unsafe.unsafePerformIO'.
|
||||||
.
|
.
|
||||||
That package is an implementation of the ideas presented in the
|
That package is an implementation of the ideas presented in the
|
||||||
paper \"Functional Pearl: Implicit Configurations\" by Oleg Kiselyov
|
paper \"Functional Pearl: Implicit Configurations\" by Oleg Kiselyov
|
||||||
and Chung-chieh Shan (<http://okmij.org/ftp/Haskell/tr-15-04.pdf original paper>).
|
and Chung-chieh Shan (<http://okmij.org/ftp/Haskell/tr-15-04.pdf original paper>).
|
||||||
However, the API has been streamlined to improve performance.
|
However, the API has been streamlined to improve performance.
|
||||||
.
|
.
|
||||||
There are a handful of tutorials on how to use this library:
|
There are a handful of tutorials on how to use this library:
|
||||||
.
|
.
|
||||||
* Austin Seipp's tutorial <https://www.schoolofhaskell.com/user/thoughtpolice/using-reflection Reflecting values to types and back> provides a summary of the
|
* Austin Seipp's tutorial <https://www.schoolofhaskell.com/user/thoughtpolice/using-reflection Reflecting values to types and back> provides a summary of the
|
||||||
approach taken by this library, along with more motivating examples.
|
approach taken by this library, along with more motivating examples.
|
||||||
.
|
.
|
||||||
* Arnaud Spiwack's tutorial <https://www.tweag.io/posts/2017-12-21-reflection-tutorial.html All about reflection> explains how to use this library.
|
* Arnaud Spiwack's tutorial <https://www.tweag.io/posts/2017-12-21-reflection-tutorial.html All about reflection> explains how to use this library.
|
||||||
tested-with: GHC == 7.0.4
|
tested-with: GHC == 7.0.4
|
||||||
, GHC == 7.2.2
|
, GHC == 7.2.2
|
||||||
, GHC == 7.4.2
|
, GHC == 7.4.2
|
||||||
, GHC == 7.6.3
|
, GHC == 7.6.3
|
||||||
, GHC == 7.8.4
|
, GHC == 7.8.4
|
||||||
, GHC == 7.10.3
|
, GHC == 7.10.3
|
||||||
, GHC == 8.0.2
|
, GHC == 8.0.2
|
||||||
, GHC == 8.2.2
|
, GHC == 8.2.2
|
||||||
, GHC == 8.4.4
|
, GHC == 8.4.4
|
||||||
, GHC == 8.6.5
|
, GHC == 8.6.5
|
||||||
, GHC == 8.8.4
|
, GHC == 8.8.4
|
||||||
, GHC == 8.10.7
|
, GHC == 8.10.7
|
||||||
, GHC == 9.0.2
|
, GHC == 9.0.2
|
||||||
, GHC == 9.2.6
|
, GHC == 9.2.6
|
||||||
, GHC == 9.4.4
|
, GHC == 9.4.4
|
||||||
, GHC == 9.6.1
|
, GHC == 9.6.1
|
||||||
|
|
||||||
extra-source-files:
|
extra-source-files:
|
||||||
.hlint.yaml
|
.hlint.yaml
|
||||||
examples/reflection-examples.cabal
|
examples/reflection-examples.cabal
|
||||||
examples/LICENSE
|
examples/LICENSE
|
||||||
examples/*.hs
|
examples/*.hs
|
||||||
CHANGELOG.markdown
|
CHANGELOG.markdown
|
||||||
README.markdown
|
README.markdown
|
||||||
slow/Data/Reflection.hs
|
slow/Data/Reflection.hs
|
||||||
fast/Data/Reflection.hs
|
fast/Data/Reflection.hs
|
||||||
|
|
||||||
flag slow
|
flag slow
|
||||||
description:
|
description:
|
||||||
If you enable this flag, we use a more portable much much slower implementation. Moreover, the 'Given' API is broken, so this is currently an unsupported configuration. If you feel the need to turn on this flag for any reason, please email the maintainer!
|
If you enable this flag, we use a more portable much much slower implementation. Moreover, the 'Given' API is broken, so this is currently an unsupported configuration. If you feel the need to turn on this flag for any reason, please email the maintainer!
|
||||||
default: False
|
default: False
|
||||||
manual: False
|
manual: False
|
||||||
|
|
||||||
flag template-haskell
|
flag template-haskell
|
||||||
description:
|
description:
|
||||||
You can disable the use of the `template-haskell` package using `-f-template-haskell`.
|
You can disable the use of the `template-haskell` package using `-f-template-haskell`.
|
||||||
.
|
.
|
||||||
Disabling this is an unsupported configuration, but it may be useful for accelerating builds in sandboxes for expert users.
|
Disabling this is an unsupported configuration, but it may be useful for accelerating builds in sandboxes for expert users.
|
||||||
default: True
|
default: True
|
||||||
manual: True
|
manual: True
|
||||||
|
|
||||||
source-repository head
|
source-repository head
|
||||||
type: git
|
type: git
|
||||||
location: git://github.com/ekmett/reflection.git
|
location: git://github.com/ekmett/reflection.git
|
||||||
|
|
||||||
library
|
library
|
||||||
ghc-options: -Wall
|
ghc-options: -Wall
|
||||||
if impl(ghc >= 8.6)
|
if impl(ghc >= 8.6)
|
||||||
ghc-options: -Wno-star-is-type
|
ghc-options: -Wno-star-is-type
|
||||||
|
|
||||||
if impl(ghc >= 7.2)
|
if impl(ghc >= 7.2)
|
||||||
default-extensions: Trustworthy
|
default-extensions: Trustworthy
|
||||||
|
|
||||||
build-depends:
|
build-depends:
|
||||||
base >= 2 && < 5
|
base >= 2 && < 5
|
||||||
|
|
||||||
if impl(ghc < 7.8)
|
if impl(ghc < 7.8)
|
||||||
build-depends:
|
build-depends:
|
||||||
tagged >= 0.4.4 && < 1
|
tagged >= 0.4.4 && < 1
|
||||||
|
|
||||||
if !impl(ghc >= 8.0)
|
if !impl(ghc >= 8.0)
|
||||||
build-depends:
|
build-depends:
|
||||||
semigroups >= 0.11 && < 0.21
|
semigroups >= 0.11 && < 0.21
|
||||||
|
|
||||||
default-language: Haskell98
|
default-language: Haskell98
|
||||||
|
|
||||||
if flag(template-haskell) && impl(ghc)
|
if flag(template-haskell) && impl(ghc)
|
||||||
if !impl(ghc >= 8.0)
|
if !impl(ghc >= 8.0)
|
||||||
other-extensions: TemplateHaskell
|
other-extensions: TemplateHaskell
|
||||||
-- else
|
-- else
|
||||||
-- other-extensions: TemplateHaskellQuotes -- Hackage doesn't know this extension yet
|
-- other-extensions: TemplateHaskellQuotes -- Hackage doesn't know this extension yet
|
||||||
build-depends: template-haskell
|
build-depends: template-haskell
|
||||||
|
|
||||||
if !flag(slow) && (impl(ghc) || impl(hugs))
|
if !flag(slow) && (impl(ghc) || impl(hugs))
|
||||||
hs-source-dirs: fast
|
hs-source-dirs: fast
|
||||||
else
|
else
|
||||||
other-extensions: ScopedTypeVariables, FlexibleInstances
|
other-extensions: ScopedTypeVariables, FlexibleInstances
|
||||||
hs-source-dirs: slow
|
hs-source-dirs: slow
|
||||||
|
|
||||||
other-extensions:
|
other-extensions:
|
||||||
MultiParamTypeClasses,
|
MultiParamTypeClasses,
|
||||||
FunctionalDependencies,
|
FunctionalDependencies,
|
||||||
Rank2Types,
|
Rank2Types,
|
||||||
CPP
|
CPP
|
||||||
|
|
||||||
exposed-modules: Data.Reflection
|
exposed-modules: Data.Reflection
|
||||||
|
|
||||||
test-suite spec
|
test-suite spec
|
||||||
type: exitcode-stdio-1.0
|
type: exitcode-stdio-1.0
|
||||||
hs-source-dirs: tests
|
hs-source-dirs: tests
|
||||||
main-is: Spec.hs
|
main-is: Spec.hs
|
||||||
other-modules: ReifyNatSpec
|
other-modules: ReifyNatSpec
|
||||||
T47Spec
|
T47Spec
|
||||||
ghc-options: -Wall
|
ghc-options: -Wall
|
||||||
default-language: Haskell98
|
default-language: Haskell98
|
||||||
build-tool-depends: hspec-discover:hspec-discover >= 1.8
|
build-tool-depends: hspec-discover:hspec-discover >= 1.8
|
||||||
build-depends:
|
build-depends:
|
||||||
base >= 2 && < 5,
|
base >= 2 && < 5,
|
||||||
containers >= 0.1 && < 0.8,
|
containers >= 0.1 && < 0.8,
|
||||||
hspec >= 2 && < 3,
|
hspec >= 2 && < 3,
|
||||||
QuickCheck >= 2 && < 3,
|
QuickCheck >= 2 && < 3,
|
||||||
reflection
|
reflection
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user