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