X-Git-Url: https://git.martlubbers.net/?p=cloogle-irc.git;a=blobdiff_plain;f=IRC.dcl;h=d88205b379dc0e0963f6ff3d1fc0da88bac976fc;hp=d476d725e16f97288fe5bbead7dfc28345aad898;hb=6fb569170aca43bf17a5e223544c0a5ef0b42fb6;hpb=87d709d61dae99cc468f52927e8246b3b6bc9022 diff --git a/IRC.dcl b/IRC.dcl index d476d72..d88205b 100644 --- a/IRC.dcl +++ b/IRC.dcl @@ -23,18 +23,18 @@ from StdOverloaded import class fromInt, class toInt, class toString | NAMES [String] | NICK String | NJOIN - | NOTICE + | NOTICE String String | OPER String String | PART [String] | PASS String - | PING [String] - | PONG [String] + | PING String (Maybe String) + | PONG String (Maybe String) | PRIVMSG String String - | QUIT String + | QUIT (Maybe String) | REHASH | RESTART | SERVER - | SERVICE + | SERVICE String String String String | SERVLIST (Maybe (String, Maybe String)) | SQUERY String String | SQUIRT @@ -44,11 +44,11 @@ from StdOverloaded import class fromInt, class toInt, class toString | TIME (Maybe String) | TOPIC String (Maybe String) | TRACE (Maybe String) - | USER String String String + | USER String Int String | USERHOST [String] | USERS (Maybe String) | VERSION (Maybe String) - | WALLOPS + | WALLOPS String | WHO (Maybe String) | WHOIS (Maybe String) [String] | WHOWAS (Maybe String) [String]