Home
last modified time | relevance | path

Searched refs:fam_insts (Results 1 – 25 of 27) sorted by relevance

12

/dports/lang/ghc/ghc-8.10.7/compiler/GHC/HsToCore/
H A DPmCheck.hs270 fam_insts <- dsGetFamInstEnvs
271 grds <- translatePat fam_insts var p
500 translateListPat fam_insts x ps
581 translatePatV fam_insts pat = do function
583 grds <- translatePat fam_insts x pat
587 translateLPat fam_insts x = translatePat fam_insts x . unLoc function
591 translateLPatV fam_insts = translatePatV fam_insts . unLoc function
597 translateListPat fam_insts x pats = do function
679 translateGuards fam_insts guards =
706 -> translateLPat fam_insts y p
[all …]
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/
H A DFamInst.hs605 tcExtendLocalFamInstEnv fam_insts thing_inside
609 loadDependentFamInstModules fam_insts
615 fam_insts
626 loadDependentFamInstModules fam_insts
635 home_fams_only = all (nameIsHomePackage this_mod . fi_fam) fam_insts
H A DTcInstDcls.hs382 fam_insts = concat fam_insts_s function
386 addFamInsts fam_insts $
415 addFamInsts fam_insts thing_inside
416 = tcExtendLocalFamInstEnv fam_insts $
418 do { traceTc "addFamInsts" (pprFamInsts fam_insts)
424 axioms = map (ACoAxiom . toBranchedAxiom . famInstAxiom) fam_insts
425 data_rep_tycons = famInstsRepTyCons fam_insts
461 = do { (insts, fam_insts, deriv_infos) <- tcClsInstDecl (L loc decl)
462 ; return (insts, fam_insts, deriv_infos) }
H A DTcRnDriver.hs2648 ; (cls_insts, fam_insts) <- lookupInsts thing
2650 ; return (thing, fixity, cls_insts, fam_insts, info) }
2675 ; let fam_insts =
2679 ; return (cls_insts, fam_insts) }
2743 tcg_fam_insts = fam_insts,
2748 , ppr_tycons debug fam_insts type_env
2752 , ppr_fam_insts fam_insts
2789 ppr_tycons debug fam_insts type_env
2794 fi_tycons = famInstsRepTyCons fam_insts
2845 ppr_fam_insts fam_insts
[all …]
H A DTcInteract.hs2014 , let fam_insts = lookupFamInstEnvByTyCon fam_envs fam_tc function
2017 do { let improvs = buildImprovementData fam_insts
H A DTcCanonical.hs868 ; fam_insts <- getFamInstEnvs
869 ; can_eq_nc' flat rdr_env fam_insts ev eq_rel ty1 ps_ty1 ty2 ps_ty2 }
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Unit/Module/
H A DModIface.hs317 mi_fam_insts = fam_insts,
362 put_ bh fam_insts
395 fam_insts <- {-# SCC "bin_fam_insts" #-} get bh
419 mi_fam_insts = fam_insts,
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Runtime/
H A DContext.hs317 , new_fam_insts ++ fam_insts )
329 (cls_insts, fam_insts) = ic_instances ictxt function
/dports/lang/ghc/ghc-8.10.7/utils/haddock/haddock-api/src/Haddock/Interface/
H A DAttachInstances.hs104 fam_insts = [ ( synFamInst function
127 cleanFamInsts = [ (fi, n, L l r, m) | (Right fi, n, L l (Right r), m) <- fam_insts ]
128 famInstErrs = [ errm | (Left errm, _, _, _) <- fam_insts ]
/dports/lang/ghc/ghc-8.10.7/compiler/main/
H A DTidyPgm.hs142 tcg_fam_insts = fam_insts,
153 , md_fam_insts = fam_insts
179 type_env1 = typeEnvFromEntities final_ids final_tcs fam_insts
331 , mg_fam_insts = fam_insts
393 ; type_env = typeEnvFromEntities final_ids final_tcs fam_insts
444 md_fam_insts = fam_insts,
H A DHscTypes.hs1138 mi_fam_insts = fam_insts,
1180 put_ bh fam_insts
1213 fam_insts <- {-# SCC "bin_fam_insts" #-} get bh
1237 mi_fam_insts = fam_insts,
1772 , new_fam_insts ++ fam_insts )
1784 (cls_insts, fam_insts) = ic_instances ictxt function
H A DInteractiveEval.hs834 Just (thing, fixity, cls_insts, fam_insts, docs) -> do
840 fam_insts' = filter (plausible rdr_env . orphNamesOfFamInst) fam_insts function
H A DHscMain.hs1715 , md_fam_insts = fam_insts } = mod_details
1753 fam_insts defaults fix_env
/dports/lang/ghc/ghc-8.10.7/compiler/deSugar/
H A DDesugar.hs110 tcg_fam_insts = fam_insts,
204 mg_fam_insts = fam_insts,
H A DExtractDocs.hs40 , tcg_fam_insts = fam_insts
50 $ map getName insts ++ map getName fam_insts
/dports/lang/ghc/ghc-8.10.7/compiler/iface/
H A DTcIface.hs171 ; fam_insts <- mapM tcIfaceFamInst (mi_fam_insts iface)
189 , md_fam_insts = fam_insts
388 fam_insts <- mapM tcIfaceFamInst (mi_fam_insts iface)
395 , md_fam_insts = fam_insts
427 fam_insts <- mapM tcIfaceFamInst (mi_fam_insts iface)
434 , md_fam_insts = fam_insts
H A DMkIface.hs242 md_fam_insts = fam_insts,
278 iface_fam_insts = map famInstToIfaceFamInst fam_insts
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/main/
H A DHscTypes.hs1138 mi_fam_insts = fam_insts,
1180 put_ bh fam_insts
1213 fam_insts <- {-# SCC "bin_fam_insts" #-} get bh
1237 mi_fam_insts = fam_insts,
1772 , new_fam_insts ++ fam_insts )
1784 (cls_insts, fam_insts) = ic_instances ictxt function
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Driver/
H A DTypes.hs1177 mi_fam_insts = fam_insts,
1222 put_ bh fam_insts
1255 fam_insts <- {-# SCC "bin_fam_insts" #-} get bh
1279 mi_fam_insts = fam_insts,
1819 , new_fam_insts ++ fam_insts )
1831 (cls_insts, fam_insts) = ic_instances ictxt function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/plugins/hls-eval-plugin/src/Ide/Plugin/Eval/
H A DCodeLens.hs731 pprInfo (thing, fixity, cls_insts, fam_insts, docs)
736 $$ vcat (map GHC.pprFamInst fam_insts)
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/plugins/hls-eval-plugin/src/Ide/Plugin/Eval/
H A DCodeLens.hs731 pprInfo (thing, fixity, cls_insts, fam_insts, docs)
736 $$ vcat (map GHC.pprFamInst fam_insts)
/dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Hs/
H A DDecls.hs879 do_one (L _ (ClsInstD { cid_inst = ClsInstDecl { cid_datafam_insts = fam_insts } }))
880 = map unLoc fam_insts
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Hs/
H A DDecls.hs2043 do_one (L _ (ClsInstD { cid_inst = ClsInstDecl { cid_datafam_insts = fam_insts } }))
2044 = map unLoc fam_insts
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/GHC/Hs/
H A DDecls.hs1884 do_one (L _ (ClsInstD { cid_inst = ClsInstDecl { cid_datafam_insts = fam_insts } }))
1885 = map unLoc fam_insts
/dports/lang/ghc/ghc-8.10.7/compiler/GHC/Hs/
H A DDecls.hs1884 do_one (L _ (ClsInstD { cid_inst = ClsInstDecl { cid_datafam_insts = fam_insts } }))
1885 = map unLoc fam_insts

12