github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-28 17:32:05 +03:00
Code Issues Projects Releases Wiki Activity

📝 SomeParser.

Browse Source
This commit is contained in:
Rob Rix 2019-10-02 14:52:45 -04:00
parent fd94a1d3f2
commit 17481f566e
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Parsing/Parser.hs
View File

@ -201,6 +201,9 @@ someASTParser Markdown = Nothing
someASTParser Unknown = Nothing
-- | A parser producing terms of existentially-quantified type under some constraint @c@.
--
-- This can be used to perform actions on terms supporting some feature abstracted using a typeclass, without knowing (or caring) what the specific term types are.
data SomeParser c a where
SomeParser :: c t => Parser (t a) -> SomeParser c a