Searched defs:dfid_inst (Results 1 – 9 of 9) sorted by relevance
534 dfid_inst = DataFamInstDecl { dfid_eqn = dfid_eqn' } }) function
532 dfid_inst = DataFamInstDecl { dfid_eqn = dfid_eqn' } }) function
583 renameInstD (DataFamInstD { dfid_inst = d }) = do function
324 , dfid_inst = DataFamInstDecl { dfid_eqn = mkHsImplicitBndrs $ function344 , dfid_inst = DataFamInstDecl { dfid_eqn = mkHsImplicitBndrs $ function
1407 , dfid_inst :: DataFamInstDecl pass } function
432 rnSrcInstDecl (DataFamInstD { dfid_inst = dfi }) function
1909 , dfid_inst :: DataFamInstDecl pass } function
1735 , dfid_inst :: DataFamInstDecl pass } function