From d42379c189c33dac732a1a1341395a9f5683260b Mon Sep 17 00:00:00 2001
From: Wojtek Kosior <koszko@koszko.org>
Date: Tue, 27 Sep 2022 09:09:54 +0200
Subject: [proxy] add typing stubs for requests library to Guix development
 environment

---
 guix.scm | 25 ++++++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

diff --git a/guix.scm b/guix.scm
index aa5ea3c..38a673d 100644
--- a/guix.scm
+++ b/guix.scm
@@ -243,6 +243,24 @@ SSL/TLS-protected protocols.")
       (native-inputs
        (list python-pytest python-mypy)))))
 
+(define-public python-types-requests
+  (package
+    (name "python-types-requests")
+    (version "2.26.0")
+    (source (origin
+              (method url-fetch)
+              (uri (pypi-uri "types-requests" version))
+              (sha256
+               (base32
+                "10sq8jarr642vhw53k6zbf3hn2b8xfyrckwfngml4fj19g1whpnz"))))
+    (build-system python-build-system)
+    (home-page "https://github.com/python/typeshed")
+    (synopsis "Typing stubs for requests")
+    (description
+     "This package provides a collection of library stubs for Python, with
+static types.")
+    (license license:asl2.0)))
+
 ;; WARNING! Haketilo package is not ready for building yet. The definition below
 ;; is only useful for setting up a development environment with
 ;; `guix shell -D -f guix.scm`. The package will be updated to build properly
@@ -271,7 +289,12 @@ SSL/TLS-protected protocols.")
             python-jsonschema
             python-gnupg))
     (native-inputs
-      (list python-setuptools-scm python-babel python-pytest python-pypa-build))
+      (list python-setuptools-scm
+            python-babel
+            python-pytest
+            python-pypa-build
+            python-mypy
+            python-types-requests))
     (home-page "https://hydrillabugs.koszko.org/projects/haketilo/wiki")
     (synopsis "Block JavaScript and add custom logic to web pages")
     (description "Haketilo HTTP proxy facilitates viewing of websites while
-- 
cgit v1.2.3