IRC.icl

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