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

Define a helper to match context infix.

Browse Source
This commit is contained in:
Rob Rix 2017-08-14 16:46:51 -04:00
parent d1ee070aa8
commit 82b1bc1f87
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/Data/Syntax.hs
View File

@ -9,6 +9,7 @@ import Data.Align.Generic
import Data.ByteString (ByteString)
import qualified Data.Error as Error
import Data.Foldable (toList)
import Data.Function ((&))
import Data.Ix
import Data.List.NonEmpty (NonEmpty(..), nonEmpty)
import Data.Functor.Classes.Eq.Generic
@ -67,6 +68,14 @@ postContextualize context rule end = make <$> rule <*> Assignment.manyThrough co
Just cs -> (makeTerm1 (Context cs node), end)
_ -> (node, end)
infixContext :: (Context :< fs, Alternative m, Semigroup a, HasCallStack, Apply1 Foldable fs)
=> m (Term (Union fs) a)
-> m (Term (Union fs) a)
-> m (Term (Union fs) a)
-> [m (Term (Union fs) a -> Term (Union fs) a -> Union fs a)]
-> m (Union fs a)
infixContext context left right operators = uncurry (&) <$> postContextualize context left (Assignment.choice operators) <*> right
-- Undifferentiated