cabal-version: 2.2

-- This file has been generated from package.yaml by hpack version 0.34.4.
--
-- see: https://github.com/sol/hpack

name:           open-witness
version:        0.6
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 2008 draft paper /Witnesses and Open Witnesses/ (<https://semantic.org/wp-content/uploads/Open-Witnesses.pdf>).
category:       Data
homepage:       https://github.com/AshleyYakeley/open-witness
bug-reports:    https://github.com/AshleyYakeley/open-witness/issues
author:         Ashley Yakeley
maintainer:     <ashley@semantic.org>
copyright:      (c) 2017-2022 Ashley Yakeley
license:        BSD-2-Clause
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    changelog.md

library
  exposed-modules:
      Data.Type.OpenWitness
      Data.Type.OpenWitness.TypeRep
      Data.Type.OpenWitness.Typeable
      Data.Type.OpenWitness.Dynamic
      Data.Type.OpenWitness.Exception
      Data.Type.OpenWitness.ST
      Data.Type.OpenWitness.Instance
      Data.Type.OpenWitness.Witnessed
  hs-source-dirs:
      src
  default-extensions:
      AllowAmbiguousTypes
      Arrows
      ConstraintKinds
      DataKinds
      DefaultSignatures
      EmptyCase
      EmptyDataDecls
      ExistentialQuantification
      FlexibleContexts
      FlexibleInstances
      ForeignFunctionInterface
      FunctionalDependencies
      GADTs
      GeneralizedNewtypeDeriving
      ImplicitParams
      NoImplicitPrelude
      InstanceSigs
      KindSignatures
      LambdaCase
      MultiParamTypeClasses
      OverloadedLabels
      OverloadedStrings
      PartialTypeSignatures
      PatternGuards
      PatternSynonyms
      PolyKinds
      RankNTypes
      RecordWildCards
      RecursiveDo
      RoleAnnotations
      ScopedTypeVariables
      StandaloneDeriving
      NoStarIsType
      TemplateHaskell
      TypeApplications
      TypeFamilies
      TypeFamilyDependencies
      TypeInType
      TypeOperators
      TypeSynonymInstances
      UndecidableInstances
      UndecidableSuperClasses
      ViewPatterns
  ghc-options: -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Wcompat -Wnoncanonical-monad-instances
  build-depends:
      base >=4.15 && <5
    , constraints >=0.13
    , hashable >=1.3
    , random >=1.2
    , template-haskell >=2.17
    , transformers >=0.5
    , witness >=0.6
  default-language: Haskell2010

test-suite tests
  type: exitcode-stdio-1.0
  main-is: Main.hs
  other-modules:
      Object
  hs-source-dirs:
      test
  default-extensions:
      RankNTypes
      EmptyDataDecls
      GeneralizedNewtypeDeriving
      ScopedTypeVariables
      GADTs
      FlexibleContexts
      MultiParamTypeClasses
      TemplateHaskell
  build-depends:
      base >=4.15 && <5
    , mtl
    , open-witness
    , tasty
    , tasty-hunit
    , witness
  default-language: Haskell2010