exitSuccess -package:lens

exitSuccess :: IO a
base System.Exit, protolude Protolude, base-prelude BasePrelude, Cabal-syntax Distribution.Compat.Prelude, foundation Foundation.IO.Terminal, Agda Agda.Interaction.ExitCode, ghc-internal GHC.Internal.System.Exit, rebase Rebase.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude
The computation exitSuccess is equivalent to exitWith ExitSuccess, It terminates the program successfully.
exitSuccess :: MonadIO m => m a
relude Relude.Lifted.Exit
Lifted version of exitSuccess. 
>>> exitSuccess
*** Exception: ExitSuccess
exitSuccess :: MonadIO m => m a
rio RIO
Lifted version of "System.Exit.exitSuccess". @since 0.1.9.0.
ExitSuccess :: ExitCode
base System.Exit GHC.IO.Exception, protolude Protolude, typed-process System.Process.Typed, rio RIO, base-prelude BasePrelude, turtle Turtle, Cabal-syntax Distribution.Compat.Prelude, ghc-internal GHC.Internal.IO.Exception GHC.Internal.System.Exit, rebase Rebase.Prelude, main-tester Test.Main, cabal-install-solver Distribution.Solver.Compat.Prelude
indicates successful termination;
onExitSuccess :: ExitCode -> (Int -> b) -> b -> b
overhang Overhang
Hang on the ExitSuccess case of an ExitCode. Mostly useful when b is some monadic computation.