Idris2Doc : System.File.Types

System.File.Types

Definitions

FilePtr : Type
  A pointer to a file.

Totality: total
Visibility: public export
dataFile : Type
  A file handle.

Totality: total
Visibility: public export
Constructor: 
FHandle : FilePtr->File