ModuleAgda-2.8.0.2Haskell2010
Agda.Interaction.ExitCode
Synopsis
- data AgdaError
- value agdaErrorToInt
- value agdaErrorFromInt
- value exitSuccess
- value exitAgdaWith
- PackageAgda-2.8.0.2
- 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.