type-level-natural-number-induction 1.0 → 1.0.0.1
raw patch · 1 files changed
+11/−11 lines, 1 filesdep ~transformersPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: transformers
API changes (from Hackage documentation)
Files
type-level-natural-number-induction.cabal view
@@ -1,5 +1,5 @@ Name: type-level-natural-number-induction-Version: 1.0+Version: 1.0.0.1 License: BSD3 License-file: LICENSE Author: Gregory Crosswhite@@ -7,23 +7,23 @@ Stability: Provisional Synopsis: High-level combinators for performing inductive operations. Description: This package provides high-level combinators for working- with inductive structures --- that is, structures tagged+ with inductive structures --- that is, structures tagged with a phantom type-level natural number. Combinators- are provided for building up a structure from seed data- using induction, tearing down a structure to obtain a- result, and inductively transforming one structure into- another with the same size.- .- This package uses the type-level-natural-number package for- its type-level representations of the natural numbers. The- only non-Haskell 2010 extension it needs is Rank2Types.+ are provided for building up a structure from seed data+ using induction, tearing down a structure to obtain a+ result, and inductively transforming one structure into+ another with the same size.+ .+ This package uses the type-level-natural-number package for+ its type-level representations of the natural numbers. The+ only non-Haskell 2010 extension it needs is Rank2Types. Cabal-version: >=1.2.3 Build-type: Simple Category: Type System,Data Library Build-depends: base >= 3 && < 5,- transformers >= 0.2 && < 0.3,+ transformers >= 0.2 && < 0.4, type-level-natural-number >= 1.0 && < 1.2 Exposed-modules: TypeLevel.NaturalNumber.Induction Extensions: Rank2Types