Idris2Doc : System.File.Virtual

System.File.Virtual

Magic/Virtual files

Reexports

import public System.File.Types

Definitions

stdin : File
  The standard input.

Totality: total
Visibility: export
stdout : File
  The standard output.

Totality: total
Visibility: export
stderr : File
  The standard error.

Totality: total
Visibility: export