Home
last modified time | relevance | path

Searched refs:scopeDatatypeModule (Results 1 – 2 of 2) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Scope/
H A DMonad.hs95 scopeDatatypeModule . Map.findWithDefault __IMPOSSIBLE__ m <$> useScope scopeModules
142 , scopeDatatypeModule = b } function
H A DBase.hs63 , scopeDatatypeModule :: Maybe DataOrRecordModule function
614 , scopeDatatypeModule = Nothing function