
  0 | module System.UV.Raw.Util
  1 | 
  2 | %default total
  3 | 
  4 | public export
  5 | idris_uv : String -> String
  6 | idris_uv fn = "C:" ++ fn ++ ",libuv-idris"
  7 | 
  8 | export %inline
  9 | boolToInt32 : Bool -> Int32
 10 | boolToInt32 False = 0
 11 | boolToInt32 True  = 1
 12 | 
 13 | export %inline
 14 | int32ToBool : Int32 -> Bool
 15 | int32ToBool 0 = False
 16 | int32ToBool _ = True
 17 |