exitSuccess -package:rio

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 :: ExitCode
base System.Exit GHC.IO.Exception, protolude Protolude, typed-process System.Process.Typed, 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;
pattern ExitSuccess_ :: AsExitCode s => s
lens System.Exit.Lens
_ExitSuccess :: AsExitCode t => Prism' t ()
lens System.Exit.Lens
indicates successful termination; 
_ExitSuccess :: Prism' ExitCode      ()
_ExitSuccess :: Prism' SomeException ()
onExitSuccess :: ExitCode -> (Int -> b) -> b -> b
overhang Overhang
Hang on the ExitSuccess case of an ExitCode. Mostly useful when b is some monadic computation.