poly-arity 0.0.4 → 0.0.4.1

raw patch · 2 files changed

+3/−6 lines, 2 filesdep +HListPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies added: HList

API changes (from Hackage documentation)

- 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

+ 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

poly-arity.cabal view

@@ -1,5 +1,5 @@ Name:                   poly-arity-Version:                0.0.4+Version:                0.0.4.1 Author:                 Athan Clark <athan.clark@gmail.com> Maintainer:             Athan Clark <athan.clark@gmail.com> License:                BSD3@@ -16,6 +16,7 @@   Exposed-Modules:      Data.Function.Poly   Build-Depends:        base >= 4.6 && < 5                       , constraints+                      , HList >= 0.4  Test-Suite spec   Type:                 exitcode-stdio-1.0

src/Data/Function/Poly.hs view

@@ -15,11 +15,7 @@ module Data.Function.Poly where  import Data.Constraint--data HList (xs :: [*]) where-  HNil :: HList '[]-  HCons :: x -> HList xs -> HList (x ': xs)-+import Data.HList  type family TypeListToArity (xs :: [*]) (r :: *) :: * where   TypeListToArity '[] r = r -- basis