Control.RIO.Sys

Definitions

record SysErr : Type

Totality: total
Visibility: public export
Constructor: 

MkSE : String -> Int -> SysErr

Projections:

.cmd : SysErr -> String

.err : SysErr -> Int

.cmd : SysErr -> String

Totality: total
Visibility: public export

cmd : SysErr -> String

Totality: total
Visibility: public export

.err : SysErr -> Int

Totality: total
Visibility: public export

err : SysErr -> Int

Totality: total
Visibility: public export

printErr : SysErr -> String

Totality: total
Visibility: export

record Sys : Type

  Record representing capabilities for running system calls

Totality: total
Visibility: public export
Constructor: 

MkSys : (String -> IO (Either SysErr ())) -> (String -> IO (Either SysErr String)) -> Sys

Projections:

.run_ : Sys -> String -> IO (Either SysErr String)

.sys_ : Sys -> String -> IO (Either SysErr ())

.sys_ : Sys -> String -> IO (Either SysErr ())

Totality: total
Visibility: public export

sys_ : Sys -> String -> IO (Either SysErr ())

Totality: total
Visibility: public export

.run_ : Sys -> String -> IO (Either SysErr String)

Totality: total
Visibility: public export

run_ : Sys -> String -> IO (Either SysErr String)

Totality: total
Visibility: public export

sys : Sys => Has SysErr xs => String -> App xs ()

Totality: total
Visibility: export

run : Sys => Has SysErr xs => String -> App xs String

Totality: total
Visibility: export

system : Sys

Visibility: export

rmDir : Sys => FS => Has SysErr xs => Path t -> App xs ()

  Forcefully deletes a directory with all its content

Totality: total
Visibility: export