CreateFile

[Источник]

Открыть файл для чтения/записи, создав его, если он не существует, сохранив содержимое, если он существует.

primitive val CreateFile

Конструкторы

create

[Источник]

new val create()
: CreateFile val^

Возвращаемое значение

• CreateFile val^

Публичные функции

apply

[Источник]

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

Параметры

• from: FilePath val

Возвращаемое значение

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

eq

[Источник]

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

Параметры

• that: CreateFile val

Возвращаемое значение

• Bool val

ne

[Источник]

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

Параметры

• that: CreateFile val

Возвращаемое значение

• Bool val