zulip/zerver
Mateusz Mandera 3ba0a37a92 types: Define UserDisplayRecipient type using TypedDict.
Since the display_recipients dictionaries corresponding to users are
always dictionaries with keys email, full_name, short_name, id,
is_mirror_dummy - instead of using the overly general Dict[str, Any]
type, we can define a UserDisplayRecipient type,
using an appropriate TypedDict.

The type definitions are moved from display_recipient.py to types.py, so
that they can be imported in models.py.

Appropriate type adjustments are made in various places in the code
where we operate on display_recipients.
2019-08-20 12:15:30 -07:00
..
data_import mattermost: Handle users who aren't on any team correctly. 2019-08-19 16:06:39 -07:00
lib types: Define UserDisplayRecipient type using TypedDict. 2019-08-20 12:15:30 -07:00
management lint: Add a rule to avoid msgid as a Python variable name. 2019-08-17 12:47:13 -07:00
migrations production: Rename the 'zulip' system bot realm to 'zulipinternal'. 2019-07-31 16:01:36 -07:00
openapi openapi: Add a test to ensure generated curl examples work. 2019-08-17 11:35:08 -07:00
templatetags openapi: Pass api_url to curl example generation. 2019-08-17 11:35:08 -07:00
tests types: Define UserDisplayRecipient type using TypedDict. 2019-08-20 12:15:30 -07:00
tornado event_queue: Actually fix missing copy for edit-message events. 2019-08-12 15:17:10 -07:00
views realm_logo: Remove redundant `realm_logo_url` function. 2019-08-20 12:07:20 -07:00
webhooks webhooks/jira: Update webhook to support improved comment events. 2019-08-19 14:22:42 -07:00
worker queue_processors, python_examples: Fix mypy errors. 2019-08-16 14:13:40 -07:00
__init__.py
apps.py cleanup: Delete leading newlines. 2019-08-06 23:29:11 -07:00
context_processors.py open graph: Uploaded realm icon URL is absolute for some backends. 2019-05-20 13:14:28 -07:00
decorator.py cleanup: Delete leading newlines. 2019-08-06 23:29:11 -07:00
filters.py cleanup: Delete leading newlines. 2019-08-06 23:29:11 -07:00
forms.py cleanup: Delete leading newlines. 2019-08-06 23:29:11 -07:00
logging_handlers.py zerver: Accept HEAD requests wherever GET requests are accepted. 2019-08-12 16:47:41 -07:00
middleware.py middleware: Fix exception typing. 2019-07-31 12:23:20 -07:00
models.py types: Define UserDisplayRecipient type using TypedDict. 2019-08-20 12:15:30 -07:00
signals.py zerver core: Remove unused imports. 2019-02-02 17:41:24 -08:00