erg_compiler 0.6.53

Centimetre: the Erg compiler
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

.ZipFile!: ClassType
.ZipFile! <: FileLike!

.ZipFile!.
    __call__: (path: PathLike or FileLike!, mode := Str) => .ZipFile!
    open!: (name: PathLike, mode := Str) => .ZipFile!
    add!: (self: RefMut(.ZipFile!), name: PathLike, arcname: PathLike or NoneType := NoneType, recursive := Bool) => NoneType
    close!: (self: .ZipFile!,) => NoneType
    extractall!: (self: RefMut(.ZipFile!), path := PathLike, members: [Str; _] or NoneType := NoneType, numeric_owner := Bool) => NoneType
    namelist: (self: Ref(.ZipFile!),) -> [Str; _]

.is_zipfile: (name: Str or File!,) -> Bool