Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data AgdaError
- agdaErrorToInt :: AgdaError -> Int
- agdaErrorFromInt :: Int -> Maybe AgdaError
- exitSuccess :: IO a
- exitAgdaWith :: AgdaError -> IO a
Documentation
Instances
Bounded AgdaError Source # | |
Enum AgdaError Source # | |
Defined in Agda.Interaction.ExitCode succ :: AgdaError -> AgdaError Source # pred :: AgdaError -> AgdaError Source # toEnum :: Int -> AgdaError Source # fromEnum :: AgdaError -> Int Source # enumFrom :: AgdaError -> [AgdaError] Source # enumFromThen :: AgdaError -> AgdaError -> [AgdaError] Source # enumFromTo :: AgdaError -> AgdaError -> [AgdaError] Source # enumFromThenTo :: AgdaError -> AgdaError -> AgdaError -> [AgdaError] Source # | |
Show AgdaError Source # | |
Eq AgdaError Source # | |
agdaErrorToInt :: AgdaError -> Int Source #
Return the error corresponding to an exit code from the Agda process
exitSuccess :: IO a Source #
The computation exitSuccess
is equivalent to
exitWith
ExitSuccess
, It terminates the program
successfully.
exitAgdaWith :: AgdaError -> IO a Source #