ModuleAgda-2.7.0.1Haskell2010
Agda.Interaction.ExitCode
- 1 type
- 4 values
- PackageAgda-2.7.0.1
- Exports5
- LanguageHaskell2010
- LicenceMIT
- SourceExitCode.hs
Return the error corresponding to an exit code from the Agda process
The computation exitSuccess is equivalent to exitWith ExitSuccess, It terminates the program successfully.