Skip to content

Instantly share code, notes, and snippets.

@hvr

hvr/-

Created June 21, 2016 12:40
Show Gist options
  • Save hvr/3d312b7641a8f27a1f1696b5402c2321 to your computer and use it in GitHub Desktop.
Save hvr/3d312b7641a8f27a1f1696b5402c2321 to your computer and use it in GitHub Desktop.
mentions of `String` in haskell2010
Control.Monad: fail :: String -> m a
Data.Char:type String = [Char]
Data.Char:lexLitChar :: ReadS String
Data.List:lines :: String -> [String]
Data.List:unlines :: [String] -> String
Data.List:unwords :: [String] -> String
Data.List:words :: String -> [String]
Foreign:throwIf :: (a -> Bool) -> (a -> String) -> IO a -> IO a
Foreign:throwIfNeg :: (Ord a, Num a) => (a -> String) -> IO a -> IO a
Foreign:throwIfNeg_ :: (Ord a, Num a) => (a -> String) -> IO a -> IO ()
Foreign:throwIfNull :: String -> IO (Ptr a) -> IO (Ptr a)
Foreign:throwIf_ :: (a -> Bool) -> (a -> String) -> IO a -> IO ()
Foreign.C:type CString = base:GHC.Ptr.Ptr CChar
Foreign.C:type CStringLen = (base:GHC.Ptr.Ptr CChar, Int)
Foreign.C:type CWString = base:GHC.Ptr.Ptr CWchar
Foreign.C:type CWStringLen = (base:GHC.Ptr.Ptr CWchar, Int)
Foreign.C:errnoToIOError :: String -> Errno -> Maybe base:GHC.IO.Handle.Types.Handle -> Maybe String -> IOError
Foreign.C:newCAString :: String -> IO CString
Foreign.C:newCAStringLen :: String -> IO CStringLen
Foreign.C:newCString :: String -> IO CString
Foreign.C:newCStringLen :: String -> IO CStringLen
Foreign.C:newCWString :: String -> IO CWString
Foreign.C:newCWStringLen :: String -> IO CWStringLen
Foreign.C:peekCAString :: CString -> IO String
Foreign.C:peekCAStringLen :: CStringLen -> IO String
Foreign.C:peekCString :: CString -> IO String
Foreign.C:peekCStringLen :: CStringLen -> IO String
Foreign.C:peekCWString :: CWString -> IO String
Foreign.C:peekCWStringLen :: CWStringLen -> IO String
Foreign.C:throwErrno :: String -> IO a
Foreign.C:throwErrnoIf :: (a -> Bool) -> String -> IO a -> IO a
Foreign.C:throwErrnoIfMinus1 :: (Eq a, Num a) => String -> IO a -> IO a
Foreign.C:throwErrnoIfMinus1Retry :: (Eq a, Num a) => String -> IO a -> IO a
Foreign.C:throwErrnoIfMinus1RetryMayBlock :: (Eq a, Num a) => String -> IO a -> IO b -> IO a
Foreign.C:throwErrnoIfMinus1RetryMayBlock_ :: (Eq a, Num a) => String -> IO a -> IO b -> IO ()
Foreign.C:throwErrnoIfMinus1Retry_ :: (Eq a, Num a) => String -> IO a -> IO ()
Foreign.C:throwErrnoIfMinus1_ :: (Eq a, Num a) => String -> IO a -> IO ()
Foreign.C:throwErrnoIfNull :: String -> IO (base:GHC.Ptr.Ptr a) -> IO (base:GHC.Ptr.Ptr a)
Foreign.C:throwErrnoIfNullRetry :: String -> IO (base:GHC.Ptr.Ptr a) -> IO (base:GHC.Ptr.Ptr a)
Foreign.C:throwErrnoIfNullRetryMayBlock :: String -> IO (base:GHC.Ptr.Ptr a) -> IO b -> IO (base:GHC.Ptr.Ptr a)
Foreign.C:throwErrnoIfRetry :: (a -> Bool) -> String -> IO a -> IO a
Foreign.C:throwErrnoIfRetryMayBlock :: (a -> Bool) -> String -> IO a -> IO b -> IO a
Foreign.C:throwErrnoIfRetryMayBlock_ :: (a -> Bool) -> String -> IO a -> IO b -> IO ()
Foreign.C:throwErrnoIfRetry_ :: (a -> Bool) -> String -> IO a -> IO ()
Foreign.C:throwErrnoIf_ :: (a -> Bool) -> String -> IO a -> IO ()
Foreign.C:throwErrnoPath :: String -> FilePath -> IO a
Foreign.C:throwErrnoPathIf :: (a -> Bool) -> String -> FilePath -> IO a -> IO a
Foreign.C:throwErrnoPathIfMinus1 :: (Eq a, Num a) => String -> FilePath -> IO a -> IO a
Foreign.C:throwErrnoPathIfMinus1_ :: (Eq a, Num a) => String -> FilePath -> IO a -> IO ()
Foreign.C:throwErrnoPathIfNull :: String -> FilePath -> IO (base:GHC.Ptr.Ptr a) -> IO (base:GHC.Ptr.Ptr a)
Foreign.C:throwErrnoPathIf_ :: (a -> Bool) -> String -> FilePath -> IO a -> IO ()
Foreign.C:withCAString :: String -> (CString -> IO a) -> IO a
Foreign.C:withCAStringLen :: String -> (CStringLen -> IO a) -> IO a
Foreign.C:withCString :: String -> (CString -> IO a) -> IO a
Foreign.C:withCStringLen :: String -> (CStringLen -> IO a) -> IO a
Foreign.C:withCWString :: String -> (CWString -> IO a) -> IO a
Foreign.C:withCWStringLen :: String -> (CWStringLen -> IO a) -> IO a
Foreign.C.Error:errnoToIOError :: String -> Errno -> Maybe base:GHC.IO.Handle.Types.Handle -> Maybe String -> IOError
Foreign.C.Error:throwErrno :: String -> IO a
Foreign.C.Error:throwErrnoIf :: (a -> Bool) -> String -> IO a -> IO a
Foreign.C.Error:throwErrnoIfMinus1 :: (Eq a, Num a) => String -> IO a -> IO a
Foreign.C.Error:throwErrnoIfMinus1Retry :: (Eq a, Num a) => String -> IO a -> IO a
Foreign.C.Error:throwErrnoIfMinus1RetryMayBlock :: (Eq a, Num a) => String -> IO a -> IO b -> IO a
Foreign.C.Error:throwErrnoIfMinus1RetryMayBlock_ :: (Eq a, Num a) => String -> IO a -> IO b -> IO ()
Foreign.C.Error:throwErrnoIfMinus1Retry_ :: (Eq a, Num a) => String -> IO a -> IO ()
Foreign.C.Error:throwErrnoIfMinus1_ :: (Eq a, Num a) => String -> IO a -> IO ()
Foreign.C.Error:throwErrnoIfNull :: String -> IO (base:GHC.Ptr.Ptr a) -> IO (base:GHC.Ptr.Ptr a)
Foreign.C.Error:throwErrnoIfNullRetry :: String -> IO (base:GHC.Ptr.Ptr a) -> IO (base:GHC.Ptr.Ptr a)
Foreign.C.Error:throwErrnoIfNullRetryMayBlock :: String -> IO (base:GHC.Ptr.Ptr a) -> IO b -> IO (base:GHC.Ptr.Ptr a)
Foreign.C.Error:throwErrnoIfRetry :: (a -> Bool) -> String -> IO a -> IO a
Foreign.C.Error:throwErrnoIfRetryMayBlock :: (a -> Bool) -> String -> IO a -> IO b -> IO a
Foreign.C.Error:throwErrnoIfRetryMayBlock_ :: (a -> Bool) -> String -> IO a -> IO b -> IO ()
Foreign.C.Error:throwErrnoIfRetry_ :: (a -> Bool) -> String -> IO a -> IO ()
Foreign.C.Error:throwErrnoIf_ :: (a -> Bool) -> String -> IO a -> IO ()
Foreign.C.Error:throwErrnoPath :: String -> FilePath -> IO a
Foreign.C.Error:throwErrnoPathIf :: (a -> Bool) -> String -> FilePath -> IO a -> IO a
Foreign.C.Error:throwErrnoPathIfMinus1 :: (Eq a, Num a) => String -> FilePath -> IO a -> IO a
Foreign.C.Error:throwErrnoPathIfMinus1_ :: (Eq a, Num a) => String -> FilePath -> IO a -> IO ()
Foreign.C.Error:throwErrnoPathIfNull :: String -> FilePath -> IO (base:GHC.Ptr.Ptr a) -> IO (base:GHC.Ptr.Ptr a)
Foreign.C.Error:throwErrnoPathIf_ :: (a -> Bool) -> String -> FilePath -> IO a -> IO ()
Foreign.C.String:type CString = base:GHC.Ptr.Ptr base:Foreign.C.Types.CChar
Foreign.C.String:type CStringLen = (base:GHC.Ptr.Ptr base:Foreign.C.Types.CChar, Int)
Foreign.C.String:type CWString = base:GHC.Ptr.Ptr base:Foreign.C.Types.CWchar
Foreign.C.String:type CWStringLen = (base:GHC.Ptr.Ptr base:Foreign.C.Types.CWchar, Int)
Foreign.C.String:newCAString :: String -> IO CString
Foreign.C.String:newCAStringLen :: String -> IO CStringLen
Foreign.C.String:newCString :: String -> IO CString
Foreign.C.String:newCStringLen :: String -> IO CStringLen
Foreign.C.String:newCWString :: String -> IO CWString
Foreign.C.String:newCWStringLen :: String -> IO CWStringLen
Foreign.C.String:peekCAString :: CString -> IO String
Foreign.C.String:peekCAStringLen :: CStringLen -> IO String
Foreign.C.String:peekCString :: CString -> IO String
Foreign.C.String:peekCStringLen :: CStringLen -> IO String
Foreign.C.String:peekCWString :: CWString -> IO String
Foreign.C.String:peekCWStringLen :: CWStringLen -> IO String
Foreign.C.String:withCAString :: String -> (CString -> IO a) -> IO a
Foreign.C.String:withCAStringLen :: String -> (CStringLen -> IO a) -> IO a
Foreign.C.String:withCString :: String -> (CString -> IO a) -> IO a
Foreign.C.String:withCStringLen :: String -> (CStringLen -> IO a) -> IO a
Foreign.C.String:withCWString :: String -> (CWString -> IO a) -> IO a
Foreign.C.String:withCWStringLen :: String -> (CWStringLen -> IO a) -> IO a
Foreign.Marshal:throwIf :: (a -> Bool) -> (a -> String) -> IO a -> IO a
Foreign.Marshal:throwIfNeg :: (Ord a, Num a) => (a -> String) -> IO a -> IO a
Foreign.Marshal:throwIfNeg_ :: (Ord a, Num a) => (a -> String) -> IO a -> IO ()
Foreign.Marshal:throwIfNull :: String -> IO (base:GHC.Ptr.Ptr a) -> IO (base:GHC.Ptr.Ptr a)
Foreign.Marshal:throwIf_ :: (a -> Bool) -> (a -> String) -> IO a -> IO ()
Foreign.Marshal.Error:throwIf :: (a -> Bool) -> (a -> String) -> IO a -> IO a
Foreign.Marshal.Error:throwIfNeg :: (Ord a, Num a) => (a -> String) -> IO a -> IO a
Foreign.Marshal.Error:throwIfNeg_ :: (Ord a, Num a) => (a -> String) -> IO a -> IO ()
Foreign.Marshal.Error:throwIfNull :: String -> IO (base:GHC.Ptr.Ptr a) -> IO (base:GHC.Ptr.Ptr a)
Foreign.Marshal.Error:throwIf_ :: (a -> Bool) -> (a -> String) -> IO a -> IO ()
Numeric:lexDigits :: ReadS String
Prelude:type FilePath = String
Prelude: fail :: String -> m a
Prelude:type ReadS a = String -> [(a, String)]
Prelude: show :: a -> String
Prelude:type ShowS = String -> String
Prelude:type String = [Char]
Prelude:appendFile :: FilePath -> String -> IO ()
Prelude:getContents :: IO String
Prelude:getLine :: IO String
Prelude:interact :: (String -> String) -> IO ()
Prelude:lex :: ReadS String
Prelude:lines :: String -> [String]
Prelude:putStr :: String -> IO ()
Prelude:putStrLn :: String -> IO ()
Prelude:read :: Read a => String -> a
Prelude:readFile :: FilePath -> IO String
Prelude:readIO :: Read a => String -> IO a
Prelude:showString :: String -> ShowS
Prelude:unlines :: [String] -> String
Prelude:unwords :: [String] -> String
Prelude:userError :: String -> IOError
Prelude:words :: String -> [String]
Prelude:writeFile :: FilePath -> String -> IO ()
System.Environment:getArgs :: IO [String]
System.Environment:getEnv :: String -> IO String
System.Environment:getProgName :: IO String
System.IO:type FilePath = String
System.IO:appendFile :: FilePath -> String -> IO ()
System.IO:getContents :: IO String
System.IO:getLine :: IO String
System.IO:hGetContents :: Handle -> IO String
System.IO:hGetLine :: Handle -> IO String
System.IO:hPutStr :: Handle -> String -> IO ()
System.IO:hPutStrLn :: Handle -> String -> IO ()
System.IO:hShow :: Handle -> IO String
System.IO:interact :: (String -> String) -> IO ()
System.IO:putStr :: String -> IO ()
System.IO:putStrLn :: String -> IO ()
System.IO:readFile :: FilePath -> IO String
System.IO:readIO :: Read a => String -> IO a
System.IO:writeFile :: FilePath -> String -> IO ()
System.IO.Error:annotateIOError :: Prelude.IOError -> String -> Maybe base:GHC.IO.Handle.Types.Handle -> Maybe FilePath -> Prelude.IOError
System.IO.Error:ioeGetErrorString :: Prelude.IOError -> String
System.IO.Error:mkIOError :: IOErrorType -> String -> Maybe base:GHC.IO.Handle.Types.Handle -> Maybe FilePath -> Prelude.IOError
System.IO.Error:userError :: String -> Prelude.IOError
@alanz
Copy link

alanz commented Jun 21, 2016

Much fewer than I would have expected, somehow

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment