fin-int 0.2.0 → 0.2.0.1
raw patch · 3 files changed
+19/−13 lines, 3 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Data.Fin.Int.Explicit: instance (m GHC.TypeNats.<= n) => Data.Type.Attenuation.Internal.Attenuable (Data.Fin.Int.Explicit.Fin m) (Data.Fin.Int.Explicit.Fin n)
+ Data.Fin.Int.Explicit: instance (m Data.Type.Ord.<= n) => Data.Type.Attenuation.Internal.Attenuable (Data.Fin.Int.Explicit.Fin m) (Data.Fin.Int.Explicit.Fin n)
Files
- CHANGELOG.md +7/−3
- fin-int.cabal +10/−10
- src/Data/Fin/Int/Explicit.hs +2/−0
CHANGELOG.md view
@@ -1,9 +1,13 @@-# 0.1.0.0+# 0.2.0.1 (2023-03-12) -Initial version.+* Fix build on GHC 9.4 and 9.6 by adding `UndecidableInstances`. -# 0.2.0+# 0.2.0 (2021-10-11) * Add a type role for `Fin`, which was formerly `Coercible` in unsafe ways. * Fix the `Read` instance erroring on out-of-range values; it now merely fails. * Add `Attenuable` instances for `attenuation-0.2.0`.++# 0.1.0.0 (2021-09-07)++Initial version.
fin-int.cabal view
@@ -1,22 +1,22 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.34.4.+-- This file has been generated from package.yaml by hpack version 0.35.1. -- -- see: https://github.com/sol/hpack name: fin-int-version: 0.2.0+version: 0.2.0.1 synopsis: Finite sets of static size description: This provides a newtype @Fin@ containing an @Int@ with an invariant that its value is less than its type-level @Nat@ bound. It aims to have low overhead compared to @Int@s, and is suitable for use as the index type of length-indexed vectors. category: Data-homepage: https://github.com/google/hs-fin-vec#readme-bug-reports: https://github.com/google/hs-fin-vec/issues+homepage: https://github.com/awpr/fin-vec#readme+bug-reports: https://github.com/awpr/fin-vec/issues author: Lennart Augustsson <lennart@augustsson.net>-maintainer: Andrew Pritchard <awpr@google.com>-copyright: 2017-2021 Google LLC+maintainer: Andrew Pritchard <awpritchard@gmail.com>+copyright: 2017-2021 Google LLC; 2022 Andrew Pritchard license: Apache-2.0 license-file: LICENSE build-type: Simple@@ -26,7 +26,7 @@ source-repository head type: git- location: https://github.com/google/hs-fin-vec+ location: https://github.com/awpr/fin-vec subdir: fin-int library@@ -38,10 +38,10 @@ build-depends: QuickCheck >=2.5 && <2.15 , attenuation >=0.1 && <0.3- , base >=4.12 && <4.16+ , base >=4.12 && <4.19 , data-default-class >=0.0 && <0.2 , deepseq >=1.1 && <1.5- , portray >=0.1 && <0.3+ , portray >=0.1 && <0.4 , portray-diff ==0.1.*- , sint ==0.1.*+ , sint >=0.1 && <0.3 default-language: Haskell2010
src/Data/Fin/Int/Explicit.hs view
@@ -1,4 +1,5 @@ -- Copyright 2017-2021 Google LLC+-- Copyright 2022 Andrew Pritchard -- -- Licensed under the Apache License, Version 2.0 (the "License"); -- you may not use this file except in compliance with the License.@@ -29,6 +30,7 @@ {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-}+{-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE ViewPatterns #-} -- | Finite natural numbers, with upper bound as part of the type.