
  0 | module Node.Process.Static
  1 | 
  2 | import Node.Error
  3 | import Node.Internal.Elab
  4 | import Node.Process.Module
  5 | import public Node.Stream
  6 | 
  7 | %language ElabReflection
  8 | 
  9 | export
 10 | data StdErr : Type where [external]
 11 | 
 12 | public export
 13 | implementation WriteableClass d Error StdErr where
 14 | 
 15 | %runElab mkNodeField (field "stderr") "stderr" `(StdErr)
 16 | 
 17 | export
 18 | data StdIn : Type where [external]
 19 | 
 20 | public export
 21 | implementation ReadableClass d Error StdIn where
 22 | 
 23 | %runElab mkNodeField (field "stdin") "stdin" `(StdIn)
 24 | 
 25 | export
 26 | data StdOut : Type where [external]
 27 | 
 28 | public export
 29 | implementation WriteableClass d Error StdOut where
 30 | 
 31 | %runElab mkNodeField (field "stdout") "stdout" `(StdOut)
 32 | 
 33 |