from typing import Any, Dict, Iterable, Optional, Text

from django.http import HttpRequest, HttpResponse
from django.utils.translation import ugettext as _

from zerver.decorator import api_key_only_webhook_view
from zerver.lib.actions import check_send_stream_message
from zerver.lib.request import REQ, has_request_variables
from zerver.lib.response import json_error, json_success
from zerver.lib.validator import check_dict, check_string
from zerver.models import UserProfile

@api_key_only_webhook_view('Papertrail')
@has_request_variables
def api_papertrail_webhook(request, user_profile,
                           payload=REQ(argument_type='body'),
                           stream=REQ(default='papertrail'),
                           topic=REQ(default='logs')):
    # type: (HttpRequest, UserProfile, Dict[str, Any], Text, Text) -> HttpResponse

    # construct the message of the message
    message_template = '**"{}"** search found **{}** matches - {}\n```'
    message = [message_template.format(payload["saved_search"]["name"],
                                       str(len(payload["events"])),
                                       payload["saved_search"]["html_search_url"])]
    for i, event in enumerate(payload["events"]):
        event_text = '{} {} {}:\n  {}'.format(event["display_received_at"],
                                              event["source_name"],
                                              payload["saved_search"]["query"],
                                              event["message"])
        message.append(event_text)
        if i >= 3:
            message.append('```\n[See more]({})'.format(payload["saved_search"]["html_search_url"]))
            break
    else:
        message.append('```')
    post = '\n'.join(message)

    # send the message
    check_send_stream_message(user_profile, request.client, stream, topic, post)

    # return json result
    return json_success()

@@ -577,16 +577,42 @@
 uest
-, user_p
+: HttpRequest, user_profile: UserP
 rofi
@@ -649,16 +649,32 @@
  payload
+: Dict%5Bstr, Any%5D
 =REQ(arg
@@ -726,16 +726,22 @@
   stream
+: Text
 =REQ(def
@@ -792,16 +792,22 @@
    topic
+: Text
 =REQ(def
@@ -823,76 +823,8 @@
 s'))
-:%0A    # type: (HttpRequest, UserProfile, Dict%5Bstr, Any%5D, Text, Text)
  -%3E 
@@ -835,16 +835,17 @@
 Response
+:
 %0A%0A    # 

Use Python 3 type syntax in zerver/webhooks/papertrail/view.py.