Searched refs:cvt_one (Results 1 – 5 of 5) sorted by relevance
891 mkRuleBndrs = fmap (fmap cvt_one)892 where cvt_one (RuleTyTmVar v Nothing) = RuleBndr noExtField v function893 cvt_one (RuleTyTmVar v (Just sig)) =898 mkRuleTyVarBndrs = fmap (fmap cvt_one)899 where cvt_one (RuleTyTmVar v Nothing)901 cvt_one (RuleTyTmVar v (Just sig))
881 mkRuleBndrs = fmap (fmap cvt_one)882 where cvt_one (RuleTyTmVar v Nothing) = RuleBndr noExtField v function883 cvt_one (RuleTyTmVar v (Just sig)) =888 mkRuleTyVarBndrs = fmap (fmap cvt_one)889 where cvt_one (RuleTyTmVar v Nothing) = UserTyVar noExtField (fmap tm_to_ty v) function890 cvt_one (RuleTyTmVar v (Just sig))
883 mkRuleBndrs = fmap (fmap cvt_one)884 where cvt_one (RuleTyTmVar ann v Nothing) = RuleBndr ann v function885 cvt_one (RuleTyTmVar ann v (Just sig)) =890 mkRuleTyVarBndrs = fmap cvt_one891 where cvt_one (L l (RuleTyTmVar ann v Nothing))893 cvt_one (L l (RuleTyTmVar ann v (Just sig)))
1153 cvtStmt (TH.ParS dss) = do { dss' <- mapM cvt_one dss1156 cvt_one ds = do { ds' <- cvtStmts ds function