| Copyright | (c) Galois Inc, 2015 |
|---|---|
| License | Apache-2 |
| Maintainer | jhendrix@galois.com, lcasburn@galois.com |
| Safe Haskell | Safe |
| Language | Haskell98 |
Language.Lean.Exception
Description
Exceptions thrown by Lean.
Documentation
data LeanExceptionKind Source
Information about the Kind of exception thrown.
Constructors
| LeanSystemException | |
| LeanOutOfMemory | |
| LeanInterrupted | |
| LeanKernelException | Errors from Lean misuse |
| LeanOtherException |
Instances