cabal-version: 1.12 -- This file has been generated from package.yaml by hpack version 0.35.2. -- -- see: https://github.com/sol/hpack name: list-witnesses version: 0.1.4.1 synopsis: Witnesses for working with type-level lists description: Collection of assorted inductive witnesses and functions for working with type-level lists. . * *Data.Type.List.Edit* contains single-item edits of lists, including insertion, deletion, and substitution. * *Data.Type.List.Sublist* contains witnesses for prefixes, suffixes, and two-way splits of type-level lists. category: Dependent Types homepage: https://github.com/mstksg/list-witnesses#readme bug-reports: https://github.com/mstksg/list-witnesses/issues author: Justin Le maintainer: justin@jle.im copyright: (c) Justin Le 2023 license: BSD3 license-file: LICENSE build-type: Simple tested-with: GHC >= 9.2 extra-source-files: README.md CHANGELOG.md source-repository head type: git location: https://github.com/mstksg/list-witnesses library exposed-modules: Data.Type.List.Edit Data.Type.List.Sublist other-modules: Paths_list_witnesses hs-source-dirs: src ghc-options: -Wall -Wcompat -Wredundant-constraints -Werror=incomplete-patterns build-depends: base >=4.7 && <5 , decidable >=0.3.1.1 , functor-products >=0.1.2 , microlens , profunctors , singletons-base >=3.0 , singletons >=3.0 , vinyl >=0.14.3 default-language: Haskell2010