mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-22 20:45:28 +00:00
11 lines
503 B
Python
11 lines
503 B
Python
.Entry: ClassType
|
|
.Entry.
|
|
req_rate: { .requests = Int; .seconds = Int } or NoneType
|
|
|
|
.RobotFileParser!: ClassType
|
|
.RobotFileParser!.
|
|
__call__: (url := Str) -> .RobotFileParser!
|
|
set_url!: (self: RefMut(.RobotFileParser!), url: Str) => NoneType
|
|
read!: (self: RefMut(.RobotFileParser!)) => NoneType
|
|
parse!: (self: RefMut(.RobotFileParser!), lines: [Str; _]) => NoneType
|
|
request_rate: (self: Ref(.RobotFileParser!), useragent: Str) -> { .requests = Int; .seconds = Int } or NoneType
|