language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 10:49:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: add contextlib

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-06-29 15:03:56 +09:00
parent 1eabc1f0c0
commit d03dcbd392
3 changed files with 31 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
crates/erg_compiler/lib/pystd/contextlib.d.er Normal file
View file

@ -0,0 +1,12 @@
.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