| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
UVMHS.Core.IO
Synopsis
- time :: (() -> a) -> IO (a ∧ TimeD)
- throwIO :: IOError -> IO a
- trace :: 𝕊 -> ()
- failIO :: 𝕊 -> IO a
- gc :: IO ()
- traceM :: Monad m => 𝕊 -> m ()
- shell :: 𝕊 -> IO ((𝔹 ∧ 𝕊) ∧ 𝕊)
- catchIO :: IO a -> (IOError -> IO a) -> IO a
- err :: 𝕊 -> IO ()
- out :: 𝕊 -> IO ()
- (↢) :: 𝑅 a -> a -> IO ()
- type 𝑅 = IORef
- ref :: a -> IO (𝑅 a)
- deref :: 𝑅 a -> IO a
- io_UNSAFE :: IO a -> a
- initUVMHS :: IO ()
- owrite :: 𝕊 -> IO ()
- outs :: ToIter 𝕊 t => t -> IO ()
- oflush :: IO ()
- shout :: Show a => a -> IO ()
- ewrite :: 𝕊 -> IO ()
- eflush :: IO ()
- redirectErrToOut :: IO ()
- iread :: IO 𝕊
- iargs :: IO (𝐿 𝕊)
- ilocalArgs :: 𝐿 𝕊 -> IO a -> IO a
- abortIOCode :: ℤ64 -> IO a
- abortIO :: IO a
- exitIO :: IO a
- cleanExit :: IO a -> IO a
- fread :: ℙ -> IO 𝕊
- fwrite :: ℙ -> 𝕊 -> IO ()
- fappend :: ℙ -> 𝕊 -> IO ()
- fcopy :: ℙ -> ℙ -> IO ()
- dfilesAll :: IO (𝐿 ℙ)
- dfiles :: IO (𝐿 ℙ)
- din :: ℙ -> IO a -> IO a
- dtouch :: ℙ -> IO ()
- drremove :: ℙ -> IO ()
- dcurrent :: IO ℙ
- pexists :: ℙ -> IO 𝔹
- shellOK :: 𝕊 -> IO 𝕊
- shelll :: 𝕊 -> IO ((𝔹 ∧ 𝕊) ∧ 𝕊)
- shelllOK :: 𝕊 -> IO 𝕊
- rtime :: 𝕊 -> (() -> a) -> IO a
- timeIO :: IO a -> IO (a ∧ TimeD)
- rtimeIO :: 𝕊 -> IO a -> IO a
- profile :: IO a -> IO ((a ∧ 𝔻) ∧ 𝔻)
- type IOError = IOException
- data ExitCode
Documentation
redirectErrToOut :: IO () Source #
abortIOCode :: ℤ64 -> IO a Source #
type IOError = IOException #
Defines the exit codes that a program can return.