monomorphic 0.0.2.0 → 0.0.3.0

raw patch · 2 files changed

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

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

Files

• Data/Type/Monomorphic.hs +8/−8
• monomorphic.cabal +1/−1

@@ -1,10 +1,10 @@ {-# LANGUAGE DataKinds, ExistentialQuantification, FlexibleContexts, GADTs #-} {-# LANGUAGE PolyKinds, RankNTypes, TypeFamilies, TypeOperators            #-} {-# LANGUAGE UndecidableInstances                                          #-}-module Data.Type.Monomorphic ( (:.:)(..), Monomorphic (..), Monomorphicable(..)-                             , demote', demoteCompd, monomorphicComp-                             , withPolymorhic, liftPoly, viaPoly-                             ) where+module Data.Type.Monomorphic ( Monomorphic (..), Monomorphicable(..)+                   , demote', demoteComposed, monomorphicCompose+                   , withPolymorhic, liftPoly, viaPoly, (:.:)(..)+                   ) where import Control.Arrow  newtype (:.:) f g a = Comp (f (g a))@@ -26,11 +26,11 @@ demote' = demote . Monomorphic  -- | Demote polymorphic nested types directly into monomorphic representation.-demoteCompd :: Monomorphicable (f :.: g) => f (g a) -> MonomorphicRep (f :.: g)-demoteCompd = demote . Monomorphic . Comp+demoteComposed :: Monomorphicable (f :.: g) => f (g a) -> MonomorphicRep (f :.: g)+demoteComposed = demote . Monomorphic . Comp -monomorphicComp :: f (g a) -> Monomorphic (f :.: g)-monomorphicComp = Monomorphic . Comp+monomorphicCompose :: f (g a) -> Monomorphic (f :.: g)+monomorphicCompose = Monomorphic . Comp  -- | Apply dependently-typed function to the monomorphic representation. withPolymorhic :: Monomorphicable k

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                monomorphic-version:             0.0.2.0+version:             0.0.3.0 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