monomorphic 0.0.3.2 → 0.0.3.3

raw patch · 2 files changed

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

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Data.Type.Monomorphic: instance (Read (MonomorphicRep k k1), Monomorphicable k k1) => Read (Monomorphic k k1)

- Data.Type.Monomorphic: instance (Show (MonomorphicRep k k1), Monomorphicable k k1) => Show (Monomorphic k k1)

+ Data.Type.Monomorphic: instance (Read (MonomorphicRep k1), Monomorphicable k1) => Read (Monomorphic k1)

+ Data.Type.Monomorphic: instance (Show (MonomorphicRep k1), Monomorphicable k1) => Show (Monomorphic k1)

- Data.Type.Monomorphic: Comp :: (f (g a)) -> :.: f g a

+ Data.Type.Monomorphic: Comp :: (f (g a)) -> (:.:) f g a

Data/Type/Monomorphic.hs view

@@ -42,7 +42,7 @@ -- | Flipped version of 'withPolymorhic'. liftPoly :: Monomorphicable k          => (forall a. k a -> b) -> MonomorphicRep k -> b-liftPoly = flip withPolymorhic+liftPoly f m = withPolymorhic m f  -- | Demote the function between polymorphic types into the one between monomorphic one. viaPoly :: (Monomorphicable k, Monomorphicable k')

monomorphic.cabal view

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                monomorphic-version:             0.0.3.2+version:             0.0.3.3 synopsis:            Library to convert polymorphic datatypes to/from its monomorphic represetation description:         This library provides the type-class and functions to convert between polymorphic data-types and its monomorphic representation type, such as length-indexed vectors, singletons for type-level natural numbers, etc. homepage:            https://github.com/konn/monomorphic