Home
last modified time | relevance | path

Searched refs:mtvs (Results 1 – 25 of 42) sorted by relevance

12

/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/haskell-src-exts-1.23.1/src/Language/Haskell/Exts/
H A DParseUtils.hs363 checkInstHeader (TyForall l mtvs cs t) = do
366 checkInsts (Just l) mtvs cs' t
371 checkInsts _ mtvs mctxt (TyParen l t) = checkInsts Nothing mtvs mctxt t >>= return . IParen l
372 checkInsts l1 mtvs mctxt t = do
374 return $ IRule (fromMaybe (fmap ann mctxt <?+> ann t') l1) mtvs mctxt t'
1202 mkTyForall l mtvs ctxt ty =
1204 (Nothing, TyForall _ Nothing ctxt2 ty2) -> TyForall l mtvs ctxt2 ty2
1205 _ -> TyForall l mtvs ctxt ty
H A DParseSyntax.hs350 TyForall l mtvs mcx t -> TyForall (f l) mtvs mcx t
H A DExactPrint.hs997 IRule l mtvs mctxt qn -> do
999 _ <- case mtvs of
1047 TyForall l mtvs mctxt t -> do
1049 _ <- case mtvs of
1305 exactP (QualConDecl l mtvs mctxt cd) = do
1307 _ <- case mtvs of
H A DPretty.hs492 pretty (PatSynSig _ ns mtvs prov mtvs2 req t) =
497 ++ [ text "::", ppForall mtvs] ++
853 prettyPrec p (TyForall _ mtvs ctxt htype) = parensIf (p > 0) $
854 myFsep [ppForall mtvs, maybePP pretty ctxt, pretty htype]
1677 prettyPrec p (P.TyForall _ mtvs ctxt htype) = parensIf (p > 0) $
1678 myFsep [ppForall mtvs, maybePP pretty ctxt, pretty htype]
H A DInternalParser.ly1196 > let {(mtvs,ss,ml) = $1} ;
1197 > return $ QualConDecl (ml <?+> ann $3 <** ss) mtvs …
1198 … | forall constr1 { let (mtvs, ss, ml) = $1 in QualConDecl (ml <?+> ann $2 <**…
H A DSyntax.hs1524 TyForall l mtvs mcx t -> TyForall (f l) mtvs mcx t
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/haskell-src-exts-1.23.0/src/Language/Haskell/Exts/
H A DParseUtils.hs363 checkInstHeader (TyForall l mtvs cs t) = do
366 checkInsts (Just l) mtvs cs' t
371 checkInsts _ mtvs mctxt (TyParen l t) = checkInsts Nothing mtvs mctxt t >>= return . IParen l
372 checkInsts l1 mtvs mctxt t = do
374 return $ IRule (fromMaybe (fmap ann mctxt <?+> ann t') l1) mtvs mctxt t'
1202 mkTyForall l mtvs ctxt ty =
1204 (Nothing, TyForall _ Nothing ctxt2 ty2) -> TyForall l mtvs ctxt2 ty2
1205 _ -> TyForall l mtvs ctxt ty
H A DParseSyntax.hs350 TyForall l mtvs mcx t -> TyForall (f l) mtvs mcx t
H A DPretty.hs492 pretty (PatSynSig _ ns mtvs prov mtvs2 req t) =
497 ++ [ text "::", ppForall mtvs] ++
853 prettyPrec p (TyForall _ mtvs ctxt htype) = parensIf (p > 0) $
854 myFsep [ppForall mtvs, maybePP pretty ctxt, pretty htype]
1677 prettyPrec p (P.TyForall _ mtvs ctxt htype) = parensIf (p > 0) $
1678 myFsep [ppForall mtvs, maybePP pretty ctxt, pretty htype]
H A DExactPrint.hs997 IRule l mtvs mctxt qn -> do
999 _ <- case mtvs of
1047 TyForall l mtvs mctxt t -> do
1049 _ <- case mtvs of
1305 exactP (QualConDecl l mtvs mctxt cd) = do
1307 _ <- case mtvs of
H A DInternalParser.ly1195 > let {(mtvs,ss,ml) = $1} ;
1196 > return $ QualConDecl (ml <?+> ann $3 <** ss) mtvs …
1197 … | forall constr1 { let (mtvs, ss, ml) = $1 in QualConDecl (ml <?+> ann $2 <**…
H A DSyntax.hs1524 TyForall l mtvs mcx t -> TyForall (f l) mtvs mcx t
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/haskell-src-exts-1.23.1/src/Language/Haskell/Exts/
H A DParseUtils.hs363 checkInstHeader (TyForall l mtvs cs t) = do
366 checkInsts (Just l) mtvs cs' t
371 checkInsts _ mtvs mctxt (TyParen l t) = checkInsts Nothing mtvs mctxt t >>= return . IParen l
372 checkInsts l1 mtvs mctxt t = do
374 return $ IRule (fromMaybe (fmap ann mctxt <?+> ann t') l1) mtvs mctxt t'
1202 mkTyForall l mtvs ctxt ty =
1204 (Nothing, TyForall _ Nothing ctxt2 ty2) -> TyForall l mtvs ctxt2 ty2
1205 _ -> TyForall l mtvs ctxt ty
H A DParseSyntax.hs350 TyForall l mtvs mcx t -> TyForall (f l) mtvs mcx t
H A DPretty.hs492 pretty (PatSynSig _ ns mtvs prov mtvs2 req t) =
497 ++ [ text "::", ppForall mtvs] ++
853 prettyPrec p (TyForall _ mtvs ctxt htype) = parensIf (p > 0) $
854 myFsep [ppForall mtvs, maybePP pretty ctxt, pretty htype]
1677 prettyPrec p (P.TyForall _ mtvs ctxt htype) = parensIf (p > 0) $
1678 myFsep [ppForall mtvs, maybePP pretty ctxt, pretty htype]
H A DExactPrint.hs997 IRule l mtvs mctxt qn -> do
999 _ <- case mtvs of
1047 TyForall l mtvs mctxt t -> do
1049 _ <- case mtvs of
1305 exactP (QualConDecl l mtvs mctxt cd) = do
1307 _ <- case mtvs of
H A DInternalParser.ly1196 > let {(mtvs,ss,ml) = $1} ;
1197 > return $ QualConDecl (ml <?+> ann $3 <** ss) mtvs …
1198 … | forall constr1 { let (mtvs, ss, ml) = $1 in QualConDecl (ml <?+> ann $2 <**…
H A DSyntax.hs1524 TyForall l mtvs mcx t -> TyForall (f l) mtvs mcx t
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/none/tests/ppc32/
H A Dtest_isa_2_07_part1.c1207 static void mtvs(const char* name, test_func_t func, in mtvs() function
1278 &mtvs,
1303 &mtvs,
1307 &mtvs,
/dports/devel/valgrind/valgrind-dragonfly-dragonfly/none/tests/ppc64/
H A Dtest_isa_2_07_part1.c1207 static void mtvs(const char* name, test_func_t func, in mtvs() function
1278 &mtvs,
1303 &mtvs,
1307 &mtvs,
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/none/tests/ppc32/
H A Dtest_isa_2_07_part1.c1207 static void mtvs(const char* name, test_func_t func, in mtvs() function
1278 &mtvs,
1303 &mtvs,
1307 &mtvs,
/dports/devel/valgrind-lts/valgrind-dragonfly-dragonfly/none/tests/ppc64/
H A Dtest_isa_2_07_part1.c1207 static void mtvs(const char* name, test_func_t func, in mtvs() function
1278 &mtvs,
1303 &mtvs,
1307 &mtvs,
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/ghc-lib-parser-9.0.1.20210324/compiler/GHC/Parser/
H A DPostProcess.hs711 , con_forall = L (getLoc ty) $ isJust mtvs
712 , con_qvars = fromMaybe [] mtvs
719 (mtvs, mcxt, body_ty) = splitLHsGadtTy ty
/dports/games/hedgewars-server/hedgewars-src-1.0.0/tools/pas2c/
H A DPas2C.hs414 resolveType (RecordType tv mtvs) = do
415 tvs <- mapM f (concat $ tv : fromMaybe [] mtvs)
/dports/games/hedgewars/hedgewars-src-1.0.0/tools/pas2c/
H A DPas2C.hs414 resolveType (RecordType tv mtvs) = do
415 tvs <- mapM f (concat $ tv : fromMaybe [] mtvs)

12