Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Serialise/Instances/
H A DAbstract.hs32 instance EmbPrj DataOrRecordModule where
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DBase.hs63 , scopeDatatypeModule :: Maybe DataOrRecordModule
67 data DataOrRecordModule type
1427 instance NFData DataOrRecordModule
H A DMonad.hs93 isDatatypeModule :: ReadTCState m => A.ModuleName -> m (Maybe DataOrRecordModule)
135 createModule :: Maybe DataOrRecordModule -> A.ModuleName -> ScopeM ()