module Network.IRC.Bot.Part.Ping where import Network.IRC.Bot.BotMonad (BotMonad) import Network.IRC.Bot.Commands (Ping(..), Pong(..), ping, sendCommand) pingPart :: (BotMonad m) => m () pingPart :: m () pingPart = do (Ping HostName hostName) <- m Ping forall (m :: * -> *). (Functor m, MonadPlus m, BotMonad m) => m Ping ping Pong -> m () forall c (m :: * -> *). (ToMessage c, BotMonad m, Functor m) => c -> m () sendCommand (HostName -> Pong Pong HostName hostName)