Agda-2.6.4: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.Interaction.ExitCode

Synopsis

Documentation

data AgdaError Source #

Instances

Instances details
Bounded AgdaError Source # 
Instance details

Defined in Agda.Interaction.ExitCode

Enum AgdaError Source # 
Instance details

Defined in Agda.Interaction.ExitCode

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

agdaErrorToInt :: AgdaError -> Int Source #

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

exitSuccess :: IO a #