haskus-utils-data 1.0 → 1.1

raw patch · 3 files changed

+12/−12 lines, 3 filesdep ~basedep ~haskus-utils-typesPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base, haskus-utils-types

API changes (from Hackage documentation)

Files

• haskus-utils-data.cabal +8/−9
• src/lib/Haskus/Utils/HList.hs +1/−1
• src/lib/Haskus/Utils/Tuple.hs +3/−2

@@ -1,17 +1,17 @@-name: haskus-utils-data-version: 1.0 cabal-version: >=1.20-build-type: Simple+name: haskus-utils-data+version: 1.1 license: BSD3 license-file: LICENSE copyright: Sylvain Henry 2018 maintainer: sylvain@haskus.fr+author: Sylvain Henry homepage: http://www.haskus.org synopsis: Haskus utility modules description:     Haskus data utility modules category: System-author: Sylvain Henry+build-type: Simple  source-repository head     type: git@@ -27,15 +27,14 @@         Haskus.Utils.Map.Strict         Haskus.Utils.Maybe         Haskus.Utils.Tuple+    hs-source-dirs: src/lib+    default-language: Haskell2010+    ghc-options: -Wall     build-depends:         base >=4.9 && <4.12,-        haskus-utils-types ==1.0.*,+        haskus-utils-types ==1.1.*,         extra >=1.4 && <1.7,         recursion-schemes ==5.0.*,         containers ==0.5.*,         mtl ==2.2.*,         transformers >=0.4 && <0.6-    default-language: Haskell2010-    hs-source-dirs: src/lib-    ghc-options: -Wall-

@@ -139,7 +139,7 @@  -- | Like HFoldl but only use types, not values! ----- It allows us to foldr over a list of types, without any associated hlist of+-- It allows us to foldl over a list of types, without any associated hlist of -- values. class HFoldl' f (z :: *) xs (r :: *) where     hFoldl' :: f -> z -> HList xs -> r

@@ -5,6 +5,7 @@ {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE PolyKinds #-}  -- | Tuple helpers module Haskus.Utils.Tuple@@ -54,7 +55,7 @@ newtype Single a = Single a deriving (Show,Eq)  -type family TupleToList t where+type family TupleToList (t :: k) :: [k] where    TupleToList (Single a)                                            = '[a]    TupleToList (a,b)                                                 = '[a,b]    TupleToList (a,b,c)                                               = '[a,b,c]@@ -82,7 +83,7 @@    TupleToList (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y)   = '[a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y]    TupleToList (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z) = '[a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z] -type family ListToTuple t where+type family ListToTuple (t :: [k]) :: k where    ListToTuple '[a]                                                   = Single a    ListToTuple '[a,b]                                                 = (a,b)    ListToTuple '[a,b,c]                                               = (a,b,c)