Lines Matching defs:occAnal
1734 occAnal _ expr@(Type _) = (emptyDetails, expr) function
1735 occAnal _ expr@(Lit _) = (emptyDetails, expr) function
1736 occAnal env expr@(Var _) = occAnalApp env (expr, [], []) function
1744 occAnal _ (Coercion co) function
1755 occAnal env (Tick tickish body) function
1783 occAnal env (Cast expr co) function
1794 occAnal env app@(App _ _) function
1801 occAnal env (Lam x body) function
1816 occAnal env expr@(Lam _ _) function
1828 occAnal env (Case scrut bndr ty alts) function
1842 occAnal env (Let bind body) function