data SourceMarker |
|
sourceMarkerSetMarkerType :: SourceMarker -> String -> IO () |
|
sourceMarkerGetMarkerType :: SourceMarker -> IO String |
|
sourceMarkerGetLine :: SourceMarker -> IO Int |
|
sourceMarkerGetName :: SourceMarker -> IO String |
|
sourceMarkerGetBuffer :: SourceMarker -> IO SourceBuffer |
|
sourceMarkerNext :: SourceMarker -> IO SourceMarker |
|
sourceMarkerPrev :: SourceMarker -> IO SourceMarker |