Safe Haskell	Safe
Language	Haskell98

UnexceptionalIO

Contents

Description

When you've caught all the exceptions that can be handled safely, this is what you're left with.

runEitherIO . fromIO ≡ id

Synopsis

Documentation

data UIO a #

IO without any non-error, synchronous exceptions

Instances

Monad UIO #
Instance details Defined in UnexceptionalIO Methods (>>=) :: UIO a -> (a -> UIO b) -> UIO b # (>>) :: UIO a -> UIO b -> UIO b # return :: a -> UIO a # fail :: String -> UIO a #
Functor UIO #
Instance details Defined in UnexceptionalIO Methods fmap :: (a -> b) -> UIO a -> UIO b # (<$) :: a -> UIO b -> UIO a #
MonadFix UIO #
Instance details Defined in UnexceptionalIO Methods mfix :: (a -> UIO a) -> UIO a #
Applicative UIO #
Instance details Defined in UnexceptionalIO Methods pure :: a -> UIO a # (<>) :: UIO (a -> b) -> UIO a -> UIO b # liftA2 :: (a -> b -> c) -> UIO a -> UIO b -> UIO c # (>) :: UIO a -> UIO b -> UIO b # (<*) :: UIO a -> UIO b -> UIO a #
Unexceptional UIO #
Instance details Defined in UnexceptionalIO Methods liftUIO :: UIO a -> UIO a #

class Unexceptional m where #

Polymorphic base without any non-error, synchronous exceptions

Minimal complete definition

Methods

liftUIO :: UIO a -> m a #

Instances

Unexceptional IO #
Instance details Defined in UnexceptionalIO Methods liftUIO :: UIO a -> IO a #
Unexceptional UIO #
Instance details Defined in UnexceptionalIO Methods liftUIO :: UIO a -> UIO a #

fromIO :: IO a -> UIO (Either SomeException a) #

Catch any non-error, synchronous exceptions in an IO action

runUIO :: UIO a -> IO a #

Re-embed UIO into IO

Re-embed UIO and possible exception back into IO

Unsafe entry points

You promise that e covers all non-error, synchronous exceptions thrown by this IO action

This function is partial if you lie

You promise there are no exceptions thrown by this IO action

syncIO :: IO a -> IO (Either SomeException a) #

Catch all exceptions, except for asynchronous exceptions found in base