packages feed

MemoTrie 0.6.9 → 0.6.10

raw patch · 2 files changed

+6/−7 lines, 2 filesdep ~newtype-genericsPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: newtype-generics

API changes (from Hackage documentation)

- Data.MemoTrie: instance Control.Newtype.Newtype (() Data.MemoTrie.:->: a)
- Data.MemoTrie: instance Control.Newtype.Newtype ((a, b) Data.MemoTrie.:->: x)
- Data.MemoTrie: instance Control.Newtype.Newtype (Data.Either.Either a b Data.MemoTrie.:->: x)
- Data.MemoTrie: instance Control.Newtype.Newtype (Data.Void.Void Data.MemoTrie.:->: a)
- Data.MemoTrie: instance Control.Newtype.Newtype (GHC.Base.Maybe a Data.MemoTrie.:->: x)
- Data.MemoTrie: instance Control.Newtype.Newtype (GHC.Types.Bool Data.MemoTrie.:->: a)
- Data.MemoTrie: instance Data.MemoTrie.HasTrie a => Data.MemoTrie.HasTrie (GHC.Base.Maybe a)
+ Data.MemoTrie: -- | Representation of trie with domain type <tt>a</tt>
+ Data.MemoTrie: infixr 0 :->:
+ Data.MemoTrie: instance (Data.MemoTrie.HasTrie a, GHC.Base.Semigroup b) => GHC.Base.Semigroup (a Data.MemoTrie.:->: b)
+ Data.MemoTrie: instance Control.Newtype.Generics.Newtype (() Data.MemoTrie.:->: a)
+ Data.MemoTrie: instance Control.Newtype.Generics.Newtype ((a, b) Data.MemoTrie.:->: x)
+ Data.MemoTrie: instance Control.Newtype.Generics.Newtype (Data.Either.Either a b Data.MemoTrie.:->: x)
+ Data.MemoTrie: instance Control.Newtype.Generics.Newtype (Data.Void.Void Data.MemoTrie.:->: a)
+ Data.MemoTrie: instance Control.Newtype.Generics.Newtype (GHC.Maybe.Maybe a Data.MemoTrie.:->: x)
+ Data.MemoTrie: instance Control.Newtype.Generics.Newtype (GHC.Types.Bool Data.MemoTrie.:->: a)
+ Data.MemoTrie: instance Data.MemoTrie.HasTrie a => Data.MemoTrie.HasTrie (GHC.Maybe.Maybe a)
- Data.MemoTrie: (@.@) :: (HasTrie a, HasTrie b) => (b :->: c) -> (a :->: b) -> (a :->: c)
+ Data.MemoTrie: (@.@) :: (HasTrie a, HasTrie b) => (b :->: c) -> (a :->: b) -> a :->: c
- Data.MemoTrie: enumerateGeneric :: (Generic a, HasTrie (Reg a)) => ((a :->: b) -> (Reg a :->: b)) -> (a :->: b) -> [(a, b)]
+ Data.MemoTrie: enumerateGeneric :: (Generic a, HasTrie (Reg a)) => ((a :->: b) -> Reg a :->: b) -> (a :->: b) -> [(a, b)]
- Data.MemoTrie: inTrie :: (HasTrie a, HasTrie c) => ((a -> b) -> (c -> d)) -> ((a :->: b) -> (c :->: d))
+ Data.MemoTrie: inTrie :: (HasTrie a, HasTrie c) => ((a -> b) -> c -> d) -> (a :->: b) -> c :->: d
- Data.MemoTrie: inTrie2 :: (HasTrie a, HasTrie c, HasTrie e) => ((a -> b) -> (c -> d) -> (e -> f)) -> ((a :->: b) -> (c :->: d) -> (e :->: f))
+ Data.MemoTrie: inTrie2 :: (HasTrie a, HasTrie c, HasTrie e) => ((a -> b) -> (c -> d) -> e -> f) -> (a :->: b) -> (c :->: d) -> e :->: f
- Data.MemoTrie: inTrie3 :: (HasTrie a, HasTrie c, HasTrie e, HasTrie g) => ((a -> b) -> (c -> d) -> (e -> f) -> (g -> h)) -> ((a :->: b) -> (c :->: d) -> (e :->: f) -> (g :->: h))
+ Data.MemoTrie: inTrie3 :: (HasTrie a, HasTrie c, HasTrie e, HasTrie g) => ((a -> b) -> (c -> d) -> (e -> f) -> g -> h) -> (a :->: b) -> (c :->: d) -> (e :->: f) -> g :->: h
- Data.MemoTrie: memo :: HasTrie t => (t -> a) -> (t -> a)
+ Data.MemoTrie: memo :: HasTrie t => (t -> a) -> t -> a
- Data.MemoTrie: memo2 :: (HasTrie s, HasTrie t) => (s -> t -> a) -> (s -> t -> a)
+ Data.MemoTrie: memo2 :: (HasTrie s, HasTrie t) => (s -> t -> a) -> s -> t -> a
- Data.MemoTrie: memo3 :: (HasTrie r, HasTrie s, HasTrie t) => (r -> s -> t -> a) -> (r -> s -> t -> a)
+ Data.MemoTrie: memo3 :: (HasTrie r, HasTrie s, HasTrie t) => (r -> s -> t -> a) -> r -> s -> t -> a
- Data.MemoTrie: memoFix :: HasTrie a => ((a -> b) -> (a -> b)) -> (a -> b)
+ Data.MemoTrie: memoFix :: HasTrie a => ((a -> b) -> a -> b) -> a -> b
- Data.MemoTrie: mup :: HasTrie t => (b -> c) -> (t -> b) -> (t -> c)
+ Data.MemoTrie: mup :: HasTrie t => (b -> c) -> (t -> b) -> t -> c
- Data.MemoTrie: trie :: HasTrie a => (a -> b) -> (a :->: b)
+ Data.MemoTrie: trie :: HasTrie a => (a -> b) -> a :->: b
- Data.MemoTrie: trieGeneric :: (Generic a, HasTrie (Reg a)) => ((Reg a :->: b) -> (a :->: b)) -> (a -> b) -> (a :->: b)
+ Data.MemoTrie: trieGeneric :: (Generic a, HasTrie (Reg a)) => ((Reg a :->: b) -> a :->: b) -> (a -> b) -> a :->: b
- Data.MemoTrie: untrie :: HasTrie a => (a :->: b) -> (a -> b)
+ Data.MemoTrie: untrie :: HasTrie a => (a :->: b) -> a -> b
- Data.MemoTrie: untrieGeneric :: (Generic a, HasTrie (Reg a)) => ((a :->: b) -> (Reg a :->: b)) -> (a :->: b) -> (a -> b)
+ Data.MemoTrie: untrieGeneric :: (Generic a, HasTrie (Reg a)) => ((a :->: b) -> Reg a :->: b) -> (a :->: b) -> a -> b

Files

MemoTrie.cabal view
@@ -1,5 +1,5 @@ Name:                MemoTrie-Version:             0.6.9+Version:             0.6.10 Cabal-Version:       >= 1.10 Synopsis:            Trie-based memo functions Category:            Data@@ -10,11 +10,11 @@   .   Project wiki page: <http://haskell.org/haskellwiki/MemoTrie>   .-  &#169; 2008-2016 by Conal Elliott; BSD3 license.+  &#199; 2008-2019 by Conal Elliott; BSD3 license. Homepage:            https://github.com/conal/MemoTrie Author:              Conal Elliott  Maintainer:          conal@conal.net-Copyright:           (c) 2008-2016 by Conal Elliott+Copyright:           (c) 2008-2019 by Conal Elliott License:             BSD3 License-File:        COPYING Stability:           experimental@@ -33,9 +33,9 @@   hs-Source-Dirs:      src    if impl(ghc >= 7.10.0)-     Build-Depends: base >=4.8.0.0 && <5, newtype-generics >= 0.4+     Build-Depends: base >=4.8.0.0 && <5, newtype-generics >= 0.5.3   else-     Build-Depends: base <4.8.0.0, void, newtype-generics >= 0.4+     Build-Depends: base <4.8.0.0, void, newtype-generics >= 0.5.3    Exposed-Modules:                           Data.MemoTrie@@ -48,7 +48,6 @@     buildable:         False   main-is:             Generic.hs   ghc-options:         -Wall-  default-language: Haskell2010   hs-source-dirs:      examples   default-language:    Haskell2010   build-depends:       base, MemoTrie
src/Data/MemoTrie.hs view
@@ -76,7 +76,7 @@ import Data.Function (on) import GHC.Generics -import Control.Newtype+import Control.Newtype.Generics  import Data.Void (Void)