unbound-generics-unify 0.1.0.0 → 0.1.1
raw patch · 2 files changed
+5/−2 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Unbound.Generics.Unify: data UnificationMT t (m :: Type -> Type) a
+ Unbound.Generics.Unify: UnificationMT :: StateT (Map (Name t) t) m a -> UnificationMT t (m :: Type -> Type) a
+ Unbound.Generics.Unify: [unUnificationMT] :: UnificationMT t (m :: Type -> Type) a -> StateT (Map (Name t) t) m a
+ Unbound.Generics.Unify: instance Unbound.Generics.LocallyNameless.Fresh.Fresh m => Unbound.Generics.LocallyNameless.Fresh.Fresh (Unbound.Generics.Unify.UnificationMT t m)
+ Unbound.Generics.Unify: newtype UnificationMT t (m :: Type -> Type) a
Files
src/Unbound/Generics/Unify.hs view
@@ -13,7 +13,7 @@ -- ** Including fresh creation UnificationFreshM, runUnificationFresh, -- ** As a monad transformer- UnificationMT, runUnificationT,+ UnificationMT(..), runUnificationT, -- * Generic methods GUnify(..) ) where@@ -79,6 +79,9 @@ instance (Monad m) => Unification t (UnificationMT t m) where currentSubst = UnificationMT $ get recordSubst v t = UnificationMT $ modify (insert v t)++instance (Fresh m) => Fresh (UnificationMT t m) where+ fresh = UnificationMT . fresh -- | Tries to unify two terms, giving back a common term, or a unification error. --
unbound-generics-unify.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: unbound-generics-unify-version: 0.1.0.0+version: 0.1.1 synopsis: Unification based on unbound-generics -- description: license: BSD-3-Clause