GhcTags.Stream

Parse and combine a stream of tags.

Documentation

tagParser

Arguments

:: MonadIO m

=> Parser (Maybe (Tag tk))

Parse a single tag. For Vim this returns should parse a single line and return the tag, e.g parseTagLine.

-> Producer ByteString m ()

-> Producer (Tag tk) m ()

Parse a stream of tags, coming from a Text producer.

combineTagsPipe

Arguments

:: forall m (tk :: TAG_KIND). Applicative m

=> (Tag tk -> Tag tk -> Ordering)

-> RawFilePath

file path from which the new tags were obtained, it should be normalised

-> Tag tk

tag read from disc

-> [Tag tk]

new tags

-> Producer (Tag tk) m [Tag tk]

Streaming version of combineTags.

runCombineTagsPipe :: MonadIO m => Handle -> (Tag tk -> Tag tk -> Ordering) -> (Tag tk -> Builder) -> RawFilePath -> Tag tk -> Effect (StateT [Tag tk] m) ()

run combineTagsPipe taking care of the state.