File: mypy_literaldirect.py

package info (click to toggle)
typedload 2.40-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 844 kB
  • sloc: python: 3,322; makefile: 145
file content (8 lines) | stat: -rw-r--r-- 142 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
 
import typedload
from typing import *

typedload.load("a", Literal["a"])

def wantint(i: int) -> None: ...

wantint(typedload.load("3", int))