dhall-lsp-server-1.0.14: Language Server Protocol (LSP) server for Dhall
Safe HaskellNone
LanguageHaskell2010

Dhall.LSP.Backend.Linting

Synopsis

Documentation

data Suggestion Source #

Constructors

Suggestion 

Fields

suggest :: Expr Src Import -> [Suggestion] Source #

Given an dhall expression suggest all the possible improvements that would be made by the linter.

lint :: Expr s Import -> Expr s Import #

Automatically improve a Dhall expression

Currently this:

  • removes unused let bindings with removeUnusedBindings.
  • fixes let a = x ≡ y to be let a = assert : x ≡ y
  • consolidates nested let bindings to use a multiple-let binding with removeLetInLet
  • fixes paths of the form ./../foo to ../foo