-
Notifications
You must be signed in to change notification settings - Fork 42
Expand file tree
/
Copy pathHost.roc
More file actions
146 lines (131 loc) · 4.82 KB
/
Copy pathHost.roc
File metadata and controls
146 lines (131 loc) · 4.82 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
hosted [
FileReader,
TcpStream,
command_output!,
command_status!,
current_arch_os!,
cwd!,
dir_create!,
dir_create_all!,
dir_delete_all!,
dir_delete_empty!,
dir_list!,
env_dict!,
env_var!,
exe_path!,
file_delete!,
file_read_bytes!,
file_reader!,
file_read_line!,
file_size_in_bytes!,
file_write_bytes!,
file_write_utf8!,
file_is_executable!,
file_is_readable!,
file_is_writable!,
file_time_accessed!,
file_time_modified!,
file_time_created!,
file_rename!,
get_locale!,
get_locales!,
hard_link!,
path_type!,
posix_time!,
send_request!,
set_cwd!,
sleep_millis!,
sqlite_bind!,
sqlite_columns!,
sqlite_column_value!,
sqlite_prepare!,
sqlite_reset!,
sqlite_step!,
stderr_line!,
stderr_write!,
stderr_write_bytes!,
stdin_bytes!,
stdin_line!,
stdin_read_to_end!,
stdout_line!,
stdout_write!,
stdout_write_bytes!,
tcp_connect!,
tcp_read_exactly!,
tcp_read_until!,
tcp_read_up_to!,
tcp_write!,
temp_dir!,
tty_mode_canonical!,
tty_mode_raw!,
]
import InternalHttp
import InternalCmd
import InternalPath
import InternalIOErr
import InternalSqlite
# COMMAND
command_status! : InternalCmd.Command => Result I32 InternalIOErr.IOErrFromHost
command_output! : InternalCmd.Command => InternalCmd.OutputFromHost
# FILE
file_write_bytes! : List U8, List U8 => Result {} InternalIOErr.IOErrFromHost
file_write_utf8! : List U8, Str => Result {} InternalIOErr.IOErrFromHost
file_delete! : List U8 => Result {} InternalIOErr.IOErrFromHost
file_read_bytes! : List U8 => Result (List U8) InternalIOErr.IOErrFromHost
file_size_in_bytes! : List U8 => Result U64 InternalIOErr.IOErrFromHost
file_is_executable! : List U8 => Result Bool InternalIOErr.IOErrFromHost
file_is_readable! : List U8 => Result Bool InternalIOErr.IOErrFromHost
file_is_writable! : List U8 => Result Bool InternalIOErr.IOErrFromHost
file_time_accessed! : List U8 => Result U128 InternalIOErr.IOErrFromHost
file_time_modified! : List U8 => Result U128 InternalIOErr.IOErrFromHost
file_time_created! : List U8 => Result U128 InternalIOErr.IOErrFromHost
file_rename! : List U8, List U8 => Result {} InternalIOErr.IOErrFromHost
FileReader := Box {}
file_reader! : List U8, U64 => Result FileReader InternalIOErr.IOErrFromHost
file_read_line! : FileReader => Result (List U8) InternalIOErr.IOErrFromHost
dir_list! : List U8 => Result (List (List U8)) InternalIOErr.IOErrFromHost
dir_create! : List U8 => Result {} InternalIOErr.IOErrFromHost
dir_create_all! : List U8 => Result {} InternalIOErr.IOErrFromHost
dir_delete_empty! : List U8 => Result {} InternalIOErr.IOErrFromHost
dir_delete_all! : List U8 => Result {} InternalIOErr.IOErrFromHost
hard_link! : List U8, List U8 => Result {} InternalIOErr.IOErrFromHost
path_type! : List U8 => Result InternalPath.InternalPathType InternalIOErr.IOErrFromHost
cwd! : {} => Result (List U8) {}
temp_dir! : {} => List U8
# STDIO
stdout_line! : Str => Result {} InternalIOErr.IOErrFromHost
stdout_write! : Str => Result {} InternalIOErr.IOErrFromHost
stdout_write_bytes! : List U8 => Result {} InternalIOErr.IOErrFromHost
stderr_line! : Str => Result {} InternalIOErr.IOErrFromHost
stderr_write! : Str => Result {} InternalIOErr.IOErrFromHost
stderr_write_bytes! : List U8 => Result {} InternalIOErr.IOErrFromHost
stdin_line! : {} => Result Str InternalIOErr.IOErrFromHost
stdin_bytes! : {} => Result (List U8) InternalIOErr.IOErrFromHost
stdin_read_to_end! : {} => Result (List U8) InternalIOErr.IOErrFromHost
# TCP
send_request! : InternalHttp.RequestToAndFromHost => InternalHttp.ResponseToAndFromHost
TcpStream := Box {}
tcp_connect! : Str, U16 => Result TcpStream Str
tcp_read_up_to! : TcpStream, U64 => Result (List U8) Str
tcp_read_exactly! : TcpStream, U64 => Result (List U8) Str
tcp_read_until! : TcpStream, U8 => Result (List U8) Str
tcp_write! : TcpStream, List U8 => Result {} Str
# SQLITE
sqlite_prepare! : Str, Str => Result (Box {}) InternalSqlite.SqliteError
sqlite_bind! : Box {}, List InternalSqlite.SqliteBindings => Result {} InternalSqlite.SqliteError
sqlite_columns! : Box {} => List Str
sqlite_column_value! : Box {}, U64 => Result InternalSqlite.SqliteValue InternalSqlite.SqliteError
sqlite_step! : Box {} => Result InternalSqlite.SqliteState InternalSqlite.SqliteError
sqlite_reset! : Box {} => Result {} InternalSqlite.SqliteError
# OTHERS
current_arch_os! : {} => { arch : Str, os : Str }
get_locale! : {} => Result Str {}
get_locales! : {} => List Str
posix_time! : {} => U128 # TODO why is this a U128 but then getting converted to a I128 in Utc.roc?
sleep_millis! : U64 => {}
tty_mode_canonical! : {} => {}
tty_mode_raw! : {} => {}
env_dict! : {} => List (Str, Str)
env_var! : Str => Result Str {}
exe_path! : {} => Result (List U8) {}
set_cwd! : List U8 => Result {} {}