| 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 # | |