Safe Haskell | None |
---|---|
Language | Haskell2010 |
Marvin.Internal.Types
Contents
- newtype User = User Text
- newtype Channel = Channel Text
- newtype TimeStamp = TimeStamp {}
- data Message = Message {}
- newtype ScriptId = ScriptId {}
- newtype AdapterId a = AdapterId {}
- applicationScriptId :: ScriptId
- type RunnerM = LoggingT IO
- verifyIdString :: String -> (String -> a) -> String -> a
- class HasScriptId s a | s -> a where
- class (IsScript m, MonadIO m) => HasConfigAccess m where
- class IsScript m where
Documentation
Identifier for a user (internal and not necessarily equal to the username)
Identifier for a channel (internal and not necessarily equal to the channel name)
Constructors
TimeStamp | |
Fields |
contents and meta information of a recieved message
Instances
A type, basically a String, which identifies a script to the config and the logging facilities.
Constructors
ScriptId | |
Fields |
A type, basically a String, which identifies an adapter to the config and the logging facilities.
Constructors
AdapterId | |
Fields |
class HasScriptId s a | s -> a where Source #
Minimal complete definition
Instances
HasScriptId (Script a0) ScriptId Source # | |
HasScriptId (BotActionState a0 d0) ScriptId Source # | |
class (IsScript m, MonadIO m) => HasConfigAccess m where Source #
Denotes a place from which we may access the configuration.
During script definition or when handling a request we can obtain the config with getConfigVal
or requireConfigVal
.
Minimal complete definition
Methods
getConfigInternal :: m Config Source #
Instances
class IsScript m where Source #
Minimal complete definition
Methods
getScriptId :: m ScriptId Source #
Instances
IsScript (ScriptDefinition a) Source # | |
IsScript (BotReacting a b) Source # | |