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 :: forall (m :: * -> *). BotMonad m => m ()
pingPart =
  do (Ping HostName
hostName) <- forall (m :: * -> *).
(Functor m, MonadPlus m, BotMonad m) =>
m Ping
ping
     forall c (m :: * -> *).
(ToMessage c, BotMonad m, Functor m) =>
c -> m ()
sendCommand (HostName -> Pong
Pong HostName
hostName)