IDE.Pane.Errors

A pane which displays a list of errors

Documentation

data ErrorsPane

The representation of the Errors pane

Instances

Pane ErrorsPane IDEM

RecoverablePane ErrorsPane ErrorsState IDEM

data ErrorsState

The additional state used when recovering the pane

Instances

Eq ErrorsState

Ord ErrorsState

Read ErrorsState

Show ErrorsState

RecoverablePane ErrorsPane ErrorsState IDEM

fillErrorList

Arguments

:: Bool

Whether to display the Errors pane

-> IDEAction

Repopulates the Errors pane

getErrors :: Maybe PanePath -> IDEM ErrorsPane

Get the Errors pane

addErrorToList

Arguments

:: Bool

Whether to display the pane

-> Int

The index to insert at

-> LogRef

-> IDEAction

Add any LogRef to the Errors pane at a given index

selectMatchingErrors

Arguments

:: Maybe SrcSpan

When Nothing, unselects any errors in the pane

-> IDEAction

Select the matching errors for a SrcSpan in the Errors pane, or none at all