Skip to content

Instantly share code, notes, and snippets.

View levrik's full-sized avatar

Levin Rickert levrik

View GitHub Profile
@levrik
levrik / main.py
Created July 6, 2021 06:06 — forked from mypy-play/main.py
Shared via mypy Playground
from typing import Literal, Union
from enum import Enum
class ModelType(str, Enum):
Simple1 = "simple1"
Simple2 = "simple2"
Complex1 = "complex1"
Complex2 = "complex2"
class BaseModel:
@levrik
levrik / main.py
Created July 5, 2021 11:22 — forked from mypy-play/main.py
Shared via mypy Playground
from typing import Literal, Union
from enum import Enum
class ModelType(str, Enum):
Simple1 = "simple1"
Simple2 = "simple2"
Complex1 = "complex1"
Complex2 = "complex2"
class BaseModel:
var pollCount = 1;
var poll = function() {
if (document.hidden) // if the interval has not been cleared right
return;
var p = document.createElement('p');
p.innerText = 'Polled ' + pollCount + ' times.';
document.body.insertBefore(p, document.body.firstChild);
pollCount++;
};