Cabal revisions of list-witnesses-0.1.4.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-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.0-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 && <0.4- , functor-products >=0.1.2 && <0.2- , microlens <0.5- , profunctors <5.7- , singletons-base >=3.0 && <3.1- , singletons >=3.0 && <3.2- , vinyl >=0.14.3 && <0.15- default-language: Haskell2010+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.0 +x-revision: 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 && <0.4 + , functor-products >=0.1.2 && <0.2 + , microlens <0.5 + , profunctors <5.7 + , singletons-base >=3.0 && <3.2 + , singletons >=3.0 && <3.1 + , vinyl >=0.14.3 && <0.15 + default-language: Haskell2010
revision 2
name: list-witnesses version: 0.1.4.0 -x-revision: 1 +x-revision: 2 synopsis: Witnesses for working with type-level lists description: Collection of assorted inductive witnesses and functions for working with type-level lists. , functor-products >=0.1.2 && <0.2 , microlens <0.5 , profunctors <5.7 - , singletons-base >=3.0 && <3.2 + , singletons-base >=3.0 && <3.3 , singletons >=3.0 && <3.1 , vinyl >=0.14.3 && <0.15 default-language: Haskell2010