Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
annotateLet :: Position -> WellTyped -> Either String (Src, Expr Src Void) Source #
Given a well-typed expression and a position find the let binder at that position (if there is one) and return the type annotation to be inserted (potentially replacing the existing one). If something goes wrong returns a textual error message.
exprAt :: Position -> Expr Src a -> Maybe (Expr Src a) Source #
Find the smallest Note-wrapped expression at the given position.