RepLib 0.5.3.4 → 0.5.3.5
raw patch · 2 files changed
+6/−2 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Generics.RepLib.AbstractReps: instance (Generics.RepLib.R.Rep k0, Generics.RepLib.R.Rep a0) => Generics.RepLib.R.Rep (Data.Map.Base.Map k0 a0)
- Generics.RepLib.AbstractReps: instance (Generics.RepLib.R.Rep k0, Generics.RepLib.R.Rep a0) => Generics.RepLib.R1.Rep1 ctx0 (Data.Map.Base.Map k0 a0)
- Generics.RepLib.AbstractReps: instance Generics.RepLib.R.Rep a0 => Generics.RepLib.R.Rep (Data.Set.Base.Set a0)
- Generics.RepLib.AbstractReps: instance Generics.RepLib.R.Rep a0 => Generics.RepLib.R1.Rep1 ctx0 (Data.Set.Base.Set a0)
- Generics.RepLib.Derive: instance Control.Monad.Writer.Class.MonadWriter (Data.Set.Base.Set GHC.Types.Int) Generics.RepLib.Derive.QN
- Generics.RepLib.Derive: instance GHC.Base.Applicative Generics.RepLib.Derive.QN
- Generics.RepLib.Derive: instance GHC.Base.Functor Generics.RepLib.Derive.QN
- Generics.RepLib.Derive: instance GHC.Base.Monad Generics.RepLib.Derive.QN
- Generics.RepLib.Derive: instance Language.Haskell.TH.Syntax.Quasi Generics.RepLib.Derive.QN
- Generics.RepLib.Lib: [enumerateD] :: EnumerateD a -> [a]
- Generics.RepLib.Lib: [generateD] :: GenerateD a -> Int -> [a]
- Generics.RepLib.Lib: [gsumD] :: GSumD a -> a -> Int
- Generics.RepLib.Lib: [lreduceD] :: LreduceD b a -> b -> a -> b
- Generics.RepLib.Lib: [rreduceD] :: RreduceD b a -> a -> b -> b
- Generics.RepLib.Lib: [shrinkD] :: ShrinkD a -> a -> [a]
- Generics.RepLib.Lib: [zeroD] :: ZeroD a -> a
- Generics.RepLib.Lib: instance (GHC.Classes.Ord a, Generics.RepLib.Lib.Enumerate a) => Generics.RepLib.Lib.Enumerate (Data.Set.Base.Set a)
- Generics.RepLib.Lib: instance (GHC.Classes.Ord a, Generics.RepLib.Lib.Generate a) => Generics.RepLib.Lib.Generate (Data.Set.Base.Set a)
- Generics.RepLib.Lib: instance (GHC.Classes.Ord a, Generics.RepLib.Lib.Lreduce b a) => Generics.RepLib.Lib.Lreduce b (Data.Set.Base.Set a)
- Generics.RepLib.Lib: instance (GHC.Classes.Ord a, Generics.RepLib.Lib.Rreduce b a) => Generics.RepLib.Lib.Rreduce b (Data.Set.Base.Set a)
- Generics.RepLib.Lib: instance (GHC.Classes.Ord a, Generics.RepLib.Lib.Shrink a) => Generics.RepLib.Lib.Shrink (Data.Set.Base.Set a)
- Generics.RepLib.Lib: instance (GHC.Classes.Ord k, Generics.RepLib.Lib.Enumerate k, Generics.RepLib.Lib.Enumerate a) => Generics.RepLib.Lib.Enumerate (Data.Map.Base.Map k a)
- Generics.RepLib.Lib: instance (GHC.Classes.Ord k, Generics.RepLib.Lib.Generate k, Generics.RepLib.Lib.Generate a) => Generics.RepLib.Lib.Generate (Data.Map.Base.Map k a)
- Generics.RepLib.Lib: instance (GHC.Classes.Ord k, Generics.RepLib.Lib.Shrink k, Generics.RepLib.Lib.Shrink a) => Generics.RepLib.Lib.Shrink (Data.Map.Base.Map k a)
- Generics.RepLib.Lib: instance (Generics.RepLib.Lib.Enumerate a, Generics.RepLib.Lib.Enumerate b) => Generics.RepLib.Lib.Enumerate (a, b)
- Generics.RepLib.Lib: instance (Generics.RepLib.Lib.GSum a, Generics.RepLib.Lib.GSum b) => Generics.RepLib.Lib.GSum (a, b)
- Generics.RepLib.Lib: instance (Generics.RepLib.Lib.Generate a, Generics.RepLib.Lib.Generate b) => Generics.RepLib.Lib.Generate (a, b)
- Generics.RepLib.Lib: instance (Generics.RepLib.Lib.Lreduce c a, Generics.RepLib.Lib.Lreduce c b) => Generics.RepLib.Lib.Lreduce c (a, b)
- Generics.RepLib.Lib: instance (Generics.RepLib.Lib.Rreduce c a, Generics.RepLib.Lib.Rreduce c b) => Generics.RepLib.Lib.Rreduce c (a, b)
- Generics.RepLib.Lib: instance (Generics.RepLib.Lib.Shrink a, Generics.RepLib.Lib.Shrink b) => Generics.RepLib.Lib.Shrink (a, b)
- Generics.RepLib.Lib: instance (Generics.RepLib.Lib.Zero a, Generics.RepLib.Lib.Zero b) => Generics.RepLib.Lib.Zero (a -> b)
- Generics.RepLib.Lib: instance (Generics.RepLib.Lib.Zero a, Generics.RepLib.Lib.Zero b) => Generics.RepLib.Lib.Zero (a, b)
- Generics.RepLib.Lib: instance (Generics.RepLib.R.Rep k, Generics.RepLib.Lib.GSum a) => Generics.RepLib.Lib.GSum (Data.Map.Base.Map k a)
- Generics.RepLib.Lib: instance (Generics.RepLib.R.Rep k, Generics.RepLib.R.Rep a) => Generics.RepLib.Lib.Zero (Data.Map.Base.Map k a)
- Generics.RepLib.Lib: instance GHC.Base.Applicative Generics.RepLib.Lib.M
- Generics.RepLib.Lib: instance GHC.Base.Functor Generics.RepLib.Lib.M
- Generics.RepLib.Lib: instance GHC.Base.Monad Generics.RepLib.Lib.M
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Enumerate ()
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Enumerate GHC.Integer.Type.Integer
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Enumerate GHC.Types.Bool
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Enumerate GHC.Types.Char
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Enumerate GHC.Types.Double
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Enumerate GHC.Types.Float
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Enumerate GHC.Types.Int
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Enumerate a => Generics.RepLib.Lib.Enumerate [a]
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Enumerate a => Generics.RepLib.R1.Sat (Generics.RepLib.Lib.EnumerateD a)
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Fold (Data.Map.Base.Map k)
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Fold Data.Set.Base.Set
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Fold []
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.GSum ()
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.GSum GHC.Integer.Type.Integer
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.GSum GHC.Types.Bool
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.GSum GHC.Types.Char
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.GSum GHC.Types.Double
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.GSum GHC.Types.Float
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.GSum GHC.Types.Int
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.GSum a => Generics.RepLib.Lib.GSum (Data.Set.Base.Set a)
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.GSum a => Generics.RepLib.Lib.GSum [a]
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.GSum a => Generics.RepLib.R1.Sat (Generics.RepLib.Lib.GSumD a)
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Generate ()
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Generate GHC.Integer.Type.Integer
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Generate GHC.Types.Char
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Generate GHC.Types.Double
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Generate GHC.Types.Float
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Generate GHC.Types.Int
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Generate a => Generics.RepLib.Lib.Generate [a]
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Generate a => Generics.RepLib.R1.Sat (Generics.RepLib.Lib.GenerateD a)
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Lreduce b ()
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Lreduce b GHC.Types.Bool
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Lreduce b GHC.Types.Char
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Lreduce b GHC.Types.Int
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Lreduce b a => Generics.RepLib.R1.Sat (Generics.RepLib.Lib.LreduceD b a)
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Lreduce c a => Generics.RepLib.Lib.Lreduce c [a]
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Rreduce b ()
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Rreduce b GHC.Types.Bool
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Rreduce b GHC.Types.Char
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Rreduce b GHC.Types.Int
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Rreduce b a => Generics.RepLib.R1.Sat (Generics.RepLib.Lib.RreduceD b a)
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Rreduce c a => Generics.RepLib.Lib.Rreduce c [a]
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Shrink ()
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Shrink GHC.Types.Char
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Shrink GHC.Types.Int
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Shrink a => Generics.RepLib.Lib.Shrink [a]
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Shrink a => Generics.RepLib.R1.Sat (Generics.RepLib.Lib.ShrinkD a)
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Zero ()
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Zero GHC.IO.Exception.IOError
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Zero GHC.Integer.Type.Integer
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Zero GHC.Types.Bool
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Zero GHC.Types.Char
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Zero GHC.Types.Double
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Zero GHC.Types.Float
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Zero GHC.Types.Int
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Zero a => Generics.RepLib.Lib.Zero [a]
- Generics.RepLib.Lib: instance Generics.RepLib.Lib.Zero a => Generics.RepLib.R1.Sat (Generics.RepLib.Lib.ZeroD a)
- Generics.RepLib.Lib: instance Generics.RepLib.R.Rep a => Generics.RepLib.Lib.Zero (Data.Set.Base.Set a)
- Generics.RepLib.PreludeLib: instance GHC.Classes.Eq a => Generics.RepLib.R1.Sat (Generics.RepLib.PreludeLib.EqD a)
- Generics.RepLib.PreludeLib: instance GHC.Classes.Ord a => Generics.RepLib.R1.Sat (Generics.RepLib.PreludeLib.OrdD a)
- Generics.RepLib.PreludeLib: instance GHC.Enum.Bounded a => Generics.RepLib.R1.Sat (Generics.RepLib.PreludeLib.BoundedD a)
- Generics.RepLib.PreludeLib: instance GHC.Show.Show a => Generics.RepLib.R1.Sat (Generics.RepLib.PreludeLib.ShowD a)
- Generics.RepLib.PreludeReps: instance (Generics.RepLib.R.Rep a0, Generics.RepLib.R.Rep b0) => Generics.RepLib.R.Rep (Data.Either.Either a0 b0)
- Generics.RepLib.PreludeReps: instance (Generics.RepLib.R.Rep a0, Generics.RepLib.R.Rep b0, Generics.RepLib.R.Rep c0) => Generics.RepLib.R.Rep (a0, b0, c0)
- Generics.RepLib.PreludeReps: instance (Generics.RepLib.R.Rep a0, Generics.RepLib.R.Rep b0, Generics.RepLib.R.Rep c0, Generics.RepLib.R.Rep d0) => Generics.RepLib.R.Rep (a0, b0, c0, d0)
- Generics.RepLib.PreludeReps: instance (Generics.RepLib.R.Rep a0, Generics.RepLib.R.Rep b0, Generics.RepLib.R.Rep c0, Generics.RepLib.R.Rep d0, Generics.RepLib.R.Rep e0) => Generics.RepLib.R.Rep (a0, b0, c0, d0, e0)
- Generics.RepLib.PreludeReps: instance (Generics.RepLib.R.Rep a0, Generics.RepLib.R.Rep b0, Generics.RepLib.R.Rep c0, Generics.RepLib.R.Rep d0, Generics.RepLib.R.Rep e0, Generics.RepLib.R.Rep f0) => Generics.RepLib.R.Rep (a0, b0, c0, d0, e0, f0)
- Generics.RepLib.PreludeReps: instance (Generics.RepLib.R.Rep a0, Generics.RepLib.R.Rep b0, Generics.RepLib.R.Rep c0, Generics.RepLib.R.Rep d0, Generics.RepLib.R.Rep e0, Generics.RepLib.R.Rep f0, Generics.RepLib.R.Rep g0) => Generics.RepLib.R.Rep (a0, b0, c0, d0, e0, f0, g0)
- Generics.RepLib.PreludeReps: instance (Generics.RepLib.R.Rep a0, Generics.RepLib.R.Rep b0, Generics.RepLib.R.Rep c0, Generics.RepLib.R.Rep d0, Generics.RepLib.R.Rep e0, Generics.RepLib.R.Rep f0, Generics.RepLib.R.Rep g0, Generics.RepLib.R1.Sat (ctx0 a0), Generics.RepLib.R1.Sat (ctx0 b0), Generics.RepLib.R1.Sat (ctx0 c0), Generics.RepLib.R1.Sat (ctx0 d0), Generics.RepLib.R1.Sat (ctx0 e0), Generics.RepLib.R1.Sat (ctx0 f0), Generics.RepLib.R1.Sat (ctx0 g0)) => Generics.RepLib.R1.Rep1 ctx0 (a0, b0, c0, d0, e0, f0, g0)
- Generics.RepLib.PreludeReps: instance (Generics.RepLib.R.Rep a0, Generics.RepLib.R.Rep b0, Generics.RepLib.R.Rep c0, Generics.RepLib.R.Rep d0, Generics.RepLib.R.Rep e0, Generics.RepLib.R.Rep f0, Generics.RepLib.R1.Sat (ctx0 a0), Generics.RepLib.R1.Sat (ctx0 b0), Generics.RepLib.R1.Sat (ctx0 c0), Generics.RepLib.R1.Sat (ctx0 d0), Generics.RepLib.R1.Sat (ctx0 e0), Generics.RepLib.R1.Sat (ctx0 f0)) => Generics.RepLib.R1.Rep1 ctx0 (a0, b0, c0, d0, e0, f0)
- Generics.RepLib.PreludeReps: instance (Generics.RepLib.R.Rep a0, Generics.RepLib.R.Rep b0, Generics.RepLib.R.Rep c0, Generics.RepLib.R.Rep d0, Generics.RepLib.R.Rep e0, Generics.RepLib.R1.Sat (ctx0 a0), Generics.RepLib.R1.Sat (ctx0 b0), Generics.RepLib.R1.Sat (ctx0 c0), Generics.RepLib.R1.Sat (ctx0 d0), Generics.RepLib.R1.Sat (ctx0 e0)) => Generics.RepLib.R1.Rep1 ctx0 (a0, b0, c0, d0, e0)
- Generics.RepLib.PreludeReps: instance (Generics.RepLib.R.Rep a0, Generics.RepLib.R.Rep b0, Generics.RepLib.R.Rep c0, Generics.RepLib.R.Rep d0, Generics.RepLib.R1.Sat (ctx0 a0), Generics.RepLib.R1.Sat (ctx0 b0), Generics.RepLib.R1.Sat (ctx0 c0), Generics.RepLib.R1.Sat (ctx0 d0)) => Generics.RepLib.R1.Rep1 ctx0 (a0, b0, c0, d0)
- Generics.RepLib.PreludeReps: instance (Generics.RepLib.R.Rep a0, Generics.RepLib.R.Rep b0, Generics.RepLib.R.Rep c0, Generics.RepLib.R1.Sat (ctx0 a0), Generics.RepLib.R1.Sat (ctx0 b0), Generics.RepLib.R1.Sat (ctx0 c0)) => Generics.RepLib.R1.Rep1 ctx0 (a0, b0, c0)
- Generics.RepLib.PreludeReps: instance (Generics.RepLib.R.Rep a0, Generics.RepLib.R.Rep b0, Generics.RepLib.R1.Sat (ctx0 a0), Generics.RepLib.R1.Sat (ctx0 b0)) => Generics.RepLib.R1.Rep1 ctx0 (Data.Either.Either a0 b0)
- Generics.RepLib.PreludeReps: instance (Generics.RepLib.R.Rep a0, Generics.RepLib.R1.Sat (ctx0 a0)) => Generics.RepLib.R1.Rep1 ctx0 (GHC.Base.Maybe a0)
- Generics.RepLib.PreludeReps: instance Generics.RepLib.R.Rep GHC.Types.Bool
- Generics.RepLib.PreludeReps: instance Generics.RepLib.R.Rep GHC.Types.Ordering
- Generics.RepLib.PreludeReps: instance Generics.RepLib.R.Rep a0 => Generics.RepLib.R.Rep (GHC.Base.Maybe a0)
- Generics.RepLib.PreludeReps: instance Generics.RepLib.R1.Rep1 ctx0 GHC.Types.Bool
- Generics.RepLib.PreludeReps: instance Generics.RepLib.R1.Rep1 ctx0 GHC.Types.Ordering
- Generics.RepLib.R: [fixity] :: Emb l a -> Fixity
- Generics.RepLib.R: [from] :: Emb l a -> a -> Maybe l
- Generics.RepLib.R: [labels] :: Emb l a -> Maybe [String]
- Generics.RepLib.R: [name] :: Emb l a -> String
- Generics.RepLib.R: [prec] :: Fixity -> Int
- Generics.RepLib.R: [to] :: Emb l a -> l -> a
- Generics.RepLib.R: instance (Generics.RepLib.R.Rep a, Generics.RepLib.R.Rep b) => Generics.RepLib.R.Rep (a -> b)
- Generics.RepLib.R: instance (Generics.RepLib.R.Rep a, Generics.RepLib.R.Rep b) => Generics.RepLib.R.Rep (a Data.Type.Equality.:~: b)
- Generics.RepLib.R: instance (Generics.RepLib.R.Rep a, Generics.RepLib.R.Rep b) => Generics.RepLib.R.Rep (a, b)
- Generics.RepLib.R: instance GHC.Classes.Eq (Generics.RepLib.R.R a)
- Generics.RepLib.R: instance GHC.Classes.Ord (Generics.RepLib.R.R a)
- Generics.RepLib.R: instance GHC.Show.Show (Generics.RepLib.R.MTup Generics.RepLib.R.R l)
- Generics.RepLib.R: instance GHC.Show.Show (Generics.RepLib.R.R a)
- Generics.RepLib.R: instance GHC.Show.Show Generics.RepLib.R.DT
- Generics.RepLib.R: instance Generics.RepLib.R.Rep ()
- Generics.RepLib.R: instance Generics.RepLib.R.Rep GHC.IO.Exception.IOError
- Generics.RepLib.R: instance Generics.RepLib.R.Rep GHC.Integer.Type.Integer
- Generics.RepLib.R: instance Generics.RepLib.R.Rep GHC.Real.Rational
- Generics.RepLib.R: instance Generics.RepLib.R.Rep GHC.Types.Char
- Generics.RepLib.R: instance Generics.RepLib.R.Rep GHC.Types.Double
- Generics.RepLib.R: instance Generics.RepLib.R.Rep GHC.Types.Float
- Generics.RepLib.R: instance Generics.RepLib.R.Rep GHC.Types.Int
- Generics.RepLib.R: instance Generics.RepLib.R.Rep a => Generics.RepLib.R.Rep (GHC.Types.IO a)
- Generics.RepLib.R: instance Generics.RepLib.R.Rep a => Generics.RepLib.R.Rep [a]
- Generics.RepLib.R1: instance (Generics.RepLib.R.Rep a, Generics.RepLib.R.Rep b, Generics.RepLib.R1.Sat (ctx a), Generics.RepLib.R1.Sat (ctx b)) => Generics.RepLib.R1.Rep1 ctx (a -> b)
- Generics.RepLib.R1: instance (Generics.RepLib.R.Rep a, Generics.RepLib.R.Rep b, Generics.RepLib.R1.Sat (ctx a), Generics.RepLib.R1.Sat (ctx b)) => Generics.RepLib.R1.Rep1 ctx (a Data.Type.Equality.:~: b)
- Generics.RepLib.R1: instance (Generics.RepLib.R.Rep a, Generics.RepLib.R1.Sat (ctx a)) => Generics.RepLib.R1.Rep1 ctx (GHC.Types.IO a)
- Generics.RepLib.R1: instance (Generics.RepLib.R.Rep a, Generics.RepLib.R1.Sat (ctx a), Generics.RepLib.R.Rep b, Generics.RepLib.R1.Sat (ctx b)) => Generics.RepLib.R1.Rep1 ctx (a, b)
- Generics.RepLib.R1: instance (Generics.RepLib.R.Rep a, Generics.RepLib.R1.Sat (ctx a), Generics.RepLib.R1.Sat (ctx [a])) => Generics.RepLib.R1.Rep1 ctx [a]
- Generics.RepLib.R1: instance GHC.Show.Show (Generics.RepLib.R1.R1 c a)
- Generics.RepLib.R1: instance Generics.RepLib.R1.Rep1 ctx ()
- Generics.RepLib.R1: instance Generics.RepLib.R1.Rep1 ctx GHC.IO.Exception.IOError
- Generics.RepLib.R1: instance Generics.RepLib.R1.Rep1 ctx GHC.Integer.Type.Integer
- Generics.RepLib.R1: instance Generics.RepLib.R1.Rep1 ctx GHC.Real.Rational
- Generics.RepLib.R1: instance Generics.RepLib.R1.Rep1 ctx GHC.Types.Char
- Generics.RepLib.R1: instance Generics.RepLib.R1.Rep1 ctx GHC.Types.Double
- Generics.RepLib.R1: instance Generics.RepLib.R1.Rep1 ctx GHC.Types.Float
- Generics.RepLib.R1: instance Generics.RepLib.R1.Rep1 ctx GHC.Types.Int
- Generics.RepLib.RepAux: instance Data.Type.Equality.TestEquality Generics.RepLib.R.R
- Generics.RepLib.RepAux: instance GHC.Classes.Eq Generics.RepLib.R.DT
- Generics.RepLib.RepAux: instance GHC.Classes.Ord Generics.RepLib.R.DT
- Generics.RepLib.SYB.Aliases: [unGM] :: GenericM' m -> forall a. Rep a => a -> m a
- Generics.RepLib.SYB.Aliases: [unGQ] :: GenericQ' r -> GenericQ r
- Generics.RepLib.SYB.Aliases: [unGT] :: GenericT' -> forall a. Rep a => a -> a
- Generics.RepLib.SYB.Aliases: [unGeneric'] :: Generic' c -> Generic c
- Generics.RepLib.Unify: [occursCheckD] :: UnifySubD n a b -> n -> Proxy a -> b -> Bool
- Generics.RepLib.Unify: [substD] :: UnifySubD n a b -> n -> a -> b -> b
- Generics.RepLib.Unify: [uConstraints] :: UnificationState n a -> [UConstraint n a]
- Generics.RepLib.Unify: [uSubst] :: UnificationState n a -> [(n, a)]
- Generics.RepLib.Unify: [unifyStepD] :: UnifySubD n a b -> Proxy (n, a) -> b -> b -> UM n a ()
- Generics.RepLib.Unify: instance (GHC.Classes.Eq a, Generics.RepLib.Unify.HasVar a t, Generics.RepLib.R1.Rep1 (Generics.RepLib.Unify.UnifySubD a t) t) => Generics.RepLib.Unify.Subst a t t
- Generics.RepLib.Unify: instance (GHC.Classes.Eq n, GHC.Show.Show n, GHC.Show.Show a, GHC.Show.Show b, Generics.RepLib.Unify.HasVar n a, Generics.RepLib.R1.Rep1 (Generics.RepLib.Unify.UnifySubD n a) b) => Generics.RepLib.Unify.Unify n a b
- Generics.RepLib.Unify: instance (GHC.Classes.Eq n, GHC.Show.Show n, GHC.Show.Show a, Generics.RepLib.Unify.HasVar n a, Generics.RepLib.R1.Rep1 (Generics.RepLib.Unify.UnifySubD n a) a) => Generics.RepLib.Unify.Unify n a a
- Generics.RepLib.Unify: instance (GHC.Classes.Eq n, Generics.RepLib.Unify.HasVar n a, Generics.RepLib.R1.Rep1 (Generics.RepLib.Unify.UnifySubD n a) a) => Generics.RepLib.Unify.Occurs n a a
- Generics.RepLib.Unify: instance (Generics.RepLib.Unify.Unify n a b, Generics.RepLib.Unify.Subst n a b, Generics.RepLib.Unify.Occurs n a b) => Generics.RepLib.R1.Sat (Generics.RepLib.Unify.UnifySubD n a b)
- Generics.RepLib.Unify: instance Generics.RepLib.R1.Rep1 (Generics.RepLib.Unify.UnifySubD a t) t' => Generics.RepLib.Unify.Subst a t t'
- Generics.RepLib.Unify: instance Generics.RepLib.R1.Rep1 (Generics.RepLib.Unify.UnifySubD n a) b => Generics.RepLib.Unify.Occurs n a b
+ Generics.RepLib.AbstractReps: instance (Rep k0, Rep a0) => Rep (Map k0 a0)
+ Generics.RepLib.AbstractReps: instance (Rep k0, Rep a0) => Rep1 ctx0 (Map k0 a0)
+ Generics.RepLib.AbstractReps: instance Rep a0 => Rep (Set a0)
+ Generics.RepLib.AbstractReps: instance Rep a0 => Rep1 ctx0 (Set a0)
+ Generics.RepLib.Derive: instance Applicative QN
+ Generics.RepLib.Derive: instance Functor QN
+ Generics.RepLib.Derive: instance Monad QN
+ Generics.RepLib.Derive: instance MonadWriter (Set Int) QN
+ Generics.RepLib.Derive: instance Quasi QN
+ Generics.RepLib.Lib: enumerateD :: EnumerateD a -> [a]
+ Generics.RepLib.Lib: generateD :: GenerateD a -> Int -> [a]
+ Generics.RepLib.Lib: gsumD :: GSumD a -> a -> Int
+ Generics.RepLib.Lib: instance (Enumerate a, Enumerate b) => Enumerate (a, b)
+ Generics.RepLib.Lib: instance (GSum a, GSum b) => GSum (a, b)
+ Generics.RepLib.Lib: instance (Generate a, Generate b) => Generate (a, b)
+ Generics.RepLib.Lib: instance (Lreduce c a, Lreduce c b) => Lreduce c (a, b)
+ Generics.RepLib.Lib: instance (Ord a, Enumerate a) => Enumerate (Set a)
+ Generics.RepLib.Lib: instance (Ord a, Generate a) => Generate (Set a)
+ Generics.RepLib.Lib: instance (Ord a, Lreduce b a) => Lreduce b (Set a)
+ Generics.RepLib.Lib: instance (Ord a, Rreduce b a) => Rreduce b (Set a)
+ Generics.RepLib.Lib: instance (Ord a, Shrink a) => Shrink (Set a)
+ Generics.RepLib.Lib: instance (Ord k, Enumerate k, Enumerate a) => Enumerate (Map k a)
+ Generics.RepLib.Lib: instance (Ord k, Generate k, Generate a) => Generate (Map k a)
+ Generics.RepLib.Lib: instance (Ord k, Shrink k, Shrink a) => Shrink (Map k a)
+ Generics.RepLib.Lib: instance (Rep k, GSum a) => GSum (Map k a)
+ Generics.RepLib.Lib: instance (Rep k, Rep a) => Zero (Map k a)
+ Generics.RepLib.Lib: instance (Rreduce c a, Rreduce c b) => Rreduce c (a, b)
+ Generics.RepLib.Lib: instance (Shrink a, Shrink b) => Shrink (a, b)
+ Generics.RepLib.Lib: instance (Zero a, Zero b) => Zero (a -> b)
+ Generics.RepLib.Lib: instance (Zero a, Zero b) => Zero (a, b)
+ Generics.RepLib.Lib: instance Applicative M
+ Generics.RepLib.Lib: instance Enumerate ()
+ Generics.RepLib.Lib: instance Enumerate Bool
+ Generics.RepLib.Lib: instance Enumerate Char
+ Generics.RepLib.Lib: instance Enumerate Double
+ Generics.RepLib.Lib: instance Enumerate Float
+ Generics.RepLib.Lib: instance Enumerate Int
+ Generics.RepLib.Lib: instance Enumerate Integer
+ Generics.RepLib.Lib: instance Enumerate a => Enumerate [a]
+ Generics.RepLib.Lib: instance Enumerate a => Sat (EnumerateD a)
+ Generics.RepLib.Lib: instance Fold (Map k)
+ Generics.RepLib.Lib: instance Fold Set
+ Generics.RepLib.Lib: instance Fold []
+ Generics.RepLib.Lib: instance Functor M
+ Generics.RepLib.Lib: instance GSum ()
+ Generics.RepLib.Lib: instance GSum Bool
+ Generics.RepLib.Lib: instance GSum Char
+ Generics.RepLib.Lib: instance GSum Double
+ Generics.RepLib.Lib: instance GSum Float
+ Generics.RepLib.Lib: instance GSum Int
+ Generics.RepLib.Lib: instance GSum Integer
+ Generics.RepLib.Lib: instance GSum a => GSum (Set a)
+ Generics.RepLib.Lib: instance GSum a => GSum [a]
+ Generics.RepLib.Lib: instance GSum a => Sat (GSumD a)
+ Generics.RepLib.Lib: instance Generate ()
+ Generics.RepLib.Lib: instance Generate Char
+ Generics.RepLib.Lib: instance Generate Double
+ Generics.RepLib.Lib: instance Generate Float
+ Generics.RepLib.Lib: instance Generate Int
+ Generics.RepLib.Lib: instance Generate Integer
+ Generics.RepLib.Lib: instance Generate a => Generate [a]
+ Generics.RepLib.Lib: instance Generate a => Sat (GenerateD a)
+ Generics.RepLib.Lib: instance Lreduce b ()
+ Generics.RepLib.Lib: instance Lreduce b Bool
+ Generics.RepLib.Lib: instance Lreduce b Char
+ Generics.RepLib.Lib: instance Lreduce b Int
+ Generics.RepLib.Lib: instance Lreduce b a => Sat (LreduceD b a)
+ Generics.RepLib.Lib: instance Lreduce c a => Lreduce c [a]
+ Generics.RepLib.Lib: instance Monad M
+ Generics.RepLib.Lib: instance Rep a => Zero (Set a)
+ Generics.RepLib.Lib: instance Rreduce b ()
+ Generics.RepLib.Lib: instance Rreduce b Bool
+ Generics.RepLib.Lib: instance Rreduce b Char
+ Generics.RepLib.Lib: instance Rreduce b Int
+ Generics.RepLib.Lib: instance Rreduce b a => Sat (RreduceD b a)
+ Generics.RepLib.Lib: instance Rreduce c a => Rreduce c [a]
+ Generics.RepLib.Lib: instance Shrink ()
+ Generics.RepLib.Lib: instance Shrink Char
+ Generics.RepLib.Lib: instance Shrink Int
+ Generics.RepLib.Lib: instance Shrink a => Sat (ShrinkD a)
+ Generics.RepLib.Lib: instance Shrink a => Shrink [a]
+ Generics.RepLib.Lib: instance Zero ()
+ Generics.RepLib.Lib: instance Zero Bool
+ Generics.RepLib.Lib: instance Zero Char
+ Generics.RepLib.Lib: instance Zero Double
+ Generics.RepLib.Lib: instance Zero Float
+ Generics.RepLib.Lib: instance Zero IOError
+ Generics.RepLib.Lib: instance Zero Int
+ Generics.RepLib.Lib: instance Zero Integer
+ Generics.RepLib.Lib: instance Zero a => Sat (ZeroD a)
+ Generics.RepLib.Lib: instance Zero a => Zero [a]
+ Generics.RepLib.Lib: lreduceD :: LreduceD b a -> b -> a -> b
+ Generics.RepLib.Lib: rreduceD :: RreduceD b a -> a -> b -> b
+ Generics.RepLib.Lib: shrinkD :: ShrinkD a -> a -> [a]
+ Generics.RepLib.Lib: zeroD :: ZeroD a -> a
+ Generics.RepLib.PreludeLib: instance Bounded a => Sat (BoundedD a)
+ Generics.RepLib.PreludeLib: instance Eq a => Sat (EqD a)
+ Generics.RepLib.PreludeLib: instance Ord a => Sat (OrdD a)
+ Generics.RepLib.PreludeLib: instance Show a => Sat (ShowD a)
+ Generics.RepLib.PreludeReps: instance (Rep a0, Rep b0) => Rep (Either a0 b0)
+ Generics.RepLib.PreludeReps: instance (Rep a0, Rep b0, Rep c0) => Rep (a0, b0, c0)
+ Generics.RepLib.PreludeReps: instance (Rep a0, Rep b0, Rep c0, Rep d0) => Rep (a0, b0, c0, d0)
+ Generics.RepLib.PreludeReps: instance (Rep a0, Rep b0, Rep c0, Rep d0, Rep e0) => Rep (a0, b0, c0, d0, e0)
+ Generics.RepLib.PreludeReps: instance (Rep a0, Rep b0, Rep c0, Rep d0, Rep e0, Rep f0) => Rep (a0, b0, c0, d0, e0, f0)
+ Generics.RepLib.PreludeReps: instance (Rep a0, Rep b0, Rep c0, Rep d0, Rep e0, Rep f0, Rep g0) => Rep (a0, b0, c0, d0, e0, f0, g0)
+ Generics.RepLib.PreludeReps: instance (Rep a0, Rep b0, Rep c0, Rep d0, Rep e0, Rep f0, Rep g0, Sat (ctx0 a0), Sat (ctx0 b0), Sat (ctx0 c0), Sat (ctx0 d0), Sat (ctx0 e0), Sat (ctx0 f0), Sat (ctx0 g0)) => Rep1 ctx0 (a0, b0, c0, d0, e0, f0, g0)
+ Generics.RepLib.PreludeReps: instance (Rep a0, Rep b0, Rep c0, Rep d0, Rep e0, Rep f0, Sat (ctx0 a0), Sat (ctx0 b0), Sat (ctx0 c0), Sat (ctx0 d0), Sat (ctx0 e0), Sat (ctx0 f0)) => Rep1 ctx0 (a0, b0, c0, d0, e0, f0)
+ Generics.RepLib.PreludeReps: instance (Rep a0, Rep b0, Rep c0, Rep d0, Rep e0, Sat (ctx0 a0), Sat (ctx0 b0), Sat (ctx0 c0), Sat (ctx0 d0), Sat (ctx0 e0)) => Rep1 ctx0 (a0, b0, c0, d0, e0)
+ Generics.RepLib.PreludeReps: instance (Rep a0, Rep b0, Rep c0, Rep d0, Sat (ctx0 a0), Sat (ctx0 b0), Sat (ctx0 c0), Sat (ctx0 d0)) => Rep1 ctx0 (a0, b0, c0, d0)
+ Generics.RepLib.PreludeReps: instance (Rep a0, Rep b0, Rep c0, Sat (ctx0 a0), Sat (ctx0 b0), Sat (ctx0 c0)) => Rep1 ctx0 (a0, b0, c0)
+ Generics.RepLib.PreludeReps: instance (Rep a0, Rep b0, Sat (ctx0 a0), Sat (ctx0 b0)) => Rep1 ctx0 (Either a0 b0)
+ Generics.RepLib.PreludeReps: instance (Rep a0, Sat (ctx0 a0)) => Rep1 ctx0 (Maybe a0)
+ Generics.RepLib.PreludeReps: instance Rep Bool
+ Generics.RepLib.PreludeReps: instance Rep Ordering
+ Generics.RepLib.PreludeReps: instance Rep a0 => Rep (Maybe a0)
+ Generics.RepLib.PreludeReps: instance Rep1 ctx0 Bool
+ Generics.RepLib.PreludeReps: instance Rep1 ctx0 Ordering
+ Generics.RepLib.R: fixity :: Emb l a -> Fixity
+ Generics.RepLib.R: from :: Emb l a -> a -> Maybe l
+ Generics.RepLib.R: instance (Rep a, Rep b) => Rep (a -> b)
+ Generics.RepLib.R: instance (Rep a, Rep b) => Rep (a :~: b)
+ Generics.RepLib.R: instance (Rep a, Rep b) => Rep (a, b)
+ Generics.RepLib.R: instance Eq (R a)
+ Generics.RepLib.R: instance Ord (R a)
+ Generics.RepLib.R: instance Rep ()
+ Generics.RepLib.R: instance Rep Char
+ Generics.RepLib.R: instance Rep Double
+ Generics.RepLib.R: instance Rep Float
+ Generics.RepLib.R: instance Rep IOError
+ Generics.RepLib.R: instance Rep Int
+ Generics.RepLib.R: instance Rep Integer
+ Generics.RepLib.R: instance Rep Rational
+ Generics.RepLib.R: instance Rep a => Rep (IO a)
+ Generics.RepLib.R: instance Rep a => Rep [a]
+ Generics.RepLib.R: instance Show (MTup R l)
+ Generics.RepLib.R: instance Show (R a)
+ Generics.RepLib.R: instance Show DT
+ Generics.RepLib.R: labels :: Emb l a -> Maybe [String]
+ Generics.RepLib.R: name :: Emb l a -> String
+ Generics.RepLib.R: prec :: Fixity -> Int
+ Generics.RepLib.R: to :: Emb l a -> l -> a
+ Generics.RepLib.R1: instance (Rep a, Rep b, Sat (ctx a), Sat (ctx b)) => Rep1 ctx (a -> b)
+ Generics.RepLib.R1: instance (Rep a, Rep b, Sat (ctx a), Sat (ctx b)) => Rep1 ctx (a :~: b)
+ Generics.RepLib.R1: instance (Rep a, Sat (ctx a)) => Rep1 ctx (IO a)
+ Generics.RepLib.R1: instance (Rep a, Sat (ctx a), Rep b, Sat (ctx b)) => Rep1 ctx (a, b)
+ Generics.RepLib.R1: instance (Rep a, Sat (ctx a), Sat (ctx [a])) => Rep1 ctx [a]
+ Generics.RepLib.R1: instance Rep1 ctx ()
+ Generics.RepLib.R1: instance Rep1 ctx Char
+ Generics.RepLib.R1: instance Rep1 ctx Double
+ Generics.RepLib.R1: instance Rep1 ctx Float
+ Generics.RepLib.R1: instance Rep1 ctx IOError
+ Generics.RepLib.R1: instance Rep1 ctx Int
+ Generics.RepLib.R1: instance Rep1 ctx Integer
+ Generics.RepLib.R1: instance Rep1 ctx Rational
+ Generics.RepLib.R1: instance Show (R1 c a)
+ Generics.RepLib.RepAux: instance Eq DT
+ Generics.RepLib.RepAux: instance Ord DT
+ Generics.RepLib.RepAux: instance TestEquality R
+ Generics.RepLib.SYB.Aliases: unGM :: GenericM' m -> forall a. Rep a => a -> m a
+ Generics.RepLib.SYB.Aliases: unGQ :: GenericQ' r -> GenericQ r
+ Generics.RepLib.SYB.Aliases: unGT :: GenericT' -> forall a. Rep a => a -> a
+ Generics.RepLib.SYB.Aliases: unGeneric' :: Generic' c -> Generic c
+ Generics.RepLib.Unify: instance [incoherent] (Eq a, HasVar a t, Rep1 (UnifySubD a t) t) => Subst a t t
+ Generics.RepLib.Unify: instance [incoherent] (Eq n, HasVar n a, Rep1 (UnifySubD n a) a) => Occurs n a a
+ Generics.RepLib.Unify: instance [incoherent] (Eq n, Show n, Show a, HasVar n a, Rep1 (UnifySubD n a) a) => Unify n a a
+ Generics.RepLib.Unify: instance [incoherent] (Eq n, Show n, Show a, Show b, HasVar n a, Rep1 (UnifySubD n a) b) => Unify n a b
+ Generics.RepLib.Unify: instance [incoherent] (Unify n a b, Subst n a b, Occurs n a b) => Sat (UnifySubD n a b)
+ Generics.RepLib.Unify: instance [incoherent] Rep1 (UnifySubD a t) t' => Subst a t t'
+ Generics.RepLib.Unify: instance [incoherent] Rep1 (UnifySubD n a) b => Occurs n a b
+ Generics.RepLib.Unify: occursCheckD :: UnifySubD n a b -> n -> Proxy a -> b -> Bool
+ Generics.RepLib.Unify: runExceptT :: ErrorT e m a -> m (Either e a)
+ Generics.RepLib.Unify: substD :: UnifySubD n a b -> n -> a -> b -> b
+ Generics.RepLib.Unify: uConstraints :: UnificationState n a -> [UConstraint n a]
+ Generics.RepLib.Unify: uSubst :: UnificationState n a -> [(n, a)]
+ Generics.RepLib.Unify: unifyStepD :: UnifySubD n a b -> Proxy (n, a) -> b -> b -> UM n a ()
- Generics.RepLib: Refl :: (:~:) k b b
+ Generics.RepLib: Refl :: (:~:) k a1 a1
- Generics.RepLib.AbstractReps: rMap :: (Rep k_amZs, Rep a_amZt) => R (Map k_amZs a_amZt)
+ Generics.RepLib.AbstractReps: rMap :: (Rep k_ajN7, Rep a_ajN8) => R (Map k_ajN7 a_ajN8)
- Generics.RepLib.AbstractReps: rMap1 :: (Rep k_amZs, Rep a_amZt) => R1 ctx_amZC (Map k_amZs a_amZt)
+ Generics.RepLib.AbstractReps: rMap1 :: (Rep k_ajN7, Rep a_ajN8) => R1 ctx_ajNn (Map k_ajN7 a_ajN8)
- Generics.RepLib.AbstractReps: rSet :: Rep a_a9wy => R (Set a_a9wy)
+ Generics.RepLib.AbstractReps: rSet :: Rep a_a6C2 => R (Set a_a6C2)
- Generics.RepLib.AbstractReps: rSet1 :: Rep a_a9wy => R1 ctx_amZQ (Set a_a9wy)
+ Generics.RepLib.AbstractReps: rSet1 :: Rep a_a6C2 => R1 ctx_ajNB (Set a_a6C2)
- Generics.RepLib.Lib: class (Rep1 ShrinkD a) => Shrink a where shrink a = subtrees a ++ shrinkStep a where shrinkStep _t = let M _ ts = gmapM1 m a in ts m :: forall b. ShrinkD b -> b -> M b m d x = M x (shrinkD d x)
+ Generics.RepLib.Lib: class Rep1 ShrinkD a => Shrink a where shrink a = subtrees a ++ shrinkStep a where shrinkStep _t = let M _ ts = gmapM1 m a in ts m :: forall b. ShrinkD b -> b -> M b m d x = M x (shrinkD d x)
- Generics.RepLib.Lib: class (Rep1 ZeroD a) => Zero a where zero = zeroR1 rep1
+ Generics.RepLib.Lib: class Rep1 ZeroD a => Zero a where zero = zeroR1 rep1
- Generics.RepLib.Lib: gand :: (Fold t) => t Bool -> Bool
+ Generics.RepLib.Lib: gand :: Fold t => t Bool -> Bool
- Generics.RepLib.Lib: gor :: (Fold t) => t Bool -> Bool
+ Generics.RepLib.Lib: gor :: Fold t => t Bool -> Bool
- Generics.RepLib.PreludeReps: rBool1 :: () -> () -> R1 ctx_aglR Bool
+ Generics.RepLib.PreludeReps: rBool1 :: () -> () -> R1 ctx_adrR Bool
- Generics.RepLib.PreludeReps: rEither :: (Rep a_agma, Rep b_agmb) => R (Either a_agma b_agmb)
+ Generics.RepLib.PreludeReps: rEither :: (Rep a_adsa, Rep b_adsb) => R (Either a_adsa b_adsb)
- Generics.RepLib.PreludeReps: rEither1 :: (Rep a_agma, Rep b_agmb) => ctx_agmk a_agma -> ctx_agmk b_agmb -> R1 ctx_agmk (Either a_agma b_agmb)
+ Generics.RepLib.PreludeReps: rEither1 :: (Rep a_adsa, Rep b_adsb) => ctx_adsq a_adsa -> ctx_adsq b_adsb -> R1 ctx_adsq (Either a_adsa b_adsb)
- Generics.RepLib.PreludeReps: rMaybe :: Rep a_a2Zv => R (Maybe a_a2Zv)
+ Generics.RepLib.PreludeReps: rMaybe :: Rep a_a2Fz => R (Maybe a_a2Fz)
- Generics.RepLib.PreludeReps: rMaybe1 :: Rep a_a2Zv => () -> ctx_aglY a_a2Zv -> R1 ctx_aglY (Maybe a_a2Zv)
+ Generics.RepLib.PreludeReps: rMaybe1 :: Rep a_a2Fz => () -> ctx_adrY a_a2Fz -> R1 ctx_adrY (Maybe a_a2Fz)
- Generics.RepLib.PreludeReps: rOrdering1 :: () -> () -> () -> R1 ctx_agmB Ordering
+ Generics.RepLib.PreludeReps: rOrdering1 :: () -> () -> () -> R1 ctx_adsH Ordering
- Generics.RepLib.PreludeReps: rTup3_1 :: (Rep a_12, Rep b_13, Rep c_14) => (ctx_agmL a_12, ctx_agmL b_13, ctx_agmL c_14) -> R1 ctx_agmL ((,,) a_12 b_13 c_14)
+ Generics.RepLib.PreludeReps: rTup3_1 :: (Rep a_12, Rep b_13, Rep c_14) => (ctx_adsR a_12, ctx_adsR b_13, ctx_adsR c_14) -> R1 ctx_adsR ((,,) a_12 b_13 c_14)
- Generics.RepLib.PreludeReps: rTup4_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15) => (ctx_agn4 a_12, ctx_agn4 b_13, ctx_agn4 c_14, ctx_agn4 d_15) -> R1 ctx_agn4 ((,,,) a_12 b_13 c_14 d_15)
+ Generics.RepLib.PreludeReps: rTup4_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15) => (ctx_adta a_12, ctx_adta b_13, ctx_adta c_14, ctx_adta d_15) -> R1 ctx_adta ((,,,) a_12 b_13 c_14 d_15)
- Generics.RepLib.PreludeReps: rTup5_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15, Rep e_16) => (ctx_agns a_12, ctx_agns b_13, ctx_agns c_14, ctx_agns d_15, ctx_agns e_16) -> R1 ctx_agns ((,,,,) a_12 b_13 c_14 d_15 e_16)
+ Generics.RepLib.PreludeReps: rTup5_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15, Rep e_16) => (ctx_adty a_12, ctx_adty b_13, ctx_adty c_14, ctx_adty d_15, ctx_adty e_16) -> R1 ctx_adty ((,,,,) a_12 b_13 c_14 d_15 e_16)
- Generics.RepLib.PreludeReps: rTup6_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15, Rep e_16, Rep f_17) => (ctx_agnV a_12, ctx_agnV b_13, ctx_agnV c_14, ctx_agnV d_15, ctx_agnV e_16, ctx_agnV f_17) -> R1 ctx_agnV ((,,,,,) a_12 b_13 c_14 d_15 e_16 f_17)
+ Generics.RepLib.PreludeReps: rTup6_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15, Rep e_16, Rep f_17) => (ctx_adu1 a_12, ctx_adu1 b_13, ctx_adu1 c_14, ctx_adu1 d_15, ctx_adu1 e_16, ctx_adu1 f_17) -> R1 ctx_adu1 ((,,,,,) a_12 b_13 c_14 d_15 e_16 f_17)
- Generics.RepLib.PreludeReps: rTup7_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15, Rep e_16, Rep f_17, Rep g_18) => (ctx_agot a_12, ctx_agot b_13, ctx_agot c_14, ctx_agot d_15, ctx_agot e_16, ctx_agot f_17, ctx_agot g_18) -> R1 ctx_agot ((,,,,,,) a_12 b_13 c_14 d_15 e_16 f_17 g_18)
+ Generics.RepLib.PreludeReps: rTup7_1 :: (Rep a_12, Rep b_13, Rep c_14, Rep d_15, Rep e_16, Rep f_17, Rep g_18) => (ctx_aduz a_12, ctx_aduz b_13, ctx_aduz c_14, ctx_aduz d_15, ctx_aduz e_16, ctx_aduz f_17, ctx_aduz g_18) -> R1 ctx_aduz ((,,,,,,) a_12 b_13 c_14 d_15 e_16 f_17 g_18)
- Generics.RepLib.RepAux: fromTupM :: (Monad m) => (forall a. Rep a => ctx a -> m a) -> MTup ctx l -> m l
+ Generics.RepLib.RepAux: fromTupM :: Monad m => (forall a. Rep a => ctx a -> m a) -> MTup ctx l -> m l
- Generics.RepLib.RepAux: gmapQ1 :: (Rep1 ctx a) => Query1 ctx r -> a -> [r]
+ Generics.RepLib.RepAux: gmapQ1 :: Rep1 ctx a => Query1 ctx r -> a -> [r]
- Generics.RepLib.RepAux: gmapT1 :: (Rep1 ctx a) => Traversal1 ctx -> a -> a
+ Generics.RepLib.RepAux: gmapT1 :: Rep1 ctx a => Traversal1 ctx -> a -> a
- Generics.RepLib.RepAux: mapM_l :: (Monad m) => (forall a. Rep a => ctx a -> a -> m a) -> MTup ctx l -> l -> m l
+ Generics.RepLib.RepAux: mapM_l :: Monad m => (forall a. Rep a => ctx a -> a -> m a) -> MTup ctx l -> l -> m l
- Generics.RepLib.Unify: type UM n a b = ExceptT UnifyError (State (UnificationState n a)) b
+ Generics.RepLib.Unify: type UM n a b = ErrorT UnifyError (State (UnificationState n a)) b
Files
- Generics/RepLib/Unify.hs +5/−1
- RepLib.cabal +1/−1
Generics/RepLib/Unify.hs view
@@ -32,7 +32,7 @@ import Generics.RepLib.PreludeReps() import Control.Monad.State #if MIN_VERSION_transformers(0,4,0)-import Control.Monad.Except+import Control.Monad.Trans.Except(ExceptT(..),throwE,runExceptT) #else import Control.Monad.Error #endif@@ -57,8 +57,12 @@ -- Error/State monad for unification. This version does not abstract the monad. #if MIN_VERSION_transformers(0,4,0) type UM n a b = ExceptT UnifyError (State (UnificationState n a)) b+throwError :: UnifyError -> UM n a b+throwError = throwE #else type UM n a b = ErrorT UnifyError (State (UnificationState n a)) b+runExceptT :: ErrorT e m a -> m (Either e a)+runExceptT = runErrorT #endif
RepLib.cabal view
@@ -1,5 +1,5 @@ name: RepLib-version: 0.5.3.4+version: 0.5.3.5 license: BSD3 license-file: LICENSE build-type: Simple