recPatternMatching (reference) in projects: dports

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A D	Datatypes.hs	`172 return $ RecordCon (recPatternMatching r) (recEtaEquality r) fs 195 Record{ recPatternMatching } -> return $ Just $ IsRecord recPatternMatching`
H A D	Positivity.hs	`203 Record {recClause = Nothing, recPatternMatching } -> Just $ IsRecord recPatternMatching`
H A D	Generalize.hs	`812 , recPatternMatching = CopatternMatching function`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/Builtin/
H A D	Coinduction.hs	`82 , recPatternMatching= CopatternMatching`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/
H A D	Record.hs	`224 , recPatternMatching= patCopat`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A D	Base.hs	`2094 , recPatternMatching :: PatternOrCopattern function`