X-Git-Url: https://git.martlubbers.net/?p=cloogle-irc.git;a=blobdiff_plain;f=IRC.dcl;h=0db138cf11c07372eb5f60576666669daa288e00;hp=d476d725e16f97288fe5bbead7dfc28345aad898;hb=c889f42c8845390b3ba7e65b7c28fbe71c7ac374;hpb=87d709d61dae99cc468f52927e8246b3b6bc9022 diff --git a/IRC.dcl b/IRC.dcl index d476d72..0db138c 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] | 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]