Searched refs:PatternSynDefns (Results 1 – 5 of 5) sorted by relevance
28 import Agda.Syntax.Abstract (PatternSynDefn, PatternSynDefns)382 getPatternSyns :: ReadTCState m => m PatternSynDefns385 setPatternSyns :: PatternSynDefns -> TCM ()389 modifyPatternSyns :: (PatternSynDefns -> PatternSynDefns) -> TCM ()392 getPatternSynImports :: ReadTCState m => m PatternSynDefns396 getAllPatternSyns :: ReadTCState m => m PatternSynDefns
177 , stPrePatternSyns :: !A.PatternSynDefns179 , stPrePatternSynImports :: !A.PatternSynDefns463 stPatternSyns :: Lens' A.PatternSynDefns TCState468 stPatternSynImports :: Lens' A.PatternSynDefns TCState965 , iPatternSyns :: A.PatternSynDefns
42 reachableFrom :: Set QName -> A.PatternSynDefns -> Definitions -> Set QName
236 -> A.PatternSynDefns
988 type PatternSynDefns = Map QName PatternSynDefn type