mirror of
https://github.com/MarioSpore/Grinch-AP.git
synced 2025-10-21 04:01:32 -06:00
6bb1cce43f
* Core: hot reload components from installed apworld * address PR reviews `Launcher` widget members default to `None` so they can be defined in `build` `Launcher._refresh_components` is not wrapped loaded world goes into `world_sources` so we can check if it's already loaded. (`WorldSource` can be ordered now without trying to compare `None` and `float`) (don't load empty directories so we don't detect them as worlds) * clarify that the installation is successful
18 lines
289 B
Python
18 lines
289 B
Python
from typing import Any, Callable
|
|
|
|
|
|
class And:
|
|
def __init__(self, __type: type, __func: Callable[[Any], bool]) -> None: ...
|
|
|
|
|
|
class Or:
|
|
def __init__(self, *args: object) -> None: ...
|
|
|
|
|
|
class Schema:
|
|
def __init__(self, __x: object) -> None: ...
|
|
|
|
|
|
class Optional(Schema):
|
|
...
|