X-Git-Url: https://git.martlubbers.net/?p=cloogle-irc.git;a=blobdiff_plain;f=IRCBot.dcl;h=ebe5417603388c023aec06f34186725ffc7ef3e6;hp=7ecf7eab48057f5db78b1cc1932d35a56339b470;hb=c5c737af157d827130d7bfe0246eb0697670f29b;hpb=3134ab7e61bcbc84560b4a5d613a92b1a48362c2

diff --git a/IRCBot.dcl b/IRCBot.dcl
index 7ecf7ea..ebe5417 100644
--- a/IRCBot.dcl
+++ b/IRCBot.dcl
@@ -1,8 +1,9 @@
 definition module IRCBot
 
-from IRC import :: IRCMessage
-from Data.Maybe import :: Maybe
 from Data.Error import :: MaybeErrorString, :: MaybeError
+from Data.Maybe import :: Maybe
+
+from Internet.IRC import :: IRCMessage
 
 /*
  * Spawn an IRC Bot
@@ -22,6 +23,6 @@ from Data.Error import :: MaybeErrorString, :: MaybeError
  *                If the response is nothing the connection is closed
  *                All items in the list are sent back
  * param: World
- * return: Maybe the state together with the new world
+ * return: Maybe an error, the state and the new world
 */
-bot :: (String, Int) [IRCMessage] [IRCMessage] a (IRCMessage a *World -> (Maybe [IRCMessage], a, *World)) *World -> (MaybeErrorString a, *World)
+bot :: (String, Int) [IRCMessage] [IRCMessage] .a (IRCMessage -> (.a -> *(*World -> *(Maybe [IRCMessage], .a, *World)))) !*World -> *(Maybe String, .a, !*World)