Irc.Model

IRC Connection model

data IrcConnection

connNick

connChannels

connId

connChanModeTypes

connUserModeTypes

connKnock

connNickLen

connExcepts

connInvex

connStatusMsg

connTopicLen

connPhase

connModes

connUsers

connMyInfo

connSasl

connUmode

connSnoMask

connPingTime

defaultIrcConnection

Phases

data Phase

IRC Channel model

data IrcChannel

chanTopic

chanUsers

chanModes

chanCreation

chanMaskLists

chanUrl

Mode Settings

data ModeTypes

modesLists

modesAlwaysArg

modesSetArg

modesNeverArg

modesPrefixModes

defaultChanModeTypes

defaultUmodeTypes

Channel Mask Entry

data IrcMaskEntry

maskEntryMask

maskEntryWho

maskEntryStamp

User metadata

data IrcUser

usrAway

usrAccount

usrHost

defaultIrcUser

Model execution

runLogic

data LogicOp r

data Logic a

General functionality

advanceModel

isChannelName

isNickName

isMyNick

splitStatusMsg

splitModes

unsplitModes

nickHasModeInChannel

channelHasMode