forked from roc-lang/basic-cli
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathInternalFile.roc
More file actions
71 lines (68 loc) · 1.53 KB
/
Copy pathInternalFile.roc
File metadata and controls
71 lines (68 loc) · 1.53 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
interface InternalFile
exposes [ReadErr, WriteErr]
imports []
ReadErr : [
NotFound,
Interrupted,
InvalidFilename,
PermissionDenied,
TooManySymlinks, # aka FilesystemLoop
TooManyHardlinks,
TimedOut,
StaleNetworkFileHandle,
OutOfMemory,
Unsupported,
Unrecognized I32 Str,
]
WriteErr : [
NotFound,
Interrupted,
InvalidFilename,
PermissionDenied,
TooManySymlinks, # aka FilesystemLoop
TooManyHardlinks,
TimedOut,
StaleNetworkFileHandle,
ReadOnlyFilesystem,
AlreadyExists, # can this happen here?
WasADirectory,
WriteZero, # TODO come up with a better name for this, or roll it into another error tag
StorageFull,
FilesystemQuotaExceeded, # can this be combined with StorageFull?
FileTooLarge,
ResourceBusy,
ExecutableFileBusy,
OutOfMemory,
Unsupported,
Unrecognized I32 Str,
]
# DirReadErr : [
# NotFound,
# Interrupted,
# InvalidFilename,
# PermissionDenied,
# TooManySymlinks, # aka FilesystemLoop
# TooManyHardlinks,
# TimedOut,
# StaleNetworkFileHandle,
# NotADirectory,
# OutOfMemory,
# Unsupported,
# Unrecognized I32 Str,
# ]
# RmDirError : [
# NotFound,
# Interrupted,
# InvalidFilename,
# PermissionDenied,
# TooManySymlinks, # aka FilesystemLoop
# TooManyHardlinks,
# TimedOut,
# StaleNetworkFileHandle,
# NotADirectory,
# ReadOnlyFilesystem,
# DirectoryNotEmpty,
# OutOfMemory,
# Unsupported,
# Unrecognized I32 Str,
# ]