mirror of
https://github.com/erg-lang/erg.git
synced 2025-08-06 03:38:42 +00:00
11 lines
427 B
Python
11 lines
427 B
Python
.Future!: ClassType
|
|
.Future!.
|
|
result: (self: Ref Future!) -> Obj
|
|
exception: (self: Ref Future!) -> Exception
|
|
done: (self: Ref Future!) -> Bool
|
|
cancelled: (self: Ref Future!) -> Bool
|
|
set_result!: (self: RefMut Future!, result: Obj) => NoneType
|
|
set_exception!: (self: RefMut Future!, exception: Exception) => NoneType
|
|
cancel!: (self: RefMut Future!, msg := Str) => Bool
|
|
|
|
.isfuture: (obj: Obj) -> Bool
|