0 | module System.File.Support
 1 |
 2 | %default total
 3 |
 4 | ||| Shorthand for referring to the C support library
 5 | |||
 6 | ||| @ fn the function name to refer to in the C support library
 7 | public export
 8 | supportC : (fn : String) -> String
 9 | supportC fn = "C:\{fn}, libidris2_support, idris_file.h"
10 |
11 | ||| Shorthand for referring to the Node system support library
12 | |||
13 | ||| @ fn the function name to refer to in the js/system_support_file.js file
14 | public export
15 | supportNode : (fn : String) -> String
16 | supportNode fn = "node:support:\{fn},support_system_file"
17 |
18 | ||| Wrap x in the `Right` part of an `io . Either`.
19 | export
20 | ok : HasIO io => (x : a) -> io (Either err a)
21 | ok x = pure (Right x)
22 |