Dhall.LSP.Backend.Typing

Documentation

annotateLet :: Position -> WellTyped -> Either String (Src, Text)

Given a well-typed expression and a position find the let binder at that position (if there is one) and return a textual update to the source code that inserts the type annotation (or replaces the existing one). If something goes wrong returns a textual error message.

exprAt :: Position -> Expr Src a -> Maybe (Expr Src a)

Find the smallest Note-wrapped expression at the given position.

srcAt :: Position -> Expr Src a -> Maybe Src

Find the smallest Src annotation containing the given position.

typeAt :: Position -> WellTyped -> Either String (Maybe Src, Expr Src X)

Find the type of the subexpression at the given position. Assumes that the input expression is well-typed. Also returns the Src descriptor containing that subexpression if possible.