packages feed

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 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.