more type annotations.

adds [mypy] section in mypy.ini

more type annotations.
adds [mypy] section in mypy.ini
Miguel Barão
1 parent b7624fcd
Showing 7 changed files with 18 additions and 11 deletions Show diff stats
aprendizations/learnapp.py
aprendizations/main.py
aprendizations/models.py
aprendizations/serve.py
aprendizations/student.py
aprendizations/tools.py
mypy.ini
@@ -138,8 +138,10 @@ class LearnApp(object):
         else:
             name, hashed_pw = found
-            pw_ok = await loop.run_in_executor(None, bcrypt.checkpw,
-                                               pw.encode('utf-8'), hashed_pw)
+            pw_ok: bool = await loop.run_in_executor(None,
+                                                     bcrypt.checkpw,
+                                                     pw.encode('utf-8'),
+                                                     hashed_pw)
         if pw_ok:
             if uid in self.online:
@@ -62,7 +62,7 @@ def parse_cmdline_arguments():
 # ----------------------------------------------------------------------------
-def get_logger_config(debug: bool = False) -> Dict[str, Any]:
+def get_logger_config(debug: bool = False) -> Any:
     if debug:
         filename, level = 'logger-debug.yaml', 'DEBUG'
     else:
+# python standard library
+from typing import Any
+
 # third party libraries
 from sqlalchemy import Column, ForeignKey, Integer, Float, String
 from sqlalchemy.ext.declarative import declarative_base
@@ -7,7 +10,8 @@ from sqlalchemy.orm import relationship
 # ===========================================================================
 #   Declare ORM
-Base = declarative_base()
+# FIXME Any is a workaround for mypy static type checking (see https://github.com/python/mypy/issues/6372)
+Base: Any = declarative_base()
 # ---------------------------------------------------------------------------
@@ -8,7 +8,7 @@ import mimetypes
 from os import path
 import signal
 import sys
-from typing import List, Optional, Tuple, Union
+from typing import List, Optional, Union
 import uuid
 # third party libraries
@@ -99,7 +99,7 @@ class StudentState(object):
             questions = t['questions'][:k]
         logger.debug(f'selected questions:  {", ".join(questions)}')
-        self.questions = [await self.factory[ref].generate_async()
+        self.questions: List[Question] = [await self.factory[ref].generate_async()
                           for ref in questions]
         n = len(self.questions)
@@ -127,7 +127,7 @@ markdown = MarkdownWithMath(HighlightRenderer(escape=True))
 def md_to_html(text: str, strip_p_tag: bool = False) -> str:
-    md = markdown(text)
+    md: str = markdown(text)
     if strip_p_tag and md.startswith('<p>') and md.endswith('</p>'):
         return md[3:-5]
     else:
+[mypy]
+python_version = 3.7
+warn_return_any = True
+warn_unused_configs = True
+
 [mypy-sqlalchemy.*]
 ignore_missing_imports = True
@@ -12,7 +17,3 @@ ignore_missing_imports = True
 [mypy-mistune.*]
 ignore_missing_imports = True
-
-[mypy-setuptools.*]
-ignore_missing_imports = True
-
	@@ -62,7 +62,7 @@ def parse_cmdline_arguments():		@@ -62,7 +62,7 @@ def parse_cmdline_arguments():
62		62
63		63
64	# ----------------------------------------------------------------------------	64	# ----------------------------------------------------------------------------
65	-def get_logger_config(debug: bool = False) -> Dict[str, Any]:	65	+def get_logger_config(debug: bool = False) -> Any:
66	if debug:	66	if debug:
67	filename, level = 'logger-debug.yaml', 'DEBUG'	67	filename, level = 'logger-debug.yaml', 'DEBUG'
68	else:	68	else:
	@@ -8,7 +8,7 @@ import mimetypes		@@ -8,7 +8,7 @@ import mimetypes
8	from os import path	8	from os import path
9	import signal	9	import signal
10	import sys	10	import sys
11	-from typing import List, Optional, Tuple, Union	11	+from typing import List, Optional, Union
12	import uuid	12	import uuid
13		13
14	# third party libraries	14	# third party libraries
	@@ -99,7 +99,7 @@ class StudentState(object):		@@ -99,7 +99,7 @@ class StudentState(object):
99	questions = t['questions'][:k]	99	questions = t['questions'][:k]
100	logger.debug(f'selected questions: {", ".join(questions)}')	100	logger.debug(f'selected questions: {", ".join(questions)}')
101		101
102	- self.questions = [await self.factory[ref].generate_async()	102	+ self.questions: List[Question] = [await self.factory[ref].generate_async()
103	for ref in questions]	103	for ref in questions]
104		104
105	n = len(self.questions)	105	n = len(self.questions)
	@@ -127,7 +127,7 @@ markdown = MarkdownWithMath(HighlightRenderer(escape=True))		@@ -127,7 +127,7 @@ markdown = MarkdownWithMath(HighlightRenderer(escape=True))
127		127
128		128
129	def md_to_html(text: str, strip_p_tag: bool = False) -> str:	129	def md_to_html(text: str, strip_p_tag: bool = False) -> str:
130	- md = markdown(text)	130	+ md: str = markdown(text)
131	if strip_p_tag and md.startswith('<p>') and md.endswith('</p>'):	131	if strip_p_tag and md.startswith('<p>') and md.endswith('</p>'):
132	return md[3:-5]	132	return md[3:-5]
133	else:	133	else: