Searched refs:defCopatternLHS (Results 1 – 7 of 7) sorted by relevance
153 , defCopatternLHS = hasProjectionPatterns cc function
320 updateDefCopatternLHS f def@Defn{ defCopatternLHS = b } = def { defCopatternLHS = f b }
469 , defCopatternLHS = isCopatternLHS [cl] function1206 usesCopatterns q = defCopatternLHS <$> getConstInfo q
1791 , defCopatternLHS :: Bool function1837 , defCopatternLHS = False function2157 , "defCopatternLHS =" <?> pshow defCopatternLHS
730 , defCopatternLHS = hasProjectionPatterns cc function
802 …- [#4142](https://github.com/agda/agda/issues/4142): defCopatternLHS needs to be set when record …
563 copatterns = defCopatternLHS info