poly-arity 0.0.3 → 0.0.4

raw patch · 2 files changed

+8/−5 lines, 2 filesdep −HListdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies removed: HList

Dependency ranges changed: base

API changes (from Hackage documentation)

- Data.Function.Poly: instance (ConsumeArity xs f r, ExpectArity (x : xs) (x -> f)) => ConsumeArity (x : xs) (x -> f) r

- Data.Function.Poly: instance ConsumeArity '[] r r

+ Data.Function.Poly: HCons :: x -> HList xs -> HList (x : xs)

+ Data.Function.Poly: HNil :: HList '[]

+ Data.Function.Poly: data HList (xs :: [*])

+ Data.Function.Poly: instance (Data.Function.Poly.ConsumeArity xs f r, Data.Function.Poly.ExpectArity (x : xs) (x -> f)) => Data.Function.Poly.ConsumeArity (x : xs) (x -> f) r

+ Data.Function.Poly: instance Data.Function.Poly.ConsumeArity '[] r r

poly-arity.cabal view

@@ -1,5 +1,5 @@ Name:                   poly-arity-Version:                0.0.3+Version:                0.0.4 Author:                 Athan Clark <athan.clark@gmail.com> Maintainer:             Athan Clark <athan.clark@gmail.com> License:                BSD3@@ -14,9 +14,8 @@   HS-Source-Dirs:       src   GHC-Options:          -Wall   Exposed-Modules:      Data.Function.Poly-  Build-Depends:        base >= 4 && < 5+  Build-Depends:        base >= 4.6 && < 5                       , constraints-                      , HList  Test-Suite spec   Type:                 exitcode-stdio-1.0

src/Data/Function/Poly.hs view

@@ -1,5 +1,6 @@ {-# LANGUAGE-    TypeFamilies+    GADTs+  , TypeFamilies   , KindSignatures   , DataKinds   , ConstraintKinds@@ -14,7 +15,10 @@ module Data.Function.Poly where  import Data.Constraint-import Data.HList++data HList (xs :: [*]) where+  HNil :: HList '[]+  HCons :: x -> HList xs -> HList (x ': xs)   type family TypeListToArity (xs :: [*]) (r :: *) :: * where