X-Git-Url: https://git.martlubbers.net/?p=cloogle-irc.git;a=blobdiff_plain;f=IRC.icl;h=098c7590de74ad4085685cffba7aae3becc350a6;hp=4f20623992cf315c92a9859ee089bc402719dffb;hb=8b7012942d09004336c8dc64d6a00d320d42220e;hpb=d0094022a0169765678e500d2713db15433248bd diff --git a/IRC.icl b/IRC.icl index 4f20623..098c759 100644 --- a/IRC.icl +++ b/IRC.icl @@ -1,12 +1,71 @@ implementation module IRC +import StdList import GenPrint import StdOverloaded +import Data.Maybe +import Data.Either +import StdFunc +import StdString +from Text import class Text(..), instance Text String from StdMisc import undef -derive gPrint IRCCommands, IRCReplies, IRCErrors +derive gPrint IRCCommands, IRCReplies, IRCErrors, (,), Maybe, (), Either + +instance toString IRCCommands where + toString r = flip (+++) "\r\n" case r of + //ADMIN (Maybe String) + //AWAY String + //CONNECT String Int (Maybe String) + //DIE + //ERROR String + //INFO (Maybe String) + //INVITE String String + //ISON [String] + JOIN chs = "JOIN " +++ (if (isEmpty chs) "0" + (join ", " [join " " [ch:maybeToList mk]\\(ch, mk)<-chs])) + //KICK String String (Maybe String) + //KILL String String + //LINKS (Maybe (Maybe String, String)) + //LIST [String] + //LUSERS (Maybe (String, Maybe String)) + //MODE String + //MOTD (Maybe String) + //NAMES [String] + NICK n = join " " ["NICK", n] + //NJOIN + //NOTICE String String + //OPER String String + //PART [String] + //PASS String + PING a mb = join " " ["PING",a:maybeToList mb] + PONG a mb = join " " ["PONG",a:maybeToList mb] + PRIVMSG dest msg = join " " ["PRIVMSG", dest, ":"+++msg] + QUIT msg = join " " ["QUIT":maybeToList msg] + //REHASH + //RESTART + //SERVER + //SERVICE String String String String + //SERVLIST (Maybe (String, Maybe String)) + //SQUERY String String + //SQUIRT + //SQUIT String String + //STATS (Maybe (String, Maybe String)) + //SUMMON String (Maybe (String, Maybe String)) + //TIME (Maybe String) + //TOPIC String (Maybe String) + //TRACE (Maybe String) + USER login mode rn = join " " ["USER", login, toString mode, "*", ":"+++rn] + //USERHOST [String] + //USERS (Maybe String) + //VERSION (Maybe String) + //WALLOPS String + //WHO (Maybe String) + //WHOIS (Maybe String) [String] + //WHOWAS (Maybe String) [String] + _ = printToString r + -instance toString IRCCommands where toString r = printToString r instance toString IRCReplies where toString r = printToString r instance toString IRCErrors where toString r = printToString r @@ -33,7 +92,7 @@ instance fromInt IRCReplies where 219 = RPL_ENDOFSTATS 221 = RPL_UMODEIS 234 = RPL_SERVLIST - 234 = RPL_SERVLISTEND + 235 = RPL_SERVLISTEND 242 = RPL_STATSUPTIME 243 = RPL_STATSOLINE 251 = RPL_LUSERCLIENT @@ -81,7 +140,7 @@ instance fromInt IRCReplies where 365 = RPL_ENDOFLINKS 366 = RPL_ENDOFNAMES 367 = RPL_BANLIST - 367 = RPL_ENDOFBANLIST + 368 = RPL_ENDOFBANLIST 369 = RPL_ENDOFWHOWAS 371 = RPL_INFO 372 = RPL_MOTD