packages feed

poly-rec-0.7.0.4: poly-rec.cabal

-- Initial polyrec.cabal generated by cabal init.  For further
-- documentation, see http://haskell.org/cabal/users-guide/

name:                poly-rec
version:             0.7.0.4
synopsis:            Polykinded extensible records
description:         Extensible records/row polymorphism for Haskell. Fields are polykinded,
                     to statically check rich structures. This library was initially conceived
                     as part of the AspectAG project.
license:             GPL-3
license-file:        LICENSE
author:              Juan García-Garland
maintainer:          jpgarcia@fing.edu.uy
copyright:           2020-2023, Juan García-Garland, Marcos Viera, Alberto Pardo
category:            Data, Dependent Types
build-type:          Simple
extra-source-files:  CHANGELOG.md
cabal-version:       >=1.10

library
  exposed-modules: Data.GenRec,
                   Data.Label,
                   Data.GenRec.RecInstances.Record,
                   Data.HList,
                   Data.GenRec.Unordered
  -- other-modules:
  -- other-extensions:
  build-depends:       requirements >= 0.7.0.3 && < 0.7.1,
                       base >= 4.20 && < 4.21
  hs-source-dirs:      src
  default-language:    Haskell2010