mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-13 16:15:15 +00:00
31 lines
402 B
Python
31 lines
402 B
Python
.EnumType: ClassType
|
|
.EnumType <: Type
|
|
|
|
.Enum: ClassType
|
|
.Enum <: Show
|
|
.Enum.
|
|
name: Str
|
|
value: Obj
|
|
|
|
.IntEnum: ClassType
|
|
.IntEnum <: Enum
|
|
.IntEnum <: Int
|
|
.IntEnum.
|
|
value: Int
|
|
|
|
.StrEnum: ClassType
|
|
.StrEnum <: Enum
|
|
.StrEnum <: Str
|
|
.StrEnum.
|
|
value: Str
|
|
|
|
.Flag: ClassType
|
|
.Flag <: Enum
|
|
|
|
.IntFlag: ClassType
|
|
.IntFlag <: Flag
|
|
|
|
.ReprEnum: ClassType
|
|
.ReprEnum <: Enum
|
|
|
|
.Auto = 'auto': ClassType
|