Searched defs:applyE (Results 1 – 3 of 3) sorted by relevance
97 applyE = applyTermE absurd function216 applyE s [] = s function217 applyE s es = case s of function522 applyE (DTerm v) es = DTerm $ applyE v es function531 applyE ts es = map (`applyE` es) ts function535 applyE b es = fmap (`applyE` es) b function539 applyE x es = fmap (`applyE` es) x function543 applyE x es = fmap (`applyE` es) x function547 applyE x es = fmap (`applyE` es) x function551 applyE x es = fmap (`applyE` es) x function[all …]
129 applyE combineElements a b = Editor $ \s -> do function
32 -- applyE t es = apply t $ fromMaybe __IMPOSSIBLE__ $ allApplyElims es function