Copy¶

[Source]

primitive val Copy

Constructors¶

create¶

[Source]

new val create()
: Copy val^

Returns¶

Copy val^

Public Functions¶

tree¶

[Source]

Copy the dir_name tree from from_root to under to_root.

fun box tree(
  from_root: FilePath val,
  to_root: FilePath val,
  dir_name: String val)
: None val ?

Parameters¶

from_root: FilePath val
to_root: FilePath val
dir_name: String val

Returns¶

None val ?

file¶

[Source]

fun box file(
  from_path: FilePath val,
  to_path: FilePath val)
: (FileOK val | FileError val | FileEOF val | 
    FileBadFileNumber val | FileExists val | FilePermissionDenied val)

Parameters¶

from_path: FilePath val
to_path: FilePath val

Returns¶

(FileOK val | FileError val | FileEOF val | FileBadFileNumber val | FileExists val | FilePermissionDenied val)

eq¶

[Source]

fun box eq(
  that: Copy val)
: Bool val

Parameters¶

that: Copy val

Returns¶

Bool val

ne¶

[Source]

fun box ne(
  that: Copy val)
: Bool val

Parameters¶

that: Copy val

Returns¶

Bool val