deriving-compat 0.5.3 → 0.5.4
raw patch · 12 files changed
+45/−15 lines, 12 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
+ Data.Bounded.Deriving.Internal: deriveBounded :: Name -> Q [Dec]
+ Data.Bounded.Deriving.Internal: instance Data.Deriving.Internal.ClassRep Data.Bounded.Deriving.Internal.BoundedClass
+ Data.Bounded.Deriving.Internal: makeMaxBound :: Name -> Q Exp
+ Data.Bounded.Deriving.Internal: makeMinBound :: Name -> Q Exp
+ Data.Deriving.Internal: IsKindVar :: Name -> StarKindStatus
+ Data.Deriving.Internal: KindStar :: StarKindStatus
+ Data.Deriving.Internal: NotKindStar :: StarKindStatus
+ Data.Deriving.Internal: [OneName] :: Name -> OneOrTwoNames One
+ Data.Deriving.Internal: [TwoNames] :: Name -> Name -> OneOrTwoNames Two
+ Data.Deriving.Internal: addrHashTypeName :: Name
+ Data.Deriving.Internal: allDistinct :: Ord a => [a] -> Bool
+ Data.Deriving.Internal: allowExQuant :: ClassRep a => a -> Bool
+ Data.Deriving.Internal: altValName :: Name
+ Data.Deriving.Internal: andValName :: Name
+ Data.Deriving.Internal: apValName :: Name
+ Data.Deriving.Internal: appEitherE :: Q (Either Exp Exp) -> Q Exp -> Q (Either Exp Exp)
+ Data.Deriving.Internal: appEndoValName :: Name
+ Data.Deriving.Internal: appendValName :: Name
+ Data.Deriving.Internal: applyClass :: Name -> Name -> Pred
+ Data.Deriving.Internal: applySubstitutionKind :: Map Name Kind -> Type -> Type
+ Data.Deriving.Internal: applyTy :: Type -> [Type] -> Type
+ Data.Deriving.Internal: applyTyCon :: Name -> [Type] -> Type
+ Data.Deriving.Internal: arity :: ClassRep a => a -> Int
+ Data.Deriving.Internal: boolTypeName :: Name
+ Data.Deriving.Internal: boundedTypeName :: Name
+ Data.Deriving.Internal: buildTypeInstance :: ClassRep a => a -> Name -> Cxt -> [Type] -> DatatypeVariant -> Q (Cxt, Type)
+ Data.Deriving.Internal: cHashDataName :: Name
+ Data.Deriving.Internal: canEtaReduce :: [Type] -> [Type] -> Bool
+ Data.Deriving.Internal: canRealizeKindStar :: Type -> StarKindStatus
+ Data.Deriving.Internal: catKindVarNames :: [StarKindStatus] -> [Name]
+ Data.Deriving.Internal: charHashTypeName :: Name
+ Data.Deriving.Internal: checkExistentialContext :: ClassRep a => a -> TyVarMap b -> Cxt -> Name -> Q c -> Q c
+ Data.Deriving.Internal: chooseValName :: Name
+ Data.Deriving.Internal: class ClassRep a
+ Data.Deriving.Internal: classConstraint :: ClassRep a => a -> Int -> Maybe Name
+ Data.Deriving.Internal: coerceValName :: Name
+ Data.Deriving.Internal: compare1Const :: Ordering -> f a -> f a -> Ordering
+ Data.Deriving.Internal: compare1ConstValName :: Name
+ Data.Deriving.Internal: compareConst :: Ordering -> a -> a -> Ordering
+ Data.Deriving.Internal: compareConstValName :: Name
+ Data.Deriving.Internal: compareValName :: Name
+ Data.Deriving.Internal: composeValName :: Name
+ Data.Deriving.Internal: conArity :: ConstructorInfo -> Int
+ Data.Deriving.Internal: conTToName :: Type -> Name
+ Data.Deriving.Internal: constValName :: Name
+ Data.Deriving.Internal: contravarianceError :: Name -> Q a
+ Data.Deriving.Internal: createKindChain :: Int -> Kind
+ Data.Deriving.Internal: dHashDataName :: Name
+ Data.Deriving.Internal: data One
+ Data.Deriving.Internal: data OneOrTwoNames a
+ Data.Deriving.Internal: data StarKindStatus
+ Data.Deriving.Internal: data Two
+ Data.Deriving.Internal: data a `Via` b
+ Data.Deriving.Internal: datatypeContextError :: Name -> Type -> Q a
+ Data.Deriving.Internal: deriveConstraint :: ClassRep a => a -> Type -> (Maybe Pred, [Name])
+ Data.Deriving.Internal: derivingCompatPackageKey :: String
+ Data.Deriving.Internal: derivingKindError :: ClassRep a => a -> Name -> Q b
+ Data.Deriving.Internal: doubleHashTypeName :: Name
+ Data.Deriving.Internal: dualDataName :: Name
+ Data.Deriving.Internal: endoDataName :: Name
+ Data.Deriving.Internal: enumFromThenToValName :: Name
+ Data.Deriving.Internal: enumFromThenValName :: Name
+ Data.Deriving.Internal: enumFromToExpr :: Q Exp -> Q Exp -> Q Exp
+ Data.Deriving.Internal: enumFromToValName :: Name
+ Data.Deriving.Internal: enumFromValName :: Name
+ Data.Deriving.Internal: enumTypeName :: Name
+ Data.Deriving.Internal: enumerationError :: String -> Q a
+ Data.Deriving.Internal: enumerationErrorStr :: String -> String
+ Data.Deriving.Internal: enumerationOrProductError :: String -> Q a
+ Data.Deriving.Internal: eq1Const :: Bool -> f a -> f a -> Bool
+ Data.Deriving.Internal: eq1ConstValName :: Name
+ Data.Deriving.Internal: eq1TypeName :: Name
+ Data.Deriving.Internal: eq2TypeName :: Name
+ Data.Deriving.Internal: eqAddrHashValName :: Name
+ Data.Deriving.Internal: eqCharHashValName :: Name
+ Data.Deriving.Internal: eqConst :: Bool -> a -> a -> Bool
+ Data.Deriving.Internal: eqConstValName :: Name
+ Data.Deriving.Internal: eqDataName :: Name
+ Data.Deriving.Internal: eqDoubleHashValName :: Name
+ Data.Deriving.Internal: eqFloatHashValName :: Name
+ Data.Deriving.Internal: eqIntHashValName :: Name
+ Data.Deriving.Internal: eqTypeName :: Name
+ Data.Deriving.Internal: eqValName :: Name
+ Data.Deriving.Internal: eqWordHashValName :: Name
+ Data.Deriving.Internal: errorValName :: Name
+ Data.Deriving.Internal: etaReductionError :: Type -> Q a
+ Data.Deriving.Internal: existentialContextError :: Name -> Q a
+ Data.Deriving.Internal: expectPValName :: Name
+ Data.Deriving.Internal: fHashDataName :: Name
+ Data.Deriving.Internal: falseDataName :: Name
+ Data.Deriving.Internal: filterByList :: [Bool] -> [a] -> [a]
+ Data.Deriving.Internal: filterByLists :: [Bool] -> [a] -> [a] -> [a]
+ Data.Deriving.Internal: flipValName :: Name
+ Data.Deriving.Internal: floatHashTypeName :: Name
+ Data.Deriving.Internal: fmapConst :: f b -> (a -> b) -> f a -> f b
+ Data.Deriving.Internal: fmapConstValName :: Name
+ Data.Deriving.Internal: fmapValName :: Name
+ Data.Deriving.Internal: foldMapConst :: m -> (a -> m) -> t a -> m
+ Data.Deriving.Internal: foldMapConstValName :: Name
+ Data.Deriving.Internal: foldMapValName :: Name
+ Data.Deriving.Internal: foldableTypeName :: Name
+ Data.Deriving.Internal: foldrConst :: b -> (a -> b -> b) -> b -> t a -> b
+ Data.Deriving.Internal: foldrConstValName :: Name
+ Data.Deriving.Internal: foldrValName :: Name
+ Data.Deriving.Internal: freshen :: Name -> Q Name
+ Data.Deriving.Internal: freshenType :: Type -> Q Type
+ Data.Deriving.Internal: fromEither :: Either a a -> a
+ Data.Deriving.Internal: fromEnumValName :: Name
+ Data.Deriving.Internal: fullClassName :: ClassRep a => a -> Name
+ Data.Deriving.Internal: functorTypeName :: Name
+ Data.Deriving.Internal: geAddrHashValName :: Name
+ Data.Deriving.Internal: geCharHashValName :: Name
+ Data.Deriving.Internal: geDoubleHashValName :: Name
+ Data.Deriving.Internal: geFloatHashValName :: Name
+ Data.Deriving.Internal: geIntHashValName :: Name
+ Data.Deriving.Internal: geValName :: Name
+ Data.Deriving.Internal: geWordHashValName :: Name
+ Data.Deriving.Internal: getDualValName :: Name
+ Data.Deriving.Internal: getTagValName :: Name
+ Data.Deriving.Internal: ghc7'8OrLater :: Bool
+ Data.Deriving.Internal: gtAddrHashValName :: Name
+ Data.Deriving.Internal: gtCharHashValName :: Name
+ Data.Deriving.Internal: gtDataName :: Name
+ Data.Deriving.Internal: gtDoubleHashValName :: Name
+ Data.Deriving.Internal: gtFloatHashValName :: Name
+ Data.Deriving.Internal: gtIntHashValName :: Name
+ Data.Deriving.Internal: gtValName :: Name
+ Data.Deriving.Internal: gtWordHashValName :: Name
+ Data.Deriving.Internal: hasKindStar :: Type -> Bool
+ Data.Deriving.Internal: hasKindVarChain :: Int -> Type -> Maybe [Name]
+ Data.Deriving.Internal: iHashDataName :: Name
+ Data.Deriving.Internal: idValName :: Name
+ Data.Deriving.Internal: identDataName :: Name
+ Data.Deriving.Internal: inRangeValName :: Name
+ Data.Deriving.Internal: indexValName :: Name
+ Data.Deriving.Internal: infix 0 `Via`
+ Data.Deriving.Internal: instance GHC.Classes.Eq Data.Deriving.Internal.StarKindStatus
+ Data.Deriving.Internal: intHashTypeName :: Name
+ Data.Deriving.Internal: intTypeName :: Name
+ Data.Deriving.Internal: integerE :: Int -> Q Exp
+ Data.Deriving.Internal: interleave :: [a] -> [a] -> [a]
+ Data.Deriving.Internal: isEnumerationType :: [ConstructorInfo] -> Bool
+ Data.Deriving.Internal: isInfixDataCon :: String -> Bool
+ Data.Deriving.Internal: isNonUnitTuple :: Name -> Bool
+ Data.Deriving.Internal: isNonUnitTupleString :: String -> Bool
+ Data.Deriving.Internal: isNullaryCon :: ConstructorInfo -> Bool
+ Data.Deriving.Internal: isProductType :: [ConstructorInfo] -> Bool
+ Data.Deriving.Internal: isRight :: Either l r -> Bool
+ Data.Deriving.Internal: isStarOrVar :: Kind -> Bool
+ Data.Deriving.Internal: isSym :: String -> Bool
+ Data.Deriving.Internal: isTrue# :: Int# -> Bool
+ Data.Deriving.Internal: isTrueHashValName :: Name
+ Data.Deriving.Internal: isTyFamily :: Type -> Q Bool
+ Data.Deriving.Internal: isTyVar :: Type -> Bool
+ Data.Deriving.Internal: isVanillaCon :: ConstructorInfo -> Bool
+ Data.Deriving.Internal: ixTypeName :: Name
+ Data.Deriving.Internal: leAddrHashValName :: Name
+ Data.Deriving.Internal: leCharHashValName :: Name
+ Data.Deriving.Internal: leDoubleHashValName :: Name
+ Data.Deriving.Internal: leFloatHashValName :: Name
+ Data.Deriving.Internal: leIntHashValName :: Name
+ Data.Deriving.Internal: leValName :: Name
+ Data.Deriving.Internal: leWordHashValName :: Name
+ Data.Deriving.Internal: liftA2ValName :: Name
+ Data.Deriving.Internal: liftCompare2Const :: Ordering -> (a -> b -> Ordering) -> (c -> d -> Ordering) -> f a c -> f b d -> Ordering
+ Data.Deriving.Internal: liftCompare2ConstValName :: Name
+ Data.Deriving.Internal: liftCompare2ValName :: Name
+ Data.Deriving.Internal: liftCompareConst :: Ordering -> (a -> b -> Ordering) -> f a -> f b -> Ordering
+ Data.Deriving.Internal: liftCompareConstValName :: Name
+ Data.Deriving.Internal: liftCompareValName :: Name
+ Data.Deriving.Internal: liftEq2Const :: Bool -> (a -> b -> Bool) -> (c -> d -> Bool) -> f a c -> f b d -> Bool
+ Data.Deriving.Internal: liftEq2ConstValName :: Name
+ Data.Deriving.Internal: liftEq2ValName :: Name
+ Data.Deriving.Internal: liftEqConst :: Bool -> (a -> b -> Bool) -> f a -> f b -> Bool
+ Data.Deriving.Internal: liftEqConstValName :: Name
+ Data.Deriving.Internal: liftEqValName :: Name
+ Data.Deriving.Internal: liftReadList2ValName :: Name
+ Data.Deriving.Internal: liftReadListPrec2DefaultValName :: Name
+ Data.Deriving.Internal: liftReadListPrec2ValName :: Name
+ Data.Deriving.Internal: liftReadListPrecDefaultValName :: Name
+ Data.Deriving.Internal: liftReadListPrecValName :: Name
+ Data.Deriving.Internal: liftReadListValName :: Name
+ Data.Deriving.Internal: liftReadPrec2Const :: ReadPrec (f a b) -> ReadPrec a -> ReadPrec [a] -> ReadPrec b -> ReadPrec [b] -> ReadPrec (f a b)
+ Data.Deriving.Internal: liftReadPrec2ConstValName :: Name
+ Data.Deriving.Internal: liftReadPrec2ValName :: Name
+ Data.Deriving.Internal: liftReadPrecConst :: ReadPrec (f a) -> ReadPrec a -> ReadPrec [a] -> ReadPrec (f a)
+ Data.Deriving.Internal: liftReadPrecConstValName :: Name
+ Data.Deriving.Internal: liftReadPrecValName :: Name
+ Data.Deriving.Internal: liftReadsPrec2Const :: ReadS (f a b) -> (Int -> ReadS a) -> ReadS [a] -> (Int -> ReadS b) -> ReadS [b] -> Int -> ReadS (f a b)
+ Data.Deriving.Internal: liftReadsPrec2ConstValName :: Name
+ Data.Deriving.Internal: liftReadsPrec2ValName :: Name
+ Data.Deriving.Internal: liftReadsPrecConst :: ReadS (f a) -> (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (f a)
+ Data.Deriving.Internal: liftReadsPrecConstValName :: Name
+ Data.Deriving.Internal: liftReadsPrecValName :: Name
+ Data.Deriving.Internal: liftShowList2ValName :: Name
+ Data.Deriving.Internal: liftShowListValName :: Name
+ Data.Deriving.Internal: liftShowsPrec2Const :: ShowS -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> (Int -> b -> ShowS) -> ([b] -> ShowS) -> Int -> f a b -> ShowS
+ Data.Deriving.Internal: liftShowsPrec2ConstValName :: Name
+ Data.Deriving.Internal: liftShowsPrec2ValName :: Name
+ Data.Deriving.Internal: liftShowsPrecConst :: ShowS -> (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> f a -> ShowS
+ Data.Deriving.Internal: liftShowsPrecConstValName :: Name
+ Data.Deriving.Internal: liftShowsPrecValName :: Name
+ Data.Deriving.Internal: listValName :: Name
+ Data.Deriving.Internal: ltAddrHashValName :: Name
+ Data.Deriving.Internal: ltCharHashValName :: Name
+ Data.Deriving.Internal: ltConst :: Bool -> a -> a -> Bool
+ Data.Deriving.Internal: ltConstValName :: Name
+ Data.Deriving.Internal: ltDataName :: Name
+ Data.Deriving.Internal: ltDoubleHashValName :: Name
+ Data.Deriving.Internal: ltFloatHashValName :: Name
+ Data.Deriving.Internal: ltIntHashValName :: Name
+ Data.Deriving.Internal: ltValName :: Name
+ Data.Deriving.Internal: ltWordHashValName :: Name
+ Data.Deriving.Internal: mapValName :: Name
+ Data.Deriving.Internal: mappendValName :: Name
+ Data.Deriving.Internal: maxBoundValName :: Name
+ Data.Deriving.Internal: memptyValName :: Name
+ Data.Deriving.Internal: mentionsName :: Type -> [Name] -> Bool
+ Data.Deriving.Internal: minBoundValName :: Name
+ Data.Deriving.Internal: minusIntHashValName :: Name
+ Data.Deriving.Internal: mkDerivingCompatName_tc :: String -> Name
+ Data.Deriving.Internal: mkDerivingCompatName_v :: String -> Name
+ Data.Deriving.Internal: newNameList :: String -> Int -> Q [Name]
+ Data.Deriving.Internal: noConstructorsError :: Q a
+ Data.Deriving.Internal: noFunctionsError :: Name -> Q a
+ Data.Deriving.Internal: notValName :: Name
+ Data.Deriving.Internal: ord1TypeName :: Name
+ Data.Deriving.Internal: ord2TypeName :: Name
+ Data.Deriving.Internal: ordTypeName :: Name
+ Data.Deriving.Internal: outOfPlaceTyVarError :: ClassRep a => a -> Name -> Q b
+ Data.Deriving.Internal: parenValName :: Name
+ Data.Deriving.Internal: parensValName :: Name
+ Data.Deriving.Internal: partitionByList :: [Bool] -> [a] -> ([a], [a])
+ Data.Deriving.Internal: pfailValName :: Name
+ Data.Deriving.Internal: plusValName :: Name
+ Data.Deriving.Internal: precValName :: Name
+ Data.Deriving.Internal: predMentionsName :: Pred -> [Name] -> Bool
+ Data.Deriving.Internal: predValName :: Name
+ Data.Deriving.Internal: primOpAppExpr :: Q Exp -> Name -> Q Exp -> Q Exp
+ Data.Deriving.Internal: puncDataName :: Name
+ Data.Deriving.Internal: pureValName :: Name
+ Data.Deriving.Internal: rangeSizeValName :: Name
+ Data.Deriving.Internal: rangeValName :: Name
+ Data.Deriving.Internal: read1TypeName :: Name
+ Data.Deriving.Internal: read2TypeName :: Name
+ Data.Deriving.Internal: readFieldHash :: String -> ReadPrec a -> ReadPrec a
+ Data.Deriving.Internal: readFieldHashValName :: Name
+ Data.Deriving.Internal: readFieldValName :: Name
+ Data.Deriving.Internal: readListPrecDefaultValName :: Name
+ Data.Deriving.Internal: readListPrecValName :: Name
+ Data.Deriving.Internal: readListValName :: Name
+ Data.Deriving.Internal: readPrecConst :: ReadPrec a -> ReadPrec a
+ Data.Deriving.Internal: readPrecConstValName :: Name
+ Data.Deriving.Internal: readPrecValName :: Name
+ Data.Deriving.Internal: readPrec_to_SValName :: Name
+ Data.Deriving.Internal: readS_to_PrecValName :: Name
+ Data.Deriving.Internal: readSymFieldValName :: Name
+ Data.Deriving.Internal: readTypeName :: Name
+ Data.Deriving.Internal: readsPrec1Const :: ReadS (f a) -> Int -> ReadS (f a)
+ Data.Deriving.Internal: readsPrec1ConstValName :: Name
+ Data.Deriving.Internal: readsPrecConst :: ReadS a -> Int -> ReadS a
+ Data.Deriving.Internal: readsPrecConstValName :: Name
+ Data.Deriving.Internal: readsPrecValName :: Name
+ Data.Deriving.Internal: removeClassApp :: Type -> Type
+ Data.Deriving.Internal: requiredTyVarsOfType :: Type -> [TyVarBndr]
+ Data.Deriving.Internal: resetValName :: Name
+ Data.Deriving.Internal: returnValName :: Name
+ Data.Deriving.Internal: seqValName :: Name
+ Data.Deriving.Internal: show1TypeName :: Name
+ Data.Deriving.Internal: show2TypeName :: Name
+ Data.Deriving.Internal: showCharValName :: Name
+ Data.Deriving.Internal: showCommaSpaceValName :: Name
+ Data.Deriving.Internal: showListValName :: Name
+ Data.Deriving.Internal: showListWithValName :: Name
+ Data.Deriving.Internal: showParenValName :: Name
+ Data.Deriving.Internal: showSpaceValName :: Name
+ Data.Deriving.Internal: showStringValName :: Name
+ Data.Deriving.Internal: showTypeName :: Name
+ Data.Deriving.Internal: showsPrec1Const :: ShowS -> Int -> f a -> ShowS
+ Data.Deriving.Internal: showsPrec1ConstValName :: Name
+ Data.Deriving.Internal: showsPrecConst :: ShowS -> Int -> a -> ShowS
+ Data.Deriving.Internal: showsPrecConstValName :: Name
+ Data.Deriving.Internal: showsPrecValName :: Name
+ Data.Deriving.Internal: starKindStatusToName :: StarKindStatus -> Maybe Name
+ Data.Deriving.Internal: stepValName :: Name
+ Data.Deriving.Internal: substNameWithKind :: Name -> Kind -> Type -> Type
+ Data.Deriving.Internal: substNamesWithKindStar :: [Name] -> Type -> Type
+ Data.Deriving.Internal: succValName :: Name
+ Data.Deriving.Internal: symbolDataName :: Name
+ Data.Deriving.Internal: tag2ConExpr :: Type -> Q Exp
+ Data.Deriving.Internal: tagToEnumHashValName :: Name
+ Data.Deriving.Internal: thd3 :: (a, b, c) -> c
+ Data.Deriving.Internal: timesValName :: Name
+ Data.Deriving.Internal: toEnumValName :: Name
+ Data.Deriving.Internal: traversableTypeName :: Name
+ Data.Deriving.Internal: traverseConst :: f (t b) -> (a -> f b) -> t a -> f (t b)
+ Data.Deriving.Internal: traverseConstValName :: Name
+ Data.Deriving.Internal: traverseValName :: Name
+ Data.Deriving.Internal: trueDataName :: Name
+ Data.Deriving.Internal: tvbKind :: TyVarBndr -> Kind
+ Data.Deriving.Internal: tvbToType :: TyVarBndr -> Type
+ Data.Deriving.Internal: tyKind :: Type -> Kind
+ Data.Deriving.Internal: type TyVarMap a = Map Name (OneOrTwoNames a)
+ Data.Deriving.Internal: type TyVarMap1 = TyVarMap One
+ Data.Deriving.Internal: type TyVarMap2 = TyVarMap Two
+ Data.Deriving.Internal: unSigT :: Type -> Type
+ Data.Deriving.Internal: unapplyTy :: Type -> [Type]
+ Data.Deriving.Internal: uncurryKind :: Kind -> [Kind]
+ Data.Deriving.Internal: uncurryTy :: Type -> (Cxt, [Type])
+ Data.Deriving.Internal: unsafeIndexValName :: Name
+ Data.Deriving.Internal: unsafeRangeSizeValName :: Name
+ Data.Deriving.Internal: unsnoc :: [a] -> Maybe ([a], a)
+ Data.Deriving.Internal: untagExpr :: [(Name, Name)] -> Q Exp -> Q Exp
+ Data.Deriving.Internal: unwrapMonadValName :: Name
+ Data.Deriving.Internal: varTToName :: Type -> Name
+ Data.Deriving.Internal: varTToName_maybe :: Type -> Maybe Name
+ Data.Deriving.Internal: viaTypeName :: Name
+ Data.Deriving.Internal: wHashDataName :: Name
+ Data.Deriving.Internal: wordHashTypeName :: Name
+ Data.Deriving.Internal: wrapMonadDataName :: Name
+ Data.Deriving.Internal: zipWith3AndUnzipM :: Monad m => (a -> b -> c -> m (d, e)) -> [a] -> [b] -> [c] -> m ([d], [e])
+ Data.Deriving.Internal: zipWithAndUnzipM :: Monad m => (a -> b -> m (c, d)) -> [a] -> [b] -> m ([c], [d])
+ Data.Deriving.Via.Internal: changeLast :: [a] -> a -> [a]
+ Data.Deriving.Via.Internal: decomposeType :: Type -> (Cxt, Type)
+ Data.Deriving.Via.Internal: deriveGND :: Q Type -> Q [Dec]
+ Data.Deriving.Via.Internal: deriveVia :: Q Type -> Q [Dec]
+ Data.Deriving.Via.Internal: deriveViaDecs :: Type -> Maybe Type -> Q [Dec]
+ Data.Deriving.Via.Internal: deriveViaDecs' :: Name -> [TyVarBndr] -> [Type] -> Type -> Dec -> Q (Maybe [Dec])
+ Data.Deriving.Via.Internal: etaReduce :: Int -> Type -> Maybe Type
+ Data.Deriving.Via.Internal: mkCoerceClassMethEqn :: [TyVarBndr] -> [Type] -> Type -> Type -> (Type, Type)
+ Data.Deriving.Via.Internal: newtypeRepType :: DatatypeVariant -> [ConstructorInfo] -> Maybe Type
+ Data.Deriving.Via.Internal: stripOuterForallT :: Type -> Type
+ Data.Deriving.Via.Internal: zipTvbSubst :: [TyVarBndr] -> [Type] -> Map Name Type
+ Data.Enum.Deriving.Internal: deriveEnum :: Name -> Q [Dec]
+ Data.Enum.Deriving.Internal: instance Data.Deriving.Internal.ClassRep Data.Enum.Deriving.Internal.EnumClass
+ Data.Enum.Deriving.Internal: instance GHC.Show.Show Data.Enum.Deriving.Internal.EnumFun
+ Data.Enum.Deriving.Internal: makeEnumFrom :: Name -> Q Exp
+ Data.Enum.Deriving.Internal: makeEnumFromThen :: Name -> Q Exp
+ Data.Enum.Deriving.Internal: makeFromEnum :: Name -> Q Exp
+ Data.Enum.Deriving.Internal: makePred :: Name -> Q Exp
+ Data.Enum.Deriving.Internal: makeSucc :: Name -> Q Exp
+ Data.Enum.Deriving.Internal: makeToEnum :: Name -> Q Exp
+ Data.Eq.Deriving.Internal: deriveEq :: Name -> Q [Dec]
+ Data.Eq.Deriving.Internal: deriveEq1 :: Name -> Q [Dec]
+ Data.Eq.Deriving.Internal: deriveEq2 :: Name -> Q [Dec]
+ Data.Eq.Deriving.Internal: instance Data.Deriving.Internal.ClassRep Data.Eq.Deriving.Internal.EqClass
+ Data.Eq.Deriving.Internal: instance GHC.Enum.Bounded Data.Eq.Deriving.Internal.EqClass
+ Data.Eq.Deriving.Internal: instance GHC.Enum.Enum Data.Eq.Deriving.Internal.EqClass
+ Data.Eq.Deriving.Internal: makeEq :: Name -> Q Exp
+ Data.Eq.Deriving.Internal: makeEq1 :: Name -> Q Exp
+ Data.Eq.Deriving.Internal: makeEq2 :: Name -> Q Exp
+ Data.Eq.Deriving.Internal: makeLiftEq :: Name -> Q Exp
+ Data.Eq.Deriving.Internal: makeLiftEq2 :: Name -> Q Exp
+ Data.Eq.Deriving.Internal: makeNotEq :: Name -> Q Exp
+ Data.Functor.Deriving.Internal: FFTOptions :: Bool -> FFTOptions
+ Data.Functor.Deriving.Internal: [fftEmptyCaseBehavior] :: FFTOptions -> Bool
+ Data.Functor.Deriving.Internal: defaultFFTOptions :: FFTOptions
+ Data.Functor.Deriving.Internal: deriveFoldable :: Name -> Q [Dec]
+ Data.Functor.Deriving.Internal: deriveFoldableOptions :: FFTOptions -> Name -> Q [Dec]
+ Data.Functor.Deriving.Internal: deriveFunctor :: Name -> Q [Dec]
+ Data.Functor.Deriving.Internal: deriveFunctorOptions :: FFTOptions -> Name -> Q [Dec]
+ Data.Functor.Deriving.Internal: deriveTraversable :: Name -> Q [Dec]
+ Data.Functor.Deriving.Internal: deriveTraversableOptions :: FFTOptions -> Name -> Q [Dec]
+ Data.Functor.Deriving.Internal: instance Data.Deriving.Internal.ClassRep Data.Functor.Deriving.Internal.FunctorClass
+ Data.Functor.Deriving.Internal: instance GHC.Classes.Eq Data.Functor.Deriving.Internal.FFTOptions
+ Data.Functor.Deriving.Internal: instance GHC.Classes.Eq Data.Functor.Deriving.Internal.FunctorFun
+ Data.Functor.Deriving.Internal: instance GHC.Classes.Ord Data.Functor.Deriving.Internal.FFTOptions
+ Data.Functor.Deriving.Internal: instance GHC.Read.Read Data.Functor.Deriving.Internal.FFTOptions
+ Data.Functor.Deriving.Internal: instance GHC.Show.Show Data.Functor.Deriving.Internal.FFTOptions
+ Data.Functor.Deriving.Internal: instance GHC.Show.Show Data.Functor.Deriving.Internal.FunctorFun
+ Data.Functor.Deriving.Internal: makeFmap :: Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeFmapOptions :: FFTOptions -> Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeFold :: Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeFoldMap :: Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeFoldMapOptions :: FFTOptions -> Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeFoldOptions :: FFTOptions -> Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeFoldl :: Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeFoldlOptions :: FFTOptions -> Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeFoldr :: Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeFoldrOptions :: FFTOptions -> Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeMapM :: Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeMapMOptions :: FFTOptions -> Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeSequence :: Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeSequenceA :: Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeSequenceAOptions :: FFTOptions -> Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeSequenceOptions :: FFTOptions -> Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeTraverse :: Name -> Q Exp
+ Data.Functor.Deriving.Internal: makeTraverseOptions :: FFTOptions -> Name -> Q Exp
+ Data.Functor.Deriving.Internal: newtype FFTOptions
+ Data.Ix.Deriving.Internal: deriveIx :: Name -> Q [Dec]
+ Data.Ix.Deriving.Internal: instance Data.Deriving.Internal.ClassRep Data.Ix.Deriving.Internal.IxClass
+ Data.Ix.Deriving.Internal: instance GHC.Show.Show Data.Ix.Deriving.Internal.IxFun
+ Data.Ix.Deriving.Internal: makeInRange :: Name -> Q Exp
+ Data.Ix.Deriving.Internal: makeRange :: Name -> Q Exp
+ Data.Ix.Deriving.Internal: makeUnsafeIndex :: Name -> Q Exp
+ Data.Ord.Deriving.Internal: deriveOrd :: Name -> Q [Dec]
+ Data.Ord.Deriving.Internal: deriveOrd1 :: Name -> Q [Dec]
+ Data.Ord.Deriving.Internal: deriveOrd2 :: Name -> Q [Dec]
+ Data.Ord.Deriving.Internal: instance Data.Deriving.Internal.ClassRep Data.Ord.Deriving.Internal.OrdClass
+ Data.Ord.Deriving.Internal: instance GHC.Classes.Eq Data.Ord.Deriving.Internal.OrdFun
+ Data.Ord.Deriving.Internal: instance GHC.Enum.Bounded Data.Ord.Deriving.Internal.OrdClass
+ Data.Ord.Deriving.Internal: instance GHC.Enum.Enum Data.Ord.Deriving.Internal.OrdClass
+ Data.Ord.Deriving.Internal: makeCompare :: Name -> Q Exp
+ Data.Ord.Deriving.Internal: makeCompare1 :: Name -> Q Exp
+ Data.Ord.Deriving.Internal: makeCompare2 :: Name -> Q Exp
+ Data.Ord.Deriving.Internal: makeGE :: Name -> Q Exp
+ Data.Ord.Deriving.Internal: makeGT :: Name -> Q Exp
+ Data.Ord.Deriving.Internal: makeLE :: Name -> Q Exp
+ Data.Ord.Deriving.Internal: makeLT :: Name -> Q Exp
+ Data.Ord.Deriving.Internal: makeLiftCompare :: Name -> Q Exp
+ Data.Ord.Deriving.Internal: makeLiftCompare2 :: Name -> Q Exp
+ Data.Ord.Deriving.Internal: makeMax :: Name -> Q Exp
+ Data.Ord.Deriving.Internal: makeMin :: Name -> Q Exp
+ Text.Read.Deriving.Internal: ReadOptions :: Bool -> ReadOptions
+ Text.Read.Deriving.Internal: [useReadPrec] :: ReadOptions -> Bool
+ Text.Read.Deriving.Internal: defaultReadOptions :: ReadOptions
+ Text.Read.Deriving.Internal: deriveRead :: Name -> Q [Dec]
+ Text.Read.Deriving.Internal: deriveRead1 :: Name -> Q [Dec]
+ Text.Read.Deriving.Internal: deriveRead1Options :: ReadOptions -> Name -> Q [Dec]
+ Text.Read.Deriving.Internal: deriveRead2 :: Name -> Q [Dec]
+ Text.Read.Deriving.Internal: deriveRead2Options :: ReadOptions -> Name -> Q [Dec]
+ Text.Read.Deriving.Internal: deriveReadOptions :: ReadOptions -> Name -> Q [Dec]
+ Text.Read.Deriving.Internal: instance Data.Deriving.Internal.ClassRep Text.Read.Deriving.Internal.ReadClass
+ Text.Read.Deriving.Internal: instance GHC.Classes.Eq Text.Read.Deriving.Internal.ReadOptions
+ Text.Read.Deriving.Internal: instance GHC.Classes.Ord Text.Read.Deriving.Internal.ReadOptions
+ Text.Read.Deriving.Internal: instance GHC.Enum.Bounded Text.Read.Deriving.Internal.ReadClass
+ Text.Read.Deriving.Internal: instance GHC.Enum.Enum Text.Read.Deriving.Internal.ReadClass
+ Text.Read.Deriving.Internal: instance GHC.Read.Read Text.Read.Deriving.Internal.ReadOptions
+ Text.Read.Deriving.Internal: instance GHC.Show.Show Text.Read.Deriving.Internal.ReadOptions
+ Text.Read.Deriving.Internal: makeLiftReadPrec :: Name -> Q Exp
+ Text.Read.Deriving.Internal: makeLiftReadPrec2 :: Name -> Q Exp
+ Text.Read.Deriving.Internal: makeLiftReadsPrec :: Name -> Q Exp
+ Text.Read.Deriving.Internal: makeLiftReadsPrec2 :: Name -> Q Exp
+ Text.Read.Deriving.Internal: makeReadPrec :: Name -> Q Exp
+ Text.Read.Deriving.Internal: makeReadPrec1 :: Name -> Q Exp
+ Text.Read.Deriving.Internal: makeReadPrec2 :: Name -> Q Exp
+ Text.Read.Deriving.Internal: makeReadsPrec :: Name -> Q Exp
+ Text.Read.Deriving.Internal: makeReadsPrec1 :: Name -> Q Exp
+ Text.Read.Deriving.Internal: makeReadsPrec2 :: Name -> Q Exp
+ Text.Read.Deriving.Internal: newtype ReadOptions
+ Text.Show.Deriving.Internal: ShowOptions :: Bool -> Bool -> ShowOptions
+ Text.Show.Deriving.Internal: [ghc8ShowBehavior] :: ShowOptions -> Bool
+ Text.Show.Deriving.Internal: [showEmptyCaseBehavior] :: ShowOptions -> Bool
+ Text.Show.Deriving.Internal: data ShowOptions
+ Text.Show.Deriving.Internal: defaultShowOptions :: ShowOptions
+ Text.Show.Deriving.Internal: deriveShow :: Name -> Q [Dec]
+ Text.Show.Deriving.Internal: deriveShow1 :: Name -> Q [Dec]
+ Text.Show.Deriving.Internal: deriveShow1Options :: ShowOptions -> Name -> Q [Dec]
+ Text.Show.Deriving.Internal: deriveShow2 :: Name -> Q [Dec]
+ Text.Show.Deriving.Internal: deriveShow2Options :: ShowOptions -> Name -> Q [Dec]
+ Text.Show.Deriving.Internal: deriveShowOptions :: ShowOptions -> Name -> Q [Dec]
+ Text.Show.Deriving.Internal: instance Data.Deriving.Internal.ClassRep Text.Show.Deriving.Internal.ShowClass
+ Text.Show.Deriving.Internal: instance GHC.Classes.Eq Text.Show.Deriving.Internal.ShowOptions
+ Text.Show.Deriving.Internal: instance GHC.Classes.Ord Text.Show.Deriving.Internal.ShowOptions
+ Text.Show.Deriving.Internal: instance GHC.Enum.Bounded Text.Show.Deriving.Internal.ShowClass
+ Text.Show.Deriving.Internal: instance GHC.Enum.Enum Text.Show.Deriving.Internal.ShowClass
+ Text.Show.Deriving.Internal: instance GHC.Read.Read Text.Show.Deriving.Internal.ShowOptions
+ Text.Show.Deriving.Internal: instance GHC.Show.Show Text.Show.Deriving.Internal.ShowOptions
+ Text.Show.Deriving.Internal: legacyShowOptions :: ShowOptions
+ Text.Show.Deriving.Internal: makeLiftShowList :: Name -> Q Exp
+ Text.Show.Deriving.Internal: makeLiftShowList2 :: Name -> Q Exp
+ Text.Show.Deriving.Internal: makeLiftShowList2Options :: ShowOptions -> Name -> Q Exp
+ Text.Show.Deriving.Internal: makeLiftShowListOptions :: ShowOptions -> Name -> Q Exp
+ Text.Show.Deriving.Internal: makeLiftShowsPrec :: Name -> Q Exp
+ Text.Show.Deriving.Internal: makeLiftShowsPrec2 :: Name -> Q Exp
+ Text.Show.Deriving.Internal: makeLiftShowsPrec2Options :: ShowOptions -> Name -> Q Exp
+ Text.Show.Deriving.Internal: makeLiftShowsPrecOptions :: ShowOptions -> Name -> Q Exp
+ Text.Show.Deriving.Internal: makeShow :: Name -> Q Exp
+ Text.Show.Deriving.Internal: makeShowList :: Name -> Q Exp
+ Text.Show.Deriving.Internal: makeShowListOptions :: ShowOptions -> Name -> Q Exp
+ Text.Show.Deriving.Internal: makeShowOptions :: ShowOptions -> Name -> Q Exp
+ Text.Show.Deriving.Internal: makeShowsPrec :: Name -> Q Exp
+ Text.Show.Deriving.Internal: makeShowsPrec1 :: Name -> Q Exp
+ Text.Show.Deriving.Internal: makeShowsPrec1Options :: ShowOptions -> Name -> Q Exp
+ Text.Show.Deriving.Internal: makeShowsPrec2 :: Name -> Q Exp
+ Text.Show.Deriving.Internal: makeShowsPrec2Options :: ShowOptions -> Name -> Q Exp
+ Text.Show.Deriving.Internal: makeShowsPrecOptions :: ShowOptions -> Name -> Q Exp
Files
- CHANGELOG.md +4/−1
- deriving-compat.cabal +11/−14
- src/Data/Bounded/Deriving/Internal.hs +3/−0
- src/Data/Deriving/Internal.hs +3/−0
- src/Data/Deriving/Via/Internal.hs +3/−0
- src/Data/Enum/Deriving/Internal.hs +3/−0
- src/Data/Eq/Deriving/Internal.hs +3/−0
- src/Data/Functor/Deriving/Internal.hs +3/−0
- src/Data/Ix/Deriving/Internal.hs +3/−0
- src/Data/Ord/Deriving/Internal.hs +3/−0
- src/Text/Read/Deriving/Internal.hs +3/−0
- src/Text/Show/Deriving/Internal.hs +3/−0
CHANGELOG.md view
@@ -1,4 +1,7 @@-### 0.5.3 [2018.01.20]+### 0.5.4 [2019.01.21]+* Expose `Internal` modules.++### 0.5.3 [2019.01.20] * Fix a bug in which `deriveEnum`/`deriveIx` would generate ill-scoped code for certain poly-kinded data types.
deriving-compat.cabal view
@@ -1,5 +1,5 @@ name: deriving-compat-version: 0.5.3+version: 0.5.4 synopsis: Backports of GHC deriving extensions description: Provides Template Haskell functions that mimic deriving extensions that were introduced or modified in recent versions@@ -95,32 +95,29 @@ library exposed-modules: Data.Deriving+ Data.Deriving.Internal Data.Bounded.Deriving+ Data.Bounded.Deriving.Internal Data.Deriving.Via+ Data.Deriving.Via.Internal Data.Enum.Deriving+ Data.Enum.Deriving.Internal Data.Eq.Deriving+ Data.Eq.Deriving.Internal Data.Foldable.Deriving+ Data.Functor.Deriving.Internal Data.Functor.Deriving Data.Ix.Deriving+ Data.Ix.Deriving.Internal Data.Ord.Deriving+ Data.Ord.Deriving.Internal Data.Traversable.Deriving Text.Read.Deriving- Text.Show.Deriving-- other-modules: Data.Deriving.Internal-- Data.Bounded.Deriving.Internal- Data.Deriving.Via.Internal- Data.Enum.Deriving.Internal- Data.Eq.Deriving.Internal- Data.Functor.Deriving.Internal- Data.Ix.Deriving.Internal- Data.Ord.Deriving.Internal Text.Read.Deriving.Internal+ Text.Show.Deriving Text.Show.Deriving.Internal-- Paths_deriving_compat+ other-modules: Paths_deriving_compat build-depends: containers >= 0.1 && < 0.7 , ghc-prim , th-abstraction >= 0.2.9 && < 0.3
src/Data/Bounded/Deriving/Internal.hs view
@@ -8,6 +8,9 @@ Portability: Template Haskell Exports functions to mechanically derive 'Bounded' instances.++Note: this is an internal module, and as such, the API presented here is not+guaranteed to be stable, even between minor releases of this library. -} module Data.Bounded.Deriving.Internal ( -- * 'Bounded'
src/Data/Deriving/Internal.hs view
@@ -19,6 +19,9 @@ Portability: Template Haskell Template Haskell-related utilities.++Note: this is an internal module, and as such, the API presented here is not+guaranteed to be stable, even between minor releases of this library. -} module Data.Deriving.Internal where
src/Data/Deriving/Via/Internal.hs view
@@ -13,6 +13,9 @@ On older versions of @template-haskell@/GHC, this module does not export anything.++Note: this is an internal module, and as such, the API presented here is not+guaranteed to be stable, even between minor releases of this library. -} module Data.Deriving.Via.Internal where
src/Data/Enum/Deriving/Internal.hs view
@@ -6,6 +6,9 @@ Portability: Template Haskell Exports functions to mechanically derive 'Enum' instances.++Note: this is an internal module, and as such, the API presented here is not+guaranteed to be stable, even between minor releases of this library. -} module Data.Enum.Deriving.Internal ( -- * 'Enum'
src/Data/Eq/Deriving/Internal.hs view
@@ -9,6 +9,9 @@ Portability: Template Haskell Exports functions to mechanically derive 'Eq', 'Eq1', and 'Eq2' instances.++Note: this is an internal module, and as such, the API presented here is not+guaranteed to be stable, even between minor releases of this library. -} module Data.Eq.Deriving.Internal ( -- * 'Eq'
src/Data/Functor/Deriving/Internal.hs view
@@ -11,6 +11,9 @@ For more info on how deriving @Functor@ works, see <https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/DeriveFunctor this GHC wiki page>.++Note: this is an internal module, and as such, the API presented here is not+guaranteed to be stable, even between minor releases of this library. -} module Data.Functor.Deriving.Internal ( -- * 'Foldable'
src/Data/Ix/Deriving/Internal.hs view
@@ -6,6 +6,9 @@ Portability: Template Haskell Exports functions to mechanically derive 'Ix' instances.++Note: this is an internal module, and as such, the API presented here is not+guaranteed to be stable, even between minor releases of this library. -} module Data.Ix.Deriving.Internal ( -- * 'Ix'
src/Data/Ord/Deriving/Internal.hs view
@@ -9,6 +9,9 @@ Portability: Template Haskell Exports functions to mechanically derive 'Ord', 'Ord1', and 'Ord2' instances.++Note: this is an internal module, and as such, the API presented here is not+guaranteed to be stable, even between minor releases of this library. -} module Data.Ord.Deriving.Internal ( -- * 'Ord'
src/Text/Read/Deriving/Internal.hs view
@@ -8,6 +8,9 @@ Portability: Template Haskell Exports functions to mechanically derive 'Read', 'Read1', and 'Read2' instances.++Note: this is an internal module, and as such, the API presented here is not+guaranteed to be stable, even between minor releases of this library. -} module Text.Read.Deriving.Internal ( -- * 'Read'
src/Text/Show/Deriving/Internal.hs view
@@ -8,6 +8,9 @@ Portability: Template Haskell Exports functions to mechanically derive 'Show', 'Show1', and 'Show2' instances.++Note: this is an internal module, and as such, the API presented here is not+guaranteed to be stable, even between minor releases of this library. -} module Text.Show.Deriving.Internal ( -- * 'Show'