Searched defs:deAnnotate (Results 1 – 4 of 4) sorted by relevance
2052 deAnnotate (_, e) = deAnnotate' e function2055 deAnnotate' (AnnType t) = Type t function2056 deAnnotate' (AnnCoercion co) = Coercion co function2057 deAnnotate' (AnnVar v) = Var v function2058 deAnnotate' (AnnLit lit) = Lit lit function2059 deAnnotate' (AnnLam binder body) = Lam binder (deAnnotate body) function2060 deAnnotate' (AnnApp fun arg) = App (deAnnotate fun) (deAnnotate arg) function2061 deAnnotate' (AnnCast e (_,co)) = Cast (deAnnotate e) co function2062 deAnnotate' (AnnTick tick body) = Tick tick (deAnnotate body) function
2321 deAnnotate (_, e) = deAnnotate' e function2324 deAnnotate' (AnnType t) = Type t function2325 deAnnotate' (AnnCoercion co) = Coercion co function2326 deAnnotate' (AnnVar v) = Var v function2327 deAnnotate' (AnnLit lit) = Lit lit function2328 deAnnotate' (AnnLam binder body) = Lam binder (deAnnotate body) function2329 deAnnotate' (AnnApp fun arg) = App (deAnnotate fun) (deAnnotate arg) function2330 deAnnotate' (AnnCast e (_,co)) = Cast (deAnnotate e) co function2331 deAnnotate' (AnnTick tick body) = Tick tick (deAnnotate body) function
2308 deAnnotate (_, e) = deAnnotate' e function2311 deAnnotate' (AnnType t) = Type t function2312 deAnnotate' (AnnCoercion co) = Coercion co function2313 deAnnotate' (AnnVar v) = Var v function2314 deAnnotate' (AnnLit lit) = Lit lit function2315 deAnnotate' (AnnLam binder body) = Lam binder (deAnnotate body) function2316 deAnnotate' (AnnApp fun arg) = App (deAnnotate fun) (deAnnotate arg) function2317 deAnnotate' (AnnCast e (_,co)) = Cast (deAnnotate e) co function2318 deAnnotate' (AnnTick tick body) = Tick tick (deAnnotate body) function