Lines Matching refs:qIn
461 …getTrans qIn@(Q {preReset=resets,postSet=sets,preTag=pre,postTag=post,unQ=pIn}) e = debug (">< get…
468 …_ -> return . addGroupResets resets . addTag pre =<< getTransTagless qIn (addTag post . addGroupSe…
470 getTransTagless qIn e = debug (">< getTransTagless "++show qIn++" <>") $
471 case unQ qIn of
476 eqts <- if usesQNFA qIn
498 … Nothing -> err ("Weird pattern in getTransTagless/Star: " ++ show (qTop,qIn))
512 NonEmpty q -> ecart ("\n> getTransTagless/NonEmpty"++show qIn) $ do
514 …t q) (err $ "getTransTagless/NonEmpty : provided with a *cannotAccept* pattern: "++show (qTop,qIn))
515 …ept q) (err $ "getTransTagless/NonEmpty : provided with a *mustAccept* pattern: "++show (qTop,qIn))
516 let e' = case maybeOnlyEmpty qIn of
519 … Nothing -> err $ "getTransTagless/NonEmpty is supposed to have an emptyNull nullView : "++show qIn
522 Nothing -> err ("Weird pattern in getTransTagless/NonEmpty: " ++ show (qTop,qIn))
524 … _ -> err ("This case in Text.Regex.TNFA.TNFA.getTransTagless cannot happen" ++ show (qTop,qIn))
527 inStar qIn@(Q {preReset=resets,postSet=sets,preTag=pre,postTag=post}) eLoop | notNullable qIn =
528 debug (">< inStar/1 "++show qIn++" <>") $
529 return . Just . getQT =<< getTrans qIn eLoop
531 debug (">< inStar/2 "++show qIn++" <>") $
532 …return . fmap (prependGroupResets resets . prependPreTag pre) =<< inStarNullableTagless qIn (addTa…
534 inStarNullableTagless qIn eLoop = debug (">< inStarNullableTagless "++show qIn++" <>") $ do
535 case unQ qIn of
540 mqts <- if usesQNFA qIn
554 Star {} -> do (_,meAcceptingOut,_) <- actNullableTagless qIn (eLoop,Nothing,Nothing)
556 NonEmpty {} -> ecart ("\n> inStarNullableTagless/NonEmpty"++show qIn) $
557 do (_,meAcceptingOut,_) <- actNullableTagless qIn (eLoop,Nothing,Nothing)
605 act qIn c | nullable qIn = fmap snd3 $ actNullable qIn c
606 | otherwise = debug (">< act "++show qIn++" <>") $ do
607 mqt <- return . Just =<< getTrans qIn ( getE $ c )
611 actNullable qIn@(Q {preReset=resets,postSet=sets,preTag=pre,postTag=post,unQ=pIn}) ac =
612 debug (">< actNullable "++show qIn++" <>") $ do
617 …_ -> return . addGroupResetsAC resets . addTagAC pre =<< actNullableTagless qIn ( addTagAC post . …
619 …actNullableTagless qIn ac@(eLoop,mAccepting,mQNFA) = debug (">< actNullableTagless "++show (qIn)++…
620 case unQ qIn of
635 eLoop' = case maybeOnlyEmpty qIn of
637 …Nothing -> fromQT $ applyNullViews (nullQ qIn) (getQT eLoop) -- suspect this of duplicating some t…
639 …then fmap (fromQT . applyNullViews (nullQ qIn) . getQT) mAccepting -- suspect this of duplicating …
642 then case maybeOnlyEmpty qIn of
665 Nothing -> err $ "Weird pattern in getTransTagless/Star: " ++ show (qTop,qIn)
686 NonEmpty q -> ecart ("\n> actNullableTagless/NonEmpty"++show qIn) $ do
688 … q) (err $ "actNullableTagless/NonEmpty : provided with a *mustAccept* pattern: "++show (qTop,qIn))
689 …) (err $ "actNullableTagless/NonEmpty : provided with a *cannotAccept* pattern: "++show (qTop,qIn))
692 let (clearE,_,_) = case maybeOnlyEmpty qIn of
695 …> err $ "actNullableTagless/NonEmpty is supposed to have an emptyNull nullView : "++show (qTop,qIn)
698 Nothing -> err $ "Weird pattern in actNullableTagless/NonEmpty: " ++ show (qTop,qIn)
707 … _ -> err $ "This case in Text.Regex.TNFA.TNFA.actNullableTagless cannot happen: "++show (qTop,qIn)