Control.Effect.IO

Documentation

data UIO a

Instances

Monad UIO

Functor UIO

Applicative UIO

EffUIO UIO

runUIO :: UIO a -> IO a

syncIO :: (Interprets (Either SomeException) m, EffUIO m) => IO a -> m a

Lift an IO action and explictly throw an synchronous IO exceptions that occur.

class Monad m => EffUIO m where

Methods

liftUIO :: UIO a -> m a

Instances

EffUIO IO

EffUIO UIO

EffUIO m => EffUIO (Eff r m)

runExceptionalIO :: Eff (Either SomeException) IO a -> IO a