uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Core.IO

Synopsis

Documentation

time :: (() -> a) -> IO (a TimeD) Source #

trace :: 𝕊 -> () Source #

gc :: IO () Source #

traceM :: Monad m => 𝕊 -> m () Source #

catchIO :: IO a -> (IOError -> IO a) -> IO a Source #

err :: 𝕊 -> IO () Source #

(↢) :: 𝑅 a -> a -> IO () infix 1 Source #

ref :: a -> IO (𝑅 a) Source #

deref :: 𝑅 a -> IO a Source #

io_UNSAFE :: IO a -> a Source #

owrite :: 𝕊 -> IO () Source #

out :: 𝕊 -> IO () Source #

outs :: ToIter 𝕊 t => t -> IO () Source #

shout :: Show a => a -> IO () Source #

ewrite :: 𝕊 -> IO () Source #

cleanExit :: IO a -> IO a Source #

fwrite :: -> 𝕊 -> IO () Source #

fappend :: -> 𝕊 -> IO () Source #

fcopy :: -> -> IO () Source #

din :: -> IO a -> IO a Source #

dtouch :: -> IO () Source #

rtime :: 𝕊 -> (() -> a) -> IO a Source #

timeIO :: IO a -> IO (a TimeD) Source #

rtimeIO :: 𝕊 -> IO a -> IO a Source #

profile :: IO a -> 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.

data ExitCode #

Defines the exit codes that a program can return.

Instances

Instances details
Exception ExitCode

Since: base-4.1.0.0

Instance details

Defined in GHC.IO.Exception

Generic ExitCode 
Instance details

Defined in GHC.IO.Exception

Associated Types

type Rep ExitCode :: Type -> Type #

Methods

from :: ExitCode -> Rep ExitCode x #

to :: Rep ExitCode x -> ExitCode #

Read ExitCode 
Instance details

Defined in GHC.IO.Exception

Show ExitCode 
Instance details

Defined in GHC.IO.Exception

NFData ExitCode

Since: deepseq-1.4.2.0

Instance details

Defined in Control.DeepSeq

Methods

rnf :: ExitCode -> () #

Eq ExitCode 
Instance details

Defined in GHC.IO.Exception

Ord ExitCode 
Instance details

Defined in GHC.IO.Exception

type Rep ExitCode 
Instance details

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)))