Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DDatatypes.hs158 | RecordCon PatternOrCopattern HasEta [Dom QName]
H A DRecords.hs455 unguardedRecord :: QName -> PatternOrCopattern -> TCM ()
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/
H A DCommon.hs126 type HasEta = HasEta' PatternOrCopattern
130 data PatternOrCopattern type
137 instance NFData PatternOrCopattern where
141 instance HasRange PatternOrCopattern where
144 instance KillRange PatternOrCopattern where
151 instance PatternMatchingAllowed PatternOrCopattern where
164 instance CopatternMatchingAllowed PatternOrCopattern where
H A DConcrete.hs435 | PatternOrCopattern Range
873 getRange (PatternOrCopattern r) = r
1020 killRange (PatternOrCopattern _) = PatternOrCopattern noRange
1235 rnf (PatternOrCopattern _) = ()
H A DInternal.hs153 | IsRecord PatternOrCopattern
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Serialise/Instances/
H A DCommon.hs457 instance EmbPrj PatternOrCopattern
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Concrete/
H A DPretty.hs525 PatternOrCopattern{} -> "pattern"
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DBase.hs2094 , recPatternMatching :: PatternOrCopattern