System.Posix.File.FileDesc

Definitions

record Fd : Type

  A wrapper around a file descriptor.

Totality: total
Visibility: public export
Constructor: 

MkFd : Bits32 -> Fd

Projection: 

.fd : Fd -> Bits32

Hints:

Cast Bits32 Fd

Cast StdIO Fd

Deref Fd

Eq Fd

Ord Fd

SetPtr Fd

Show Fd

SizeOf Fd

.fd : Fd -> Bits32

Totality: total
Visibility: public export

fd : Fd -> Bits32

Totality: total
Visibility: public export

0 FileDesc : Type -> Type

Totality: total
Visibility: public export

fileDesc : FileDesc a => a -> Bits32

Totality: total
Visibility: export

data StdIO : Type

  Standard input and output file descriptors

Totality: total
Visibility: public export
Constructors:

Stdin : StdIO

Stdout : StdIO

Stderr : StdIO

Hints:

Cast StdIO Fd

Eq StdIO

Ord StdIO

Show StdIO