X-Git-Url: https://git.martlubbers.net/?p=cloogle-irc.git;a=blobdiff_plain;f=IRC.dcl;h=3c5a3d18516bef9480b8215153f0b9bf0bf36e82;hp=afb7a747682257173be7cdacc06560f6b5f7238d;hb=000d2eb9df3a1521626dc996b8f9f0281c55a6f1;hpb=f828f3a79cfcfb21c6c7a7773905cc210a739f75 diff --git a/IRC.dcl b/IRC.dcl index afb7a74..3c5a3d1 100644 --- a/IRC.dcl +++ b/IRC.dcl @@ -6,7 +6,7 @@ from StdOverloaded import class fromInt, class toInt, class toString, class from :: IRCMessage = { irc_prefix :: Maybe (Either String IRCUser) - , irc_command :: IRCCommands} + , irc_command :: IRCCommand} :: IRCUser = { irc_nick :: String @@ -14,14 +14,14 @@ from StdOverloaded import class fromInt, class toInt, class toString, class from , irc_host :: Maybe String } -instance toString IRCCommands, IRCReplies, IRCErrors, IRCMessage, IRCUser +instance toString IRCCommand, IRCReplies, IRCErrors, IRCMessage, IRCUser instance fromInt IRCReplies, IRCErrors instance toInt IRCReplies, IRCErrors -:: IRCCommands +:: IRCCommand = ADMIN (Maybe String) | AWAY String - | CONNECT String Int (Maybe String) + | CONNECT String (Maybe (Int, Maybe String)) | DIE | ERROR String | INFO (Maybe String)