From 8c2f3c1131e94b694b59ddb21920b86440f6d781 Mon Sep 17 00:00:00 2001 From: Timothy Clem Date: Mon, 9 Apr 2018 10:56:46 -0700 Subject: [PATCH] Formatting --- src/Parsing/Parser.hs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/Parsing/Parser.hs b/src/Parsing/Parser.hs index 9a0ea00d7..b5f0dfdec 100644 --- a/src/Parsing/Parser.hs +++ b/src/Parsing/Parser.hs @@ -80,13 +80,11 @@ data Parser term where -- | A parser for 'Markdown' using cmark. MarkdownParser :: Parser (Term (TermF [] CMarkGFM.NodeType) (Node Markdown.Grammar)) --- | Apply all of a list of typeclasses to all of a list of functors using 'Apply'. Used by 'someAnalysisParser to constrain all of the language-specific syntax types to the typeclasses in question. +-- | Apply all of a list of typeclasses to all of a list of functors using 'Apply'. Used by 'someParser to constrain all of the language-specific syntax types to the typeclasses in question. type family ApplyAll (typeclasses :: [(* -> *) -> Constraint]) (syntax :: * -> *) :: Constraint where ApplyAll (typeclass ': typeclasses) syntax = (typeclass syntax, ApplyAll typeclasses syntax) ApplyAll '[] syntax = () - - -- | A parser for some specific language, producing 'Term's whose syntax satisfies a list of typeclass constraints. -- -- This enables us to abstract over the details of the specific syntax types in cases where we can describe all the requirements on the syntax with a list of typeclasses.