1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
(define-module (ruther packages python-lsp-server)
#:use-module ((guix licenses) #:prefix license:)
#:use-module (guix utils)
#:use-module (guix gexp)
#:use-module (guix git-download)
#:use-module (guix download)
#:use-module (guix packages)
#:use-module (guix build-system python)
#:use-module (guix build-system pyproject)
#:use-module (gnu packages python-xyz)
#:use-module (gnu packages check)
#:use-module (gnu packages python-check)
#:use-module (gnu packages python-build)
#:use-module (gnu packages python-science))
(define-public python-lsp-jsonrpc-1.1.2
(package
(name "python-lsp-jsonrpc")
(version "1.1.2")
(source
(origin
(method url-fetch)
(uri (pypi-uri "python-lsp-jsonrpc" version))
(sha256
(base32 "04n95h0cqnsrdyh1gv0abh2i5ynyrq2wfqpppx9djp7mxr9y9226"))))
(build-system pyproject-build-system)
(propagated-inputs (list python-ujson))
(native-inputs (list python-coverage
python-setuptools
python-wheel
python-setuptools-scm
python-pycodestyle
python-pyflakes
python-pylint
python-pytest
python-pytest-cov))
(home-page "https://github.com/python-lsp/python-lsp-jsonrpc")
(synopsis "JSON RPC 2.0 server library")
(description
"This package provides a JSON RPC 2.0 server library for Python.")
(license #f)))
(define-public python-docstring-to-markdown
(package
(name "python-docstring-to-markdown")
(version "0.15")
(source
(origin
(method url-fetch)
(uri (pypi-uri "docstring-to-markdown" version))
(sha256
(base32 "0gdpabnyl1kyy0cjrnph6xl4fyhgim50a1amsaqq3hahki6i2ip1"))))
(native-inputs (list python-setuptools python-wheel))
(build-system pyproject-build-system)
(home-page "")
(synopsis "On the fly conversion of Python docstrings to markdown")
(description "On the fly conversion of Python docstrings to markdown.")
(license #f)))
(define-public python-lsp-server-1.11.0
(package/inherit python-lsp-server
(version "1.11.0")
(source
(origin
(method url-fetch)
(uri (pypi-uri "python-lsp-server" version))
(sha256
(base32 "11lf7c9dpf8jzz5y7dllz8l1lka887m9a79xbazy8lkq7zxxdvc9"))))
(arguments
'(#:tests? #f))
(propagated-inputs (list python-docstring-to-markdown
python-setuptools-scm
python-importlib-metadata
python-jedi
python-pluggy
python-lsp-jsonrpc-1.1.2
python-ujson))))
(define-public python-pylsp-mypy
(package
(name "python-pylsp-mypy")
(version "0.6.8")
(source
(origin
(method url-fetch)
(uri (pypi-uri "pylsp-mypy" version))
(sha256
(base32 "0pxx85nms0zs54s1rlrkpkharkkiqcqzxi9q1vjm7qnp0z50g0rz"))))
(build-system pyproject-build-system)
(propagated-inputs (list python-mypy python-lsp-server-1.11.0 python-tomli))
(native-inputs (list python-setuptools python-wheel python-coverage
python-pytest python-pytest-cov python-tox))
(home-page "https://github.com/python-lsp/pylsp-mypy")
(synopsis "Mypy linter for the Python LSP Server")
(description "Mypy linter for the Python LSP Server.")
(license #f)))