Agda.Interaction.ExitCode

Documentation

data AgdaError

Constructors

UnknownError

1

TCMError

42

OptionError

71

ImpossibleError

154

Instances

Bounded AgdaError

Defined in Agda.Interaction.ExitCode

Methods

minBound :: AgdaError

maxBound :: AgdaError

Enum AgdaError

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

Defined in Agda.Interaction.ExitCode

Methods

showsPrec :: Int -> AgdaError -> ShowS

show :: AgdaError -> String

showList :: [AgdaError] -> ShowS

Eq AgdaError

Defined in Agda.Interaction.ExitCode

Methods

(==) :: AgdaError -> AgdaError -> Bool

(/=) :: AgdaError -> AgdaError -> Bool

agdaErrorToInt :: AgdaError -> Int

Return the error corresponding to an exit code from the Agda process

agdaErrorFromInt :: Int -> Maybe AgdaError

exitSuccess :: IO a

The computation exitSuccess is equivalent to exitWith ExitSuccess, It terminates the program successfully.

exitAgdaWith :: AgdaError -> IO ()