open-witness-0.3.1: open-witness.cabal

cabal-version:  >=1.14
name:           open-witness
version:        0.3.1
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: .
    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