Searched refs:actOnMeta (Results 1 – 1 of 1) sorted by relevance
241 actOnMeta :: [String] -> (InteractionId -> A.Expr -> TCM a) -> TCM a242 actOnMeta (is:es) f = function247 actOnMeta _ _ = __IMPOSSIBLE__ function252 _ <- actOnMeta s $ \ ii e -> give WithoutForce ii Nothing e260 _ <- actOnMeta s $ \ ii e -> refine WithoutForce ii Nothing e272 do d <- actOnMeta s $ \_ e -> prettyA =<< evalInCurrent DefaultCompute e298 actOnMeta s $ \i e ->