key-0.1.1.0: key.cabal
name: key
version: 0.1.1.0
synopsis: Type-safe unconstrained dynamic typing
description: A library of monadic typed keys which can be compared for equality, returning an equality proof if equal.
See http://dx.doi.org/10.1145/2976002.2976008
The authors of the cited document and of this package are disjoint.
license: BSD3
license-file: LICENSE
author: M Farkas-Dyck
maintainer: strake888@gmail.com
copyright: 2019 M Farkas-Dyck
-- category:
build-type: Simple
extra-source-files: README.md
cabal-version: >=1.10
library
hs-source-dirs: .
exposed-modules: Control.Monad.Trans.Key
build-depends: base >= 4.9 && < 5
, transformers >= 0.4 && < 0.6
default-language: Haskell2010
default-extensions: UnicodeSyntax
, LambdaCase
, EmptyCase
, InstanceSigs
, PartialTypeSignatures
, PolyKinds
, MonadComprehensions
, StandaloneDeriving
, DeriveFunctor, DeriveFoldable, DeriveTraversable
ghc-options: -Wall -Wcompat -Wredundant-constraints -Wno-name-shadowing
-Wincomplete-record-updates -Wincomplete-uni-patterns
-Werror=incomplete-patterns
-Werror=incomplete-uni-patterns
-Werror=incomplete-record-updates
-Werror=missing-fields
-Werror=missing-methods
source-repository head
type: git
location: https://github.com/strake/key.hs