Idris2Doc : System.File.Support

System.File.Support

Definitions

supportC : String->String
  Shorthand for referring to the C support library

@ fn the function name to refer to in the C support library

Totality: total
Visibility: public export
supportNode : String->String
  Shorthand for referring to the Node system support library

@ fn the function name to refer to in the js/system_support_file.js file

Totality: total
Visibility: public export
ok : HasIOio=>a->io (Eithererra)
  Wrap x in the `Right` part of an `io . Either`.

Totality: total
Visibility: export