IDE.Pane.Errors

A pane which displays a list of errors

Documentation

data IDEErrors

The representation of the Errors pane

Instances

Typeable * IDEErrors

Pane IDEErrors IDEM

RecoverablePane IDEErrors ErrorsState IDEM

data ErrorsState

The additional state used when recovering the pane

Instances

Eq ErrorsState

Ord ErrorsState

Read ErrorsState

Show ErrorsState

Typeable * ErrorsState

RecoverablePane IDEErrors ErrorsState IDEM

fillErrorList

Arguments

:: Bool

Whether to display the Errors pane

-> IDEAction

Repopulates 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

selectError

Arguments

:: Maybe LogRef

When Nothing, the first error in the list is selected

-> IDEAction

Select an error in the Errors pane

getErrors :: Maybe PanePath -> IDEM IDEErrors

Get the Errors pane

selectMatchingErrors

Arguments

:: Maybe SrcSpan

When Nothing, unselects any errors in the pane

-> IDEM ()

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