Searched refs:imv_is_safe (Results 1 – 7 of 7) sorted by relevance
40 , imv_is_safe :: IsSafeImport function
328 by_is_safe (ImportedByUser imv) = imv_is_safe imv
1078 return (m, imv_span imv, imv_is_safe imv)1083 | imv_is_safe v1 /= imv_is_safe v2
1375 imv_is_safe :: IsSafeImport, -- ^ whether this is a safe import function
365 , imv_is_safe = mod_safe' function
1421 imv_is_safe :: IsSafeImport, -- ^ whether this is a safe import function