Lifted

Text

appendFile :: MonadIO m => FilePath -> Text -> m ()

getContents :: MonadIO m => m Text

getLine :: MonadIO m => m Text

interact :: MonadIO m => (Text -> Text) -> m ()

readFile :: MonadIO m => FilePath -> m Text

writeFile :: MonadIO m => FilePath -> Text -> m ()

IO

getArgs :: MonadIO m => m [String]

openFile :: MonadIO m => FilePath -> IOMode -> m Handle

exitWith :: MonadIO m => ExitCode -> m a

exitFailure :: MonadIO m => m a

exitSuccess :: MonadIO m => m a

die :: MonadIO m => String -> m ()

ST

stToIO :: MonadIO m => ST RealWorld a -> m a

Concurrency and parallelism

myThreadId :: MonadIO m => m ThreadId

getNumCapabilities :: MonadIO m => m Int

setNumCapabilities :: MonadIO m => Int -> m ()

threadCapability :: MonadIO m => ThreadId -> m (Int, Bool)

isCurrentThreadBound :: MonadIO m => m Bool

mkWeakThreadId :: MonadIO m => ThreadId -> m (Weak ThreadId)

atomically :: MonadIO m => STM a -> m a