| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-lib-parser-8.10.7.20210828/compiler/basicTypes/ |
| H A D | PatSyn.hs | 371 (univ_tvs, req_theta)
377 psUnivTyVars = univ_tvs,
424 patSynSig (MkPatSyn { psUnivTyVars = univ_tvs, psExTyVars = ex_tvs
427 = (binderVars univ_tvs, req, binderVars ex_tvs, prov, arg_tys, res_ty)
449 patSynInstArgTys (MkPatSyn { psName = name, psUnivTyVars = univ_tvs
456 tyvars = binderVars (univ_tvs ++ ex_tvs)
464 patSynInstResTy (MkPatSyn { psName = name, psUnivTyVars = univ_tvs
467 = ASSERT2( univ_tvs `equalLength` inst_tys
469 substTyWith (binderVars univ_tvs) inst_tys res_ty
473 pprPatSynType (MkPatSyn { psUnivTyVars = univ_tvs, psReqTheta = req_theta
[all …]
|
| H A D | DataCon.hs | 915 univ_tvs ex_tvs user_tvbs
933 dcUnivTyVars = univ_tvs,
964 mkTyConApp rep_tycon (mkTyVarTys univ_tvs)
984 (univ_tvs ++ ex_tvs)
1050 = univ_tvs ++ ex_tvs
1244 univ_subst = zipTvSubst univ_tvs univ_tys
1270 = (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty)
1314 dataConInstArgTys dc@(MkData {dcUnivTyVars = univ_tvs,
1316 = ASSERT2( univ_tvs `equalLength` inst_tys
1331 dcUnivTyVars = univ_tvs,
[all …]
|
| H A D | ConLike.hs | 173 let (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty) = dataConFullSig con
176 in (univ_tvs, ex_tvs, eq_spec, theta, [], arg_tys, res_ty)
178 let (univ_tvs, req, ex_tvs, prov, arg_tys, res_ty) = patSynSig pat_syn
180 in (univ_tvs, ex_tvs, [], prov, req, arg_tys, res_ty)
|
| H A D | MkId.hs | 537 univ_tvs = dataConUnivTyVars data_con function
545 res_ty_args = mkTyCoVarTys univ_tvs
551 mkLams univ_tvs $ Lam id_arg1 $
697 (univ_tvs, ex_tvs, eq_spec, theta, orig_arg_tys, _orig_res_ty)
700 res_ty_args = substTyVars (mkTvSubstPrs (map eqSpecPair eq_spec)) univ_tvs
755 subst1 = zipTvSubst univ_tvs ty_args
|
| /dports/lang/ghc/ghc-8.10.7/compiler/basicTypes/ |
| H A D | PatSyn.hs | 371 (univ_tvs, req_theta)
377 psUnivTyVars = univ_tvs,
424 patSynSig (MkPatSyn { psUnivTyVars = univ_tvs, psExTyVars = ex_tvs
427 = (binderVars univ_tvs, req, binderVars ex_tvs, prov, arg_tys, res_ty)
449 patSynInstArgTys (MkPatSyn { psName = name, psUnivTyVars = univ_tvs
456 tyvars = binderVars (univ_tvs ++ ex_tvs)
464 patSynInstResTy (MkPatSyn { psName = name, psUnivTyVars = univ_tvs
467 = ASSERT2( univ_tvs `equalLength` inst_tys
469 substTyWith (binderVars univ_tvs) inst_tys res_ty
473 pprPatSynType (MkPatSyn { psUnivTyVars = univ_tvs, psReqTheta = req_theta
[all …]
|
| H A D | DataCon.hs | 915 univ_tvs ex_tvs user_tvbs
933 dcUnivTyVars = univ_tvs,
964 mkTyConApp rep_tycon (mkTyVarTys univ_tvs)
984 (univ_tvs ++ ex_tvs)
1050 = univ_tvs ++ ex_tvs
1244 univ_subst = zipTvSubst univ_tvs univ_tys
1270 = (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty)
1314 dataConInstArgTys dc@(MkData {dcUnivTyVars = univ_tvs,
1316 = ASSERT2( univ_tvs `equalLength` inst_tys
1331 dcUnivTyVars = univ_tvs,
[all …]
|
| H A D | ConLike.hs | 173 let (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty) = dataConFullSig con
176 in (univ_tvs, ex_tvs, eq_spec, theta, [], arg_tys, res_ty)
178 let (univ_tvs, req, ex_tvs, prov, arg_tys, res_ty) = patSynSig pat_syn
180 in (univ_tvs, ex_tvs, [], prov, req, arg_tys, res_ty)
|
| H A D | MkId.hs | 537 univ_tvs = dataConUnivTyVars data_con function
545 res_ty_args = mkTyCoVarTys univ_tvs
551 mkLams univ_tvs $ Lam id_arg1 $
697 (univ_tvs, ex_tvs, eq_spec, theta, orig_arg_tys, _orig_res_ty)
700 res_ty_args = substTyVars (mkTvSubstPrs (map eqSpecPair eq_spec)) univ_tvs
755 subst1 = zipTvSubst univ_tvs ty_args
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Core/ |
| H A D | PatSyn.hs | 372 (univ_tvs, req_theta)
378 psUnivTyVars = univ_tvs,
425 patSynSigBndr (MkPatSyn { psUnivTyVars = univ_tvs, psExTyVars = ex_tvs
428 = (univ_tvs, req, ex_tvs, prov, map unrestricted arg_tys, res_ty)
454 patSynInstArgTys (MkPatSyn { psName = name, psUnivTyVars = univ_tvs
461 tyvars = binderVars (univ_tvs ++ ex_tvs)
469 patSynInstResTy (MkPatSyn { psName = name, psUnivTyVars = univ_tvs
472 = ASSERT2( univ_tvs `equalLength` inst_tys
474 substTyWith (binderVars univ_tvs) inst_tys res_ty
478 pprPatSynType (MkPatSyn { psUnivTyVars = univ_tvs, psReqTheta = req_theta
[all …]
|
| H A D | DataCon.hs | 970 univ_tvs ex_tvs user_tvbs
988 dcUnivTyVars = univ_tvs,
1019 mkTyConApp rep_tycon (mkTyVarTys univ_tvs)
1039 (univ_tvs ++ ex_tvs)
1105 = univ_tvs ++ ex_tvs
1283 univ_subst = zipTvSubst univ_tvs univ_tys
1310 = (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty)
1404 dataConInstArgTys dc@(MkData {dcUnivTyVars = univ_tvs,
1406 = ASSERT2( univ_tvs `equalLength` inst_tys
1422 dcUnivTyVars = univ_tvs,
[all …]
|
| H A D | ConLike.hs | 187 let (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty) = dataConFullSig con
190 in (univ_tvs, ex_tvs, eq_spec, theta, [], arg_tys, res_ty)
192 let (univ_tvs, req, ex_tvs, prov, arg_tys, res_ty) = patSynSig pat_syn
194 in (univ_tvs, ex_tvs, [], prov, req, arg_tys, res_ty)
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Core/ |
| H A D | PatSyn.hs | 395 (univ_tvs, req_theta)
401 psUnivTyVars = univ_tvs,
452 patSynSigBndr (MkPatSyn { psUnivTyVars = univ_tvs, psExTyVars = ex_tvs
455 = (univ_tvs, req, ex_tvs, prov, map unrestricted arg_tys, res_ty)
478 patSynInstArgTys (MkPatSyn { psName = name, psUnivTyVars = univ_tvs
485 tyvars = binderVars (univ_tvs ++ ex_tvs)
493 patSynInstResTy (MkPatSyn { psName = name, psUnivTyVars = univ_tvs
496 = ASSERT2( univ_tvs `equalLength` inst_tys
498 substTyWith (binderVars univ_tvs) inst_tys res_ty
502 pprPatSynType (MkPatSyn { psUnivTyVars = univ_tvs, psReqTheta = req_theta
[all …]
|
| H A D | DataCon.hs | 973 univ_tvs ex_tvs user_tvbs
991 dcUnivTyVars = univ_tvs,
1022 mkTyConApp rep_tycon (mkTyVarTys univ_tvs)
1042 (univ_tvs ++ ex_tvs)
1108 = univ_tvs ++ ex_tvs
1286 univ_subst = zipTvSubst univ_tvs univ_tys
1313 = (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty)
1407 dataConInstArgTys dc@(MkData {dcUnivTyVars = univ_tvs,
1409 = ASSERT2( univ_tvs `equalLength` inst_tys
1425 dcUnivTyVars = univ_tvs,
[all …]
|
| H A D | ConLike.hs | 194 let (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, res_ty) = dataConFullSig con
197 in (univ_tvs, ex_tvs, eq_spec, theta, [], arg_tys, res_ty)
199 let (univ_tvs, req, ex_tvs, prov, arg_tys, res_ty) = patSynSig pat_syn
201 in (univ_tvs, ex_tvs, [], prov, req, arg_tys, res_ty)
|
| /dports/lang/ghc/ghc-8.10.7/compiler/iface/ |
| H A D | BuildTyCl.hs | 154 mkDataConStupidTheta tycon arg_tys univ_tvs
159 (mkTyVarTys univ_tvs)
180 (univ_tvs, req_theta) (ex_tvs, prov_theta) arg_tys
184 ASSERT2((and [ univ_tvs `equalLength` univ_tvs1
191 , (vcat [ ppr univ_tvs <+> twiddle <+> ppr univ_tvs1
198 (univ_tvs, req_theta) (ex_tvs, prov_theta)
252 ; let univ_tvs = binderVars binders function
255 result = mkAbstractClass tycon_name univ_tvs fds tycon
301 univ_tvs = binderVars univ_bndrs function
311 univ_tvs
[all …]
|
| H A D | TcIface.hs | 833 ; bindIfaceForAllBndrs univ_bndrs $ \univ_tvs -> do
841 (univ_tvs, req_theta)
895 univ_tvs :: [TyVar]
896 univ_tvs = binderVars (tyConTyVarBinders tc_tybinders) function
966 univ_tvs ex_tvs user_tv_bndrs
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcPatSyn.hs | 162 ; (univ_tvs, req_dicts, ev_binds, residual, _)
185 (mkTyVarBinders Inferred univ_tvs
378 univ_tvs = binderVars univ_bndrs function
387 tcExtendTyVarEnv univ_tvs $
605 (univ_tvs, req_theta, req_ev_binds, req_dicts)
612 (ze, univ_tvs') <- zonkTyVarBinders univ_tvs
628 ppr (univ_tvs, req_theta, req_ev_binds, req_dicts) $$
643 univ_tvs req_theta
656 (univ_tvs, req_theta)
689 (univ_tvs, req_theta, req_ev_binds, req_dicts)
[all …]
|
| H A D | TcSigs.hs | 383 ; (implicit_tvs, (univ_tvs, (ex_tvs, (req, prov, body_ty))))
396 ; let ungen_patsyn_ty = build_patsyn_type [] implicit_tvs univ_tvs
407 ; univ_tvs <- mapM zonkTyCoVarKind univ_tvs
427 univ_tvs' = univ_tvs function
|
| H A D | TcPat.hs | 732 (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, _)
748 ; tenv <- instTyVarsWith PatOrigin univ_tvs ctxt_res_tys
763 , pprTyVars univ_tvs
825 = do { let (univ_tvs, req_theta, ex_tvs, prov_theta, arg_tys, ty) = patSynSig pat_syn
827 ; (subst, univ_tvs') <- newMetaTyVars univ_tvs
1044 univ_tvs = dataConUnivTyVars data_con function
1045 tenv = zipTvSubst univ_tvs (takeList univ_tvs inst_tys)
|
| H A D | TcTyDecls.hs | 578 = setRoleInferenceVars univ_tvs $
584 (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, _res_ty)
933 (univ_tvs, _, eq_spec, _, req_theta, _, data_ty) = conLikeFullSig con1
936 inst_tys = substTyVars eq_subst univ_tvs
|
| H A D | TcTyClsDecls.hs | 3016 univ_tvs = binderVars univ_tvbs function
3030 univ_tvs ex_tvs user_tvbs
3088 ; let (univ_tvs, ex_tvs, tkvs', user_tvs', eq_preds, arg_subst)
3118 univ_tvs ex_tvs all_user_bndrs eq_preds
3269 = let (univ_tvs, raw_eqs, kind_subst) = mkGADTVars tmpl_tvs dc_tvs subst
3270 raw_ex_tvs = dc_tvs `minusList` univ_tvs
3284 (univ_tvs, substed_ex_tvs, substed_inferred_tvs, substed_specified_tvs,
3765 (univ_tvs, _, eq_spec, _, _, _) = dataConFullSig con1
3767 inst_tys = substTyVars eq_subst univ_tvs
4386 (univ_tvs, ex_tvs, eq_spec, theta, arg_tys, _res_ty)
[all …]
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Types/Id/ |
| H A D | Make.hs | 576 univ_tvs = dataConUnivTyVars data_con function
584 res_ty_args = mkTyCoVarTys univ_tvs
590 mkLams univ_tvs $ Lam id_arg1 $
739 (univ_tvs, ex_tvs, eq_spec, theta, orig_arg_tys, _orig_res_ty)
742 res_ty_args = substTyVars (mkTvSubstPrs (map eqSpecPair eq_spec)) univ_tvs
799 subst1 = zipTvSubst univ_tvs ty_args
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/ghc-lib-parser-9.2.1.20211101/compiler/GHC/Types/Id/ |
| H A D | Make.hs | 596 univ_tvs = dataConUnivTyVars data_con function
604 res_ty_args = mkTyCoVarTys univ_tvs
610 mkLams univ_tvs $ Lam id_arg1 $
759 (univ_tvs, ex_tvs, eq_spec, theta, orig_arg_tys, _orig_res_ty)
762 res_ty_args = substTyVars (mkTvSubstPrs (map eqSpecPair eq_spec)) univ_tvs
819 subst1 = zipTvSubst univ_tvs ty_args
|
| /dports/lang/ghc/ghc-8.10.7/compiler/deSugar/ |
| H A D | DsExpr.hs | 686 = do { let (univ_tvs, ex_tvs, eq_spec,
691 PatSynCon _ -> univ_tvs ++ ex_tvs
693 in_subst = zipTvSubst univ_tvs in_inst_tys
694 out_subst = zipTvSubst univ_tvs out_inst_tys
730 | (tv,ty) <- univ_tvs `zip` out_inst_tys ]
|
| /dports/lang/ghc/ghc-8.10.7/compiler/GHC/HsToCore/PmCheck/ |
| H A D | Oracle.hs | 140 let (univ_tvs, ex_tvs, eq_spec, thetas, _req_theta , field_tys, _con_res_ty)
144 let subst_univ = zipTvSubst univ_tvs arg_tys
933 let (univ_tvs,_,_,_,_,con_res_ty) = patSynSig ps
935 traverse (lookupTyVar subst) univ_tvs
|