module cloogle
+import Cloogle
import GenPrint
-import IRC
import StdEnv
import Data.Functor
import Data.Maybe
-from Data.Func import $
-from Text import class Text(..), instance Text String
+import Data.Either
+from Data.Func import $, mapSt
+from Text import class Text(..), instance Text String, instance + String
-import TCPIP
+import Internet.HTTP
+
+import Text.JSON
+
+import Text.URI
-commands :: [String]
-commands = map toString
- [NICK "clooglebot"
- ,USER "cloogle" 0 "Cloogle bot"
- ,JOIN [("#cloogle", Nothing)]
- ]
+import Control.Applicative
+import qualified Control.Monad as CM
+import qualified Data.Map as DM
+from Control.Monad import class Monad, instance Monad Maybe
+from Text.Encodings.UrlEncoding import urlEncode
+import Internet.HTTP
+import Data.Error
+import Data.List
+import Data.Functor
+import Data.Tuple
+
+import TCPIP
+import IRC
+import IRCBot
TIMEOUT :== Just 10000
SERVER :== "irc.freenode.net"
-KEY :== "PRIVMSG #cloogle :!"
-
-send :: [String] TCP_DuplexChannel *World -> (TCP_DuplexChannel, *World)
-send [] chan w = (chan, w)
-send [msg:msgs] {sChannel,rChannel} w
-# (rpt,i,sChannel,w) = send_MT TIMEOUT (toByteSeq msg) sChannel w
-| rpt <> TR_Success = abort "Could not send request\n"
-= send msgs {sChannel=sChannel,rChannel=rChannel} w
-
-recv :: TCP_DuplexChannel *World -> (Maybe String, TCP_DuplexChannel, *World)
-recv {sChannel,rChannel} w
-# (rpt, resp, rChannel, w) = receive_MT TIMEOUT rChannel w
-| rpt == TR_Expired = (Nothing, {sChannel=sChannel,rChannel=rChannel}, w)
-| rpt == TR_NoSuccess || isNothing resp = abort "Halp?\n"
-= (toString <$> resp, {sChannel=sChannel,rChannel=rChannel}, w)
-
-msg :: (String -> IRCCommands)
-msg = PRIVMSG "#cloogle"
-
-process :: *File TCP_DuplexChannel *World -> (*File, TCP_DuplexChannel, *World)
-process io chan w
-# (mr, chan, w) = recv chan w
-| isNothing mr = process io chan w
-# resp = fromJust mr
-#! io = io <<< ("Received: " +++ resp +++ "\n")
-# ind = indexOf KEY resp
-| ind > 0
- # cmd = split " " $ rtrim $ subString (ind + size KEY) (size resp) resp
- #! io = io <<< ("Received command: " +++ printToString cmd +++ "\n")
- # toSend = case cmd of
- ["stop":_] = Nothing
- ["ping":xs] = Just [msg $ "pong " +++ join " " xs]
- ["help"] = Just
- [msg "type !help cmd for command specific help"
- ,msg "available commands: help, ping"]
- ["help":c:_] = case c of
- "help" = Just [msg "help [CMD] - I will print general help or the help of CMD"]
- "ping" = Just [msg "ping [TXT] - I will reply with pong and the optionar TXT"]
- _ = Just [msg "Unknown command"]
- [c:_] = Just [msg $ join " " ["unknown command: " , c, ", type !help to get help"]]
- | isNothing toSend = (io, chan, w)
- # (chan, w) = send (map toString $ fromJust toSend) chan w
- = process io chan w
-| indexOf "PING :" resp > 0
- # cmd = rtrim $ subString (indexOf "PING :" resp + size "PING :") (size resp) resp
- #! io <<< (toString $ PONG cmd Nothing) <<< "\n"
- # (chan, w) = send [toString $ PONG cmd Nothing] chan w
- = process io chan w
-= process io chan w
-
-Start :: *World -> *World
-Start w
-# (io, w) = stdio w
-# (ip, w) = lookupIPAddress SERVER w
-| isNothing ip = abort $ "DNS lookup for " +++ SERVER +++ " failed\n"
-# (Just ip) = ip
-# (rpt,chan,w) = connectTCP_MT TIMEOUT (ip, 6667) w
-| rpt == TR_Expired = abort $ "Connection to " +++ SERVER +++ " timed out\n"
-| rpt == TR_NoSuccess = abort $ "Could not connect to " +++ SERVER +++ "\n"
-# chan = fromJust chan
-# (chan, w) = send commands chan w
-# (io, chan, w) = process io chan w
-# ({sChannel,rChannel}, w) = send [toString $ QUIT Nothing] chan w
-# (_, w) = fclose io w
-= closeChannel sChannel (closeRChannel rChannel w)
+shorten :: String *World -> (String, *World)
+shorten s w
+# s = if (startsWith "http://" s) s (if (startsWith "https://" s) s ("http://" + s))
+# data = "type=regular&url="+urlEncode s+"&token=a"
+# (mer, w) = doHTTPRequest
+ { newHTTPRequest
+ & req_method = HTTP_POST
+ , req_path = "/"
+ , server_name = "cloo.gl"
+ , server_port = 80
+ , req_headers = 'DM'.fromList
+ [("Content-Type", "application/x-www-form-urlencoded")
+ ,("Content-Length", toString $ size data)
+ ,("Accept", "*/*")]
+ , req_data = data} 10000 w
+| isError mer = ("request failed: " + fromError mer, w)
+# resp = fromOk mer
+= (resp.rsp_data, w)
+
+cloogle :: String *World -> (String, *World)
+cloogle data w
+# (mer, w) = doHTTPRequestL
+ { newHTTPRequest
+ & req_path = "/api.php"
+ , req_query = "?str=" + urlEncode data
+ , req_headers = 'DM'.fromList [("User-Agent", "cloogle-irc")]
+ , server_name = "cloogle.org"
+ , server_port = 80} 10000 10 w
+| isError mer = ("request failed: " + fromError mer, w)
+# resp = fromOk mer
+= case fromJSON $ fromString resp.HTTPResponse.rsp_data of
+ Nothing = ("couldn't parse json", w)
+ Just clr = ("Results for " + data + " -- https://cloogle.org/#" +
+ replaceSubString "+" "%20" (urlEncode data) + "\n" +
+ processResults clr, w)
+ where
+ processResults :: Response -> String
+ processResults resp
+ | resp.return > 127 = "Failed: return code: " + toString resp.return + ", " + resp.msg
+ = join "\n" $ map processResult $ take 3 resp.data
+
+ processResult :: Result -> String
+ processResult (FunctionResult (br, {func}))
+ = "Function in " +++ br.library +++ ": " +++ br.modul +++ "\n" +++ func
+ processResult (TypeResult (br, {type}))
+ = "Type in " +++ br.library +++ ": " +++ br.modul +++ "\n" +++ limitResults type
+ processResult (ClassResult (br, {class_name,class_funs}))
+ = "Class in " +++ br.library +++ ": " +++ br.modul +++ "\n" +++ class_name +++ " with "
+ +++ toString (length class_funs) +++ " class functions"
+ processResult (ModuleResult (br, _))
+ = "Module in " +++ br.library +++ ": " +++ br.modul
+
+ limitResults :: String -> String
+ limitResults s
+ # lines = split "\n" s
+ | length lines > 4 = limitResults (join "\n" (take 3 lines) + "\n...")
+ = join "\n" (map maxWidth lines)
+
+ maxWidth :: String -> String
+ maxWidth s
+ | size s > 80 = subString 0 77 s + "..."
+ = s
+
+
+Start :: *World -> (MaybeErrorString (), *World)
+Start w = bot ("irc.freenode.net", 6667) startup shutdown () process w
+ where
+ toPrefix c = {irc_prefix=Nothing,irc_command=Right c}
+ startup = map toPrefix
+ [NICK "clooglebot" Nothing
+ ,USER "cloogle" "cloogle" "cloogle" "Cloogle bot"
+ ,JOIN (CSepList ["#cloogle", "#cleanlang"]) Nothing]
+ shutdown = map toPrefix [QUIT $ Just "Bye"]
+
+ process :: IRCMessage () *World -> (Maybe [IRCMessage], (), *World)
+ process im s w = case im.irc_command of
+ Left numr = (Just [], (), w)
+ Right cmd = case process` cmd w of
+ (Nothing, w) = (Nothing, (), w)
+ (Just cs, w) = (Just $ map toPrefix cs, (), w)
+
+ process` :: IRCCommand *World -> (Maybe [IRCCommand], *World)
+ process` (PRIVMSG t m) w
+ | m.[0] == '!'
+ # (msgs, w) = realProcess (split " " $ m % (1, size m)) w
+ = (Just $ map (PRIVMSG t) msgs, w)
+ = (Just [], w)
+ process` (PING t mt) w = (Just [PONG t mt], w)
+ process` _ w = (Just [], w)
+
+ realProcess :: [String] *World -> ([String], *World)
+ realProcess ["help",x:xs] w = ((case x of
+ "help" =
+ [ "Usage: !help [ARG]"
+ , "Show this help, or the specific help of the argument"]
+ "ping" =
+ [ "Usage: !ping [ARG [ARG ...]]"
+ , "Ping the bot, it will pong the arguments back"]
+ "shorten" =
+ [ "Usage: !shorten URL [URL [URL ...]]"
+ , "Shorten the given urls with the cloo.gl url shortener"]
+ "query" =
+ [ "Usage: !query QUERY"
+ , "Query QUERY in cloogle and return the results"]
+ "restart" =
+ [ "Usage: !restart"
+ , "Restart the bot"]
+ x = ["Unknown command: " +++ x]
+ ), w)
+ realProcess ["help"] w = (
+ ["Type !help cmd for command specific help"
+ ,"available commands: help, ping, shorten, query, restart"], w)
+ realProcess ["ping":xs] w = (["pong " +++ join " " xs], w)
+ realProcess ["shorten":xs] w = case xs of
+ [] = (["shorten requires at least one argument"], w)
+ xs = mapSt shorten xs w
+ realProcess ["query":xs] w = case xs of
+ [] = (["query requires one or more arguments"], w)
+ xs = appFst (split "\n") $ cloogle (join " " xs) w
+ realProcess ["restart"] w = abort "Restarted"
+ realProcess ["restart":_] w = (["restart takes no arguments"], w)
+ realProcess [c:_] w = ([join " " [
+ "Unknown cmd: ", c, ", type !help to get help"]], w)