Idris2Doc : System.File.Types

System.File.Types

dataFile : Type
  A file handle.

Totality: total
Constructor: 
FHandle : FilePtr -> File
FilePtr : Type
  A pointer to a file.

Totality: total