Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
UVMHS.Core.IO
Synopsis
- type 𝑅 = IORef
- 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 ()
- (↢) :: 𝑅 a -> a -> IO ()
- ref :: a -> IO (𝑅 a)
- deref :: 𝑅 a -> IO a
- io_UNSAFE :: IO a -> a
- initUVMHS :: IO ()
- owrite :: 𝕊 -> IO ()
- out :: 𝕊 -> 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 #
The Haskell 2010 type for exceptions in the IO
monad.
Any I/O operation may raise an IOException
instead of returning a result.
For a more general type of exception, including also those that arise
in pure code, see Exception
.
In Haskell 2010, this is an opaque type.
Defines the exit codes that a program can return.
Instances
Exception ExitCode | Since: base-4.1.0.0 |
Defined in GHC.IO.Exception Methods toException :: ExitCode -> SomeException # fromException :: SomeException -> Maybe ExitCode # displayException :: ExitCode -> String # | |
Generic ExitCode | |
Read ExitCode | |
Show ExitCode | |
NFData ExitCode | Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
Eq ExitCode | |
Ord ExitCode | |
Defined in GHC.IO.Exception | |
type Rep ExitCode | |
Defined in GHC.IO.Exception type Rep ExitCode = D1 ('MetaData "ExitCode" "GHC.IO.Exception" "base" 'False) (C1 ('MetaCons "ExitSuccess" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExitFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int))) |