erg/crates/erg_compiler/lib/pystd
2024-09-26 11:34:15 +09:00
..
collections.d feat: display progress 2024-09-09 21:40:19 +09:00
email.d feat: add email module 2024-06-22 11:32:48 +09:00
html.d refactor(pystd): use methods declaration syntax 2023-02-17 15:15:11 +09:00
http.d feat: add ftplib type decls 2024-09-08 03:06:57 +09:00
importlib.d fix: const call bug 2023-12-30 21:53:38 +09:00
json.d fix(pylyzer): declarations in control flow blocks 2024-09-21 23:38:26 +09:00
logging.d feat: enhance logging module definitions 2023-05-05 13:47:37 +09:00
os.d chore: relax occur check 2024-05-24 19:08:36 +09:00
unittest.d fix: path resolution bug 2024-01-26 19:30:41 +09:00
urllib.d fix: incorrect typing & method resolution 2024-09-26 11:34:15 +09:00
venv.d feat: add tty/dectest/venv 2023-09-10 03:44:54 +09:00
__future__.d.er feat: add __future__, fnmatch, graphlib, zoneinfo 2024-06-30 13:13:38 +09:00
abc.d.er feat(erg): add subclasshook method in abc.d.er 2024-07-08 11:10:52 +02:00
argparse.d.er refactor(pystd): use methods declaration syntax 2023-02-17 15:15:11 +09:00
array.d.er feat: enhance array, io, os, struct type decls 2024-04-13 01:51:14 +09:00
ast.d.er feat: add some builtin python modules decls 2023-03-15 13:51:11 +09:00
asyncio.d.er feat: add some builtin python modules decls 2023-03-15 13:51:11 +09:00
atexit.d.er feat: add some builtin python modules decls 2023-03-15 13:51:11 +09:00
base64.d.er feat: add some builtin python modules decls 2023-03-15 13:51:11 +09:00
bdb.d.er feat: add some builtin python modules decls 2023-03-15 13:51:11 +09:00
binascii.d.er feat: add some builtin python modules decls 2023-03-15 13:51:11 +09:00
bisect.d.er feat: add some builtin python modules decls 2023-03-15 13:51:11 +09:00
builtins.d.er refactor!: rename Array -> List 2024-04-04 23:24:07 +09:00
bz2.d.er feat: add some builtin python modules decls 2023-03-15 13:51:11 +09:00
calendar.d.er feat: add some builtin python modules decls 2023-03-15 13:51:11 +09:00
cmath.d.er feat: add some builtin python modules decls 2023-03-15 13:51:11 +09:00
cmd.d.er feat: add some builtin python modules decls 2023-03-15 13:51:11 +09:00
code.d.er feat: add some builtin python modules decls 2023-03-15 13:51:11 +09:00
codecs.d.er feat: add codecs/warnings module 2024-09-21 21:56:24 +09:00
codeop.d.er feat: add some builtin python modules decls 2023-03-15 13:51:11 +09:00
colorsys.d.er feat: add some builtin python modules decls 2023-03-15 13:51:11 +09:00
compileall.d.er feat: add Python API type definitions 2023-05-03 00:54:05 +09:00
contextlib.d.er feat: add contextlib 2023-06-29 15:03:56 +09:00
copy.d.er Rename dir: compiler -> crates 2023-01-15 12:03:19 +09:00
csv.d.er Create csv.d.er 2023-11-24 19:50:46 +09:00
dataclasses.d.er feat: add __future__, fnmatch, graphlib, zoneinfo 2024-06-30 13:13:38 +09:00
datetime.d.er feat: enhance os type decls 2024-03-29 12:40:30 +09:00
decimal.d.er feat: impl Eq, Hash, Ord for Python module types 2024-03-05 22:48:05 +09:00
difflib.d.er fix: {default, variable} parameter bugs 2024-04-24 15:24:05 +09:00
dis.d.er fix: attribute inffering 2023-03-20 20:30:31 +09:00
doctest.d.er feat: add tty/dectest/venv 2023-09-10 03:44:54 +09:00
enum.d.er feat: enhance http, urllib type decls 2024-04-16 10:23:54 +09:00
errno.d.er feat: add errno, fileinput, ipaddress module type decls 2024-04-26 01:16:27 +09:00
filecmp.d.er refactor(pystd): use methods declaration syntax 2023-02-17 15:15:11 +09:00
fileinput.d.er feat: add errno, fileinput, ipaddress module type decls 2024-04-26 01:16:27 +09:00
fnmatch.d.er feat: add __future__, fnmatch, graphlib, zoneinfo 2024-06-30 13:13:38 +09:00
fractions.d.er feat: impl Eq, Hash, Ord for Python module types 2024-03-05 22:48:05 +09:00
ftplib.d.er feat: add ftplib type decls 2024-09-08 03:06:57 +09:00
functools.d.er Rename dir: compiler -> crates 2023-01-15 12:03:19 +09:00
glob.d.er Rename dir: compiler -> crates 2023-01-15 12:03:19 +09:00
graphlib.d.er feat: add __future__, fnmatch, graphlib, zoneinfo 2024-06-30 13:13:38 +09:00
hashlib.d.er feat: add hmac module type definition 2023-11-25 02:57:22 +09:00
heapq.d.er refactor!: rename Array -> List 2024-04-04 23:24:07 +09:00
hmac.d.er feat: add hmac module type definition 2023-11-25 02:57:22 +09:00
inspect.d.er feat: add Frame type 2023-10-14 23:42:27 +09:00
io.d.er feat: enhance array, io, os, struct type decls 2024-04-13 01:51:14 +09:00
ipaddress.d.er feat: add errno, fileinput, ipaddress module type decls 2024-04-26 01:16:27 +09:00
itertools.d.er feat: add {Str, List}.from 2024-04-30 18:44:31 +09:00
marshal.d.er feat: add shlex/pickle/marshal 2023-09-10 03:23:42 +09:00
math.d.er Rename dir: compiler -> crates 2023-01-15 12:03:19 +09:00
ntpath.d.er Add ntpath/posixpath.d.er 2023-01-25 20:18:18 +09:00
numbers.d.er feat: add decimal/fractions/numbers modules 2023-05-05 12:40:47 +09:00
operator.d.er fix: container type inference bugs 2023-12-11 00:15:13 +09:00
pathlib.d.er fix(pathlib): use => since it's a procedure 2024-09-22 22:11:42 +09:00
pdb.d.er Create pdb.d.er 2024-03-12 20:21:22 +09:00
pickle.d.er feat: add statistics module & enhance pickle, string 2024-03-19 00:28:13 +09:00
platform.d.er feat: enhance sys/platform type definitions 2023-08-27 13:58:11 +09:00
posix.d.er Rename dir: compiler -> crates 2023-01-15 12:03:19 +09:00
posixpath.d.er Add ntpath/posixpath.d.er 2023-01-25 20:18:18 +09:00
pprint.d.er Create pprint.d.er 2023-05-01 00:04:31 +09:00
py_compile.d.er feat: add Python API type definitions 2023-05-03 00:54:05 +09:00
pydoc.d.er Rename dir: compiler -> crates 2023-01-15 12:03:19 +09:00
random.d.er feat: enhance os, random type decls 2024-03-24 13:02:26 +09:00
re.d.er refactor(pystd): use methods declaration syntax 2023-02-17 15:15:11 +09:00
shlex.d.er feat: add shlex/pickle/marshal 2023-09-10 03:23:42 +09:00
shutil.d.er Update shutil.d.er 2024-07-05 23:35:07 +09:00
socket.d.er feat: add Python API type definitions 2023-05-03 00:54:05 +09:00
socketserver.d.er feat: add ftplib type decls 2024-09-08 03:06:57 +09:00
sqlite3.d.er Create sqlite3.d.er 2023-05-01 00:35:48 +09:00
ssl.d.er feat: add codecs/warnings module 2024-09-21 21:56:24 +09:00
stat.d.er feat: add module stat 2023-07-12 16:39:57 +09:00
statistics.d.er feat: add statistics module & enhance pickle, string 2024-03-19 00:28:13 +09:00
string.d.er chore: improve overload error msg 2024-06-15 14:14:38 +09:00
struct.d.er feat: enhance array, io, os, struct type decls 2024-04-13 01:51:14 +09:00
subprocess.d.er Update subprocess.d.er 2024-08-25 20:38:11 +09:00
sys.d.er feat: enhance os, sys type decls 2024-04-14 20:41:01 +09:00
tarfile.d.er refactor(pystd): use methods declaration syntax 2023-02-17 15:15:11 +09:00
tempfile.d.er feat: add tempfile module 2023-05-25 14:20:22 +09:00
threading.d.er refactor(pystd): use methods declaration syntax 2023-02-17 15:15:11 +09:00
time.d.er refactor(pystd): use methods declaration syntax 2023-02-17 15:15:11 +09:00
timeit.d.er Rename dir: compiler -> crates 2023-01-15 12:03:19 +09:00
tomllib.d.er feat: add tomllib module 2023-10-16 13:31:05 +09:00
traceback.d.er Rename dir: compiler -> crates 2023-01-15 12:03:19 +09:00
tty.d.er feat: add tty/dectest/venv 2023-09-10 03:44:54 +09:00
types.d.er Rename dir: compiler -> crates 2023-01-15 12:03:19 +09:00
typing.d.er fix: incorrect typing & method resolution 2024-09-26 11:34:15 +09:00
unicodedata.d.er Update unicodedata.d.er 2024-08-10 18:54:18 +09:00
uuid.d.er Create uuid.d.er 2024-03-12 22:03:27 +09:00
warnings.d.er feat: add codecs/warnings module 2024-09-21 21:56:24 +09:00
zipfile.d.er Update zipfile.d.er 2023-05-04 14:01:11 +09:00
zlib.d.er feat: add zlib/hashlib 2023-05-07 22:15:24 +09:00
zoneinfo.d.er feat: add __future__, fnmatch, graphlib, zoneinfo 2024-06-30 13:13:38 +09:00