IRC.dcl

   1 definition module IRC
   2
   3 from StdOverloaded import class fromInt, class toInt, class toString, class fromString
   4
   5 from Data.Either import :: Either
   6 from Data.Maybe import :: Maybe
   7 from Text.Parsers.Simple.Core import :: Error
   8
   9 :: IRCMessage =
  10         { irc_prefix    :: Maybe (Either IRCUser String)
  11         , irc_command   :: Either IRCNumReply IRCCommand}
  12
  13 :: IRCNumReply =
  14         { irc_reply     :: IRCReplies
  15         , irc_recipient :: String
  16         , irc_message   :: String
  17         }
  18
  19 :: IRCUser =
  20         { irc_nick      :: String
  21         , irc_user      :: Maybe String
  22         , irc_host      :: Maybe String
  23         }
  24
  25 parseIRCMessage :: String -> Either [Error] IRCMessage
  26
  27 instance toString IRCCommand, IRCReplies, IRCErrors, IRCMessage, IRCUser, IRCNumReply
  28 instance fromInt IRCReplies, IRCErrors
  29 instance toInt IRCReplies, IRCErrors
  30
  31 :: CSepList = CSepList [String]
  32 :: IRCCommand
  33         = ADMIN (Maybe String)
  34         | AWAY String
  35         | CONNECT String (Maybe (Int, Maybe String))
  36         | DIE
  37         | ERROR String
  38         | INFO (Maybe String)
  39         | INVITE String String
  40         | ISON [String]
  41         | JOIN CSepList (Maybe String)
  42         | KICK String String (Maybe String)
  43         | KILL String String
  44         | LINKS (Maybe (Maybe String, String))
  45         | LIST (Maybe (CSepList, Maybe String))
  46         | LUSERS (Maybe (String, Maybe String))
  47         | MODE String String (Maybe String) (Maybe String) (Maybe String)
  48         | MOTD (Maybe String)
  49         | NAMES CSepList
  50         | NICK String (Maybe String)
  51         | NJOIN
  52         | NOTICE String String
  53         | OPER String String
  54         | PART CSepList
  55         | PASS String
  56         | PING String (Maybe String)
  57         | PONG String (Maybe String)
  58         | PRIVMSG CSepList String
  59         | QUIT (Maybe String)
  60         | REHASH
  61         | RESTART
  62         | SERVER
  63         | SERVICE String String String String
  64         | SERVLIST (Maybe (String, Maybe String))
  65         | SQUERY String String
  66         | SQUIRT
  67         | SQUIT String String
  68         | STATS (Maybe (String, Maybe String))
  69         | SUMMON String (Maybe (String, Maybe String))
  70         | TIME (Maybe String)
  71         | TOPIC String (Maybe String)
  72         | TRACE (Maybe String)
  73         | USER String String String String
  74         | USERHOST CSepList
  75         | USERS (Maybe String)
  76         | VERSION (Maybe String)
  77         | WALLOPS String
  78         | WHO (Maybe String)
  79         | WHOIS (Maybe String) String
  80         | WHOWAS String (Maybe (String, Maybe String))
  81
  82 :: IRCReplies = RPL_WELCOME | RPL_YOURHOST | RPL_CREATED | RPL_MYINFO |
  83         RPL_BOUNCE | RPL_TRACELINK | RPL_TRACECONNECTING | RPL_TRACEHANDSHAKE |
  84         RPL_TRACEUNKNOWN | RPL_TRACEOPERATOR | RPL_TRACEUSER | RPL_TRACESERVER |
  85         RPL_TRACESERVICE | RPL_TRACENEWTYPE | RPL_TRACECLASS | RPL_TRACERECONNECT |
  86         RPL_STATSLINKINFO | RPL_STATSCOMMANDS | RPL_ENDOFSTATS | RPL_UMODEIS |
  87         RPL_SERVLIST | RPL_SERVLISTEND | RPL_STATSUPTIME | RPL_STATSOLINE |
  88         RPL_LUSERCLIENT | RPL_LUSEROP | RPL_LUSERUNKNOWN | RPL_LUSERCHANNELS |
  89         RPL_LUSERME | RPL_ADMINME | RPL_ADMINLOC1 | RPL_ADMINLOC2 | RPL_ADMINEMAIL |
  90         RPL_TRACELOG | RPL_TRACEEND | RPL_TRYAGAIN | RPL_AWAY | RPL_USERHOST |
  91         RPL_ISON | RPL_UNAWAY | RPL_NOWAWAY | RPL_WHOISUSER | RPL_WHOISSERVER |
  92         RPL_WHOISOPERATOR | RPL_WHOWASUSER | RPL_ENDOFWHO | RPL_WHOISIDLE |
  93         RPL_ENDOFWHOIS | RPL_WHOISCHANNELS | RPL_LISTSTART | RPL_LIST |
  94         RPL_LISTEND | RPL_CHANNELMODEIS | RPL_UNIQOPIS | RPL_NOTOPIC | RPL_TOPIC |
  95         RPL_INVITING | RPL_SUMMONING | RPL_INVITELIST | RPL_ENDOFINVITELIST |
  96         RPL_EXCEPTLIST | RPL_ENDOFEXCEPTLIST | RPL_VERSION | RPL_WHOREPLY |
  97         RPL_NAMREPLY | RPL_LINKS | RPL_ENDOFLINKS | RPL_ENDOFNAMES | RPL_BANLIST |
  98         RPL_ENDOFBANLIST | RPL_ENDOFWHOWAS | RPL_INFO | RPL_MOTD | RPL_ENDOFINFO |
  99         RPL_MOTDSTART | RPL_ENDOFMOTD | RPL_YOUREOPER | RPL_REHASHING |
 100         RPL_YOURESERVICE | RPL_TIME | RPL_USERSSTART | RPL_USERS | RPL_ENDOFUSERS |
 101         RPL_NOUSERS | RPL_UNKNOWN
 102
 103 :: IRCErrors = ERR_NOSUCHNICK | ERR_NOSUCHSERVER | ERR_NOSUCHCHANNEL |
 104         ERR_CANNOTSENDTOCHAN | ERR_TOOMANYCHANNELS | ERR_WASNOSUCHNICK |
 105         ERR_TOOMANYTARGETS | ERR_NOSUCHSERVICE | ERR_NOORIGIN | ERR_NORECIPIENT |
 106         ERR_NOTEXTTOSEND | ERR_NOTOPLEVEL | ERR_WILDTOPLEVEL | ERR_BADMASK |
 107         ERR_UNKNOWNCOMMAND | ERR_NOMOTD | ERR_NOADMININFO | ERR_FILEERROR |
 108         ERR_NONICKNAMEGIVEN | ERR_ERRONEUSNICKNAME | ERR_NICKNAMEINUSE |
 109         ERR_NICKCOLLISION | ERR_UNAVAILRESOURCE | ERR_USERNOTINCHANNEL |
 110         ERR_NOTONCHANNEL | ERR_USERONCHANNEL | ERR_NOLOGIN | ERR_SUMMONDISABLED |
 111         ERR_USERSDISABLED | ERR_NOTREGISTERED | ERR_NEEDMOREPARAMS |
 112         ERR_ALREADYREGISTRED | ERR_NOPERMFORHOST | ERR_PASSWDMISMATCH |
 113         ERR_YOUREBANNEDCREEP | ERR_YOUWILLBEBANNED | ERR_KEYSET |
 114         ERR_CHANNELISFULL | ERR_UNKNOWNMODE | ERR_INVITEONLYCHAN |
 115         ERR_BANNEDFROMCHAN | ERR_BADCHANNELKEY | ERR_BADCHANMASK |
 116         ERR_NOCHANMODES | ERR_BANLISTFULL | ERR_NOPRIVILEGES |
 117         ERR_CHANOPRIVSNEEDED | ERR_CANTKILLSERVER | ERR_RESTRICTED |
 118         ERR_UNIQOPPRIVSNEEDED | ERR_NOOPERHOST | ERR_UMODEUNKNOWNFLAG |
 119         ERR_USERSDONTMATCH | ERR_UNKNOWN