Searched refs:numberOfWithPatterns (Results 1 – 2 of 2) sorted by relevance
341 numberOfWithPatterns :: CPatternLike p => p -> Int342 numberOfWithPatterns = getSum . foldCPattern (Sum . f) function
739 numWith = numberOfWithPatterns p + length (filter visible es) where LHS p _ es = lhs744 numberOfWithPatterns p0 >= numWith = mapFst (c:) (subClauses cs) function