System.UV.File

Reexports

Definitions

record File : Type

  A file handle.

Totality: total
Visibility: public export
Constructor: 

MkFile : Int32 -> File

Projection: 

.file : File -> Int32

Hint: 

UVLoop => Resource File

.file : File -> Int32

Totality: total
Visibility: public export

file : File -> Int32

Totality: total
Visibility: public export

stdin : File

  File handle for standard input

Totality: total
Visibility: export

stdout : File

  File handle for standard output

Totality: total
Visibility: export

stderr : File

  File handle for standard err

Totality: total
Visibility: export

fsClose : HasIO io => UVLoop => File -> io ()

Totality: total
Visibility: export

data UVFileError : Type

Totality: total
Visibility: public export
Constructors:

OpenError : String -> UVError -> UVFileError

ReadError : String -> UVError -> UVFileError

WriteError : String -> UVError -> UVFileError

Hint: 

Interpolation UVFileError

fsOpen : UVLoop => Has UVFileError es => String -> Flags -> Mode -> Async es File

  Asynchronously opens a file.

Totality: total
Visibility: export

readOpen : UVLoop => Has UVFileError es => String -> Async es File

Totality: total
Visibility: export

writeOpen : UVLoop => Has UVFileError es => String -> Async es File

Totality: total
Visibility: export

appendOpen : UVLoop => Has UVFileError es => String -> Async es File

Totality: total
Visibility: export

writeBytesAt : UVLoop => Has UVError es => File -> Int64 -> ByteString -> Async es ()

Totality: total
Visibility: export

writeBytes : UVLoop => Has UVError es => File -> ByteString -> Async es ()

Totality: total
Visibility: export

bytesOut : UVLoop => Has UVError es => ByteString -> Async es ()

  Writes all bytes to `stdout`.

Totality: total
Visibility: export

putOut : UVLoop => Has UVError es => String -> Async es ()

  Write some text to `stdout`.

Totality: total
Visibility: export

putOutLn : UVLoop => Has UVError es => String -> Async es ()

  Sink that writes all text to `stdout`, interpreting
  every item as a single line

Totality: total
Visibility: export

printOut : UVLoop => Has UVError es => Show a => a -> Async es ()

  Sink that printes values to `stdout` using their `Show`
  implementation.

Totality: total
Visibility: export

printOutLn : UVLoop => Has UVError es => Show a => a -> Async es ()

  Sink that printes values to `stdout` using their `Show`
  implementation and putting every item on a single line.

Totality: total
Visibility: export

bytesErr : UVLoop => Has UVError es => ByteString -> Async es ()

  Writes all bytes to `stderr`.

Totality: total
Visibility: export

putErr : UVLoop => Has UVError es => String -> Async es ()

  Write some text to `stderr`.

Totality: total
Visibility: export

putErrLn : UVLoop => Has UVError es => String -> Async es ()

  Sink that writes all text to `stderr`, interpreting
  every item as a single line

Totality: total
Visibility: export

printErr : UVLoop => Has UVError es => Show a => a -> Async es ()

  Sink that printes values to `stderr` using their `Show`
  implementation.

Totality: total
Visibility: export

printErrLn : UVLoop => Has UVError es => Show a => a -> Async es ()

  Sink that printes values to `stderr` using their `Show`
  implementation and putting every item on a single line.

Totality: total
Visibility: export

writeFile : UVLoop => Has UVFileError es => String -> Flags -> Mode -> ByteString -> Async es ()

Totality: total
Visibility: export

toFile : UVLoop => Has UVFileError es => String -> ByteString -> Async es ()

Totality: total
Visibility: export

appendToFile : UVLoop => Has UVFileError es => String -> ByteString -> Async es ()

Totality: total
Visibility: export

readBytes : UVLoop => Has UVError es => File -> Bits32 -> Async es ByteString

Totality: total
Visibility: export

readStdIn : UVLoop => Has UVError es => Async es ByteString

Totality: total
Visibility: export

readFile : UVLoop => Has UVFileError es => String -> Bits32 -> Async es ByteString

Totality: total
Visibility: export

streamFileUntil : UVLoop => Has UVFileError es => String -> Bits32 -> (ByteString -> Async es (Maybe b)) -> Async es (Maybe b)

Visibility: export

streamFile : UVLoop => Has UVFileError es => String -> Bits32 -> (ByteString -> Async es ()) -> Async es ()

Visibility: export

streamLinesUntil : UVLoop => Has UVFileError es => String -> Bits32 -> (List ByteString -> Async es (Maybe b)) -> Async es (Maybe b)

Visibility: export

streamLines : UVLoop => Has UVFileError es => String -> Bits32 -> (List ByteString -> Async es ()) -> Async es ()

Visibility: export

foldBytes : UVLoop => Has UVFileError es => String -> Bits32 -> (s -> ByteString -> s) -> s -> Async es s

Visibility: export

foldLines : UVLoop => Has UVFileError es => String -> Bits32 -> (s -> ByteString -> s) -> s -> Async es s

Visibility: export