1
1
mirror of https://github.com/github/semantic.git synced 2024-12-27 17:05:33 +03:00

Stub in assignments for paragraphs and documents.

This commit is contained in:
Rob Rix 2017-06-07 18:36:13 -04:00
parent 20228b8a4d
commit 5b78a3de21

View File

@ -46,4 +46,14 @@ type Term = Term.Term (Union Syntax) (Record Location)
type Assignment = HasCallStack => Assignment.Assignment (Cofree [] (Record (CMark.NodeType ': Location))) Grammar.Grammar Term
assignment :: Assignment
assignment = empty
assignment = makeTerm <$> symbol Grammar.Document <*> children (Document <$> many paragraph)
inlineElement :: Assignment
inlineElement = empty
paragraph :: Assignment
paragraph = makeTerm <$> symbol Grammar.Paragraph <*> children (Paragraph <$> many inlineElement)
makeTerm :: (InUnion fs f, HasCallStack) => a -> f (Term.Term (Union fs) a) -> Term.Term (Union fs) a
makeTerm a f = cofree $ a :< inj f