Searched refs:PatternSynName (Results 1 – 9 of 9) sorted by relevance
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/ |
| H A D | SearchAbout.hs | 47 let namesInScope = filter ((PatternSynName /=) . anameKind . snd)
|
| H A D | EmacsTop.hs | 345 PatternSynName -> "pattern synonym"
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/ |
| H A D | Monad.hs | 361 Just ds | all ((PatternSynName ==) . anameKind . fst) ds , isNothing suffixedNames ->
502 PatternSynResName n -> ambiguous (== PatternSynName) n
592 PatternSynName -> return d -- Pattern synonyms are simply aliased, not renamed
|
| H A D | Base.hs | 364 | PatternSynName -- ^ Name of a pattern synonym. constructor
1230 , k `elem` [ FldName, PatternSynName ] && all (k ==) ks
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/ |
| H A D | Precise.hs | 301 PatternSynName -> Constructor Common.Inductive
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Concrete/ |
| H A D | Operators.hs | 281 (someKindsOfNames [ConName, CoConName, FldName, PatternSynName]) flat
628 let cons = getNames (someKindsOfNames [ConName, CoConName, PatternSynName])
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Abstract/ |
| H A D | Views.hs | 493 PatternSynDef q _ _ -> singleton (WithKind PatternSynName q)
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/ |
| H A D | Abstract.hs | 937 PatternSynName -> PatternSyn ux
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Translation/ |
| H A D | ConcreteToAbstract.hs | 630 rx <- resolveName' (someKindsOfNames [ConName, CoConName, PatternSynName]) ns x
2077 bindName a PatternSynName n y
|