name: records-sop version: 0.1.1.1 author: Andres Löh maintainer: andres@well-typed.com license: BSD3 license-file: LICENSE cabal-version: >= 1.10 build-type: Simple tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.7, GHC == 9.0.2, GHC == 9.2.8, GHC == 9.4.5, GHC == 9.6.2 category: Generics synopsis: Record subtyping and record utilities with generics-sop description: This library provides utilities for working with labelled single-constructor record types via generics-sop. . It also provides functions to safely cast between record types if the target type has a subset of the fields (with the same names) of the source type. extra-source-files: CHANGELOG.md source-repository head type: git location: https://github.com/kosmikus/records-sop library hs-source-dirs: src ghc-options: -Wall exposed-modules: Generics.SOP.Record, Generics.SOP.Record.SubTyping build-depends: base >= 4.9 && < 5.0, deepseq >= 1.3 && < 1.5, generics-sop >= 0.3 && < 0.6, ghc-prim >= 0.5 && < 0.11 default-language: Haskell2010 test-suite examples type: exitcode-stdio-1.0 hs-source-dirs: tests ghc-options: -Wall main-is: Examples.hs build-depends: base >= 4.9 && < 5.0, deepseq >= 1.4 && < 1.5, hspec >= 2.2 && < 2.11, generics-sop >= 0.3 && < 0.6, records-sop, should-not-typecheck >= 2.1 && < 2.2 default-language: Haskell2010