Searched refs:isPromotedDataCon_maybe (Results 1 – 10 of 10) sorted by relevance
56 isPromotedDataCon, isPromotedDataCon_maybe,2188 | Just dataCon <- isPromotedDataCon_maybe tyCon2198 isPromotedDataCon_maybe :: TyCon -> Maybe DataCon2199 isPromotedDataCon_maybe (PromotedDataCon { dataCon = dc }) = Just dc function2200 isPromotedDataCon_maybe _ = Nothing function
57 isPromotedDataCon, isPromotedDataCon_maybe,2197 | Just dataCon <- isPromotedDataCon_maybe tyCon2207 isPromotedDataCon_maybe :: TyCon -> Maybe DataCon2208 isPromotedDataCon_maybe (PromotedDataCon { dataCon = dc }) = Just dc function2209 isPromotedDataCon_maybe _ = Nothing function
55 isPromotedDataCon, isPromotedDataCon_maybe,2234 | Just dataCon <- isPromotedDataCon_maybe tyCon2244 isPromotedDataCon_maybe :: TyCon -> Maybe DataCon2245 isPromotedDataCon_maybe (PromotedDataCon { dataCon = dc }) = Just dc function2246 isPromotedDataCon_maybe _ = Nothing function
182 | Just dc <- isPromotedDataCon_maybe tc235 | Just dcon <- isPromotedDataCon_maybe tc
188 | Just dc <- isPromotedDataCon_maybe tc241 | Just dcon <- isPromotedDataCon_maybe tc
191 | Just dc <- isPromotedDataCon_maybe tc244 | Just dcon <- isPromotedDataCon_maybe tc
563 , Just dc <- isPromotedDataCon_maybe tc
555 | Just dc <- isPromotedDataCon_maybe tc