name:                generic-records

version:             0.2.0.0

synopsis:            Magic record operations using generics

description:         This package uses the GHC8 Generic representation of records to derive magic classes (a la OverloadedRecordLabels), and prove structural subtyping relationship between records. The latter can be used to upcast the "sub-record" to the more general "interface".

homepage:            https://github.com/kcsongor/generic-records

license:             BSD3

license-file:        LICENSE

author:              Csongor Kiss

maintainer:          kiss.csongor.kiss@gmail.com

category:            Generics, Records

build-type:          Simple

-- Extra files to be distributed with the package, such as examples or a
-- README.
extra-source-files:  ChangeLog.md

-- Constraint on the version of Cabal needed to build this package.
cabal-version:       >= 1.10


library
  exposed-modules:   Records.Generic
                   , Records.Generic.Subtype
                   , Records.Generic.HasField

  other-modules:     Records.Generic.Lens

  other-extensions:  AllowAmbiguousTypes
                   , DataKinds
                   , FlexibleInstances
                   , FunctionalDependencies
                   , PolyKinds
                   , Rank2Types
                   , ScopedTypeVariables
                   , TypeApplications
                   , TypeFamilies
                   , TypeOperators
                   , UndecidableInstances

  -- Other library packages from which modules are imported.
  build-depends:     base >= 4.9 && <= 5.0

  -- Directories containing source files.
  hs-source-dirs:    src

  -- Base language which the package is written in.
  default-language:  Haskell2010
  ghc-options:       -Wall