cabal-version: >=1.14
name: open-witness
version: 0.4
x-follows-version-policy:
license: BSD3
license-file: LICENSE
copyright: Ashley Yakeley <ashley@semantic.org>
author: Ashley Yakeley <ashley@semantic.org>
maintainer: Ashley Yakeley <ashley@semantic.org>
homepage: https://github.com/AshleyYakeley/open-witness
bug-reports: https://github.com/AshleyYakeley/open-witness/issues
synopsis: open witnesses
description:
Open witnesses are witnesses that can witness to any type. However, they cannot be constructed, they can only be generated in the IO monad.
See the paper /Witnesses and Open Witnesses/ (<http://semantic.org/stuff/Open-Witnesses.pdf>).
category: Data
build-type: Simple
library
hs-source-dirs: src
default-language: Haskell2010
default-extensions:
MultiParamTypeClasses
RankNTypes
FlexibleContexts
TypeOperators
FlexibleInstances
EmptyDataDecls
KindSignatures
TemplateHaskell
GeneralizedNewtypeDeriving
GADTs
ScopedTypeVariables
TypeInType
ConstraintKinds
UndecidableInstances
build-depends:
base >= 4.9.1 && < 5,
random,
template-haskell,
transformers,
hashable,
constraints,
witness == 0.4
exposed-modules:
Data.Type.Heterogeneous
Data.OpenWitness
Data.OpenWitness.TypeRep
Data.OpenWitness.Typeable
Data.OpenWitness.Dynamic
Data.OpenWitness.Exception
Data.OpenWitness.ST
Data.OpenWitness.Instance
ghc-options: -Wall
test-suite tests
type: exitcode-stdio-1.0
hs-source-dirs: test
default-language: Haskell2010
default-extensions:
RankNTypes
EmptyDataDecls
GeneralizedNewtypeDeriving
ScopedTypeVariables
GADTs
FlexibleContexts
MultiParamTypeClasses
TemplateHaskell
build-depends:
base,
mtl,
witness,
open-witness,
tasty,
tasty-hunit
main-is: Main.hs
other-modules:
Object