Control.Effect.IO

Documentation

data UIO a

Instances

Monad UIO

Methods

(>>=) :: UIO a -> (a -> UIO b) -> UIO b

(>>) :: UIO a -> UIO b -> UIO b

return :: a -> UIO a

fail :: String -> UIO a

Functor UIO

Methods

fmap :: (a -> b) -> UIO a -> UIO b

(<$) :: a -> UIO b -> UIO a

Applicative UIO

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

EffUIO UIO

Methods

liftUIO :: UIO a -> UIO a

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

Minimal complete definition

liftUIO

Methods

liftUIO :: UIO a -> m a

Instances

EffUIO IO

Methods

liftUIO :: UIO a -> IO a

EffUIO UIO

Methods

liftUIO :: UIO a -> UIO a

EffUIO m => EffUIO (Eff r m)

Methods

liftUIO :: UIO a -> Eff r m a

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