IRC.icl

   1 implementation module IRC
   2
   3 import StdGeneric
   4 import StdList
   5 import GenPrint
   6 import GenBimap
   7 import StdOverloaded
   8 import Data.Maybe
   9 import Data.Either
  10 import StdFunc
  11 import StdString
  12 import StdChar
  13 import StdBool
  14 import _SystemArray
  15
  16 import Text.Parsers.Simple.Core
  17 import Text.Parsers.Simple.Chars
  18 import Data.Tuple
  19 import Control.Monad
  20 import Control.Applicative
  21 from Data.Functor import <$>
  22
  23 from Data.Func import $
  24 from Text import class Text(ltrim,indexOf,concat), instance Text String
  25 import qualified Text
  26 from StdMisc import undef
  27 import StdDebug
  28
  29 jon :== 'Text'.join
  30
  31 derive gPrint IRCCommand, IRCReplies, IRCErrors, (,), Maybe, (), Either, IRCMessage, IRCUser, IRCNumReply
  32
  33 Start = jon "\n" $ map printToString
  34         [ parseIRCMessage ":clooglebot!~cloogle@dhcp-077-249-221-037.chello.nl QUIT\r\n"
  35         , parseIRCMessage ":clooglebot!~cloogle QUIT\r\n"
  36         , parseIRCMessage ":frobnicator!~frobnicat@92.110.128.124 QUIT\r\n"
  37         , parseIRCMessage ":frobnicator!~frobnicat@92.110.128.124 AWAY test\r\n"
  38         , parseIRCMessage ":frobnicator!~frobnicat@92.110.128.124 AWAY :test with spaces\r\n"
  39         , parseIRCMessage ":cherryh.freenode.net NOTICE * :*** Found your hostname\r\n"
  40         , parseIRCMessage ":cherryh.freenode.net QUIT :hoi hoi\r\n"
  41         ]
  42
  43 (<+) infixr 5 :: a b -> String | toString a & toString b
  44 (<+) a b = toString a +++ toString b
  45
  46 parseIRCMessage :: String -> Either [Error] IRCMessage
  47 parseIRCMessage s = case runParser parsePrefix (fromString s) of
  48         ([(prefix, rest):_], _)
  49                 = case parse parseReply rest of
  50                         Left e = case parseCmd rest of
  51                                 Left e2 = Left $ e2 ++ e
  52                                 Right cmd = Right {IRCMessage | irc_prefix=prefix, irc_command=Right cmd}
  53                         Right repl = Right {IRCMessage | irc_prefix=prefix, irc_command=Left repl}
  54         (_, es) = Left ["couldn't parse prefix":es]
  55
  56 parsePrefix :: Parser Char (Maybe (Either IRCUser String))
  57 parsePrefix = optional (pToken ':' >>| parseEither parseUser parseHost) <* pToken ' '
  58
  59 generic gIRCParse a :: Parser String a
  60 gIRCParse{|String|} = pSatisfy (const True)
  61 gIRCParse{|Int|} = toInt <$> pSatisfy (const True)
  62 gIRCParse{|EITHER|} p b = LEFT <$> p <|> RIGHT <$> b
  63 gIRCParse{|PAIR|} p b = liftM2 PAIR p b
  64 gIRCParse{|UNIT|} = pFail
  65 gIRCParse{|OBJECT|} p = OBJECT <$> p
  66 gIRCParse{|CONS of d|} p = CONS <$> (pToken d.gcd_name >>| p)
  67 gIRCParse{|Maybe|} p = optional p
  68 gIRCParse{|(,)|} p s = liftM2 tuple p s
  69 gIRCParse{|[]|} p = pMany p
  70 gIRCParse{|(->)|} p b = undef
  71
  72 derive gIRCParse IRCCommand
  73
  74 parseCmd :: [Char] -> Either [Error] IRCCommand
  75 parseCmd cs
  76 = parse gIRCParse{|*|} $ argfun $ 'Text'.split " " $ toString cs
  77 //= parse cmdParser $ argfun $ 'Text'.split " " $ toString cs
  78         where
  79                 argfun :: [String] -> [String]
  80                 argfun [] = []
  81                 argfun [x:xs]
  82                 # x = 'Text'.trim x
  83                 | x.[0] == ':' = [jon " " $ [x:map 'Text'.rtrim xs]]
  84                 | otherwise = [x:argfun xs]
  85
  86                 p = pSatisfy (const True)
  87                 lst = fmap $ 'Text'.split ","
  88                 opt = optional p
  89                 pInt = toInt <$> p
  90
  91                 nn p f = pToken p >>| f
  92
  93                 cmdParser :: Parser String IRCCommand
  94                 cmdParser =
  95                             (nn "ADMIN"   $ fmap ADMIN       opt)
  96                         <|> (nn "AWAY"    $ fmap AWAY        p)
  97                         <|> (nn "CONNECT" $ liftM2 CONNECT   p (optional $ liftM2 tuple pInt opt))
  98                         <|> (nn "DIE"     $ pure DIE)
  99                         <|> (nn "ERROR"   $ fmap ERROR       p)
 100                         <|> (nn "INFO"    $ fmap INFO        opt)
 101                         <|> (nn "INVITE"  $ liftM2 INVITE    p p)
 102                         <|> (nn "ISON"    $ fmap ISON      $ pMany p)
 103 //                      <|> (nn "JOIN"    $ fmap JOIN      $ lst p >>= \ch->lst p >>= \ks->pure (zip2 ch (ks ++ repeat Nothing)))
 104                         <|> (nn "KICK"    $ liftM3 KICK      p p opt)
 105                         <|> (nn "KILL"    $ liftM2 KILL      p p)
 106                         <|> (nn "LINKS"   $ fmap LINKS     $ optional $ liftM2 tuple opt p)
 107                         <|> (nn "LIST"    $ fmap LIST      $ optional $ liftM2 tuple ('Text'.split "," <$> p) opt)
 108                         <|> (nn "LUSERS"  $ fmap LUSERS    $ optional $ liftM2 tuple p opt)
 109                         <|> (nn "MODE"    $ liftM5 MODE      p p opt opt opt)
 110                         <|> (nn "MOTD"    $ fmap MOTD      $ opt)
 111                         <|> (nn "NAMES"   $ fmap NAMES     $ lst p)
 112                         <|> (nn "NICK"    $ fmap NAMES     $ lst p)
 113                         //"NICK" = String (Maybe String)
 114                         //"NJOIN" = command0 NJOIN args
 115                         //"NOTICE" = String String
 116                         //"OPER" = String String
 117                         //"PART" = [String]
 118                         //"PASS" = String
 119                         //"PING" = String (Maybe String)
 120                         //"PONG" = String (Maybe String)
 121                         //"PRIVMSG" = [String] String
 122 //                      "QUIT" = case args of
 123 //                              [_,_:_] = Left $ "QUIT has too many arguments"
 124 //                              x = Right $ QUIT $ listToMaybe x
 125 //                      "REHASH" = command0 REHASH args
 126 //                      "RESTART" = command0 REHASH args
 127 //                      "SERVER" = command0 REHASH args
 128                         //"SERVICE" = String String String String
 129                         //"SERVLIST" = (Maybe (String, Maybe String))
 130                         //"SQUERY" = String String
 131 //                      "SQUIRT" = command0 REHASH args
 132                         //"SQUIT" = String String
 133                         //"STATS" = (Maybe (String, Maybe String))
 134                         //"SUMMON" = String (Maybe (String, Maybe String))
 135                         //"TIME" = (Maybe String)
 136                         //"TOPIC" = String (Maybe String)
 137                         //"TRACE" = (Maybe String)
 138                         //"USER" = String String String
 139                         //"USERHOST" = [String]
 140                         //"USERS" = (Maybe String)
 141                         //"VERSION" = (Maybe String)
 142                         //"WALLOPS" = String
 143                         //"WHO" = (Maybe String)
 144                         //"WHOIS" = (Maybe String) [String]
 145                         //"WHOWAS" = (Maybe String) [String]
 146
 147 parseReply :: Parser Char IRCNumReply
 148 parseReply = (toString <$> pSome pDigit)
 149         >>= \rep->pMiddle
 150         >>= \recipient->spaceParser >>| (toString <$> pSome (pNoneOf illegal))
 151         >>= \msg->pure {IRCNumReply|irc_reply=fs rep,irc_recipient=recipient,irc_message=msg}
 152         where
 153                 fs :: String -> IRCReplies
 154                 fs s = fromInt $ toInt s
 155
 156 spaceParser :: Parser Char [Char]
 157 spaceParser = pMany $ pToken ' '
 158
 159 parseServer :: Parser Char String
 160 parseServer = pFail
 161
 162 parseEither :: (Parser a b) (Parser a c) -> Parser a (Either b c)
 163 parseEither p q = Left <$> p <|> Right <$> q
 164
 165 parseUser :: Parser Char IRCUser
 166 parseUser = parseNick
 167                 >>= \nick->optional (pToken '!' >>| parseUsr)
 168                 >>= \muser->optional (pToken '@' >>| parseHost)
 169                 >>= \mhost->pure {IRCUser | irc_nick=nick, irc_user=muser, irc_host=mhost}
 170
 171 parseUsr :: Parser Char String
 172 parseUsr = toString <$> pSome (pNoneOf [' ', '@':illegal])
 173
 174 parseNick :: Parser Char String
 175 parseNick = pAlpha >>= \c->pMany (pAlpha <|> pDigit <|> pSpecial)
 176         >>= \cs->pure (toString [c:cs])
 177
 178 pSpecial :: Parser Char Char
 179 pSpecial = pOneOf ['-', '[', ']', '\\', '\`', '^', '{', '}']
 180
 181 parseHost :: Parser Char String
 182 parseHost = jon "." <$> pSepBy parseName (pToken '.')
 183         where
 184                 parseName :: Parser Char String
 185                 parseName = toString <$> pSome (pAlpha <|> pDigit <|> pOneOf ['-'])
 186
 187 instance toString IRCNumReply where
 188         toString m = toInt m.irc_reply <+ " " <+ m.irc_recipient <+ " " <+ formatMSG m.irc_message
 189 instance toString IRCMessage where
 190         toString m = maybe "" (\s->either ((<+) ":") id s <+ " ") m.irc_prefix
 191                 <+ either toString toString m.irc_command
 192
 193 instance toString IRCUser where
 194         toString m = m.irc_nick <+ maybe "" ((<+) "!") m.irc_user
 195                 <+ maybe "" ((<+) "@") m.irc_host
 196
 197 cons :: a [a] -> [a]
 198 cons a as = [a:as]
 199
 200 pMiddle :: Parser Char String
 201 pMiddle = fmap toString $
 202         spaceParser >>| liftM2 cons (pNotSatisfy ((==)':')) (pMany $ pNoneOf [' ':illegal])
 203
 204 pTrailing :: Parser Char String
 205 pTrailing = fmap toString $
 206         spaceParser >>| pToken ':' >>| pMany (pNoneOf illegal)
 207
 208 pParam :: Parser Char String
 209 pParam = pMiddle <|> pTrailing
 210
 211 pNoneOf :: [a] -> Parser a a | Eq a
 212 pNoneOf l = pSatisfy (not o flip isMember l)
 213
 214 pNotSatisfy :: (a -> Bool) -> Parser a a | Eq a
 215 pNotSatisfy f = pSatisfy (not o f)
 216
 217 pInt :: Parser Char Int
 218 pInt = toInt o toString <$> (spaceParser >>| pSome pDigit)
 219
 220 illegal :: [Char]
 221 illegal = ['\x00','\r','\n']
 222
 223 instance toString IRCCommand where
 224         toString r = jon " " (print r) +++ "\r\n"
 225
 226 print :: IRCCommand -> [String]
 227 print r = case r of
 228                 ADMIN mm = ["ADMIN":maybeToList mm]
 229                 AWAY m = ["AWAY",m]
 230         //CONNECT String (Maybe (Int, Maybe String))
 231         //DIE
 232         //ERROR String
 233         //INFO (Maybe String)
 234         //INVITE String String
 235         //ISON [String]
 236                 JOIN chs = ["JOIN",if (isEmpty chs) "0"
 237                         (jon ", " [jon " " [ch:maybeToList mk]\\(ch, mk)<-chs])]
 238         //KICK String String (Maybe String)
 239         //KILL String String
 240         //LINKS (Maybe (Maybe String, String))
 241         //LIST (Maybe ([String], Maybe String))
 242         //LUSERS (Maybe (String, Maybe String))
 243         //MODE String String (Maybe String) (Maybe String) (Maybe String)
 244         //MOTD (Maybe String)
 245         //NAMES [String]
 246                 NICK n ms = ["NICK", n]
 247         //NJOIN
 248         //NOTICE String String
 249         //OPER String String
 250         //PART [String]
 251         //PASS String
 252                 PING a mb = ["PING",a:maybeToList mb]
 253                 PONG a mb = ["PONG",a:maybeToList mb]
 254                 PRIVMSG dest msg = ["PRIVMSG",jon "," dest,formatMSG msg]
 255                 QUIT msg = ["QUIT":maybeToList msg]
 256         //REHASH
 257         //RESTART
 258         //SERVER
 259         //SERVICE String String String String
 260         //SERVLIST (Maybe (String, Maybe String))
 261         //SQUERY String String
 262         //SQUIRT
 263         //SQUIT String String
 264         //STATS (Maybe (String, Maybe String))
 265         //SUMMON String (Maybe (String, Maybe String))
 266         //TIME (Maybe String)
 267         //TOPIC String (Maybe String)
 268         //TRACE (Maybe String)
 269                 USER login mode rn = ["USER", login, mode, "*", ":"+++rn]
 270         //USERHOST [String]
 271         //USERS (Maybe String)
 272         //VERSION (Maybe String)
 273         //WALLOPS String
 274         //WHO (Maybe String)
 275         //WHOIS (Maybe String) [String]
 276         //WHOWAS (Maybe String) [String]
 277                 _ = [printToString r]
 278
 279 formatMSG :: String -> String
 280 formatMSG s = if (indexOf " " s > 0 || indexOf " " s > 0) (":" +++ s) s
 281
 282
 283 instance toString IRCReplies where toString r = printToString r
 284 instance toString IRCErrors where toString r = printToString r
 285
 286 instance fromInt IRCReplies where
 287         fromInt r = case r of
 288                 1 = RPL_WELCOME
 289                 2 = RPL_YOURHOST
 290                 3 = RPL_CREATED
 291                 4 = RPL_MYINFO
 292                 5 = RPL_BOUNCE
 293                 200 = RPL_TRACELINK
 294                 201 = RPL_TRACECONNECTING
 295                 202 = RPL_TRACEHANDSHAKE
 296                 203 = RPL_TRACEUNKNOWN
 297                 204 = RPL_TRACEOPERATOR
 298                 205 = RPL_TRACEUSER
 299                 206 = RPL_TRACESERVER
 300                 207 = RPL_TRACESERVICE
 301                 208 = RPL_TRACENEWTYPE
 302                 209 = RPL_TRACECLASS
 303                 210 = RPL_TRACERECONNECT
 304                 211 = RPL_STATSLINKINFO
 305                 212 = RPL_STATSCOMMANDS
 306                 219 = RPL_ENDOFSTATS
 307                 221 = RPL_UMODEIS
 308                 234 = RPL_SERVLIST
 309                 235 = RPL_SERVLISTEND
 310                 242 = RPL_STATSUPTIME
 311                 243 = RPL_STATSOLINE
 312                 251 = RPL_LUSERCLIENT
 313                 252 = RPL_LUSEROP
 314                 253 = RPL_LUSERUNKNOWN
 315                 254 = RPL_LUSERCHANNELS
 316                 255 = RPL_LUSERME
 317                 256 = RPL_ADMINME
 318                 257 = RPL_ADMINLOC1
 319                 258 = RPL_ADMINLOC2
 320                 259 = RPL_ADMINEMAIL
 321                 261 = RPL_TRACELOG
 322                 262 = RPL_TRACEEND
 323                 263 = RPL_TRYAGAIN
 324                 301 = RPL_AWAY
 325                 302 = RPL_USERHOST
 326                 303 = RPL_ISON
 327                 304 = RPL_UNAWAY
 328                 305 = RPL_NOWAWAY
 329                 311 = RPL_WHOISUSER
 330                 312 = RPL_WHOISSERVER
 331                 313 = RPL_WHOISOPERATOR
 332                 314 = RPL_WHOWASUSER
 333                 315 = RPL_ENDOFWHO
 334                 317 = RPL_WHOISIDLE
 335                 318 = RPL_ENDOFWHOIS
 336                 319 = RPL_WHOISCHANNELS
 337                 321 = RPL_LISTSTART
 338                 322 = RPL_LIST
 339                 323 = RPL_LISTEND
 340                 324 = RPL_CHANNELMODEIS
 341                 325 = RPL_UNIQOPIS
 342                 331 = RPL_NOTOPIC
 343                 332 = RPL_TOPIC
 344                 341 = RPL_INVITING
 345                 342 = RPL_SUMMONING
 346                 346 = RPL_INVITELIST
 347                 347 = RPL_ENDOFINVITELIST
 348                 348 = RPL_EXCEPTLIST
 349                 349 = RPL_ENDOFEXCEPTLIST
 350                 351 = RPL_VERSION
 351                 352 = RPL_WHOREPLY
 352                 353 = RPL_NAMREPLY
 353                 364 = RPL_LINKS
 354                 365 = RPL_ENDOFLINKS
 355                 366 = RPL_ENDOFNAMES
 356                 367 = RPL_BANLIST
 357                 368 = RPL_ENDOFBANLIST
 358                 369 = RPL_ENDOFWHOWAS
 359                 371 = RPL_INFO
 360                 372 = RPL_MOTD
 361                 374 = RPL_ENDOFINFO
 362                 375 = RPL_MOTDSTART
 363                 376 = RPL_ENDOFMOTD
 364                 381 = RPL_YOUREOPER
 365                 382 = RPL_REHASHING
 366                 383 = RPL_YOURESERVICE
 367                 391 = RPL_TIME
 368                 392 = RPL_USERSSTART
 369                 393 = RPL_USERS
 370                 394 = RPL_ENDOFUSERS
 371                 395 = RPL_NOUSERS
 372                 _ = undef
 373
 374 instance toInt IRCReplies where
 375         toInt r = case r of
 376                 RPL_WELCOME = 1
 377                 RPL_YOURHOST = 2
 378                 RPL_CREATED = 3
 379                 RPL_MYINFO = 4
 380                 RPL_BOUNCE = 5
 381                 RPL_TRACELINK = 200
 382                 RPL_TRACECONNECTING = 201
 383                 RPL_TRACEHANDSHAKE = 202
 384                 RPL_TRACEUNKNOWN = 203
 385                 RPL_TRACEOPERATOR = 204
 386                 RPL_TRACEUSER = 205
 387                 RPL_TRACESERVER = 206
 388                 RPL_TRACESERVICE = 207
 389                 RPL_TRACENEWTYPE = 208
 390                 RPL_TRACECLASS = 209
 391                 RPL_TRACERECONNECT = 210
 392                 RPL_STATSLINKINFO = 211
 393                 RPL_STATSCOMMANDS = 212
 394                 RPL_ENDOFSTATS = 219
 395                 RPL_UMODEIS = 221
 396                 RPL_SERVLIST = 234
 397                 RPL_SERVLISTEND = 234
 398                 RPL_STATSUPTIME = 242
 399                 RPL_STATSOLINE = 243
 400                 RPL_LUSERCLIENT = 251
 401                 RPL_LUSEROP = 252
 402                 RPL_LUSERUNKNOWN = 253
 403                 RPL_LUSERCHANNELS = 254
 404                 RPL_LUSERME = 255
 405                 RPL_ADMINME = 256
 406                 RPL_ADMINLOC1 = 257
 407                 RPL_ADMINLOC2 = 258
 408                 RPL_ADMINEMAIL = 259
 409                 RPL_TRACELOG = 261
 410                 RPL_TRACEEND = 262
 411                 RPL_TRYAGAIN = 263
 412                 RPL_AWAY = 301
 413                 RPL_USERHOST = 302
 414                 RPL_ISON = 303
 415                 RPL_UNAWAY = 304
 416                 RPL_NOWAWAY = 305
 417                 RPL_WHOISUSER = 311
 418                 RPL_WHOISSERVER = 312
 419                 RPL_WHOISOPERATOR = 313
 420                 RPL_WHOWASUSER = 314
 421                 RPL_ENDOFWHO = 315
 422                 RPL_WHOISIDLE = 317
 423                 RPL_ENDOFWHOIS = 318
 424                 RPL_WHOISCHANNELS = 319
 425                 RPL_LISTSTART = 321
 426                 RPL_LIST = 322
 427                 RPL_LISTEND = 323
 428                 RPL_CHANNELMODEIS = 324
 429                 RPL_UNIQOPIS = 325
 430                 RPL_NOTOPIC = 331
 431                 RPL_TOPIC = 332
 432                 RPL_INVITING = 341
 433                 RPL_SUMMONING = 342
 434                 RPL_INVITELIST = 346
 435                 RPL_ENDOFINVITELIST = 347
 436                 RPL_EXCEPTLIST = 348
 437                 RPL_ENDOFEXCEPTLIST = 349
 438                 RPL_VERSION = 351
 439                 RPL_WHOREPLY = 352
 440                 RPL_NAMREPLY = 353
 441                 RPL_LINKS = 364
 442                 RPL_ENDOFLINKS = 365
 443                 RPL_ENDOFNAMES = 366
 444                 RPL_BANLIST = 367
 445                 RPL_ENDOFBANLIST = 367
 446                 RPL_ENDOFWHOWAS = 369
 447                 RPL_INFO = 371
 448                 RPL_MOTD = 372
 449                 RPL_ENDOFINFO = 374
 450                 RPL_MOTDSTART = 375
 451                 RPL_ENDOFMOTD = 376
 452                 RPL_YOUREOPER = 381
 453                 RPL_REHASHING = 382
 454                 RPL_YOURESERVICE = 383
 455                 RPL_TIME = 391
 456                 RPL_USERSSTART = 392
 457                 RPL_USERS = 393
 458                 RPL_ENDOFUSERS = 394
 459                 RPL_NOUSERS = 395
 460
 461 instance fromInt IRCErrors where
 462         fromInt r = case r of
 463                 401 = ERR_NOSUCHNICK
 464                 402 = ERR_NOSUCHSERVER
 465                 403 = ERR_NOSUCHCHANNEL
 466                 404 = ERR_CANNOTSENDTOCHAN
 467                 405 = ERR_TOOMANYCHANNELS
 468                 406 = ERR_WASNOSUCHNICK
 469                 407 = ERR_TOOMANYTARGETS
 470                 408 = ERR_NOSUCHSERVICE
 471                 409 = ERR_NOORIGIN
 472                 411 = ERR_NORECIPIENT
 473                 412 = ERR_NOTEXTTOSEND
 474                 413 = ERR_NOTOPLEVEL
 475                 414 = ERR_WILDTOPLEVEL
 476                 415 = ERR_BADMASK
 477                 421 = ERR_UNKNOWNCOMMAND
 478                 422 = ERR_NOMOTD
 479                 423 = ERR_NOADMININFO
 480                 424 = ERR_FILEERROR
 481                 431 = ERR_NONICKNAMEGIVEN
 482                 432 = ERR_ERRONEUSNICKNAME
 483                 433 = ERR_NICKNAMEINUSE
 484                 436 = ERR_NICKCOLLISION
 485                 437 = ERR_UNAVAILRESOURCE
 486                 441 = ERR_USERNOTINCHANNEL
 487                 442 = ERR_NOTONCHANNEL
 488                 443 = ERR_USERONCHANNEL
 489                 444 = ERR_NOLOGIN
 490                 445 = ERR_SUMMONDISABLED
 491                 446 = ERR_USERSDISABLED
 492                 451 = ERR_NOTREGISTERED
 493                 461 = ERR_NEEDMOREPARAMS
 494                 462 = ERR_ALREADYREGISTRED
 495                 463 = ERR_NOPERMFORHOST
 496                 464 = ERR_PASSWDMISMATCH
 497                 465 = ERR_YOUREBANNEDCREEP
 498                 466 = ERR_YOUWILLBEBANNED
 499                 467 = ERR_KEYSET
 500                 471 = ERR_CHANNELISFULL
 501                 472 = ERR_UNKNOWNMODE
 502                 473 = ERR_INVITEONLYCHAN
 503                 474 = ERR_BANNEDFROMCHAN
 504                 475 = ERR_BADCHANNELKEY
 505                 476 = ERR_BADCHANMASK
 506                 477 = ERR_NOCHANMODES
 507                 478 = ERR_BANLISTFULL
 508                 481 = ERR_NOPRIVILEGES
 509                 482 = ERR_CHANOPRIVSNEEDED
 510                 483 = ERR_CANTKILLSERVER
 511                 484 = ERR_RESTRICTED
 512                 485 = ERR_UNIQOPPRIVSNEEDED
 513                 491 = ERR_NOOPERHOST
 514                 501 = ERR_UMODEUNKNOWNFLAG
 515                 502 = ERR_USERSDONTMATCH
 516
 517 instance toInt IRCErrors where
 518         toInt r = case r of
 519                 ERR_NOSUCHNICK = 401
 520                 ERR_NOSUCHSERVER = 402
 521                 ERR_NOSUCHCHANNEL = 403
 522                 ERR_CANNOTSENDTOCHAN = 404
 523                 ERR_TOOMANYCHANNELS = 405
 524                 ERR_WASNOSUCHNICK = 406
 525                 ERR_TOOMANYTARGETS = 407
 526                 ERR_NOSUCHSERVICE = 408
 527                 ERR_NOORIGIN = 409
 528                 ERR_NORECIPIENT = 411
 529                 ERR_NOTEXTTOSEND = 412
 530                 ERR_NOTOPLEVEL = 413
 531                 ERR_WILDTOPLEVEL = 414
 532                 ERR_BADMASK = 415
 533                 ERR_UNKNOWNCOMMAND = 421
 534                 ERR_NOMOTD = 422
 535                 ERR_NOADMININFO = 423
 536                 ERR_FILEERROR = 424
 537                 ERR_NONICKNAMEGIVEN = 431
 538                 ERR_ERRONEUSNICKNAME = 432
 539                 ERR_NICKNAMEINUSE = 433
 540                 ERR_NICKCOLLISION = 436
 541                 ERR_UNAVAILRESOURCE = 437
 542                 ERR_USERNOTINCHANNEL = 441
 543                 ERR_NOTONCHANNEL = 442
 544                 ERR_USERONCHANNEL = 443
 545                 ERR_NOLOGIN = 444
 546                 ERR_SUMMONDISABLED = 445
 547                 ERR_USERSDISABLED = 446
 548                 ERR_NOTREGISTERED = 451
 549                 ERR_NEEDMOREPARAMS = 461
 550                 ERR_ALREADYREGISTRED = 462
 551                 ERR_NOPERMFORHOST = 463
 552                 ERR_PASSWDMISMATCH = 464
 553                 ERR_YOUREBANNEDCREEP = 465
 554                 ERR_YOUWILLBEBANNED = 466
 555                 ERR_KEYSET = 467
 556                 ERR_CHANNELISFULL = 471
 557                 ERR_UNKNOWNMODE = 472
 558                 ERR_INVITEONLYCHAN = 473
 559                 ERR_BANNEDFROMCHAN = 474
 560                 ERR_BADCHANNELKEY = 475
 561                 ERR_BADCHANMASK = 476
 562                 ERR_NOCHANMODES = 477
 563                 ERR_BANLISTFULL = 478
 564                 ERR_NOPRIVILEGES = 481
 565                 ERR_CHANOPRIVSNEEDED = 482
 566                 ERR_CANTKILLSERVER = 483
 567                 ERR_RESTRICTED = 484
 568                 ERR_UNIQOPPRIVSNEEDED = 485
 569                 ERR_NOOPERHOST = 491
 570                 ERR_UMODEUNKNOWNFLAG = 501
 571                 ERR_USERSDONTMATCH = 502