Idris2Doc : System.File.Types

System.File.Types

dataFile : Type
Totality: total
Constructor: 
FHandle : FilePtr -> File
FilePtr : Type
Totality: total