Searched refs:projPatterns (Results 1 – 4 of 4) sorted by relevance
41 { projPatterns :: Bool function106 , not $ projPatterns b ]124 Case _ br -> Any (projPatterns br) <> foldMap loop br183 pretty (Case n bs) | projPatterns bs =
158 loops i cs@Branches{ projPatterns = comatch228 { projPatterns = True function
131 compiles lz ts br@Branches{ projPatterns = cop
302 arities cxt (Case _ Branches{projPatterns = True}) = [cxt]