resin 0.2.0.2 → 0.2.0.3
raw patch · 2 files changed
+6/−8 lines, 2 filesdep ~basedep ~semigroupoidsPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, semigroupoids
API changes (from Hackage documentation)
- Resin.Binders.Tree.Internal: instance forall k (f :: k -> GHC.Types.*). Data.Semigroupoid.Semigroupoid (Resin.Binders.Tree.Internal.Extract f)
- Resin.Binders.Tree.Internal: instance forall k (f :: k -> GHC.Types.*). Data.Semigroupoid.Semigroupoid (Resin.Binders.Tree.Internal.Inject f)
+ Resin.Binders.Tree.Internal: instance forall k (f :: k -> *). Data.Semigroupoid.Semigroupoid (Resin.Binders.Tree.Internal.Extract f)
+ Resin.Binders.Tree.Internal: instance forall k (f :: k -> *). Data.Semigroupoid.Semigroupoid (Resin.Binders.Tree.Internal.Inject f)
- Resin.Binders.Tree: treeElimination :: TestEquality f => Inject f a b -> Extract f b c -> (TreeEq f a c)
+ Resin.Binders.Tree: treeElimination :: TestEquality f => Inject f a b -> Extract f b c -> TreeEq f a c
- Resin.Binders.Tree.Internal: [CompactCompose] :: forall f i j. (IxEq f i i) -> (IxEq f j j) -> Natural -> Inject f i j
+ Resin.Binders.Tree.Internal: [CompactCompose] :: forall f i j. IxEq f i i -> IxEq f j j -> Natural -> Inject f i j
- Resin.Binders.Tree.Internal: [Dual] :: ((Inject f) b a) -> Extract f a b
+ Resin.Binders.Tree.Internal: [Dual] :: Inject f b a -> Extract f a b
- Resin.Binders.Tree.Internal: treeElimination :: TestEquality f => Inject f a b -> Extract f b c -> (TreeEq f a c)
+ Resin.Binders.Tree.Internal: treeElimination :: TestEquality f => Inject f a b -> Extract f b c -> TreeEq f a c
Files
- resin.cabal +6/−6
- src/Resin/Binders/Tree/Internal.hs +0/−2
resin.cabal view
@@ -1,3 +1,4 @@+cabal-version: 2.2 -- Initial resin.cabal generated by cabal init. For further documentation, -- see http://haskell.org/cabal/users-guide/ @@ -10,7 +11,7 @@ -- PVP summary: +-+------- breaking API changes -- | | +----- non-breaking API additions -- | | | +--- code changes with no API change-version: 0.2.0.2+version: 0.2.0.3 -- A short (one-line) description of the package. synopsis: High performance variable binders@@ -23,7 +24,7 @@ -- The license under which the package is released.-license: BSD2+license: BSD-2-Clause -- The file containing the license text. license-file: LICENSE@@ -51,9 +52,8 @@ --- Constraint on the version of Cabal needed to build this package.-cabal-version: >=1.10 + source-repository head type: git location: https://github.com/cartazio/resin.git@@ -77,10 +77,10 @@ -- other-extensions: -- Other library packages from which modules are imported.- build-depends: base >= 4.8 && < 4.12+ build-depends: base >= 4.8 && < 5 ,ghc-prim -- >= 0.4 && < 0.6- ,semigroupoids >= 5.0 && < 5.3+ ,semigroupoids >= 5.0 && < 5.4 ,ralist == 0.2.*
src/Resin/Binders/Tree/Internal.hs view
@@ -16,14 +16,12 @@ ,jumpDepthInject -- not sure if this operation is safe ,jumpDepthExtract -- not sure if thats safe too ) where- import Numeric.Natural import Data.Semigroupoid --import Data.Coerce import Unsafe.Coerce (unsafeCoerce) import Data.Type.Equality --import qualified Data.Semigroupoid.Dual as DL-