Type signatures for LocalPeerCred.

1 files changed, 17 insertions, 0 deletions

diff --git a/Presence/LocalPeerCred.hs b/Presence/LocalPeerCred.hs
index 3396358e..c73c39df 100644
--- a/Presence/LocalPeerCred.hs
+++ b/Presence/LocalPeerCred.hs
@@ -20,12 +20,16 @@ import System.Posix.Files
 import Logging
 import Network.SocketLike
 import ControlMaybe
+import Data.String
+import System.IO
 
+(??) :: (Num t, Ord t) => [a] -> t -> Maybe a
 xs     ?? n | n < 0 =  Nothing
 []     ?? _         =  Nothing
 (x:_)  ?? 0         =  Just x
 (_:xs) ?? n         =  xs ?? (n-1)
 
+parseHex :: W8.ByteString -> W8.ByteString
 parseHex bs = L.concat . parseHex' $ bs
  where
   parseHex' bs =
@@ -40,6 +44,7 @@ parseHex bs = L.concat . parseHex' $ bs
               then []
               else parseHex' ts
 
+getLocalPeerCred' :: SockAddr -> IO (Maybe (UserID, W8.ByteString))
 getLocalPeerCred' (unmap6mapped4 -> SockAddrInet portn host) = do
     let port = fromEnum portn
     {- trace ("tcp4 "++show(port,host)) $ -} 
@@ -56,6 +61,7 @@ getLocalPeerCred' (unmap6mapped4 -> addr@(SockAddrUnix _)) =
     -- see also: Network.Socket.getPeerCred
     return Nothing
 
+getLocalPeerCred :: SocketLike sock => sock -> IO (Maybe UserID)
 getLocalPeerCred sock = do
     addr <- getPeerName sock
     muid <- getLocalPeerCred' addr
@@ -72,6 +78,11 @@ from16 = fromEnum
 as16 :: Word16 -> Word16
 as16 = id
 
+parseProcNet :: (Binary t, Num t1, Eq t, Eq t1) =>
+          t1
+          -> t
+          -> Handle
+          -> IO (Maybe (UserID, W8.ByteString))
 parseProcNet port host h = do
         tcp <- L.hGetContents h -- Failed: tcp <- hFileSize h >>= hGet h . fromIntegral
         let u = do
@@ -101,6 +112,7 @@ parseProcNet port host h = do
 
 
 -- PEER NAME: [::ffff:127.0.0.1]:34307
+unmap6mapped4 :: SockAddr -> SockAddr
 unmap6mapped4 addr@(SockAddrInet6 port _ (0,0,0xFFFF,a) _) = SockAddrInet port (toBE32 a)
 unmap6mapped4 addr = addr
 
@@ -141,6 +153,7 @@ ttyToXorgs tty_pids = do
     return dts
 
 
+scanProc :: t -> [Char] -> IO (Maybe (CPid, FilePath))
 scanProc uid inode = do
     contents <- getDirectoryContents "/proc" `catchIO_` return []
     let pids = reverse $ filter (\n -> not (null n) && isDigit (head n)) contents
@@ -169,6 +182,7 @@ scanProc uid inode = do
 
     fmap (fmap (first (read :: String -> CPid))) $ searchPids pids
 
+ttyOrDisplay :: Show a => a -> FilePath -> IO [Char]
 ttyOrDisplay pid ttydev = do
     ptty <- searchParentsForTTY (show pid) ttydev
     case ptty of
@@ -181,6 +195,7 @@ ttyOrDisplay pid ttydev = do
                 _             -> return ttydev
 
 
+readDisplayVariable :: Show a => a -> IO (Maybe ([Char], [Char]))
 readDisplayVariable pid = do
             env <- handleIO_ (return "") 
                     . readFile $ "/proc/"++show pid++"/environ"
@@ -198,10 +213,12 @@ readDisplayVariable pid = do
             return display 
 
 
+makeUidStr :: (Data.String.IsString t, Eq t) => t -> t
 makeUidStr "4294967295" = "invalid"
 makeUidStr uid          = uid
 
 
+searchParentsForTTY :: String -> FilePath -> IO (Maybe [Char])
 searchParentsForTTY pid  ttydev | take 8 ttydev == "/dev/tty" = return . Just $ drop 5 ttydev
 searchParentsForTTY "1"  ttydev | otherwise                   = return Nothing
 searchParentsForTTY pid ttydev = do