1
1
mirror of https://github.com/github/semantic.git synced 2024-12-18 04:11:48 +03:00

📝 toTerm.

This commit is contained in:
Rob Rix 2018-06-14 14:53:14 -04:00
parent 3ef04bb17c
commit 11d887fdd2

View File

@ -121,6 +121,7 @@ branchNode sym child = symbol sym *> children child
leafNode :: (Enum grammar, Ix grammar) => grammar -> Assignment ast grammar Text leafNode :: (Enum grammar, Ix grammar) => grammar -> Assignment ast grammar Text
leafNode sym = symbol sym *> source leafNode sym = symbol sym *> source
-- | Wrap an 'Assignment' producing @syntax@ up into an 'Assignment' producing 'Term's.
toTerm :: Element syntax syntaxes toTerm :: Element syntax syntaxes
=> Assignment ast grammar (syntax (Term (Sum syntaxes) (Record Location))) => Assignment ast grammar (syntax (Term (Sum syntaxes) (Record Location)))
-> Assignment ast grammar (Term (Sum syntaxes) (Record Location)) -> Assignment ast grammar (Term (Sum syntaxes) (Record Location))