4 from Data.Maybe import :: Maybe
5 from Data.Either import :: Either
6 from StdOverloaded import class fromInt, class toInt, class toString, class fromString
7 from Text.Parsers.Simple.Core import :: Error
10 { irc_prefix :: Maybe (Either String IRCUser)
11 , irc_command :: IRCCommand}
15 , irc_user :: Maybe String
16 , irc_host :: Maybe String
19 parseIRCMessage :: (String -> Either [Error] IRCMessage)
21 instance toString IRCCommand, IRCReplies, IRCErrors, IRCMessage, IRCUser
22 instance fromInt IRCReplies, IRCErrors
23 instance toInt IRCReplies, IRCErrors
26 = ADMIN (Maybe String)
28 | CONNECT String (Maybe (Int, Maybe String))
32 | INVITE String String
34 | JOIN [(String, Maybe String)]
35 | KICK String String (Maybe String)
37 | LINKS (Maybe (Maybe String, String))
38 | LIST (Maybe ([String], Maybe String))
39 | LUSERS (Maybe (String, Maybe String))
40 | MODE String String (Maybe String) (Maybe String) (Maybe String)
43 | NICK String (Maybe String)
45 | NOTICE String String
49 | PING String (Maybe String)
50 | PONG String (Maybe String)
51 | PRIVMSG [String] String
56 | SERVICE String String String String
57 | SERVLIST (Maybe (String, Maybe String))
58 | SQUERY String String
61 | STATS (Maybe (String, Maybe String))
62 | SUMMON String (Maybe (String, Maybe String))
64 | TOPIC String (Maybe String)
65 | TRACE (Maybe String)
66 | USER String String String
68 | USERS (Maybe String)
69 | VERSION (Maybe String)
72 | WHOIS (Maybe String) [String]
73 | WHOWAS (Maybe String) [String]
75 :: IRCReplies = RPL_WELCOME | RPL_YOURHOST | RPL_CREATED | RPL_MYINFO |
76 RPL_BOUNCE | RPL_TRACELINK | RPL_TRACECONNECTING | RPL_TRACEHANDSHAKE |
77 RPL_TRACEUNKNOWN | RPL_TRACEOPERATOR | RPL_TRACEUSER | RPL_TRACESERVER |
78 RPL_TRACESERVICE | RPL_TRACENEWTYPE | RPL_TRACECLASS | RPL_TRACERECONNECT |
79 RPL_STATSLINKINFO | RPL_STATSCOMMANDS | RPL_ENDOFSTATS | RPL_UMODEIS |
80 RPL_SERVLIST | RPL_SERVLISTEND | RPL_STATSUPTIME | RPL_STATSOLINE |
81 RPL_LUSERCLIENT | RPL_LUSEROP | RPL_LUSERUNKNOWN | RPL_LUSERCHANNELS |
82 RPL_LUSERME | RPL_ADMINME | RPL_ADMINLOC1 | RPL_ADMINLOC2 | RPL_ADMINEMAIL |
83 RPL_TRACELOG | RPL_TRACEEND | RPL_TRYAGAIN | RPL_AWAY | RPL_USERHOST |
84 RPL_ISON | RPL_UNAWAY | RPL_NOWAWAY | RPL_WHOISUSER | RPL_WHOISSERVER |
85 RPL_WHOISOPERATOR | RPL_WHOWASUSER | RPL_ENDOFWHO | RPL_WHOISIDLE |
86 RPL_ENDOFWHOIS | RPL_WHOISCHANNELS | RPL_LISTSTART | RPL_LIST |
87 RPL_LISTEND | RPL_CHANNELMODEIS | RPL_UNIQOPIS | RPL_NOTOPIC | RPL_TOPIC |
88 RPL_INVITING | RPL_SUMMONING | RPL_INVITELIST | RPL_ENDOFINVITELIST |
89 RPL_EXCEPTLIST | RPL_ENDOFEXCEPTLIST | RPL_VERSION | RPL_WHOREPLY |
90 RPL_NAMREPLY | RPL_LINKS | RPL_ENDOFLINKS | RPL_ENDOFNAMES | RPL_BANLIST |
91 RPL_ENDOFBANLIST | RPL_ENDOFWHOWAS | RPL_INFO | RPL_MOTD | RPL_ENDOFINFO |
92 RPL_MOTDSTART | RPL_ENDOFMOTD | RPL_YOUREOPER | RPL_REHASHING |
93 RPL_YOURESERVICE | RPL_TIME | RPL_USERSSTART | RPL_USERS | RPL_ENDOFUSERS |
96 :: IRCErrors = ERR_NOSUCHNICK | ERR_NOSUCHSERVER | ERR_NOSUCHCHANNEL |
97 ERR_CANNOTSENDTOCHAN | ERR_TOOMANYCHANNELS | ERR_WASNOSUCHNICK |
98 ERR_TOOMANYTARGETS | ERR_NOSUCHSERVICE | ERR_NOORIGIN | ERR_NORECIPIENT |
99 ERR_NOTEXTTOSEND | ERR_NOTOPLEVEL | ERR_WILDTOPLEVEL | ERR_BADMASK |
100 ERR_UNKNOWNCOMMAND | ERR_NOMOTD | ERR_NOADMININFO | ERR_FILEERROR |
101 ERR_NONICKNAMEGIVEN | ERR_ERRONEUSNICKNAME | ERR_NICKNAMEINUSE |
102 ERR_NICKCOLLISION | ERR_UNAVAILRESOURCE | ERR_USERNOTINCHANNEL |
103 ERR_NOTONCHANNEL | ERR_USERONCHANNEL | ERR_NOLOGIN | ERR_SUMMONDISABLED |
104 ERR_USERSDISABLED | ERR_NOTREGISTERED | ERR_NEEDMOREPARAMS |
105 ERR_ALREADYREGISTRED | ERR_NOPERMFORHOST | ERR_PASSWDMISMATCH |
106 ERR_YOUREBANNEDCREEP | ERR_YOUWILLBEBANNED | ERR_KEYSET | ERR_CHANNELISFULL |
107 ERR_UNKNOWNMODE | ERR_INVITEONLYCHAN | ERR_BANNEDFROMCHAN |
108 ERR_BADCHANNELKEY | ERR_BADCHANMASK | ERR_NOCHANMODES | ERR_BANLISTFULL |
109 ERR_NOPRIVILEGES | ERR_CHANOPRIVSNEEDED | ERR_CANTKILLSERVER |
110 ERR_RESTRICTED | ERR_UNIQOPPRIVSNEEDED | ERR_NOOPERHOST |
111 ERR_UMODEUNKNOWNFLAG | ERR_USERSDONTMATCH