Skip to content

Instantly share code, notes, and snippets.

@gidgid

gidgid/adt_option_example.py

Created December 13, 2020 19:50
Show Gist options
  • Save gidgid/351773a00f79dfb7d1e57a84e5054172 to your computer and use it in GitHub Desktop.
Save gidgid/351773a00f79dfb7d1e57a84e5054172 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
adt_option_example.py
from dataclasses import dataclass
from typing import Any, Generic, TypeVar
T = TypeVar("T")
class Option(Generic[T]):
pass
@dataclass
class Some(Option[T]):
value: T
@dataclass
class Nothing(Option[Any]):
pass
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment