cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.33.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: 7516f7597d94f8af9fcb38c8766714ce8f0b42b800a0bb156405959cc29af6a8
name: open-witness
version: 0.5
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
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-2019 Ashley Yakeley
license: BSD3
license-file: LICENSE
build-type: Simple
library
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.14 && <5
, constraints
, hashable
, random
, template-haskell
, transformers
, witness >=0.5
exposed-modules:
Data.OpenWitness.Order
Data.OpenWitness
Data.OpenWitness.TypeRep
Data.OpenWitness.Typeable
Data.OpenWitness.Dynamic
Data.OpenWitness.Exception
Data.OpenWitness.ST
Data.OpenWitness.Instance
Data.OpenWitness.Witnessed
other-modules:
Paths_open_witness
default-language: Haskell2010
test-suite tests
type: exitcode-stdio-1.0
main-is: Main.hs
hs-source-dirs:
test
default-extensions: RankNTypes EmptyDataDecls GeneralizedNewtypeDeriving ScopedTypeVariables GADTs FlexibleContexts MultiParamTypeClasses TemplateHaskell
build-depends:
base >=4.12
, mtl
, open-witness
, tasty
, tasty-hunit
, witness
other-modules:
Object
default-language: Haskell2010