Clckwrks.IrcBot.Types

Documentation

data IrcConfig

Constructors

IrcConfig

Fields

ircHost :: String

IRC server

ircPort :: Word16

port (usually 6667)

ircNick :: String

irc nick

ircCommandPrefix :: String

prefix for bot commands

ircUser :: User

irc User

ircChannels :: Set String

channels to join on connect

ircEnabled :: Bool

enable the bot

Instances

Eq IrcConfig

Data IrcConfig

Ord IrcConfig

Read IrcConfig

Show IrcConfig

Typeable IrcConfig

SafeCopy IrcConfig

Migrate IrcConfig

data User

Constructors

User

Fields

username :: ByteString

username on client system

hostname :: HostName

hostname of client system

servername :: HostName

irc server client is connected to

realname :: ByteString

client's real name

Instances

Eq User

Data User

Ord User

Read User

Show User

Typeable User

SafeCopy User

Migrate User

emptyIrcConfig :: IrcConfig