github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-21 13:51:44 +03:00
Code Issues Projects Releases Wiki Activity

Compute toTermName as a paramorphism.

Browse Source
This commit is contained in:
Rob Rix 2017-05-08 11:22:04 -04:00
parent 1b487b6907
commit 6e411c7c85
1 changed files with 8 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/Renderer/TOC.hs
View File

@ -146,17 +146,15 @@ termToDiffInfo source = para $ \ (annotation :< syntax) -> let termName = toTerm
_ -> LeafInfo (category annotation) termName (sourceSpan annotation)
toTermName :: forall leaf fields. HasDefaultFields fields => Source -> SyntaxTerm leaf fields -> Text
toTermName source term = case unwrap term of
S.Function identifier _ _ -> toTermName source identifier
S.Method _ identifier Nothing _ _ -> toTermName source identifier
S.Method _ identifier (Just receiver) _ _ -> case unwrap receiver of
toTermName source = para $ \ (annotation :< syntax) -> case syntax of
S.Function (_, identifier) _ _ -> identifier
S.Method _ (_, identifier) Nothing _ _ -> identifier
S.Method _ (_, identifier) (Just (receiver, receiverSource)) _ _ -> case unwrap receiver of
S.Indexed [receiverParams] -> case unwrap receiverParams of
S.ParameterDecl (Just ty) _ -> "(" <> toTermName source ty <> ") " <> toTermName source identifier
_ -> toMethodNameWithReceiver receiver identifier
_ -> toMethodNameWithReceiver receiver identifier
_ -> toText source
where
toMethodNameWithReceiver receiver name = toTermName source receiver <> "." <> toTermName source name
S.ParameterDecl (Just ty) _ -> "(" <> toTermName source ty <> ") " <> identifier
_ -> receiverSource <> "." <> identifier
_ -> receiverSource <> "." <> identifier
_ -> toText (Source.slice (byteRange annotation) source)
-- The user-facing category name
toCategoryName :: Category -> Text