Searched defs:nameModule_maybe (Results 1 – 4 of 4) sorted by relevance
285 nameModule_maybe (Name { n_sort = External mod}) = Just mod function286 nameModule_maybe (Name { n_sort = WiredIn mod _ _}) = Just mod function287 nameModule_maybe _ = Nothing function
254 nameModule_maybe (Name { n_sort = External mod}) = Just mod function255 nameModule_maybe (Name { n_sort = WiredIn mod _ _}) = Just mod function256 nameModule_maybe _ = Nothing function
326 nameModule_maybe (Name { n_sort = External mod}) = Just mod function327 nameModule_maybe (Name { n_sort = WiredIn mod _ _}) = Just mod function328 nameModule_maybe _ = Nothing function