Script | |
1 (Type/Class) | Marvin.Types, Marvin, Marvin.Prelude |
2 (Data Constructor) | Marvin.Types |
ScriptDefinition | Marvin, Marvin.Prelude |
ScriptId | Marvin.Types, Marvin, Marvin.Prelude |
ScriptInit | Marvin.Run, Marvin, Marvin.Prelude |
send | Marvin, Marvin.Prelude |
Series | Marvin.Util.JSON, Marvin.Prelude |
setStdGen | Marvin.Util.Random, Marvin.Prelude |
ShellAdapter | Marvin.Adapter.Shell |
SlackAdapter | Marvin.Adapter.Slack.EventsAPI, Marvin.Adapter.Slack.RTM |
SlackChannelId | Marvin.Adapter.Slack.EventsAPI, Marvin.Adapter.Slack.RTM |
SlackUserId | Marvin.Adapter.Slack.EventsAPI, Marvin.Adapter.Slack.RTM |
split | Marvin.Util.Random, Marvin.Prelude |
StackLimit | Marvin.Util.Regex, Marvin.Prelude |
StdGen | Marvin.Util.Random, Marvin.Prelude |
String | Marvin.Util.JSON, Marvin.Prelude |
Success | Marvin.Util.JSON, Marvin.Prelude |
SumEncoding | Marvin.Util.JSON, Marvin.Prelude |
sumEncoding | Marvin.Util.JSON, Marvin.Prelude |
SupergroupChat | Marvin.Adapter.Telegram.Poll, Marvin.Adapter.Telegram.Push |
Synchronized | Marvin.Util.Mutable, Marvin.Prelude |