Network.Anticiv.Monad

Documentation

newtype BotT m a

Constructors

BotT

Fields

runBotT :: BotState -> m (a, BotState)

Instances

MonadTrans BotT

Monad m => Monad (BotT m)

Functor f => Functor (BotT f)

(Functor f, Monad f) => Applicative (BotT f)

ChCounter m0 => ChCounter (BotT m)

ChAtoms m0 => ChAtoms (BotT m)

MonadIO m => MonadIO (BotT m)

ChPrinter m0 => ChPrinter (BotT m)

ChScanner m0 => ChScanner (BotT m)

ChFinalizer m0 => ChFinalizer (BotT m)

ChClock m0 => ChClock (BotT m)

ChRandom m0 => ChRandom (BotT m)

Monad m => MonadBot (BotT m)

data User

Constructors

User

Fields

userNick :: String

userName :: String

userHost :: String

reauthId :: Int

Instances

Eq User

Show User

Tuplify User User

MatchMask CatchUser (Cons UserA Nil)

type UserA = Atom User

data BotState

Constructors

BotState

Fields

channelUsers :: [UserA]

orphanedUsers :: [UserA]

priorityChanmsg :: [HandlerA]

emergencyChanmsg :: [HandlerA]

priorityQuerymsg :: [HandlerA]

emergencyQuerymsg :: [HandlerA]

tickRecipients :: [AnticivA ()]

botConfig :: Config

moduleStack :: [String]

localizations :: TST Config

botLingua :: String

linguaOverride :: AVL (UserA, String)

moduleStereo :: TST String

moduleLister :: [(String, Packciv [String])]

lastMsg :: NominalDiffTime

lastReport :: NominalDiffTime

type MonadAnticiv m = (Functor m, Monad m, ChPrinter m, ChScanner m, ChClock m, ChChannelPrinter Target m, MonadBot m, ChAtoms m, ChRandom m)

type Anticiv a = forall m. MonadAnticiv m => m a

newtype Packciv a

Constructors

Anticiv

Fields

runAnticiv :: Anticiv a

Instances

Monad Packciv

Functor Packciv

ChCounter Packciv

ChAtoms Packciv

ChPrinter Packciv

ChScanner Packciv

ChClock Packciv

ChRandom Packciv

MonadBot Packciv

ChChannelPrinter Target Packciv

type AnticivA a = Atom (Packciv a)

class Monad m => MonadBot m where

Methods

bget :: m BotState

bput :: BotState -> m ()

Instances

MonadBot Packciv

MonadBot m => MonadBot (JoinerT m)

MonadBot m => MonadBot (OutRedirT m)

MonadBot m => MonadBot (RecorderT m)

MonadBot m => MonadBot (InRedirT m)

MonadBot m => MonadBot (OutPlexT m)

Monad m => MonadBot (BotT m)

bmodify :: MonadBot m => (BotState -> BotState) -> m ()

bgets :: MonadBot m => (BotState -> a) -> m a

sleep :: ChClock m => Int -> m ()

type Handler = UserA -> String -> Packciv Bool

type HandlerA = Atom Handler

data Target

Constructors

Log

Target String

Notice String

Address User

Raw

Instances

Eq Target

ChChannelPrinter Target Packciv

ChChannelPrinter Target m0 => ChChannelPrinter Target (HereStringT m)

(MonadIO m, ChPrinter m, MonadBot m, ChClock m, ChAtoms m) => ChChannelPrinter Target (OutPlexT m)

newtype OutPlexT m a

Directs Log messages through the underlying MonadPrinter, and server communication through the passed handle

Constructors

OutPlex

Fields

runOutPlex :: Handle -> [Target] -> m (a, [Target])

Instances

MonadTrans OutPlexT

(MonadIO m, ChPrinter m, MonadBot m, ChClock m, ChAtoms m) => ChChannelPrinter Target (OutPlexT m)

Monad m => Monad (OutPlexT m)

Functor f => Functor (OutPlexT f)

(Functor f, Monad f) => Applicative (OutPlexT f)

ChCounter m0 => ChCounter (OutPlexT m)

ChAtoms m0 => ChAtoms (OutPlexT m)

MonadIO m => MonadIO (OutPlexT m)

(MonadIO m, ChPrinter m, MonadBot m, ChClock m, ChAtoms m) => ChPrinter (OutPlexT m)

ChScanner m0 => ChScanner (OutPlexT m)

ChFinalizer m0 => ChFinalizer (OutPlexT m)

ChClock m0 => ChClock (OutPlexT m)

ChRandom m0 => ChRandom (OutPlexT m)

MonadBot m => MonadBot (OutPlexT m)

bkInt :: (MonadBot m, ChAtoms m) => String -> m Int

bkStr :: (MonadBot m, ChAtoms m) => String -> m String

bkStrL :: (MonadBot m, ChAtoms m) => String -> m [String]

bmodule :: MonadBot m => m String

bstereo :: MonadBot m => m String