Searched defs:stripNArgs (Results 1 – 4 of 4) sorted by relevance
1926 stripNArgs !n (Tick _ e) = stripNArgs n e function1927 stripNArgs n (Cast f _) = stripNArgs n f function1928 stripNArgs 0 e = Just e function1929 stripNArgs n (App f _) = stripNArgs (n - 1) f function1930 stripNArgs _ _ = Nothing function
2195 stripNArgs !n (Tick _ e) = stripNArgs n e function2196 stripNArgs n (Cast f _) = stripNArgs n f function2197 stripNArgs 0 e = Just e function2198 stripNArgs n (App f _) = stripNArgs (n - 1) f function2199 stripNArgs _ _ = Nothing function
2182 stripNArgs !n (Tick _ e) = stripNArgs n e function2183 stripNArgs n (Cast f _) = stripNArgs n f function2184 stripNArgs 0 e = Just e function2185 stripNArgs n (App f _) = stripNArgs (n - 1) f function2186 stripNArgs _ _ = Nothing function