List of `InstanceD` occurences in stackage-packages
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
yesod-core-1.4.20.1/Yesod/Routes/TH/RouteAttrs.hs: return $ InstanceD [] (ConT ''RouteAttrs `AppT` typ) | |
yesod-core-1.4.20.1/Yesod/Routes/TH/RenderRoute.hs: return $ InstanceD cxt (ConT ''RenderRoute `AppT` typ) | |
yesod-core-1.4.20.1/Yesod/Routes/TH/ParseRoute.hs: return $ InstanceD [] (ConT ''ParseRoute `AppT` typ) | |
yesod-core-1.4.20.1/Yesod/Core/Internal/TH.hs: return [InstanceD cxt yDispatch [thisDispatch]] | |
yesod-core-1.4.20.1/test/RouteSpec.hs: $ InstanceD | |
yesod-core-1.4.20.1/test/Hierarchy.hs: $ InstanceD | |
wai-routes-0.9.7/src/Network/Wai/Middleware/Routes/Routes.hs: return [InstanceD [] | |
wai-routes-0.9.7/src/Network/Wai/Middleware/Routes/Routes.hs: return [InstanceD [contract] | |
wai-routes-0.9.7/src/Network/Wai/Middleware/Routes/TH/RouteAttrs.hs: return $ InstanceD [] (ConT ''RouteAttrs `AppT` typ) | |
wai-routes-0.9.7/src/Network/Wai/Middleware/Routes/TH/RenderRoute.hs: return $ InstanceD cxt (ConT ''RenderRoute `AppT` typ) | |
wai-routes-0.9.7/src/Network/Wai/Middleware/Routes/TH/ParseRoute.hs: return $ InstanceD [] (ConT ''ParseRoute `AppT` typ) | |
vector-th-unbox-0.2.1.5/Data/Vector/Unboxed/Deriving.hs: let instanceMVector = InstanceD cxts | |
vector-th-unbox-0.2.1.5/Data/Vector/Unboxed/Deriving.hs: let instanceVector = InstanceD cxts | |
vector-th-unbox-0.2.1.5/Data/Vector/Unboxed/Deriving.hs: return [ InstanceD cxts (ConT ''Unbox `AppT` typ) [] | |
true-name-0.1.0.1/Unsafe/TrueName.hs: InstanceD cxt typ decs -> (predNames =<< cxt) | |
th-reify-many-0.1.4/src/Language/Haskell/TH/ReifyMany/Internal.hs:-- | Datatype to capture the fields of 'InstanceD'. | |
th-reify-many-0.1.4/src/Language/Haskell/TH/ReifyMany/Internal.hs: convertDec (InstanceD ctxt typ decs) = do | |
th-desugar-1.5.5/Language/Haskell/TH/Desugar/Sweeten.hs: [InstanceD (cxtToTH cxt) (typeToTH ty) (decsToTH decs)] | |
th-desugar-1.5.5/Language/Haskell/TH/Desugar/Reify.hs:reifyInDec n decs (InstanceD _ _ sub_decs) | |
th-desugar-1.5.5/Language/Haskell/TH/Desugar/Reify.hs: match_instance d@(InstanceD _ ty _) | ConT n' <- ty_head ty | |
th-desugar-1.5.5/Language/Haskell/TH/Desugar/Reify.hs: match_instance (InstanceD _ _ decs) = concatMap match_instance decs | |
th-desugar-1.5.5/Language/Haskell/TH/Desugar/Reify.hs:stripInstanceDec (InstanceD cxt ty _) = InstanceD cxt ty [] | |
th-desugar-1.5.5/Language/Haskell/TH/Desugar/Core.hs:dsDec (InstanceD cxt ty decs) = | |
template-haskell-2.10.0.0/Language/Haskell/TH/Syntax.hs:-- * 'InstanceD' (with empty @['Dec']@) | |
template-haskell-2.10.0.0/Language/Haskell/TH/Syntax.hs: | InstanceD Cxt Type [Dec] -- ^ @{ instance Show w => Show [w] | |
template-haskell-2.10.0.0/Language/Haskell/TH/Syntax.hs: -- | type families (may also appear in [Dec] of 'ClassD' and 'InstanceD') | |
template-haskell-2.10.0.0/Language/Haskell/TH/Lib.hs: return $ InstanceD ctxt1 ty1 decs1 | |
template-haskell-2.10.0.0/Language/Haskell/TH/Ppr.hs:ppr_dec _ (InstanceD ctxt i ds) = text "instance" <+> pprCxt ctxt <+> ppr i | |
strive-2.2.1/library/Strive/Internal/TH.hs: return $ InstanceD | |
shakespeare-2.0.8/Text/Shakespeare/I18N.hs: [ InstanceD | |
shakespeare-2.0.8/Text/MkSizeType.hs:showInstanceDec name unit' = InstanceD [] (instanceType "Show" name) [showDec] | |
shakespeare-2.0.8/Text/MkSizeType.hs:numInstanceDec name = InstanceD [] (instanceType "Num" name) decs | |
shakespeare-2.0.8/Text/MkSizeType.hs:fractionalInstanceDec name = InstanceD [] (instanceType "Fractional" name) decs | |
shakespeare-2.0.8/Text/MkSizeType.hs:toCssInstanceDec name = InstanceD [] (instanceType "ToCss" name) [toCssDec] | |
safecopy-0.9.0.1/test/instances.hs: let instances (ClassI _ decs) = [ typ | InstanceD _ (AppT _ typ) _ <- decs ] | |
relational-query-HDBC-0.6.0.0/src/Database/HDBC/Record/InternalTH.hs: (Q, Dec (InstanceD), Type(AppT, ConT), | |
relational-query-HDBC-0.6.0.0/src/Database/HDBC/Record/InternalTH.hs: d1 (InstanceD _cxt (AppT (AppT (ConT _n) a) b) _ds) | |
relational-query-HDBC-0.6.0.0/src/Database/HDBC/Record/InternalTH.hs: d1 (InstanceD _cxt (AppT (ConT _n) a) _ds) = return a | |
product-profunctors-0.7.0.2/Data/Profunctor/Product/Internal/TH.hs:import Language.Haskell.TH (Dec(DataD, SigD, FunD, InstanceD, NewtypeD), | |
product-profunctors-0.7.0.2/Data/Profunctor/Product/Internal/TH.hs: return [InstanceD [] (ConT ''N.Newtype `AppT` ConT tyName) body] | |
product-profunctors-0.7.0.2/Data/Profunctor/Product/Internal/TH.hs: where instanceDec = fmap (\i -> InstanceD i instanceType [defDefinition]) | |
persistent-template-2.5/Database/Persist/TH.hs: , InstanceD instanceConstraint clazz $ | |
persistent-template-2.5/Database/Persist/TH.hs: InstanceD | |
persistent-template-2.5/Database/Persist/TH.hs: InstanceD ctx (ConT clazz `AppT` typ) | |
lens-4.13.2.1/src/Language/Haskell/TH/Lens.hs: reviewer (x, y, z) = InstanceD x y z | |
lens-4.13.2.1/src/Language/Haskell/TH/Lens.hs: remitter (InstanceD x y z) = Just (x, y, z) | |
lens-4.13.2.1/src/Control/Lens/TH.hs: InstanceD ctx inst body -> InstanceD ctx inst <$> traverse go body | |
hflags-0.4.1/HFlags.hs: instanceToFlagData (InstanceD _ (AppT _ inst) _) = [| getFlagData (undefined :: $(return inst)) |] | |
hflags-0.4.1/HFlags.hs: instanceToModuleNamePair (InstanceD _ (AppT _ (ConT inst)) _) = | |
haskell-src-meta-0.6.0.13/src/Language/Haskell/Meta/Syntax/Translate.hs: toDec (Hs.InstDecl _ Nothing _vars cxt qname ts ids) = InstanceD | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: return $ [InstanceD context (AppT (ConT ''PersistField) embedded) decs] | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: return $ [InstanceD context (AppT (ConT ''PurePersistField) dataType) decs] | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: return [InstanceD context (AppT (ConT ''PersistField) keyType) decs] | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: sequence [ return $ InstanceD context (AppT (ConT ''PrimitivePersistField) keyType) decs | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: , return $ InstanceD context (AppT (ConT ''NeverNull) keyType) [] | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: return $ InstanceD context (AppT (ConT ''PurePersistField) typ) decs | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: return $ InstanceD context (AppT (ConT ''SinglePersistField) typ) decs | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: return $ InstanceD context (AppT (ConT ''IsUniqueKey) uniqKeyType) [extractUnique', uniqueNum'] | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: return $ InstanceD context (AppT (ConT ''PersistField) uniqKeyType) decs | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: sequence [ return $ InstanceD context (AppT (ConT ''PrimitivePersistField) uniqKeyType) decs | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: , return $ InstanceD context (AppT (ConT ''NeverNull) uniqKeyType) decs | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: return $ InstanceD context (AppT (ConT ''Read) keyType) [readPrec', readListPrec'] | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: else [InstanceD context (AppT (ConT ''Eq) typ) [eq'], InstanceD context (AppT (ConT ''Show) typ) [showsPrec']] ++ read' | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: return $ [InstanceD context (AppT (ConT ''Embedded) dataType) decs] | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: return $ [InstanceD context (AppT (ConT ''PersistEntity) entity) decs] | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: return $ [InstanceD context (AppT (ConT ''PersistField) entity) decs] | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: return [InstanceD context (AppT (ConT ''SinglePersistField) entity) decs] | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: then [InstanceD context (AppT (ConT ''NeverNull) entity) []] | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: return [ InstanceD [] (AppT (ConT ''PersistField) primitive) decs | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: , InstanceD [] (AppT (ConT ''NeverNull) primitive) [] | |
groundhog-th-0.7.0.1/Database/Groundhog/TH/CodeGen.hs: sequence $ [return $ InstanceD context (AppT (ConT ''PrimitivePersistField) primitive) decs | |
git-annex-6.20160412/standalone/no-th/haskell-patches/yesod-core_expand_TH.patch:- return [InstanceD [] yDispatch [thisDispatch]] | |
git-annex-6.20160412/standalone/no-th/haskell-patches/generic-deriving_remove-TH.patch:- InstanceD ([]) (AppT (ConT ''Selector) (ConT $ genName [dt, n, f])) | |
ghc-mod-5.5.0.0/NotCPP/OrphanEvasion.hs: return [InstanceD cxt (rollAppT (ConT cl) tys) ds] | |
ghc-mod-5.5.0.0/NotCPP/Declarations.hs: InstanceD _ _ty _ -> | |
flexible-defaults-0.0.1.1/src/Language/Haskell/TH/FlexibleDefaults.hs: [InstanceD clsCxt cls decs] -> do | |
flexible-defaults-0.0.1.1/src/Language/Haskell/TH/FlexibleDefaults.hs: return [InstanceD clsCxt cls impl] | |
derive-2.5.24/src/Language/Haskell/TH/Helper.hs:instance_context req cls dat defs = InstanceD ctx hed defs | |
derive-2.5.24/src/Language/Haskell/TH/Helper.hs:generic_instance cls dat ctxTypes defs = [InstanceD ctx hed defs] | |
derive-2.5.24/src/Language/Haskell/Convert.hs: conv (InstDecl _ _ _ cxt nam typ ds) = InstanceD (c cxt) (c $ tyApp (TyCon nam) typ) [c d | InsDecl d <- ds] | |
dependent-sum-template-0.0.0.4/src/Data/GADT/Show/TH.hs: deriveGShow (InstanceD cxt (AppT instType dataType) decs) | |
dependent-sum-template-0.0.0.4/src/Data/GADT/Show/TH.hs: return [InstanceD cxt (AppT instType dataType) [gshowDec]] | |
dependent-sum-template-0.0.0.4/src/Data/GADT/Compare/TH.hs: deriveGEq (InstanceD cxt (AppT instType dataType) decs) | |
dependent-sum-template-0.0.0.4/src/Data/GADT/Compare/TH.hs: return [InstanceD cxt (AppT instType dataType) [geqDec]] | |
dependent-sum-template-0.0.0.4/src/Data/GADT/Compare/TH.hs: deriveGCompare (InstanceD cxt (AppT instType dataType) decs) | |
dependent-sum-template-0.0.0.4/src/Data/GADT/Compare/TH.hs: return [InstanceD cxt (AppT instType dataType) [gcompareDec]] | |
cql-3.0.7/src/Database/CQL/Protocol/Tuple/TH.hs: [ InstanceD ctx (tcon "PrivateTuple" $: tupleType) | |
cql-3.0.7/src/Database/CQL/Protocol/Tuple/TH.hs: , InstanceD ctx (tcon "Tuple" $: tupleType) [] | |
cql-3.0.7/src/Database/CQL/Protocol/Record.hs: , InstanceD [] (ConT (mkName "Record") $: ConT tname) | |
compdata-0.10/src/Data/Comp/Multi/Derive/Show.hs: return [InstanceD preCond classType [showFDecl]] | |
compdata-0.10/src/Data/Comp/Multi/Derive/Ordering.hs: return [InstanceD [] classType [compareHFDecl]] | |
compdata-0.10/src/Data/Comp/Multi/Derive/HTraversable.hs: return [InstanceD [] classType [traverseDecl, mapMDecl]] | |
compdata-0.10/src/Data/Comp/Multi/Derive/HFunctor.hs: return [InstanceD [] classType [hfmapDecl]] | |
compdata-0.10/src/Data/Comp/Multi/Derive/HFoldable.hs: return [InstanceD [] classType [foldDecl,foldMapDecl,foldlDecl,foldrDecl]] | |
compdata-0.10/src/Data/Comp/Multi/Derive/Equality.hs: return [InstanceD preCond classType [eqFDecl]] | |
compdata-0.10/src/Data/Comp/Derive/Utils.hs: return [InstanceD cxt complType decs'] | |
compdata-0.10/src/Data/Comp/Derive/Traversable.hs: return [InstanceD [] classType [traverseDecl, sequenceADecl, mapMDecl,sequenceDecl]] | |
compdata-0.10/src/Data/Comp/Derive/Show.hs: return [InstanceD preCond classType [showFDecl]] | |
compdata-0.10/src/Data/Comp/Derive/Show.hs: return [InstanceD preCond classType [showConstrDecl]] | |
compdata-0.10/src/Data/Comp/Derive/Ordering.hs: return [InstanceD preCond classType [eqAlgDecl]] | |
compdata-0.10/src/Data/Comp/Derive/HaskellStrict.hs: return [InstanceD [] classType [sequenceDecl, injectDecl, injectDecl']] | |
compdata-0.10/src/Data/Comp/Derive/HaskellStrict.hs: return [InstanceD [] classType [sequenceDecl, injectDecl, injectDecl']] | |
compdata-0.10/src/Data/Comp/Derive/Foldable.hs: return [InstanceD [] classType [foldDecl,foldMapDecl,foldlDecl,foldrDecl,foldl1Decl,foldr1Decl]] | |
compdata-0.10/src/Data/Comp/Derive/Equality.hs: return [InstanceD preCond classType [eqFDecl]] | |
compdata-0.10/src/Data/Comp/Derive/DeepSeq.hs: return [InstanceD preCond classType [rnfFDecl]] | |
compdata-0.10/src/Data/Comp/Derive/Arbitrary.hs: return [InstanceD preCond classType [arbitraryDecl, shrinkDecl]] | |
avers-0.0.15/src/Avers/TH.hs: [ InstanceD icxt | |
avers-0.0.15/src/Avers/TH.hs: [ InstanceD icxt |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment