unbound-generics 0.4.4 → 0.4.5

raw patch · 2 files changed

+10/−5 lines, 2 filesdep ~ansi-wl-pprintdep ~containersPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: ansi-wl-pprint, containers

API changes (from Hackage documentation)

- Unbound.Generics.LocallyNameless.Alpha: instance (GHC.Real.Integral n, Unbound.Generics.LocallyNameless.Alpha.Alpha n) => Unbound.Generics.LocallyNameless.Alpha.Alpha (GHC.Real.Ratio n)

- Unbound.Generics.LocallyNameless.Alpha: instance (Unbound.Generics.LocallyNameless.Alpha.Alpha a, Unbound.Generics.LocallyNameless.Alpha.Alpha b) => Unbound.Generics.LocallyNameless.Alpha.Alpha (Data.Either.Either a b)

- Unbound.Generics.LocallyNameless.Alpha: instance (Unbound.Generics.LocallyNameless.Alpha.GAlpha f, Unbound.Generics.LocallyNameless.Alpha.GAlpha g) => Unbound.Generics.LocallyNameless.Alpha.GAlpha (f GHC.Generics.:*: g)

- Unbound.Generics.LocallyNameless.Alpha: instance Data.Foldable.Foldable Unbound.Generics.LocallyNameless.Alpha.DisjointSet

- Unbound.Generics.LocallyNameless.Alpha: instance Data.Typeable.Internal.Typeable a => Unbound.Generics.LocallyNameless.Alpha.Alpha (Unbound.Generics.LocallyNameless.Name.Name a)

- Unbound.Generics.LocallyNameless.Alpha: instance GHC.Base.Applicative (Unbound.Generics.LocallyNameless.Alpha.FFM f)

- Unbound.Generics.LocallyNameless.Alpha: instance GHC.Base.Functor (Unbound.Generics.LocallyNameless.Alpha.FFM f)

- Unbound.Generics.LocallyNameless.Alpha: instance GHC.Base.Monad (Unbound.Generics.LocallyNameless.Alpha.FFM f)

- Unbound.Generics.LocallyNameless.Alpha: instance GHC.Base.Monoid Unbound.Generics.LocallyNameless.Alpha.NamePatFind

- Unbound.Generics.LocallyNameless.Alpha: instance GHC.Base.Monoid Unbound.Generics.LocallyNameless.Alpha.NthPatFind

- Unbound.Generics.LocallyNameless.Alpha: instance GHC.Base.Semigroup Unbound.Generics.LocallyNameless.Alpha.NamePatFind

- Unbound.Generics.LocallyNameless.Alpha: instance GHC.Base.Semigroup Unbound.Generics.LocallyNameless.Alpha.NthPatFind

- Unbound.Generics.LocallyNameless.Alpha: instance GHC.Classes.Eq a => GHC.Base.Monoid (Unbound.Generics.LocallyNameless.Alpha.DisjointSet a)

- Unbound.Generics.LocallyNameless.Alpha: instance GHC.Classes.Eq a => GHC.Base.Semigroup (Unbound.Generics.LocallyNameless.Alpha.DisjointSet a)

- Unbound.Generics.LocallyNameless.Alpha: instance Unbound.Generics.LocallyNameless.Alpha.Alpha a => Unbound.Generics.LocallyNameless.Alpha.Alpha (GHC.Base.NonEmpty a)

- Unbound.Generics.LocallyNameless.Alpha: instance Unbound.Generics.LocallyNameless.Alpha.Alpha a => Unbound.Generics.LocallyNameless.Alpha.Alpha (GHC.Maybe.Maybe a)

- Unbound.Generics.LocallyNameless.Alpha: instance Unbound.Generics.LocallyNameless.Alpha.Alpha c => Unbound.Generics.LocallyNameless.Alpha.GAlpha (GHC.Generics.K1 i c)

- Unbound.Generics.LocallyNameless.Alpha: instance Unbound.Generics.LocallyNameless.Alpha.GAlpha GHC.Generics.U1

- Unbound.Generics.LocallyNameless.Alpha: instance Unbound.Generics.LocallyNameless.Alpha.GAlpha GHC.Generics.V1

- Unbound.Generics.LocallyNameless.Alpha: instance Unbound.Generics.LocallyNameless.Alpha.GAlpha f => Unbound.Generics.LocallyNameless.Alpha.GAlpha (GHC.Generics.M1 i c f)

- Unbound.Generics.LocallyNameless.Bind: instance (GHC.Show.Show p, GHC.Show.Show t) => GHC.Show.Show (Unbound.Generics.LocallyNameless.Bind.Bind p t)

- Unbound.Generics.LocallyNameless.Bind: instance GHC.Generics.Generic (Unbound.Generics.LocallyNameless.Bind.Bind p t)

- Unbound.Generics.LocallyNameless.Embed: instance GHC.Generics.Generic (Unbound.Generics.LocallyNameless.Embed.Embed t)

- Unbound.Generics.LocallyNameless.Embed: instance GHC.Show.Show a => GHC.Show.Show (Unbound.Generics.LocallyNameless.Embed.Embed a)

- Unbound.Generics.LocallyNameless.Fresh: instance (GHC.Base.Monoid w, Unbound.Generics.LocallyNameless.Fresh.Fresh m) => Unbound.Generics.LocallyNameless.Fresh.Fresh (Control.Monad.Trans.Writer.Lazy.WriterT w m)

- Unbound.Generics.LocallyNameless.Fresh: instance Control.Monad.Fail.MonadFail m => Control.Monad.Fail.MonadFail (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

- Unbound.Generics.LocallyNameless.Fresh: instance Control.Monad.Fix.MonadFix m => Control.Monad.Fix.MonadFix (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

- Unbound.Generics.LocallyNameless.Fresh: instance GHC.Base.Functor m => GHC.Base.Functor (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

- Unbound.Generics.LocallyNameless.Fresh: instance GHC.Base.Monad m => GHC.Base.Applicative (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

- Unbound.Generics.LocallyNameless.Fresh: instance GHC.Base.Monad m => GHC.Base.Monad (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

- Unbound.Generics.LocallyNameless.Fresh: instance GHC.Base.Monad m => Unbound.Generics.LocallyNameless.Fresh.Fresh (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

- Unbound.Generics.LocallyNameless.Fresh: instance GHC.Base.MonadPlus m => GHC.Base.Alternative (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

- Unbound.Generics.LocallyNameless.Fresh: instance GHC.Base.MonadPlus m => GHC.Base.MonadPlus (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

- Unbound.Generics.LocallyNameless.Ignore: instance GHC.Generics.Generic (Unbound.Generics.LocallyNameless.Ignore.Ignore t)

- Unbound.Generics.LocallyNameless.Ignore: instance GHC.Show.Show t => GHC.Show.Show (Unbound.Generics.LocallyNameless.Ignore.Ignore t)

- Unbound.Generics.LocallyNameless.Ignore: instance GHC.Show.Show t => Unbound.Generics.LocallyNameless.Alpha.Alpha (Unbound.Generics.LocallyNameless.Ignore.Ignore t)

- Unbound.Generics.LocallyNameless.Internal.GSubst: instance (Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b f, Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b g) => Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b (f GHC.Generics.:*: g)

- Unbound.Generics.LocallyNameless.Internal.GSubst: instance Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b GHC.Generics.U1

- Unbound.Generics.LocallyNameless.Internal.GSubst: instance Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b GHC.Generics.V1

- Unbound.Generics.LocallyNameless.Internal.GSubst: instance Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b f => Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b (GHC.Generics.M1 i c f)

- Unbound.Generics.LocallyNameless.Internal.Iso: instance GHC.Base.Functor (Unbound.Generics.LocallyNameless.Internal.Iso.Exchange a b s)

- Unbound.Generics.LocallyNameless.LFresh: instance (GHC.Base.Monoid w, Unbound.Generics.LocallyNameless.LFresh.LFresh m) => Unbound.Generics.LocallyNameless.LFresh.LFresh (Control.Monad.Trans.Writer.Lazy.WriterT w m)

- Unbound.Generics.LocallyNameless.LFresh: instance Control.Monad.Fail.MonadFail m => Control.Monad.Fail.MonadFail (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

- Unbound.Generics.LocallyNameless.LFresh: instance Control.Monad.Fix.MonadFix m => Control.Monad.Fix.MonadFix (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

- Unbound.Generics.LocallyNameless.LFresh: instance GHC.Base.Alternative m => GHC.Base.Alternative (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

- Unbound.Generics.LocallyNameless.LFresh: instance GHC.Base.Applicative m => GHC.Base.Applicative (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

- Unbound.Generics.LocallyNameless.LFresh: instance GHC.Base.Functor m => GHC.Base.Functor (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

- Unbound.Generics.LocallyNameless.LFresh: instance GHC.Base.Monad m => GHC.Base.Monad (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

- Unbound.Generics.LocallyNameless.LFresh: instance GHC.Base.Monad m => Unbound.Generics.LocallyNameless.LFresh.LFresh (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

- Unbound.Generics.LocallyNameless.LFresh: instance GHC.Base.MonadPlus m => GHC.Base.MonadPlus (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

- Unbound.Generics.LocallyNameless.Name: instance GHC.Generics.Generic (Unbound.Generics.LocallyNameless.Name.Name a)

- Unbound.Generics.LocallyNameless.Name: instance GHC.Show.Show (Unbound.Generics.LocallyNameless.Name.Name a)

- Unbound.Generics.LocallyNameless.Name: instance GHC.Show.Show Unbound.Generics.LocallyNameless.Name.AnyName

- Unbound.Generics.LocallyNameless.Rebind: instance (GHC.Show.Show p1, GHC.Show.Show p2) => GHC.Show.Show (Unbound.Generics.LocallyNameless.Rebind.Rebind p1 p2)

- Unbound.Generics.LocallyNameless.Rebind: instance GHC.Generics.Generic (Unbound.Generics.LocallyNameless.Rebind.Rebind p1 p2)

- Unbound.Generics.LocallyNameless.Rec: instance GHC.Generics.Generic (Unbound.Generics.LocallyNameless.Rec.Rec p)

- Unbound.Generics.LocallyNameless.Rec: instance GHC.Generics.Generic (Unbound.Generics.LocallyNameless.Rec.TRec p)

- Unbound.Generics.LocallyNameless.Rec: instance GHC.Show.Show a => GHC.Show.Show (Unbound.Generics.LocallyNameless.Rec.Rec a)

- Unbound.Generics.LocallyNameless.Rec: instance GHC.Show.Show a => GHC.Show.Show (Unbound.Generics.LocallyNameless.Rec.TRec a)

- Unbound.Generics.LocallyNameless.Shift: instance GHC.Base.Functor Unbound.Generics.LocallyNameless.Shift.Shift

- Unbound.Generics.LocallyNameless.Shift: instance GHC.Show.Show e => GHC.Show.Show (Unbound.Generics.LocallyNameless.Shift.Shift e)

- Unbound.Generics.LocallyNameless.Subst: instance (Unbound.Generics.LocallyNameless.Subst.Subst c a, Unbound.Generics.LocallyNameless.Subst.Subst c b) => Unbound.Generics.LocallyNameless.Subst.Subst c (Data.Either.Either a b)

- Unbound.Generics.LocallyNameless.Subst: instance Unbound.Generics.LocallyNameless.Subst.Subst b c => Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b (GHC.Generics.K1 i c)

- Unbound.Generics.LocallyNameless.Subst: instance Unbound.Generics.LocallyNameless.Subst.Subst c a => Unbound.Generics.LocallyNameless.Subst.Subst c (GHC.Base.NonEmpty a)

- Unbound.Generics.LocallyNameless.Subst: instance Unbound.Generics.LocallyNameless.Subst.Subst c a => Unbound.Generics.LocallyNameless.Subst.Subst c (GHC.Maybe.Maybe a)

- Unbound.Generics.PermM: instance GHC.Classes.Ord a => GHC.Base.Monoid (Unbound.Generics.PermM.Perm a)

- Unbound.Generics.PermM: instance GHC.Classes.Ord a => GHC.Base.Semigroup (Unbound.Generics.PermM.Perm a)

- Unbound.Generics.PermM: instance GHC.Show.Show a => GHC.Show.Show (Unbound.Generics.PermM.PartialPerm a)

- Unbound.Generics.PermM: instance GHC.Show.Show a => GHC.Show.Show (Unbound.Generics.PermM.Perm a)

+ Unbound.Generics.LocallyNameless.Alpha: instance (GHC.Internal.Real.Integral n, Unbound.Generics.LocallyNameless.Alpha.Alpha n) => Unbound.Generics.LocallyNameless.Alpha.Alpha (GHC.Internal.Real.Ratio n)

+ Unbound.Generics.LocallyNameless.Alpha: instance (Unbound.Generics.LocallyNameless.Alpha.Alpha a, Unbound.Generics.LocallyNameless.Alpha.Alpha b) => Unbound.Generics.LocallyNameless.Alpha.Alpha (GHC.Internal.Data.Either.Either a b)

+ Unbound.Generics.LocallyNameless.Alpha: instance (Unbound.Generics.LocallyNameless.Alpha.GAlpha f, Unbound.Generics.LocallyNameless.Alpha.GAlpha g) => Unbound.Generics.LocallyNameless.Alpha.GAlpha (f GHC.Internal.Generics.:*: g)

+ Unbound.Generics.LocallyNameless.Alpha: instance GHC.Classes.Eq a => GHC.Internal.Base.Monoid (Unbound.Generics.LocallyNameless.Alpha.DisjointSet a)

+ Unbound.Generics.LocallyNameless.Alpha: instance GHC.Classes.Eq a => GHC.Internal.Base.Semigroup (Unbound.Generics.LocallyNameless.Alpha.DisjointSet a)

+ Unbound.Generics.LocallyNameless.Alpha: instance GHC.Internal.Base.Applicative (Unbound.Generics.LocallyNameless.Alpha.FFM f)

+ Unbound.Generics.LocallyNameless.Alpha: instance GHC.Internal.Base.Functor (Unbound.Generics.LocallyNameless.Alpha.FFM f)

+ Unbound.Generics.LocallyNameless.Alpha: instance GHC.Internal.Base.Monad (Unbound.Generics.LocallyNameless.Alpha.FFM f)

+ Unbound.Generics.LocallyNameless.Alpha: instance GHC.Internal.Base.Monoid Unbound.Generics.LocallyNameless.Alpha.NamePatFind

+ Unbound.Generics.LocallyNameless.Alpha: instance GHC.Internal.Base.Monoid Unbound.Generics.LocallyNameless.Alpha.NthPatFind

+ Unbound.Generics.LocallyNameless.Alpha: instance GHC.Internal.Base.Semigroup Unbound.Generics.LocallyNameless.Alpha.NamePatFind

+ Unbound.Generics.LocallyNameless.Alpha: instance GHC.Internal.Base.Semigroup Unbound.Generics.LocallyNameless.Alpha.NthPatFind

+ Unbound.Generics.LocallyNameless.Alpha: instance GHC.Internal.Data.Foldable.Foldable Unbound.Generics.LocallyNameless.Alpha.DisjointSet

+ Unbound.Generics.LocallyNameless.Alpha: instance GHC.Internal.Data.Typeable.Internal.Typeable a => Unbound.Generics.LocallyNameless.Alpha.Alpha (Unbound.Generics.LocallyNameless.Name.Name a)

+ Unbound.Generics.LocallyNameless.Alpha: instance Unbound.Generics.LocallyNameless.Alpha.Alpha a => Unbound.Generics.LocallyNameless.Alpha.Alpha (GHC.Internal.Base.NonEmpty a)

+ Unbound.Generics.LocallyNameless.Alpha: instance Unbound.Generics.LocallyNameless.Alpha.Alpha a => Unbound.Generics.LocallyNameless.Alpha.Alpha (GHC.Internal.Maybe.Maybe a)

+ Unbound.Generics.LocallyNameless.Alpha: instance Unbound.Generics.LocallyNameless.Alpha.Alpha c => Unbound.Generics.LocallyNameless.Alpha.GAlpha (GHC.Internal.Generics.K1 i c)

+ Unbound.Generics.LocallyNameless.Alpha: instance Unbound.Generics.LocallyNameless.Alpha.GAlpha GHC.Internal.Generics.U1

+ Unbound.Generics.LocallyNameless.Alpha: instance Unbound.Generics.LocallyNameless.Alpha.GAlpha GHC.Internal.Generics.V1

+ Unbound.Generics.LocallyNameless.Alpha: instance Unbound.Generics.LocallyNameless.Alpha.GAlpha f => Unbound.Generics.LocallyNameless.Alpha.GAlpha (GHC.Internal.Generics.M1 i c f)

+ Unbound.Generics.LocallyNameless.Bind: instance (GHC.Internal.Show.Show p, GHC.Internal.Show.Show t) => GHC.Internal.Show.Show (Unbound.Generics.LocallyNameless.Bind.Bind p t)

+ Unbound.Generics.LocallyNameless.Bind: instance GHC.Internal.Generics.Generic (Unbound.Generics.LocallyNameless.Bind.Bind p t)

+ Unbound.Generics.LocallyNameless.Embed: instance GHC.Internal.Generics.Generic (Unbound.Generics.LocallyNameless.Embed.Embed t)

+ Unbound.Generics.LocallyNameless.Embed: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Unbound.Generics.LocallyNameless.Embed.Embed a)

+ Unbound.Generics.LocallyNameless.Fresh: instance (GHC.Internal.Base.Monoid w, Unbound.Generics.LocallyNameless.Fresh.Fresh m) => Unbound.Generics.LocallyNameless.Fresh.Fresh (Control.Monad.Trans.Writer.Lazy.WriterT w m)

+ Unbound.Generics.LocallyNameless.Fresh: instance GHC.Internal.Base.Functor m => GHC.Internal.Base.Functor (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

+ Unbound.Generics.LocallyNameless.Fresh: instance GHC.Internal.Base.Monad m => GHC.Internal.Base.Applicative (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

+ Unbound.Generics.LocallyNameless.Fresh: instance GHC.Internal.Base.Monad m => GHC.Internal.Base.Monad (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

+ Unbound.Generics.LocallyNameless.Fresh: instance GHC.Internal.Base.Monad m => Unbound.Generics.LocallyNameless.Fresh.Fresh (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

+ Unbound.Generics.LocallyNameless.Fresh: instance GHC.Internal.Base.MonadPlus m => GHC.Internal.Base.Alternative (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

+ Unbound.Generics.LocallyNameless.Fresh: instance GHC.Internal.Base.MonadPlus m => GHC.Internal.Base.MonadPlus (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

+ Unbound.Generics.LocallyNameless.Fresh: instance GHC.Internal.Control.Monad.Fail.MonadFail m => GHC.Internal.Control.Monad.Fail.MonadFail (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

+ Unbound.Generics.LocallyNameless.Fresh: instance GHC.Internal.Control.Monad.Fix.MonadFix m => GHC.Internal.Control.Monad.Fix.MonadFix (Unbound.Generics.LocallyNameless.Fresh.FreshMT m)

+ Unbound.Generics.LocallyNameless.Ignore: instance GHC.Internal.Generics.Generic (Unbound.Generics.LocallyNameless.Ignore.Ignore t)

+ Unbound.Generics.LocallyNameless.Ignore: instance GHC.Internal.Show.Show t => GHC.Internal.Show.Show (Unbound.Generics.LocallyNameless.Ignore.Ignore t)

+ Unbound.Generics.LocallyNameless.Ignore: instance GHC.Internal.Show.Show t => Unbound.Generics.LocallyNameless.Alpha.Alpha (Unbound.Generics.LocallyNameless.Ignore.Ignore t)

+ Unbound.Generics.LocallyNameless.Internal.GSubst: instance (Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b f, Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b g) => Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b (f GHC.Internal.Generics.:*: g)

+ Unbound.Generics.LocallyNameless.Internal.GSubst: instance Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b GHC.Internal.Generics.U1

+ Unbound.Generics.LocallyNameless.Internal.GSubst: instance Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b GHC.Internal.Generics.V1

+ Unbound.Generics.LocallyNameless.Internal.GSubst: instance Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b f => Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b (GHC.Internal.Generics.M1 i c f)

+ Unbound.Generics.LocallyNameless.Internal.Iso: instance GHC.Internal.Base.Functor (Unbound.Generics.LocallyNameless.Internal.Iso.Exchange a b s)

+ Unbound.Generics.LocallyNameless.LFresh: instance (GHC.Internal.Base.Monoid w, Unbound.Generics.LocallyNameless.LFresh.LFresh m) => Unbound.Generics.LocallyNameless.LFresh.LFresh (Control.Monad.Trans.Writer.Lazy.WriterT w m)

+ Unbound.Generics.LocallyNameless.LFresh: instance GHC.Internal.Base.Alternative m => GHC.Internal.Base.Alternative (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

+ Unbound.Generics.LocallyNameless.LFresh: instance GHC.Internal.Base.Applicative m => GHC.Internal.Base.Applicative (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

+ Unbound.Generics.LocallyNameless.LFresh: instance GHC.Internal.Base.Functor m => GHC.Internal.Base.Functor (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

+ Unbound.Generics.LocallyNameless.LFresh: instance GHC.Internal.Base.Monad m => GHC.Internal.Base.Monad (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

+ Unbound.Generics.LocallyNameless.LFresh: instance GHC.Internal.Base.Monad m => Unbound.Generics.LocallyNameless.LFresh.LFresh (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

+ Unbound.Generics.LocallyNameless.LFresh: instance GHC.Internal.Base.MonadPlus m => GHC.Internal.Base.MonadPlus (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

+ Unbound.Generics.LocallyNameless.LFresh: instance GHC.Internal.Control.Monad.Fail.MonadFail m => GHC.Internal.Control.Monad.Fail.MonadFail (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

+ Unbound.Generics.LocallyNameless.LFresh: instance GHC.Internal.Control.Monad.Fix.MonadFix m => GHC.Internal.Control.Monad.Fix.MonadFix (Unbound.Generics.LocallyNameless.LFresh.LFreshMT m)

+ Unbound.Generics.LocallyNameless.Name: instance GHC.Internal.Generics.Generic (Unbound.Generics.LocallyNameless.Name.Name a)

+ Unbound.Generics.LocallyNameless.Name: instance GHC.Internal.Show.Show (Unbound.Generics.LocallyNameless.Name.Name a)

+ Unbound.Generics.LocallyNameless.Name: instance GHC.Internal.Show.Show Unbound.Generics.LocallyNameless.Name.AnyName

+ Unbound.Generics.LocallyNameless.Rebind: instance (GHC.Internal.Show.Show p1, GHC.Internal.Show.Show p2) => GHC.Internal.Show.Show (Unbound.Generics.LocallyNameless.Rebind.Rebind p1 p2)

+ Unbound.Generics.LocallyNameless.Rebind: instance GHC.Internal.Generics.Generic (Unbound.Generics.LocallyNameless.Rebind.Rebind p1 p2)

+ Unbound.Generics.LocallyNameless.Rec: instance GHC.Internal.Generics.Generic (Unbound.Generics.LocallyNameless.Rec.Rec p)

+ Unbound.Generics.LocallyNameless.Rec: instance GHC.Internal.Generics.Generic (Unbound.Generics.LocallyNameless.Rec.TRec p)

+ Unbound.Generics.LocallyNameless.Rec: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Unbound.Generics.LocallyNameless.Rec.Rec a)

+ Unbound.Generics.LocallyNameless.Rec: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Unbound.Generics.LocallyNameless.Rec.TRec a)

+ Unbound.Generics.LocallyNameless.Shift: instance GHC.Internal.Base.Functor Unbound.Generics.LocallyNameless.Shift.Shift

+ Unbound.Generics.LocallyNameless.Shift: instance GHC.Internal.Show.Show e => GHC.Internal.Show.Show (Unbound.Generics.LocallyNameless.Shift.Shift e)

+ Unbound.Generics.LocallyNameless.Subst: instance (Unbound.Generics.LocallyNameless.Subst.Subst c a, Unbound.Generics.LocallyNameless.Subst.Subst c b) => Unbound.Generics.LocallyNameless.Subst.Subst c (GHC.Internal.Data.Either.Either a b)

+ Unbound.Generics.LocallyNameless.Subst: instance Unbound.Generics.LocallyNameless.Subst.Subst b c => Unbound.Generics.LocallyNameless.Internal.GSubst.GSubst b (GHC.Internal.Generics.K1 i c)

+ Unbound.Generics.LocallyNameless.Subst: instance Unbound.Generics.LocallyNameless.Subst.Subst c a => Unbound.Generics.LocallyNameless.Subst.Subst c (GHC.Internal.Base.NonEmpty a)

+ Unbound.Generics.LocallyNameless.Subst: instance Unbound.Generics.LocallyNameless.Subst.Subst c a => Unbound.Generics.LocallyNameless.Subst.Subst c (GHC.Internal.Maybe.Maybe a)

+ Unbound.Generics.PermM: instance GHC.Classes.Ord a => GHC.Internal.Base.Monoid (Unbound.Generics.PermM.Perm a)

+ Unbound.Generics.PermM: instance GHC.Classes.Ord a => GHC.Internal.Base.Semigroup (Unbound.Generics.PermM.Perm a)

+ Unbound.Generics.PermM: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Unbound.Generics.PermM.PartialPerm a)

+ Unbound.Generics.PermM: instance GHC.Internal.Show.Show a => GHC.Internal.Show.Show (Unbound.Generics.PermM.Perm a)

Files

Changelog.md +5/−0
unbound-generics.cabal +5/−5

Changelog.md view

@@ -1,5 +1,10 @@ # NEXT +# 0.4.5++* Bump `containers` and `ansi-wl-pprint` upper bounds+* Add more recent GHCs to CI matrix+ # 0.4.4  * Add `Alpha` and `Subst` instances for `NonEmpty`.  Thanks Brent Yorgey (byorgey)

unbound-generics.cabal view

@@ -1,6 +1,6 @@ cabal-version:       >=1.10 name:                unbound-generics-version:             0.4.4+version:             0.4.5 synopsis:            Support for programming with names and binders using GHC Generics description:         Specify the binding structure of your data type with an                      expressive set of type combinators, and unbound-generics@@ -28,7 +28,7 @@                      README.md,                      Changelog.md -tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.7, GHC == 9.0.2, GHC == 9.2.*, GHC == 9.4.*, GHC == 9.8.*+tested-with: GHC == 8.10.7, GHC == 9.0.2, GHC == 9.2.*, GHC == 9.4.*, GHC == 9.6.*, GHC == 9.8.*, GHC == 9.10.*, GHC == 9.12.*, GHC == 9.14.*  library   exposed-modules:     Unbound.Generics.LocallyNameless@@ -59,10 +59,10 @@                        mtl >= 2.1,                        transformers >= 0.3 && < 0.7,                        transformers-compat >= 0.3,-                       containers >= 0.5 && < 0.8,+                       containers >= 0.5 && < 0.9,                        contravariant >= 0.5,                        profunctors >= 4.0,-                       ansi-wl-pprint >= 0.6.7.2 && < 1.1,+                       ansi-wl-pprint >= 0.6.7.2 && < 1.2,                        exceptions >= 0.8 && < 0.11   hs-source-dirs:      src   default-language:    Haskell2010@@ -124,5 +124,5 @@  source-repository head   type:                git-  location:            git://github.com/lambdageek/unbound-generics.git+  location:            https://github.com/lambdageek/unbound-generics.git