language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-02 21:44:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: add keyword/queue type decl

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-11-15 11:25:08 +09:00
parent 8f2936bafd
commit b2fb80c41c
2 changed files with 44 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/erg_compiler/lib/pystd/keyword.d.er Normal file
View file

@ -0,0 +1,4 @@
.kwlist: List Str
.softkwlist: List Str
.iskeyword: (s: Str) -> Bool
.issoftkeyword: (s: Str) -> Bool

40
crates/erg_compiler/lib/pystd/queue.d.er Normal file
View file

@ -0,0 +1,40 @@
.Empty: ClassType
.Empty <: Exception
.Full: ClassType
.Full <: Exception
.Shutdown: ClassType
.Shutdown <: Exception
.Queue!: ClassType
.Queue!.
__call__: (maxsize := Nat) -> Queue!
qsize: (self: Ref Queue!) -> Nat
empty: (self: Ref Queue!) -> Bool
full: (self: Ref Queue!) -> Bool
put!: (self: RefMut Queue!, item: Obj, block := Bool, timeout := Float) => NoneType
put_nowait!: (self: RefMut Queue!, item: Obj) => NoneType
get!: (self: RefMut Queue!, block := Bool, timeout := Float) => Obj
get_nowait!: (self: RefMut Queue!) => Obj
task_done!: (self: RefMut Queue!) => NoneType
join!: (self: RefMut Queue!) => NoneType
shutdown!: (self: RefMut Queue!, immediate := Bool) => NoneType
.LifoQueue!: ClassType
.LifoQueue! <: Queue!
.LifoQueue!.
__call__: (maxsize := Nat) -> LifoQueue!
.PriorityQueue!: ClassType
.PriorityQueue! <: Queue!
.PriorityQueue!.
__call__: (maxsize := Nat) -> PriorityQueue!
.SimpleQueue!: ClassType
.SimpleQueue!.
__call__: () -> SimpleQueue!
qsize: (self: Ref SimpleQueue!) -> Nat
empty: (self: Ref SimpleQueue!) -> Bool
put!: (self: RefMut SimpleQueue!, item: Obj, block := Bool, timeout := Float) => NoneType
put_nowait!: (self: RefMut SimpleQueue!, item: Obj) => NoneType
get!: (self: RefMut SimpleQueue!, block := Bool, timeout := Float) => Obj
get_nowait!: (self: RefMut SimpleQueue!) => Obj