call-haskell-from-anything 1.0.0.0 → 1.0.1.0

raw patch · 2 files changed

+1/−7 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

Files

• call-haskell-from-anything.cabal +1/−1
• src/FFI/Anything/TypeUncurry/DataKinds.hs +0/−6

@@ -1,5 +1,5 @@ name:          call-haskell-from-anything-version:       1.0.0.0+version:       1.0.1.0 license:       MIT author:        Niklas Hambüchen (mail@nh2.me) maintainer:    Niklas Hambüchen (mail@nh2.me)

@@ -61,7 +61,6 @@  -- | The result of a function, e.g. @r@ for @String -> Int -> r@. type family Result f :: * where-  Result (IO r) = IO r   Result (a -> f) = Result f   Result r = r @@ -79,11 +78,6 @@ -- can be translated to @TypeList Nil -> r@. instance (ToTypeList f l r) => ToTypeList (a -> f) (a ': l) r where   translate f (a ::: l) = translate (f a) l---- | Base case: An IO function without arguments (just @IO r@)--- can be translated to @TypeList Nil -> r@.-instance ToTypeList (IO r) '[] (IO r) where-  translate ior Nil = ior  -- | Base case: A value @r@ can be translated to @TypeList Nil -> r@. instance (Param f ~ '[], Result f ~ r, f ~ r) => ToTypeList f '[] r where