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

Create dataclasses.d.er

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-05-01 00:16:03 +09:00
parent dd719831d7
commit f8e7b1376f
1 changed files with 15 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

15
crates/erg_compiler/lib/pystd/dataclasses.d.er Normal file
View file

@ -0,0 +1,15 @@
.DataClass = 'dataclass': ClassType
.DataClass.
__call__: (init := Bool, repr := Bool, eq := Bool, order := Bool, unsafe_hash := Bool, frozen := Bool, match_args := Bool, kw_only := Bool, slots := Bool, weakref_slots := Bool) -> (ClassType -> ClassType)
.is_dataclass: (obj: Obj) -> Bool
_MISSING_TYPE: ClassType
.MISSING: _MISSING_TYPE
_KW_ONLY_TYPE: ClassType
.KW_ONLY: _KW_ONLY_TYPE
.field: (default := _MISSING_TYPE, default_factory := _MISSING_TYPE, init := Bool, repr := Bool, hash := Bool, compare := Bool, metadata := GenericDict, kw_only := _MISSING_TYPE) -> (Obj -> Obj)
.Field: ClassType