Marvin.Run

Documentation

runMarvin :: forall a. IsAdapter a => [ScriptInit a] -> IO ()

Runs the marvin bot using whatever method the adapter uses.

data ScriptInit a

Initializer for a script. This gets run by the server during startup and creates a Script

class IsAdapter a

Basic functionality required of any adapter

Minimal complete definition

adapterId, messageChannel, runWithAdapter, getUsername, getChannelName, resolveChannel

Instances

IsAdapter ShellAdapter

Associated Types

type User ShellAdapter :: *

type Channel ShellAdapter :: *

Methods

adapterId :: AdapterId ShellAdapter

messageChannel :: ShellAdapter -> Channel ShellAdapter -> Text -> RunnerM ()

runWithAdapter :: RunWithAdapter ShellAdapter

getUsername :: ShellAdapter -> User ShellAdapter -> RunnerM Text

getChannelName :: ShellAdapter -> Channel ShellAdapter -> RunnerM Text

resolveChannel :: ShellAdapter -> Text -> RunnerM (Maybe (Channel ShellAdapter))

MkTelegram a => IsAdapter (TelegramAdapter a)

Associated Types

type User (TelegramAdapter a) :: *

type Channel (TelegramAdapter a) :: *

Methods

adapterId :: AdapterId (TelegramAdapter a)

messageChannel :: TelegramAdapter a -> Channel (TelegramAdapter a) -> Text -> RunnerM ()

runWithAdapter :: RunWithAdapter (TelegramAdapter a)

getUsername :: TelegramAdapter a -> User (TelegramAdapter a) -> RunnerM Text

getChannelName :: TelegramAdapter a -> Channel (TelegramAdapter a) -> RunnerM Text

resolveChannel :: TelegramAdapter a -> Text -> RunnerM (Maybe (Channel (TelegramAdapter a)))

MkSlack a => IsAdapter (SlackAdapter a)

Associated Types

type User (SlackAdapter a) :: *

type Channel (SlackAdapter a) :: *

Methods

adapterId :: AdapterId (SlackAdapter a)

messageChannel :: SlackAdapter a -> Channel (SlackAdapter a) -> Text -> RunnerM ()

runWithAdapter :: RunWithAdapter (SlackAdapter a)

getUsername :: SlackAdapter a -> User (SlackAdapter a) -> RunnerM Text

getChannelName :: SlackAdapter a -> Channel (SlackAdapter a) -> RunnerM Text

resolveChannel :: SlackAdapter a -> Text -> RunnerM (Maybe (Channel (SlackAdapter a)))

requireFromAppConfig :: Configured a => Config -> Name -> IO a

lookupFromAppConfig :: Configured a => Config -> Name -> IO (Maybe a)

defaultConfigName :: FilePath