mypy-play

from dataclasses import dataclass, fields
import os


@dataclass(kw_only=False)
class ConveyorInfo:
    conveyor_id: str
    conveyor_run_id: int
    release_identifier: str
    revert: bool

mypy-play

from typing import Callable

type ValueConverter[T] = Callable[[str], T]

class EnvVar[T]:
    def __init__(self, key: str, convert: ValueConverter[T] = str):
        self.key = key
        self.convert = convert

class DatasetReference:

mypy-play

from typing import Callable

type ValueConverter[T] = Callable[[str], T]

class EnvVar[T]:
    def __init__(self, key: str, convert: ValueConverter[T] = str):
        self.key = key
        self.convert = convert

class DatasetReference:

mypy-play

from collections.abc import Callable


def foo(x: str, y: str = '') -> str:
    return 'foo'
    
    
bar: Callable[[str], str] = foo

mypy-play

import enum
from typing import Literal, Protocol, TypeVar


class ISOCode(enum.StrEnum):
    CAISO = "CAISO"
    ERCOT = "ERCOT"
    MISO = "MISO"

mypy-play

from enum import Enum

class E(Enum):
    A = 1
    B = 2
    C = 3

    def ret_num(self) -> str:
        match self:
            case E.A:

mypy-play

from typing import Final, Literal


def fun(x: Literal["a", "b"]) -> None:
    print(x)


def use_fun() -> None:
    var = "a"
    fun(var)  # mypy doesn't seem clever enough to infer that var is "a"

mypy-play

from typing import Final, Literal


class Rgb:
    RED: Final = "red"
    GREEN: Final = "green"
    BLUE: Final = "blue"
    BLACK: Final = "black"

mypy-play

from typing import Iterator


def fib(n: int) -> Iterator[int]:
    a, b = 0, 1
    while a < n:
        yield a
        a, b = b, a + b

mypy-play

from typing import Final

from dataclasses import dataclass

@dataclass
class A:
    a: Final = 1
    b: Final[int] = 1