Idris2Doc : System.File.Types

System.File.Types

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