mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-13 16:15:15 +00:00
12 lines
537 B
Python
12 lines
537 B
Python
.contextmanager: |F <: GenericCallable|(F) -> F
|
|
.closing!: |T|(thing: Structural { .close = (self: T) -> Obj }) => NoneType
|
|
|
|
.ExitStack!: ClassType
|
|
.ExitStack! <: ContextManager
|
|
.ExitStack!.
|
|
__call__: () -> .ExitStack!
|
|
enter_context!: (self: .ExitStack!, cm: ContextManager) => NoneType
|
|
push!: (self: .ExitStack!, exit: GenericCallable) => NoneType
|
|
callback!: (self: .ExitStack!, callback: GenericCallable) => NoneType
|
|
pop_all!: (self: .ExitStack!) => [GenericCallable; _]
|
|
close!: (self: .ExitStack!) => NoneType
|