Searched refs:PatternSynDef (Results 1 – 8 of 8) sorted by relevance
186 | PatternSynDef QName [Arg BindName] (Pattern' Void) constructor585 PatternSynDef a1 b1 c1 == PatternSynDef a2 b2 c2 = (a1, b1, c1) == (a2, b2, c2) function665 getRange (PatternSynDef x _ _ ) = getRange x799 killRange (PatternSynDef x xs p ) = killRange3 PatternSynDef x xs p
431 PatternSynDef f xs p -> PatternSynDef f xs <$> rec p493 PatternSynDef q _ _ -> singleton (WithKind PatternSynName q)
185 A.PatternSynDef{} -> none $ return ()399 A.PatternSynDef{} -> highlight d1024 A.PatternSynDef{} -> "PatternSynDef"
213 A.PatternSynDef x xs p -> hl x <> hl xs <> hl p
112 A.PatternSynDef {} -> return mempty
937 …prDef (x, (xs, p)) = prettyA (A.PatternSynDef x (map (fmap BindName) xs) p) <?> ("at" <+> pretty r)
1213 toConcrete (A.PatternSynDef x xs p) = do
2082 …return [A.PatternSynDef y (map (fmap BindName) as) p] -- only for highlighting, so use unexpande…