finally package:Agda

finally :: MonadBench m => m b -> m c -> m b
Agda Agda.Utils.Benchmark
We need to be able to terminate benchmarking in case of an exception.
finally :: MonadError e m => m a -> m () -> m a
Agda Agda.Utils.Monad
Finally for the Error class. Errors in the finally part take precedence over prior errors.
finally_ :: TCM a -> TCM b -> TCM a
Agda Agda.TypeChecking.Monad.Base
Execute a finalizer even when an exception is thrown. Does not catch any errors. In case both the regular computation and the finalizer throw an exception, the one of the finalizer is propagated.