123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140 |
- class FunMeta(type):
- def __getitem__(cls, item):
- return Fun(tuple(item[0]) + (item[1],))
- class DictMeta(type):
- def __getitem__(cls, item):
- return Dict(item)
- class UnionMeta(type):
- def __getitem__(cls, item):
- return Union(item)
- class SetMeta(type):
- def __getitem__(cls, item):
- return Set(item)
- class ListMeta(type):
- def __getitem__(cls, item):
- return List(item)
- class IterableMeta(type):
- def __getitem__(cls, item):
- return Iterable(item)
- class GeneratorMeta(type):
- def __getitem__(cls, item):
- return Generator(item)
- class TupleMeta(type):
- def __getitem__(cls, item):
- return Tuple(item)
- class OptionalMeta(type):
- def __getitem__(cls, item):
- return Optional(item)
- class NDArrayMeta(type):
- def __getitem__(cls, item):
- return NDArray(item)
- class PointerMeta(type):
- def __getitem__(cls, item):
- return Pointer(item)
- class Type(type):
- def __new__(cls, args):
- return type.__new__(
- cls,
- cls.__name__,
- (object,),
- {'__args__': args if isinstance(args, tuple) else (args,)}
- )
- def __init__(self, *args, **kwargs):
- pass
- class Fun(Type, metaclass=FunMeta):
- pass
- class Dict(Type, metaclass=DictMeta):
- pass
- class Union(Type, metaclass=UnionMeta):
- pass
- class Set(Type, metaclass=SetMeta):
- pass
- class List(Type, metaclass=ListMeta):
- pass
- class Iterable(Type, metaclass=IterableMeta):
- pass
- class Generator(Type, metaclass=GeneratorMeta):
- pass
- class Tuple(Type, metaclass=TupleMeta):
- pass
- class Optional(Type, metaclass=OptionalMeta):
- pass
- class NDArray(Type, metaclass=NDArrayMeta):
- pass
- class Pointer(Type, metaclass=PointerMeta):
- pass
- class TypeVar(object):
- def __init__(self, name):
- self.__name__ = name
- class Sized(object):
- pass
- class Any(object):
- pass
- class File(object):
- pass
|