System.File.Types

Definitions

FilePtr : Type

  A pointer to a file.

Totality: total
Visibility: public export

data File : Type

  A file handle.

Totality: total
Visibility: public export
Constructor: 

FHandle : FilePtr -> File