Searched defs:Sf_Safe (Results 1 – 5 of 5) sorted by relevance
29 | Sf_Safe -- ^ declared and checked constructor
430 | Sf_Safe -- ^ declared and checked constructor1858 Sf_Safe -> return $ dfs { safeHaskell = safeM, safeInfer = False } function
945 | Sf_Safe -- ^ declared and checked constructor2545 Sf_Safe -> return $ dfs { safeHaskell = safeM, safeInfer = False } function
944 | Sf_Safe -- ^ declared and checked constructor2544 Sf_Safe -> return $ dfs { safeHaskell = safeM, safeInfer = False } function
1625 Sf_Safe -> return $ dfs { safeHaskell = safeM, safeInfer = False } function