Home
last modified time | relevance | path

Searched refs:suffixedNames (Results 1 – 1 of 1) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DMonad.hs351 suffixedNames = (,) <$> fromConcreteSuffix xsuffix <*> nonEmpty possibleBaseNames function
355 , isNothing suffixedNames ->
358 Just ds | all ((FldName ==) . anameKind . fst) ds , isNothing suffixedNames ->
361 Just ds | all ((PatternSynName ==) . anameKind . fst) ds , isNothing suffixedNames ->
364 Just ((d, a) :| []) | isNothing suffixedNames ->
367 Just ds -> throwError $ fmap (anameName . fst) $ caseMaybe suffixedNames id ((<>) . snd) ds
369 Nothing -> case suffixedNames of