Safe Haskell	Safe-Inferred
Language	Haskell2010

Agda.Interaction.ExitCode

Synopsis

Documentation

Constructors

Instances details

Bounded AgdaError Source #
Instance details Defined in Agda.Interaction.ExitCode Methods minBound :: AgdaError # maxBound :: AgdaError #
Enum AgdaError Source #
Instance details Defined in Agda.Interaction.ExitCode Methods succ :: AgdaError -> AgdaError # pred :: AgdaError -> AgdaError # toEnum :: Int -> AgdaError # fromEnum :: AgdaError -> Int # enumFrom :: AgdaError -> [AgdaError] # enumFromThen :: AgdaError -> AgdaError -> [AgdaError] # enumFromTo :: AgdaError -> AgdaError -> [AgdaError] # enumFromThenTo :: AgdaError -> AgdaError -> AgdaError -> [AgdaError] #
Show AgdaError Source #
Instance details Defined in Agda.Interaction.ExitCode Methods showsPrec :: Int -> AgdaError -> ShowS # show :: AgdaError -> String # showList :: [AgdaError] -> ShowS #
Eq AgdaError Source #
Instance details Defined in Agda.Interaction.ExitCode Methods (==) :: AgdaError -> AgdaError -> Bool # (/=) :: AgdaError -> AgdaError -> Bool #

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.