[elm-discuss] Elm Language Server - Document and repository to coordinate and capture requirements effort

[Håkon Rossebø]

(Also posted in elm-dev) Based on previous discussions and my own 
experience from the vscode-elm extension, having a common language server 
can help improve editor support and tooling features. Currently, many 
editor extensions use their own parsers to support a common set of features.

I've created a repository with issues and a requirements document to 
capture and discuss any features here - 
https://github.com/hakonrossebo/elm-language-server-requirements-specification

In this document, I've also tried to collect links to all previous 
discussions and reference implementations.

I hope this repository can help improve the coordination of effort to 
improve editor and tooling support.
 
This is just the initial work. Please suggest any improvements in the 
repository issues or create PRs for the requirements document.

-- 
You received this message because you are subscribed to the Google Groups "Elm 
Discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to elm-discuss+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[elm-discuss] Elm and Swagger - what is currently available?

['Rupert Smith' via Elm Discuss]

Swagger is a data model that describes a REST API, the URLs of endpoints 
and json-schemas describing the json that they accept or produce. I didn't 
find anything in package.elm-lang.org relating to it.

I did find this github project which implements a CLI for converting a 
Swagger .json into Elm Encoders and Decoders, which is pretty neat.

https://github.com/ahultgren/swagger-elm

Do let me know if you know of any other Elm/Swagger projects.


-- 
You received this message because you are subscribed to the Google Groups "Elm 
Discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to elm-discuss+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.