GHC.IO.Exception

data BlockedIndefinitelyOnMVar Source

The thread is blocked on an MVar, but there are no other references to the MVar so it can't ever continue.

blockedIndefinitelyOnMVar :: SomeException Source

data BlockedIndefinitelyOnSTM Source

The thread is waiting to retry an STM transaction, but there are no other references to any TVars involved, so it can't ever continue.

blockedIndefinitelyOnSTM :: SomeException Source

data Deadlock Source

There are no runnable threads, so the program is deadlocked. The Deadlock exception is raised in the main thread only.

data AllocationLimitExceeded Source

This thread has exceeded its allocation limit. See setAllocationCounter and enableAllocationLimit.

Since: base-4.8.0.0

allocationLimitExceeded :: SomeException Source

newtype AssertionFailed Source

assert was applied to False.

newtype CompactionFailed Source

Compaction found an object that cannot be compacted. Functions cannot be compacted, nor can mutable objects or pinned objects. See compact.

Since: base-4.10.0.0

cannotCompactFunction :: SomeException Source

cannotCompactPinned :: SomeException Source

cannotCompactMutable :: SomeException Source

data SomeAsyncException Source

Superclass for asynchronous exceptions.

Since: base-4.7.0.0

asyncExceptionToException :: Exception e => e -> SomeException Source

Since: base-4.7.0.0

asyncExceptionFromException :: Exception e => SomeException -> Maybe e Source

Since: base-4.7.0.0

data AsyncException Source

Asynchronous exceptions.

stackOverflow :: SomeException Source

heapOverflow :: SomeException Source

data ArrayException Source

Exceptions generated by array operations

data ExitCode Source

Defines the exit codes that a program can return.

data FixIOException Source

The exception thrown when an infinite cycle is detected in fixIO.

Since: base-4.11.0.0

ioException :: HasCallStack => IOException -> IO a Source

ioError :: HasCallStack => IOError -> IO a Source

Raise an IOError in the IO monad.

type IOError = IOException Source

The Haskell 2010 type for exceptions in the IO monad. Any I/O operation may raise an IOError instead of returning a result. For a more general type of exception, including also those that arise in pure code, see Exception.

In Haskell 2010, this is an opaque type.

data IOException Source

Exceptions that occur in the IO monad. An IOException records a more specific error type, a descriptive string and maybe the handle that was used when the error was flagged.

data IOErrorType Source

An abstract type that contains a value for each variant of IOError.

userError :: String -> IOError Source

Construct an IOError value with a string describing the error. The fail method of the IO instance of the Monad class raises a userError, thus:

instance Monad IO where
  ...
  fail s = ioError (userError s)

assertError :: (?callStack :: CallStack) => Bool -> a -> a Source

unsupportedOperation :: IOError Source

untangle :: Addr# -> String -> String Source