packages feed

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