Modulelinear-base-0.8.1

System.IO.Linear

Synopsis

valuecatch :: Exception e => IO (Ur a) -> (e -> IO (Ur a)) -> IO (Ur a)

valuefromSystemIO :: IO a %1 -> IO a

valuefromSystemIOU :: IO a -> IO (Ur a)

valuemask_ :: IO a -> IO a

valuenewIORef :: a -> IO (Ur (IORef a))

valuereadIORef :: IORef a -> IO (Ur a)

valuethrowIO :: Exception e => e -> IO a

valuewithLinearIO :: IO (Ur a) -> IO a

valuewriteIORef :: IORef a -> a -> IO ()

newtypenewtype IO a

Instances8Monad, Functor, Applicative, MonadIO, Monoid, Semigroup, …

Applicative IODefined in linear-base-0.8.1 · System.IO.Linear
Functor IODefined in linear-base-0.8.1 · System.IO.Linear
Monad IODefined in linear-base-0.8.1 · System.IO.Linear
Functor IODefined in linear-base-0.8.1 · System.IO.Linear
Applicative IODefined in linear-base-0.8.1 · System.IO.Linear
MonadIO IODefined in linear-base-0.8.1 · Control.Monad.IO.Class.Linear
Monoid a => Monoid (IO a)Defined in linear-base-0.8.1 · System.IO.Linear
Semigroup a => Semigroup (IO a)Defined in linear-base-0.8.1 · System.IO.Linear