cabal-version: >=1.14 name: open-witness version: 0.3.1 x-follows-version-policy: license: BSD3 license-file: LICENSE copyright: Ashley Yakeley author: Ashley Yakeley maintainer: Ashley Yakeley 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/ (). category: Data build-type: Simple library hs-source-dirs: . default-language: Haskell2010 default-extensions: MultiParamTypeClasses RankNTypes FlexibleContexts TypeOperators FlexibleInstances EmptyDataDecls KindSignatures TemplateHaskell GeneralizedNewtypeDeriving GADTs PolyKinds ScopedTypeVariables build-depends: base >= 4.8 && < 5, random, template-haskell, transformers, hashable, witness >= 0.3 exposed-modules: Data.OpenWitness Data.OpenWitness.Dynamic Data.OpenWitness.Exception Data.OpenWitness.OpenRep Data.OpenWitness.ST Data.OpenWitness.Typeable ghc-options: -Wall