Skip to content

Instantly share code, notes, and snippets.

@hvr

hvr/- Secret

Last active Apr 14, 2016
Embed
What would you like to do?
List of `InstanceD` occurences in stackage-packages
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