System.IO.Strict.Internals

This module exports the internals of System.IO.Strict so that other packages can extend the SIO monad. This module has to be used with great care: by lifting a lazy function or a function that let leaks its lazy arguments, one breaks the only purpose of the System.IO.Strict module.

Types

newtype SIO a

Constructors

SIO

Fields

• rawRun :: IO a

Instances

Monad SIO

Methods

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

(>>) :: SIO a -> SIO b -> SIO b

return :: a -> SIO a

fail :: String -> SIO a

Functor SIO

Methods

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

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

MonadFix SIO

Methods

mfix :: (a -> SIO a) -> SIO a

Applicative SIO

Methods

pure :: a -> SIO a

(<*>) :: SIO (a -> b) -> SIO a -> SIO b

(*>) :: SIO a -> SIO b -> SIO b

(<*) :: SIO a -> SIO b -> SIO a

Running the SIO monad

run :: NFData sa => SIO sa -> IO sa

run allows to return to the wider world of IOs.

A stricter return

return' :: (Monad m, NFData sa) => sa -> m sa

A stricter version of return, that works for every monad.

Wrapping functions

wrap0 :: IO a -> SIO a

Wraps a strict IO computation without arguments.

wrap0' :: NFData sa => IO sa -> SIO sa

Wraps a lazy IO computation without arguments and forces its contents.

wrap1 :: (a -> IO b) -> a -> SIO b

Wraps a strict IO computation with a single argument.

wrap1' :: NFData sb => (a -> IO sb) -> a -> SIO sb

Wraps a lazy IO computation with a single argument and forces its contents.

wrap2 :: (a -> b -> IO c) -> a -> b -> SIO c

Wraps a strict IO computation with two arguments.

wrap2' :: NFData sc => (a -> b -> IO sc) -> a -> b -> SIO sc

Wraps a strict IO computation with two arguments and forces its contents.

wrap3 :: (a -> b -> c -> IO d) -> a -> b -> c -> SIO d

Wraps a strict IO computation with two arguments.

wrap3' :: NFData sd => (a -> b -> c -> IO sd) -> a -> b -> c -> SIO sd

Wraps a strict IO computation with two arguments and forces its contents.