Searched refs:WithP (Results 1 – 15 of 15) sorted by relevance
65 WithP i p0 -> f $ updateNamedArg (WithP i) $ mapNamedArgPattern f $ setNamedArg p p0144 WithP _ p -> foldrAPattern f p171 A.WithP i p -> A.WithP i <$> traverseAPatternM pre post p224 A.WithP _ _ -> mempty291 WithP _ _ -> p300 WithP _ p -> Just p334 WithP _i p -> Just (LHSWithP (p : map namedArg ps1), ps2)375 mkWithP p = WithP (PatRange $ getRange p) p432 mkWithP p = WithP (PatRange $ getRange p) p
64 WithP _ p -> Just p92 WithP _i p -> Just (LHSWithP (p : map namedArg ps1), ps2)192 WithP _ p -> foldrCPattern f p213 WithP r p -> WithP r <$> traverseCPatternA f p236 WithP r p -> WithP r <$> traverseCPatternM pre post p311 WithP _ _ -> mempty337 WithP{} -> True
551 WithP r p -> WithP r <$> parsePat prs p765 WithP _ p :| [] -> loop p801 p@WithP{} -> ret p
672 WithP _ p -> "|" <+> pretty p
184 icod_ (A.WithP i a) = icodeN 11 (A.WithP i) a199 valu [11, a] = valuN (A.WithP i) a
212 | WithP Range Pattern -- ^ @| p@, for with-patterns. constructor721 pure $ defaultNamedArg $ WithP (getRange e) p -- TODO #2822: Range!970 getRange (WithP r _) = r992 setRange r (WithP _ p) = WithP r p1131 killRange (WithP _ p) = killRange1 (WithP noRange) p1227 rnf (WithP _ a) = rnf a
497 | WithP PatInfo (Pattern' e) -- ^ @| p@, for with-patterns. constructor682 getRange (WithP i _) = getRange i729 setRange r (WithP i p) = WithP (setRange r i) p823 killRange (WithP i p) = killRange2 WithP i p984 WithP r p -> __IMPOSSIBLE__
1317 A.WithP i p -> bindToConcrete (UserPattern p) $ ret . A.WithP i1353 A.WithP i p -> bindToConcrete (SplitPattern p) $ ret . A.WithP i1386 A.WithP i p -> bindToConcrete (BindingPat p) $ ret . A.WithP i1457 A.WithP i p -> C.WithP (getRange i) <$> toConcreteCtx WithArgCtx p
343 wps <- mapM (updateNamedArg (A.WithP empty) <.> elimToPat) es945 A.WithP i p -> A.WithP i $ stripPat p -- TODO #2822: right?1022 A.WithP i p -> A.WithP i (blank bound p)1107 A.WithP _ _ -> empty
159 A.WithP i p -> A.WithP i <$> dot p1573 definedName C.WithP{} = Nothing1654 A.WithP{} -> no2854 A.WithP{} -> failure2958 toAbstract (C.WithP r p) = A.WithP (PatRange r) <$> toAbstract p
326 isSolved A.WithP{} = __IMPOSSIBLE__350 A.WithP {} -> __IMPOSSIBLE__507 patOrig A.WithP{} = __IMPOSSIBLE__573 A.WithP{} -> __IMPOSSIBLE__850 A.WithP{} -> __IMPOSSIBLE__941 A.WithP{} -> __IMPOSSIBLE__
213 A.WithP _ p -> namesIn' sg p
213 fromWithP (A.WithP _ p) = p
413 A.WithP{} -> "with"
286 A.WithP _ p -> hl p