CreateFile

[Source]

Open a File for read/write, creating if it doesn't exist, preserving the contents if it does exist.

primitive val CreateFile

Constructors

create

[Source]

new val create()
: CreateFile val^

Returns

• CreateFile val^

Public Functions

apply

[Source]

fun box apply(
  from: FilePath val)
: (File ref | FileOK val | FileError val | 
    FileEOF val | FileBadFileNumber val | FileExists val | 
    FilePermissionDenied val)

Parameters

• from: FilePath val

Returns

• (File ref | FileOK val | FileError val | FileEOF val | FileBadFileNumber val | FileExists val | FilePermissionDenied val)

eq

[Source]

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

Parameters

• that: CreateFile val

Returns

• Bool val

ne

[Source]

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

Parameters

• that: CreateFile val

Returns

• Bool val