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

📝 the parameters to runAssignment.

Browse Source
This commit is contained in:
Rob Rix 2017-07-22 13:32:51 -04:00
parent 5b674d1940
commit a7a04ae3d3
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/Data/Syntax/Assignment.hs
View File

@ -258,11 +258,11 @@ assignAllFrom source toNode assignment state = runAssignment source toNode assig
-- | Run an assignment of nodes in a grammar onto terms in a syntax.
runAssignment :: forall grammar a ast. (Symbol grammar, Enum grammar, Eq grammar, Recursive ast, Foldable (Base ast), HasCallStack)
=> Source.Source
-> (forall x. Base ast x -> Node grammar)
-> Assignment ast grammar a
-> AssignmentState ast grammar
-> Either (Error grammar) (a, AssignmentState ast grammar)
=> Source.Source -- ^ The source for the parse tree.
-> (forall x. Base ast x -> Node grammar) -- ^ A function to project a 'Node' from the ast.
-> Assignment ast grammar a -- ^ The 'Assignment' to run.
-> AssignmentState ast grammar -- ^ The current state.
-> Either (Error grammar) (a, AssignmentState ast grammar) -- ^ 'Either' an 'Error' or the pair of the assigned value & updated state.
runAssignment source toNode = go
where go :: forall a. Assignment ast grammar a -> AssignmentState ast grammar -> Either (Error grammar) (a, AssignmentState ast grammar)
go = iterFreer run . fmap ((pure .) . (,))