Plugin.GhcTags.Parser

Tag

newtype TagName

ByteString which encodes a tag name.

Constructors

TagName

Fields

• getTagName :: ByteString

Instances

Eq TagName

Defined in Plugin.GhcTags.Parser

Methods

(==) :: TagName -> TagName -> Bool

(/=) :: TagName -> TagName -> Bool

Ord TagName

Defined in Plugin.GhcTags.Parser

Methods

compare :: TagName -> TagName -> Ordering

(<) :: TagName -> TagName -> Bool

(<=) :: TagName -> TagName -> Bool

(>) :: TagName -> TagName -> Bool

(>=) :: TagName -> TagName -> Bool

max :: TagName -> TagName -> TagName

min :: TagName -> TagName -> TagName

Show TagName

Defined in Plugin.GhcTags.Parser

Methods

showsPrec :: Int -> TagName -> ShowS

show :: TagName -> String

showList :: [TagName] -> ShowS

newtype TagFile

ByteString which encodes a tag file.

Constructors

TagFile

Fields

• getTagFile :: ByteString

Instances

Eq TagFile

Defined in Plugin.GhcTags.Parser

Methods

(==) :: TagFile -> TagFile -> Bool

(/=) :: TagFile -> TagFile -> Bool

Ord TagFile

Defined in Plugin.GhcTags.Parser

Methods

compare :: TagFile -> TagFile -> Ordering

(<) :: TagFile -> TagFile -> Bool

(<=) :: TagFile -> TagFile -> Bool

(>) :: TagFile -> TagFile -> Bool

(>=) :: TagFile -> TagFile -> Bool

max :: TagFile -> TagFile -> TagFile

min :: TagFile -> TagFile -> TagFile

Show TagFile

Defined in Plugin.GhcTags.Parser

Methods

showsPrec :: Int -> TagFile -> ShowS

show :: TagFile -> String

showList :: [TagFile] -> ShowS

data Tag

Simple Tag record. For the moment on tag name, tag file and line numbers are supported.

TODO: expand to support column numbers and extra information.

Constructors

Tag

Fields

• tagName :: !TagName
• tagFile :: !TagFile
• tagLine :: !Int
• tagKind :: !(Maybe TagKind)

Instances

Eq Tag

Defined in Plugin.GhcTags.Parser

Methods

(==) :: Tag -> Tag -> Bool

(/=) :: Tag -> Tag -> Bool

Ord Tag

Defined in Plugin.GhcTags.Parser

Methods

compare :: Tag -> Tag -> Ordering

(<) :: Tag -> Tag -> Bool

(<=) :: Tag -> Tag -> Bool

(>) :: Tag -> Tag -> Bool

(>=) :: Tag -> Tag -> Bool

max :: Tag -> Tag -> Tag

min :: Tag -> Tag -> Tag

Show Tag

Defined in Plugin.GhcTags.Parser

Methods

showsPrec :: Int -> Tag -> ShowS

show :: Tag -> String

showList :: [Tag] -> ShowS

ghcTagToTag :: GhcTag -> Maybe Tag

Parsing

parseVimTagFile :: ByteString -> IO (Either String [Tag])

Parse a vim-style tag file.

TagsMap'

type TagsMap = Map TagFile [Tag]

mkTagsMap :: [Tag] -> TagsMap

Map from TagName to list of tags. This will be useful when updating tags. We will just need to merge dictionaries.