slackblocks-3.1.0: test/Constructions.hs
-- Independent native public-API examples; never regenerated by the model generator.
module Constructions (validCases, invalidCases) where
import Control.Monad (void)
import Data.Aeson (ToJSON (..), Value (..), object, (.=))
import Data.Map.Strict qualified as Map
import Data.Text qualified as T
import Slackblocks
valid0 :: Result Value
valid0 = do
v0 <- buildMarkdownText ((markdownText "I like pretty colours") {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id_0"})
v2 <- buildMarkdownText ((markdownText "I don't like pretty colours") {markdownTextVerbatim = Nothing})
v3 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v2), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id_1"})
v4 <- buildAttachment ((attachment [sectionBlockAsBlock v1, sectionBlockAsBlock v3]) {attachmentColor = Just "#8800ff", attachmentFallback = Nothing})
pure (toJSON v4)
valid1 :: Result Value
valid1 = do
v0 <- buildMarkdownText ((markdownText "I like pretty colours") {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id"})
v2 <- buildAttachment ((attachment [sectionBlockAsBlock v1]) {attachmentColor = Just "#000000", attachmentFallback = Just "Colours preference"})
pure (toJSON v2)
valid2 :: Result Value
valid2 = do
v0 <- buildMarkdownText ((markdownText "*a*") {markdownTextVerbatim = Nothing})
v1 <- buildPlainText ((plainText "*a*") {plainTextEmoji = Nothing})
v2 <- buildSelectOption ((selectOption (markdownTextAsText v0) "a") {selectOptionDescription = Just (plainTextAsText v1), selectOptionUrl = Nothing})
v3 <- buildMarkdownText ((markdownText "*b*") {markdownTextVerbatim = Nothing})
v4 <- buildPlainText ((plainText "*b*") {plainTextEmoji = Nothing})
v5 <- buildSelectOption ((selectOption (markdownTextAsText v3) "b") {selectOptionDescription = Just (plainTextAsText v4), selectOptionUrl = Nothing})
v6 <- buildMarkdownText ((markdownText "*c*") {markdownTextVerbatim = Nothing})
v7 <- buildPlainText ((plainText "*c*") {plainTextEmoji = Nothing})
v8 <- buildSelectOption ((selectOption (markdownTextAsText v6) "c") {selectOptionDescription = Just (plainTextAsText v7), selectOptionUrl = Nothing})
v9 <- buildCheckboxesElement ((checkboxesElement [v2, v5, v8]) {checkboxesElementActionId = Just "actionId-0", checkboxesElementInitialOptions = Nothing, checkboxesElementConfirm = Nothing, checkboxesElementFocusOnLoad = Nothing})
v10 <- buildActionsBlock ((actionsBlock [checkboxesElementAsElement v9]) {actionsBlockBlockId = Just "fake_block_id"})
pure (toJSON v10)
valid3 :: Result Value
valid3 = do
v0 <- buildMarkdownText ((markdownText "The work is mysterious and important.") {markdownTextVerbatim = Nothing})
v1 <- buildAlertBlock ((alertBlock (markdownTextAsText v0)) {alertBlockLevel = Just AlertLevelInfo, alertBlockBlockId = Just "fake_block_id"})
pure (toJSON v1)
valid4 :: Result Value
valid4 = do
v0 <- buildImageElement ((imageElement "Sample hero image") {imageElementImageUrl = Just "https://picsum.photos/400/300", imageElementSlackFile = Nothing})
v1 <- buildMarkdownText ((markdownText "Lumon Industries") {markdownTextVerbatim = Nothing})
v2 <- buildMarkdownText ((markdownText "Committed to work-life balance") {markdownTextVerbatim = Nothing})
v3 <- buildMarkdownText ((markdownText "Please enjoy each card equally.") {markdownTextVerbatim = Nothing})
v4 <- buildPlainText ((plainText "Action Button") {plainTextEmoji = Nothing})
v5 <- buildButtonElement ((buttonElement v4) {buttonElementActionId = Just "button_action", buttonElementUrl = Nothing, buttonElementValue = Nothing, buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Nothing, buttonElementAgentPromptDisplay = Nothing})
v6 <- buildSlackIcon (slackIcon "bot")
v7 <- buildMarkdownText ((markdownText "A card assembled by slackblocks.") {markdownTextVerbatim = Nothing})
v8 <- buildCardBlock (cardBlock {cardBlockHeroImage = Just v0, cardBlockIcon = Nothing, cardBlockTitle = Just (markdownTextAsText v1), cardBlockSubtitle = Just (markdownTextAsText v2), cardBlockBody = Just (markdownTextAsText v3), cardBlockActions = Just [v5], cardBlockSlackIcon = Just v6, cardBlockSubtext = Just (markdownTextAsText v7), cardBlockBlockId = Just "fake_block_id"})
pure (toJSON v8)
valid5 :: Result Value
valid5 = do
v0 <- buildMarkdownText ((markdownText "First result") {markdownTextVerbatim = Nothing})
v1 <- buildCardBlock (cardBlock {cardBlockHeroImage = Nothing, cardBlockIcon = Nothing, cardBlockTitle = Just (markdownTextAsText v0), cardBlockSubtitle = Nothing, cardBlockBody = Nothing, cardBlockActions = Nothing, cardBlockSlackIcon = Nothing, cardBlockSubtext = Nothing, cardBlockBlockId = Just "card_1"})
v2 <- buildMarkdownText ((markdownText "Second result") {markdownTextVerbatim = Nothing})
v3 <- buildCardBlock (cardBlock {cardBlockHeroImage = Nothing, cardBlockIcon = Nothing, cardBlockTitle = Just (markdownTextAsText v2), cardBlockSubtitle = Nothing, cardBlockBody = Nothing, cardBlockActions = Nothing, cardBlockSlackIcon = Nothing, cardBlockSubtext = Nothing, cardBlockBlockId = Just "card_2"})
v4 <- buildCarouselBlock ((carouselBlock [v1, v3]) {carouselBlockBlockId = Just "fake_block_id"})
pure (toJSON v4)
valid6 :: Result Value
valid6 = do
v0 <- buildMarkdownText ((markdownText "All systems operational.") {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "child_1"})
v2 <- buildPlainText ((plainText "Deployment summary") {plainTextEmoji = Nothing})
v3 <- buildMarkdownText ((markdownText "Production is healthy") {markdownTextVerbatim = Nothing})
v4 <- buildContainerBlock ((containerBlock [sectionBlockAsBlock v1]) {containerBlockTitle = Just v2, containerBlockRichTextTitle = Nothing, containerBlockSubtitle = Just (markdownTextAsText v3), containerBlockWidth = Just ContainerWidthStandard, containerBlockIcon = Nothing, containerBlockIsCollapsible = Just False, containerBlockDefaultCollapsed = Just False, containerBlockHasHeaderDivider = Just True, containerBlockBlockId = Just "fake_block_id"})
pure (toJSON v4)
valid7 :: Result Value
valid7 = do
v0 <- buildPlainText ((plainText "Good") {plainTextEmoji = Nothing})
v1 <- buildFeedbackButton ((feedbackButton v0 "positive_feedback") {feedbackButtonAccessibilityLabel = Just "Mark this response as good"})
v2 <- buildPlainText ((plainText "Bad") {plainTextEmoji = Nothing})
v3 <- buildFeedbackButton ((feedbackButton v2 "negative_feedback") {feedbackButtonAccessibilityLabel = Just "Mark this response as bad"})
v4 <- buildFeedbackButtonsElement ((feedbackButtonsElement v1 v3) {feedbackButtonsElementActionId = Just "feedback_buttons_1"})
v5 <- buildContextActionsBlock ((contextActionsBlock [feedbackButtonsElementAsContextActionsElement v4]) {contextActionsBlockBlockId = Just "fake_block_id"})
pure (toJSON v5)
valid8 :: Result Value
valid8 = do
v0 <- buildPlainText ((plainText "Delete") {plainTextEmoji = Nothing})
v1 <- buildIconButtonElement ((iconButtonElement v0 IconButtonIconTrash) {iconButtonElementActionId = Just "delete_button", iconButtonElementValue = Just "delete_item", iconButtonElementConfirm = Nothing, iconButtonElementAccessibilityLabel = Nothing, iconButtonElementVisibleToUserIds = Nothing})
v2 <- buildContextActionsBlock ((contextActionsBlock [iconButtonElementAsContextActionsElement v1]) {contextActionsBlockBlockId = Just "fake_block_id"})
pure (toJSON v2)
valid9 :: Result Value
valid9 = do
v0 <- buildMarkdownText ((markdownText "Hello, world!") {markdownTextVerbatim = Nothing})
v1 <- buildContextBlock ((contextBlock [markdownTextAsContextElement v0]) {contextBlockBlockId = Just "fake_block_id"})
pure (toJSON v1)
valid10 :: Result Value
valid10 = do
v0 <- buildRawText (rawText "Name")
v1 <- buildRawText (rawText "Score")
v2 <- buildRawText (rawText "Alice")
v3 <- buildRawNumber (rawNumber 42 "42")
v4 <- buildDataTableBlock ((dataTableBlock [[rawTextAsDataTableCell v0, rawTextAsDataTableCell v1], [rawTextAsDataTableCell v2, rawNumberAsDataTableCell v3]] "Team scores") {dataTableBlockPageSize = Just 5, dataTableBlockRowHeaderColumnIndex = Just 0, dataTableBlockBlockId = Just "fake_block_id"})
pure (toJSON v4)
valid11 :: Result Value
valid11 = do
v0 <- buildDataPoint (dataPoint "Mon" 12000)
v1 <- buildDataPoint (dataPoint "Tue" 13500)
v2 <- buildDataSeries (dataSeries "Free Tier" [v0, v1])
v3 <- buildAxisConfig ((axisConfig ["Mon", "Tue"]) {axisConfigXLabel = Just "Day", axisConfigYLabel = Just "Users"})
v4 <- buildAreaChart (areaChart [v2] v3)
v5 <- buildDataVisualizationBlock ((dataVisualizationBlock "Daily Active Users" (areaChartAsChart v4)) {dataVisualizationBlockBlockId = Just "fake_block_id"})
pure (toJSON v5)
valid12 :: Result Value
valid12 = do
v0 <- buildDataPoint (dataPoint "Pumpkin" 70)
v1 <- buildDataPoint (dataPoint "Blueberry" 90)
v2 <- buildDataSeries (dataSeries "Pies" [v0, v1])
v3 <- buildAxisConfig ((axisConfig ["Pumpkin", "Blueberry"]) {axisConfigXLabel = Just "Pies", axisConfigYLabel = Just "Tastiness"})
v4 <- buildBarChart (barChart [v2] v3)
v5 <- buildDataVisualizationBlock ((dataVisualizationBlock "Pies by Tastiness" (barChartAsChart v4)) {dataVisualizationBlockBlockId = Just "fake_block_id"})
pure (toJSON v5)
valid13 :: Result Value
valid13 = do
v0 <- buildDataPoint (dataPoint "Week 1" 32000)
v1 <- buildDataPoint (dataPoint "Week 2" 35000)
v2 <- buildDataSeries (dataSeries "Website" [v0, v1])
v3 <- buildDataPoint (dataPoint "Week 1" 28000)
v4 <- buildDataPoint (dataPoint "Week 2" 31000)
v5 <- buildDataSeries (dataSeries "In-store" [v3, v4])
v6 <- buildAxisConfig ((axisConfig ["Week 1", "Week 2"]) {axisConfigXLabel = Just "Week", axisConfigYLabel = Just "Paper Sales (USD)"})
v7 <- buildLineChart (lineChart [v2, v5] v6)
v8 <- buildDataVisualizationBlock ((dataVisualizationBlock "Weekly Paper Sales" (lineChartAsChart v7)) {dataVisualizationBlockBlockId = Just "fake_block_id"})
pure (toJSON v8)
valid14 :: Result Value
valid14 = do
v0 <- buildChartSegment (chartSegment "Kit Kat" 45)
v1 <- buildChartSegment (chartSegment "Twix" 28)
v2 <- buildChartSegment (chartSegment "Crunch" 18)
v3 <- buildChartSegment (chartSegment "Milky Way" 9)
v4 <- buildPieChart (pieChart [v0, v1, v2, v3])
v5 <- buildDataVisualizationBlock ((dataVisualizationBlock "My Favorite Candy Bars" (pieChartAsChart v4)) {dataVisualizationBlockBlockId = Just "fake_block_id"})
pure (toJSON v5)
valid15 :: Result Value
valid15 = do
v0 <- buildDividerBlock (dividerBlock {dividerBlockBlockId = Just "fake_block_id"})
pure (toJSON v0)
valid16 :: Result Value
valid16 = do
v0 <- buildFileBlock ((fileBlock "external_id" "remote") {fileBlockBlockId = Just "fake_block_id"})
pure (toJSON v0)
valid17 :: Result Value
valid17 = do
v0 <- buildPlainText ((plainText (T.replicate 150 "😀")) {plainTextEmoji = Nothing})
v1 <- buildHeaderBlock ((headerBlock v0) {headerBlockBlockId = Just "fake_block_id"})
pure (toJSON v1)
valid18 :: Result Value
valid18 = do
v0 <- buildPlainText ((plainText "AloHa!") {plainTextEmoji = Nothing})
v1 <- buildHeaderBlock ((headerBlock v0) {headerBlockBlockId = Just "fake_block_id"})
pure (toJSON v1)
valid19 :: Result Value
valid19 = do
v0 <- buildPlainText ((plainText (T.replicate 150 "x")) {plainTextEmoji = Nothing})
v1 <- buildHeaderBlock ((headerBlock v0) {headerBlockBlockId = Just "fake_block_id"})
pure (toJSON v1)
valid20 :: Result Value
valid20 = do
v0 <- buildPlainText ((plainText "image1") {plainTextEmoji = Nothing})
v1 <- buildImageBlock ((imageBlock "image1") {imageBlockImageUrl = Just "https://api.slack.com/img/blocks/bkb_template_images/beagle.png", imageBlockSlackFile = Nothing, imageBlockTitle = Just v0, imageBlockBlockId = Just "fake_block_id"})
pure (toJSON v1)
valid21 :: Result Value
valid21 = do
v0 <- buildSlackFile (slackFile {slackFileId = Nothing, slackFileUrl = Just "https://files.slack.com/files-pri/T0123456-F0123ABC456/kitten.png"})
v1 <- buildImageBlock ((imageBlock "An incredibly cute kitten.") {imageBlockImageUrl = Nothing, imageBlockSlackFile = Just v0, imageBlockTitle = Nothing, imageBlockBlockId = Just "fake_block_id"})
pure (toJSON v1)
valid22 :: Result Value
valid22 = do
v0 <- buildPlainText ((plainText "Label") {plainTextEmoji = Just True})
v1 <- buildPlainTextInputElement (plainTextInputElement {plainTextInputElementActionId = Just "action", plainTextInputElementInitialValue = Nothing, plainTextInputElementMultiline = Nothing, plainTextInputElementMinLength = Nothing, plainTextInputElementMaxLength = Nothing, plainTextInputElementDispatchActionConfig = Nothing, plainTextInputElementFocusOnLoad = Nothing, plainTextInputElementPlaceholder = Nothing})
v2 <- buildPlainText ((plainText "Hint") {plainTextEmoji = Just True})
v3 <- buildInputBlock ((inputBlock v0 (plainTextInputElementAsInputElement v1)) {inputBlockDispatchAction = Nothing, inputBlockBlockId = Just "fake_block_id", inputBlockHint = Just v2, inputBlockOptional = Just True})
pure (toJSON v3)
valid23 :: Result Value
valid23 = do
v0 <- buildMarkdownBlock ((markdownBlock "**Hello**, _world_!") {markdownBlockBlockId = Just "fake_block_id"})
pure (toJSON v0)
valid24 :: Result Value
valid24 = do
v0 <- buildMarkdownBlock ((markdownBlock "") {markdownBlockBlockId = Just "fake_block_id"})
pure (toJSON v0)
valid25 :: Result Value
valid25 = do
v0 <- buildRichTextText ((richTextText "Profile data loaded") {richTextTextStyle = Nothing})
v1 <- buildRichTextSection (richTextSection [richTextTextAsRichTextSectionElement v0])
v2 <- buildRichTextBlock ((richTextBlock [richTextSectionAsRichTextBlockElement v1]) {richTextBlockBlockId = Just "plan_output"})
v3 <- buildPlanTask ((taskCardBlock "call_001" "Fetched user profile information" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Just v2, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v4 <- buildPlanTask ((taskCardBlock "call_002" "Checked user permissions" TaskStatusPending) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v5 <- buildPlanBlock ((planBlock "Thinking completed" [v3, v4]) {planBlockBlockId = Just "fake_block_id"})
pure (toJSON v5)
valid26 :: Result Value
valid26 = do
v0 <- buildRichTextText ((richTextText "You 'bout to witness hip-hop in its most purest") {richTextTextStyle = Just ((richTextStyle {styleBold = Just True}))})
v1 <- buildRichTextText ((richTextText "Most rawest form, flow almost flawless") {richTextTextStyle = Just ((richTextStyle {styleStrike = Just True}))})
v2 <- buildRichTextText ((richTextText "Most hardest, most honest known artist") {richTextTextStyle = Just ((richTextStyle {styleItalic = Just True}))})
v3 <- buildRichTextSection (richTextSection [richTextTextAsRichTextSectionElement v0, richTextTextAsRichTextSectionElement v1, richTextTextAsRichTextSectionElement v2])
v4 <- buildRichTextBlock ((richTextBlock [richTextSectionAsRichTextBlockElement v3]) {richTextBlockBlockId = Just "fake_block_id"})
pure (toJSON v4)
valid27 :: Result Value
valid27 = do
v0 <- buildMarkdownText ((markdownText "Hello") {markdownTextVerbatim = Nothing})
v1 <- buildMarkdownText ((markdownText "Are you") {markdownTextVerbatim = Nothing})
v2 <- buildPlainText ((plainText "There?") {plainTextEmoji = Just True})
v3 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Just [markdownTextAsText v1, plainTextAsText v2], sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id"})
pure (toJSON v3)
valid28 :: Result Value
valid28 = do
v0 <- buildMarkdownText ((markdownText "Highly") {markdownTextVerbatim = Nothing})
v1 <- buildPlainText ((plainText "Strung") {plainTextEmoji = Just True})
v2 <- buildSectionBlock (sectionBlock {sectionBlockText = Nothing, sectionBlockFields = Just [markdownTextAsText v0, plainTextAsText v1], sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id"})
pure (toJSON v2)
valid29 :: Result Value
valid29 = do
v0 <- buildMarkdownText ((markdownText "Test:") {markdownTextVerbatim = Nothing})
v1 <- buildPlainText ((plainText "foo") {plainTextEmoji = Nothing})
v2 <- buildMarkdownText ((markdownText "bar") {markdownTextVerbatim = Nothing})
v3 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Just [plainTextAsText v1, markdownTextAsText v2], sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id"})
pure (toJSON v3)
valid30 :: Result Value
valid30 = do
v0 <- buildMarkdownText ((markdownText "Lowly") {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Nothing, sectionBlockFields = Just [markdownTextAsText v0], sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id"})
pure (toJSON v1)
valid31 :: Result Value
valid31 = do
v0 <- buildMarkdownText ((markdownText "Hello, world!") {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id"})
pure (toJSON v1)
valid32 :: Result Value
valid32 = do
v0 <- buildRawText (rawText "Header A")
v1 <- buildRawText (rawText "Header B")
v2 <- buildRawText (rawText "Data 1A")
v3 <- buildRichTextLink ((richTextLink "https://slack.com") {richTextLinkText = Just "Data 1B", richTextLinkStyle = Nothing, richTextLinkUnsafe = Nothing})
v4 <- buildRichTextSection (richTextSection [richTextLinkAsRichTextSectionElement v3])
v5 <- buildRichTextBlock ((richTextBlock [richTextSectionAsRichTextBlockElement v4]) {richTextBlockBlockId = Nothing})
v6 <- buildRawText (rawText "Data 2A")
v7 <- buildRichTextLink ((richTextLink "https://slack.com") {richTextLinkText = Just "Data 2B", richTextLinkStyle = Nothing, richTextLinkUnsafe = Nothing})
v8 <- buildRichTextSection (richTextSection [richTextLinkAsRichTextSectionElement v7])
v9 <- buildRichTextBlock ((richTextBlock [richTextSectionAsRichTextBlockElement v8]) {richTextBlockBlockId = Nothing})
v10 <- buildColumnSettings (columnSettings {columnSettingsAlign = Nothing, columnSettingsIsWrapped = Just True})
v11 <- buildColumnSettings (columnSettings {columnSettingsAlign = Just ColumnAlignRight, columnSettingsIsWrapped = Nothing})
v12 <- buildTableBlock ((tableBlock [[rawTextAsTableCell v0, rawTextAsTableCell v1], [rawTextAsTableCell v2, richTextBlockAsTableCell v5], [rawTextAsTableCell v6, richTextBlockAsTableCell v9]]) {tableBlockColumnSettings = Just [v10, v11], tableBlockBlockId = Just "fake_block_id"})
pure (toJSON v12)
valid33 :: Result Value
valid33 = do
v0 <- buildRawText (rawText "Header A")
v1 <- buildRawText (rawText "Header B")
v2 <- buildRawText (rawText "Only one cell")
v3 <- buildTableBlock ((tableBlock [[rawTextAsTableCell v0, rawTextAsTableCell v1], [rawTextAsTableCell v2]]) {tableBlockColumnSettings = Nothing, tableBlockBlockId = Just "fake_block_id"})
pure (toJSON v3)
valid34 :: Result Value
valid34 = do
v0 <- buildRichTextText ((richTextText "Found weather data for Chicago from 2 sources") {richTextTextStyle = Nothing})
v1 <- buildRichTextSection (richTextSection [richTextTextAsRichTextSectionElement v0])
v2 <- buildRichTextBlock ((richTextBlock [richTextSectionAsRichTextBlockElement v1]) {richTextBlockBlockId = Just "task_output"})
v3 <- buildUrlSource (urlSource "https://weather.com/" "weather.com")
v4 <- buildUrlSource (urlSource "https://www.accuweather.com/" "accuweather.com")
v5 <- buildTaskCardBlock ((taskCardBlock "task_1" "Fetching weather data" TaskStatusInProgress) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Just v2, taskCardBlockSources = Just [v3, v4], taskCardBlockBlockId = Just "fake_block_id"})
pure (toJSON v5)
valid35 :: Result Value
valid35 = do
v0 <- buildPlainText ((plainText "Title") {plainTextEmoji = Nothing})
v1 <- buildVideoBlock ((videoBlock "alt" "https://example.com/t.png" v0 "https://example.com/v.mp4") {videoBlockBlockId = Just "b1", videoBlockAuthorName = Nothing, videoBlockDescription = Nothing, videoBlockProviderIconUrl = Nothing, videoBlockProviderName = Nothing, videoBlockTitleUrl = Nothing})
pure (toJSON v1)
valid36 :: Result Value
valid36 = do
v0 <- buildPlainText ((plainText "Getting Started") {plainTextEmoji = Nothing})
v1 <- buildPlainText ((plainText "A short intro") {plainTextEmoji = Nothing})
v2 <- buildVideoBlock ((videoBlock "How to use Slack" "https://example.com/thumb.png" v0 "https://example.com/video.mp4") {videoBlockBlockId = Just "video_1", videoBlockAuthorName = Just "Slack", videoBlockDescription = Just v1, videoBlockProviderIconUrl = Just "https://example.com/icon.png", videoBlockProviderName = Just "YouTube", videoBlockTitleUrl = Just "https://example.com"})
pure (toJSON v2)
valid37 :: Result Value
valid37 = do
v0 <- buildPlainText ((plainText "Summarize") {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Nothing, buttonElementUrl = Nothing, buttonElementValue = Nothing, buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Just "Summarize this incident.", buttonElementAgentPromptDisplay = Nothing})
pure (toJSON v1)
valid38 :: Result Value
valid38 = do
v0 <- buildPlainText ((plainText "Summarize") {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Nothing, buttonElementUrl = Nothing, buttonElementValue = Nothing, buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Just (T.replicate 4000 "😀"), buttonElementAgentPromptDisplay = Nothing})
pure (toJSON v1)
valid39 :: Result Value
valid39 = do
v0 <- buildPlainText ((plainText "Summarize") {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Just "summarize", buttonElementUrl = Nothing, buttonElementValue = Nothing, buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Just "Summarize this incident.", buttonElementAgentPromptDisplay = Just (T.replicate 80 "x")})
pure (toJSON v1)
valid40 :: Result Value
valid40 = do
v0 <- buildPlainText ((plainText "Summarize") {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Nothing, buttonElementUrl = Nothing, buttonElementValue = Nothing, buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Just "", buttonElementAgentPromptDisplay = Just ""})
pure (toJSON v1)
valid41 :: Result Value
valid41 = do
v0 <- buildPlainText ((plainText "Click Me") {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Just "button", buttonElementUrl = Nothing, buttonElementValue = Just "click_me", buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Nothing, buttonElementAgentPromptDisplay = Nothing})
pure (toJSON v1)
valid42 :: Result Value
valid42 = do
v0 <- buildPlainText ((plainText "Click Me") {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Nothing, buttonElementUrl = Nothing, buttonElementValue = Just "click_me", buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Nothing, buttonElementAgentPromptDisplay = Nothing})
pure (toJSON v1)
valid43 :: Result Value
valid43 = do
v0 <- buildPlainText ((plainText "Link!") {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Just "button", buttonElementUrl = Just "https://ndl.im/", buttonElementValue = Nothing, buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Nothing, buttonElementAgentPromptDisplay = Nothing})
pure (toJSON v1)
valid44 :: Result Value
valid44 = do
v0 <- buildPlainText ((plainText "Load") {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Just "button", buttonElementUrl = Nothing, buttonElementValue = Just "im_a_style_button", buttonElementStyle = Just ButtonStylePrimary, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Nothing, buttonElementAgentPromptDisplay = Nothing})
pure (toJSON v1)
valid45 :: Result Value
valid45 = do
v0 <- buildPlainText ((plainText (T.replicate 75 "x")) {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Just "button", buttonElementUrl = Nothing, buttonElementValue = Nothing, buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Nothing, buttonElementAgentPromptDisplay = Nothing})
pure (toJSON v1)
valid46 :: Result Value
valid46 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) "A") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v2 <- buildPlainText ((plainText "B") {plainTextEmoji = Nothing})
v3 <- buildSelectOption ((selectOption (plainTextAsText v2) "B") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v4 <- buildCheckboxesElement ((checkboxesElement [v1, v3]) {checkboxesElementActionId = Just "and...action", checkboxesElementInitialOptions = Just [v1], checkboxesElementConfirm = Nothing, checkboxesElementFocusOnLoad = Nothing})
pure (toJSON v4)
valid47 :: Result Value
valid47 = do
v0 <- buildPlainText ((plainText "Pick a date") {plainTextEmoji = Nothing})
v1 <- buildDatePickerElement (datePickerElement {datePickerElementActionId = Just "datepicker", datePickerElementInitialDate = Just "1970-01-01", datePickerElementConfirm = Nothing, datePickerElementFocusOnLoad = Nothing, datePickerElementPlaceholder = Just v0})
pure (toJSON v1)
valid48 :: Result Value
valid48 = do
v0 <- buildDateTimePickerElement (dateTimePickerElement {dateTimePickerElementActionId = Just "datetime_picker", dateTimePickerElementInitialDateTime = Just 1628633830, dateTimePickerElementConfirm = Nothing, dateTimePickerElementFocusOnLoad = Nothing})
pure (toJSON v0)
valid49 :: Result Value
valid49 = do
v0 <- buildPlainText ((plainText "Enter your email") {plainTextEmoji = Nothing})
v1 <- buildEmailInputElement (emailInputElement {emailInputElementActionId = Just "email_input", emailInputElementInitialValue = Nothing, emailInputElementDispatchActionConfig = Nothing, emailInputElementFocusOnLoad = Nothing, emailInputElementPlaceholder = Just v0})
pure (toJSON v1)
valid50 :: Result Value
valid50 = do
v0 <- buildFileInputElement (fileInputElement {fileInputElementActionId = Just "file_input_action_id_1", fileInputElementFiletypes = Just ["jpg", "png"], fileInputElementMaxFiles = Just 5})
pure (toJSON v0)
valid51 :: Result Value
valid51 = do
v0 <- buildImageElement ((imageElement "Logo for ndl.im") {imageElementImageUrl = Just "https://ndl.im/img/logo.png", imageElementSlackFile = Nothing})
pure (toJSON v0)
valid52 :: Result Value
valid52 = do
v0 <- buildSlackFile (slackFile {slackFileId = Just "F0123ABC456", slackFileUrl = Nothing})
v1 <- buildImageElement ((imageElement "An incredibly cute kitten.") {imageElementImageUrl = Nothing, imageElementSlackFile = Just v0})
pure (toJSON v1)
valid53 :: Result Value
valid53 = do
v0 <- buildSlackFile (slackFile {slackFileId = Nothing, slackFileUrl = Just "https://files.slack.com/files-pri/T0123456-F0123456/xyz.png"})
v1 <- buildImageElement ((imageElement "An incredibly cute kitten.") {imageElementImageUrl = Nothing, imageElementSlackFile = Just v0})
pure (toJSON v1)
valid54 :: Result Value
valid54 = do
v0 <- buildPlainText ((plainText "Select channels") {plainTextEmoji = Nothing})
v1 <- buildChannelMultiSelectElement (channelMultiSelectElement {channelMultiSelectElementActionId = Just "multi_channels_select", channelMultiSelectElementInitialChannels = Nothing, channelMultiSelectElementConfirm = Nothing, channelMultiSelectElementMaxSelectedItems = Nothing, channelMultiSelectElementFocusOnLoad = Nothing, channelMultiSelectElementPlaceholder = Just v0})
pure (toJSON v1)
valid55 :: Result Value
valid55 = do
v0 <- buildPlainText ((plainText "Select conversations") {plainTextEmoji = Nothing})
v1 <- buildConversationMultiSelectElement (conversationMultiSelectElement {conversationMultiSelectElementActionId = Just "multi_conversations_select", conversationMultiSelectElementInitialConversations = Nothing, conversationMultiSelectElementDefaultToCurrentConversation = Nothing, conversationMultiSelectElementFilter = Nothing, conversationMultiSelectElementConfirm = Nothing, conversationMultiSelectElementMaxSelectedItems = Nothing, conversationMultiSelectElementFocusOnLoad = Nothing, conversationMultiSelectElementPlaceholder = Just v0})
pure (toJSON v1)
valid56 :: Result Value
valid56 = do
v0 <- buildPlainText ((plainText "Select items") {plainTextEmoji = Nothing})
v1 <- buildExternalMultiSelectElement (externalMultiSelectElement {externalMultiSelectElementActionId = Just "multi_external_select", externalMultiSelectElementMinQueryLength = Just 3, externalMultiSelectElementInitialOptions = Nothing, externalMultiSelectElementConfirm = Nothing, externalMultiSelectElementMaxSelectedItems = Nothing, externalMultiSelectElementFocusOnLoad = Nothing, externalMultiSelectElementPlaceholder = Just v0})
pure (toJSON v1)
valid57 :: Result Value
valid57 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) "A") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v2 <- buildPlainText ((plainText "B") {plainTextEmoji = Nothing})
v3 <- buildSelectOption ((selectOption (plainTextAsText v2) "B") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v4 <- buildPlainText ((plainText "Select one or more") {plainTextEmoji = Nothing})
v5 <- buildStaticMultiSelectElement (staticMultiSelectElement {staticMultiSelectElementActionId = Just "multi_static_select", staticMultiSelectElementOptions = Just [v1, v3], staticMultiSelectElementOptionGroups = Nothing, staticMultiSelectElementInitialOptions = Nothing, staticMultiSelectElementConfirm = Nothing, staticMultiSelectElementMaxSelectedItems = Nothing, staticMultiSelectElementFocusOnLoad = Nothing, staticMultiSelectElementPlaceholder = Just v4})
pure (toJSON v5)
valid58 :: Result Value
valid58 = do
v0 <- buildPlainText ((plainText "Select one or more users") {plainTextEmoji = Nothing})
v1 <- buildUserMultiSelectElement (userMultiSelectElement {userMultiSelectElementActionId = Just "multi_users_select", userMultiSelectElementInitialUsers = Nothing, userMultiSelectElementConfirm = Nothing, userMultiSelectElementMaxSelectedItems = Nothing, userMultiSelectElementFocusOnLoad = Nothing, userMultiSelectElementPlaceholder = Just v0})
pure (toJSON v1)
valid59 :: Result Value
valid59 = do
v0 <- buildPlainText ((plainText "Select one or more users") {plainTextEmoji = Nothing})
v1 <- buildUserMultiSelectElement (userMultiSelectElement {userMultiSelectElementActionId = Just "multi_users_select", userMultiSelectElementInitialUsers = Just ["U064B5H1309", "U063JR973UP"], userMultiSelectElementConfirm = Nothing, userMultiSelectElementMaxSelectedItems = Nothing, userMultiSelectElementFocusOnLoad = Nothing, userMultiSelectElementPlaceholder = Just v0})
pure (toJSON v1)
valid60 :: Result Value
valid60 = do
v0 <- buildNumberInputElement ((numberInputElement False) {numberInputElementActionId = Just "number_input", numberInputElementInitialValue = Nothing, numberInputElementMinValue = Nothing, numberInputElementMaxValue = Nothing, numberInputElementDispatchActionConfig = Nothing, numberInputElementFocusOnLoad = Nothing, numberInputElementPlaceholder = Nothing})
pure (toJSON v0)
valid61 :: Result Value
valid61 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) "A") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v2 <- buildPlainText ((plainText "B") {plainTextEmoji = Nothing})
v3 <- buildSelectOption ((selectOption (plainTextAsText v2) "B") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v4 <- buildPlainText ((plainText "C") {plainTextEmoji = Nothing})
v5 <- buildSelectOption ((selectOption (plainTextAsText v4) "C") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v6 <- buildOverflowElement ((overflowElement [v1, v3, v5]) {overflowElementActionId = Just "overflow", overflowElementConfirm = Nothing})
pure (toJSON v6)
valid62 :: Result Value
valid62 = do
v0 <- buildPlainText ((plainText "Enter your plain text") {plainTextEmoji = Nothing})
v1 <- buildPlainTextInputElement (plainTextInputElement {plainTextInputElementActionId = Just "plaintext_input", plainTextInputElementInitialValue = Nothing, plainTextInputElementMultiline = Nothing, plainTextInputElementMinLength = Nothing, plainTextInputElementMaxLength = Nothing, plainTextInputElementDispatchActionConfig = Nothing, plainTextInputElementFocusOnLoad = Nothing, plainTextInputElementPlaceholder = Just v0})
pure (toJSON v1)
valid63 :: Result Value
valid63 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) "A") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v2 <- buildPlainText ((plainText "B") {plainTextEmoji = Nothing})
v3 <- buildSelectOption ((selectOption (plainTextAsText v2) "B") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v4 <- buildPlainText ((plainText "C") {plainTextEmoji = Nothing})
v5 <- buildSelectOption ((selectOption (plainTextAsText v4) "C") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v6 <- buildRadioButtonsElement ((radioButtonsElement [v1, v3, v5]) {radioButtonsElementActionId = Just "radio_buttons", radioButtonsElementInitialOption = Just v1, radioButtonsElementConfirm = Nothing, radioButtonsElementFocusOnLoad = Nothing})
pure (toJSON v6)
valid64 :: Result Value
valid64 = do
v0 <- buildRichTextText ((richTextText "I'm rich") {richTextTextStyle = Nothing})
v1 <- buildRichTextSection (richTextSection [richTextTextAsRichTextSectionElement v0])
v2 <- buildRichTextBlock ((richTextBlock [richTextSectionAsRichTextBlockElement v1]) {richTextBlockBlockId = Nothing})
v3 <- buildPlainText ((plainText "Hello") {plainTextEmoji = Nothing})
v4 <- buildRichTextInputElement ((richTextInputElement "action_id") {richTextInputElementInitialValue = Just v2, richTextInputElementDispatchActionConfig = Nothing, richTextInputElementFocusOnLoad = Just False, richTextInputElementPlaceholder = Just v3, richTextInputElementMinLines = Nothing, richTextInputElementMaxLines = Nothing})
pure (toJSON v4)
valid65 :: Result Value
valid65 = do
v0 <- buildPlainText ((plainText "Select a channel") {plainTextEmoji = Nothing})
v1 <- buildChannelSelectElement (channelSelectElement {channelSelectElementActionId = Just "channels_select", channelSelectElementInitialChannel = Nothing, channelSelectElementResponseUrlEnabled = Nothing, channelSelectElementConfirm = Nothing, channelSelectElementFocusOnLoad = Nothing, channelSelectElementPlaceholder = Just v0})
pure (toJSON v1)
valid66 :: Result Value
valid66 = do
v0 <- buildPlainText ((plainText "Select one conversation") {plainTextEmoji = Nothing})
v1 <- buildConversationSelectElement (conversationSelectElement {conversationSelectElementActionId = Just "conversations_select", conversationSelectElementInitialConversation = Nothing, conversationSelectElementDefaultToCurrentConversation = Nothing, conversationSelectElementFilter = Nothing, conversationSelectElementResponseUrlEnabled = Nothing, conversationSelectElementConfirm = Nothing, conversationSelectElementFocusOnLoad = Nothing, conversationSelectElementPlaceholder = Just v0})
pure (toJSON v1)
valid67 :: Result Value
valid67 = do
v0 <- buildPlainText ((plainText "Select one item") {plainTextEmoji = Nothing})
v1 <- buildExternalSelectElement (externalSelectElement {externalSelectElementActionId = Just "external_select", externalSelectElementMinQueryLength = Just 4, externalSelectElementInitialOption = Nothing, externalSelectElementConfirm = Nothing, externalSelectElementFocusOnLoad = Nothing, externalSelectElementPlaceholder = Just v0})
pure (toJSON v1)
valid68 :: Result Value
valid68 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) "A") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v2 <- buildPlainText ((plainText "B") {plainTextEmoji = Nothing})
v3 <- buildSelectOption ((selectOption (plainTextAsText v2) "B") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v4 <- buildPlainText ((plainText "C") {plainTextEmoji = Nothing})
v5 <- buildSelectOption ((selectOption (plainTextAsText v4) "C") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v6 <- buildPlainText ((plainText "Select one item") {plainTextEmoji = Nothing})
v7 <- buildStaticSelectElement (staticSelectElement {staticSelectElementActionId = Just "static_select", staticSelectElementOptions = Just [v1, v3, v5], staticSelectElementOptionGroups = Nothing, staticSelectElementInitialOption = Nothing, staticSelectElementConfirm = Nothing, staticSelectElementFocusOnLoad = Nothing, staticSelectElementPlaceholder = Just v6})
pure (toJSON v7)
valid69 :: Result Value
valid69 = do
v0 <- buildPlainText ((plainText "Select one user") {plainTextEmoji = Nothing})
v1 <- buildUserSelectElement (userSelectElement {userSelectElementActionId = Just "users_select", userSelectElementInitialUser = Nothing, userSelectElementConfirm = Nothing, userSelectElementFocusOnLoad = Nothing, userSelectElementPlaceholder = Just v0})
pure (toJSON v1)
valid70 :: Result Value
valid70 = do
v0 <- buildPlainText ((plainText "Select your time") {plainTextEmoji = Nothing})
v1 <- buildTimePickerElement (timePickerElement {timePickerElementActionId = Just "timepicker", timePickerElementInitialTime = Just "12:00", timePickerElementTimezone = Just "Australia/Sydney", timePickerElementConfirm = Nothing, timePickerElementFocusOnLoad = Nothing, timePickerElementPlaceholder = Just v0})
pure (toJSON v1)
valid71 :: Result Value
valid71 = do
v0 <- buildUrlInputElement (urlInputElement {urlInputElementActionId = Just "url_text_input", urlInputElementInitialValue = Nothing, urlInputElementDispatchActionConfig = Nothing, urlInputElementFocusOnLoad = Nothing, urlInputElementPlaceholder = Nothing})
pure (toJSON v0)
valid72 :: Result Value
valid72 = do
v0 <- buildUrlSource (urlSource "https://docs.slack.dev/" "Slack API docs")
pure (toJSON v0)
valid73 :: Result Value
valid73 = do
v0 <- buildPlainText ((plainText "Run Your Workflow") {plainTextEmoji = Nothing})
v1 <- buildInputParameter (inputParameter "name_a" "value_a")
v2 <- buildInputParameter (inputParameter "name_b" "value_b")
v3 <- buildTrigger ((trigger "https://slack.com/shortcuts/Ft012KXZK1MZ/8831723c452aac3e87c6d3219bebd44c") {triggerCustomizableInputParameters = Just [v1, v2]})
v4 <- buildWorkflow (workflow v3)
v5 <- buildWorkflowButtonElement ((workflowButtonElement v0 v4 "run_workflow") {workflowButtonElementConfirm = Nothing, workflowButtonElementStyle = Nothing, workflowButtonElementAccessibilityLabel = Nothing})
pure (toJSON v5)
valid74 :: Result Value
valid74 = do
v0 <- buildMarkdownText ((markdownText "Hello, world!") {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id"})
v2 <- buildMessagePayload ((messagePayload "#slackblocks") {messagePayloadBlocks = Just [sectionBlockAsBlock v1], messagePayloadAttachments = Nothing, messagePayloadText = Just "", messagePayloadMrkdwn = Just True, messagePayloadUnfurlLinks = Nothing, messagePayloadUnfurlMedia = Nothing, messagePayloadMetadata = Nothing})
pure (toJSON v2)
valid75 :: Result Value
valid75 = do
v0 <- buildMarkdownText ((markdownText "Hello, world!") {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "block1"})
v2 <- buildAttachment ((attachment [sectionBlockAsBlock v1]) {attachmentColor = Just "#000000", attachmentFallback = Nothing})
v3 <- buildMessagePayload ((messagePayload "#slackblocks") {messagePayloadBlocks = Nothing, messagePayloadAttachments = Just [v2], messagePayloadText = Just "", messagePayloadMrkdwn = Just True, messagePayloadUnfurlLinks = Nothing, messagePayloadUnfurlMedia = Nothing, messagePayloadMetadata = Nothing})
pure (toJSON v3)
valid76 :: Result Value
valid76 = do
v0 <- buildMarkdownText ((markdownText "Block, One") {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block1"})
v2 <- buildPlainText ((plainText " ") {plainTextEmoji = Nothing})
v3 <- buildImageBlock ((imageBlock "crash") {imageBlockImageUrl = Just "http://bit.ly/slack-block-test-image", imageBlockSlackFile = Nothing, imageBlockTitle = Just v2, imageBlockBlockId = Just "fake_block3"})
v4 <- buildAttachment ((attachment [sectionBlockAsBlock v1]) {attachmentColor = Just "#8800ff", attachmentFallback = Nothing})
v5 <- buildMarkdownText ((markdownText "Block, Two") {markdownTextVerbatim = Nothing})
v6 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v5), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block2"})
v7 <- buildAttachment ((attachment [sectionBlockAsBlock v6, imageBlockAsBlock v3]) {attachmentColor = Just "#ffff00", attachmentFallback = Nothing})
v8 <- buildMessagePayload ((messagePayload "#slackblocks") {messagePayloadBlocks = Just [sectionBlockAsBlock v1, imageBlockAsBlock v3], messagePayloadAttachments = Just [v4, v7], messagePayloadText = Just "", messagePayloadMrkdwn = Just True, messagePayloadUnfurlLinks = Nothing, messagePayloadUnfurlMedia = Nothing, messagePayloadMetadata = Nothing})
pure (toJSON v8)
valid77 :: Result Value
valid77 = do
v0 <- buildMarkdownText ((markdownText "Hello, world!") {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id"})
v2 <- buildMessageResponse (messageResponse {messageResponseBlocks = Just [sectionBlockAsBlock v1], messageResponseAttachments = Nothing, messageResponseText = Just "", messageResponseMrkdwn = Just True, messageResponseReplaceOriginal = Just False, messageResponseResponseType = Just ResponseTypeEphemeral})
pure (toJSON v2)
valid78 :: Result Value
valid78 = do
v0 <- buildMarkdownText ((markdownText "Hello, world!") {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id"})
v2 <- buildAttachment ((attachment [sectionBlockAsBlock v1]) {attachmentColor = Just "#ffff00", attachmentFallback = Nothing})
v3 <- buildMessagePayload ((messagePayload "#slackblocks") {messagePayloadBlocks = Nothing, messagePayloadAttachments = Just [v2], messagePayloadText = Just "", messagePayloadMrkdwn = Just True, messagePayloadUnfurlLinks = Nothing, messagePayloadUnfurlMedia = Nothing, messagePayloadMetadata = Nothing})
pure (toJSON v3)
valid79 :: Result Value
valid79 = do
v0 <- buildMarkdownText ((markdownText "Hello, world!") {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id"})
v2 <- buildMessagePayload ((messagePayload "#slackblocks") {messagePayloadBlocks = Just [sectionBlockAsBlock v1], messagePayloadAttachments = Nothing, messagePayloadText = Just "", messagePayloadMrkdwn = Just True, messagePayloadUnfurlLinks = Just False, messagePayloadUnfurlMedia = Just False, messagePayloadMetadata = Nothing})
pure (toJSON v2)
valid80 :: Result Value
valid80 = do
v0 <- buildMarkdownText ((markdownText "You wouldn't do ol' Hook in now, would you, lad?") {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id"})
v2 <- buildMarkdownText ((markdownText "Well, all right... if you... say you're a codfish.") {markdownTextVerbatim = Nothing})
v3 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v2), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id"})
v4 <- buildWebhookMessage (webhookMessage {webhookMessageBlocks = Just [sectionBlockAsBlock v1, sectionBlockAsBlock v3], webhookMessageAttachments = Nothing, webhookMessageText = Nothing, webhookMessageResponseType = Just ResponseTypeEphemeral, webhookMessageReplaceOriginal = Just True, webhookMessageDeleteOriginal = Nothing, webhookMessageUnfurlLinks = Just False, webhookMessageUnfurlMedia = Just False, webhookMessageMetadata = Just (Map.fromList [("sender", String "Walt"), ("event_payload", object ["type" .= String "markdown", "items" .= toJSON ([object ["type" .= String "data_table"], object ["type" .= String "markdown", "text" .= String (T.replicate 12001 "x")]] :: [Value])])])})
pure (toJSON v4)
valid81 :: Result Value
valid81 = do
v0 <- buildMarkdownText ((markdownText "I'm a codfish.") {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id"})
v2 <- buildMarkdownText ((markdownText "Louder!") {markdownTextVerbatim = Nothing})
v3 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v2), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id"})
v4 <- buildMarkdownText ((markdownText "I'M A CODFISH!") {markdownTextVerbatim = Nothing})
v5 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v4), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_block_id"})
v6 <- buildAttachment ((attachment [sectionBlockAsBlock v5]) {attachmentColor = Nothing, attachmentFallback = Nothing})
v7 <- buildWebhookMessage (webhookMessage {webhookMessageBlocks = Just [sectionBlockAsBlock v1, sectionBlockAsBlock v3], webhookMessageAttachments = Just [v6], webhookMessageText = Nothing, webhookMessageResponseType = Just ResponseTypeInChannel, webhookMessageReplaceOriginal = Nothing, webhookMessageDeleteOriginal = Just True, webhookMessageUnfurlLinks = Just True, webhookMessageUnfurlMedia = Just True, webhookMessageMetadata = Just (Map.fromList [("sender", String "Walt")])})
pure (toJSON v7)
valid82 :: Result Value
valid82 = do
v0 <- buildPlainText ((plainText "Maybe?") {plainTextEmoji = Nothing})
v1 <- buildPlainText ((plainText "Would you like to play checkers?") {plainTextEmoji = Nothing})
v2 <- buildPlainText ((plainText "Yes") {plainTextEmoji = Nothing})
v3 <- buildPlainText ((plainText "Nope!") {plainTextEmoji = Nothing})
v4 <- buildConfirmationDialogue ((confirmationDialogue v0 (plainTextAsText v1) v2 v3) {confirmationDialogueStyle = Nothing})
pure (toJSON v4)
valid83 :: Result Value
valid83 = do
v0 <- buildConversationFilter (conversationFilter {conversationFilterInclude = Just ["public", "mpim"], conversationFilterExcludeExternalSharedChannels = Nothing, conversationFilterExcludeBotUsers = Just True})
pure (toJSON v0)
valid84 :: Result Value
valid84 = do
v0 <- buildDispatchActionConfiguration (dispatchActionConfiguration {dispatchActionConfigurationTriggerActionsOn = Just ["on_character_entered"]})
pure (toJSON v0)
valid85 :: Result Value
valid85 = do
v0 <- buildInputParameter (inputParameter "name" "value")
pure (toJSON v0)
valid86 :: Result Value
valid86 = do
v0 <- buildPlainText ((plainText "Canberra") {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) "canberra") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
pure (toJSON v1)
valid87 :: Result Value
valid87 = do
v0 <- buildPlainText ((plainText "Group A") {plainTextEmoji = Nothing})
v1 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v2 <- buildSelectOption ((selectOption (plainTextAsText v1) "A") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v3 <- buildPlainText ((plainText "B") {plainTextEmoji = Nothing})
v4 <- buildSelectOption ((selectOption (plainTextAsText v3) "B") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v5 <- buildPlainText ((plainText "C") {plainTextEmoji = Nothing})
v6 <- buildSelectOption ((selectOption (plainTextAsText v5) "C") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v7 <- buildSelectOptionGroup (selectOptionGroup v0 [v2, v4, v6])
pure (toJSON v7)
valid88 :: Result Value
valid88 = do
v0 <- buildPlainText ((plainText "At limit") {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) (T.replicate 150 "x")) {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
pure (toJSON v1)
valid89 :: Result Value
valid89 = do
v0 <- buildMarkdownText ((markdownText "hi") {markdownTextVerbatim = Nothing})
pure (toJSON v0)
valid90 :: Result Value
valid90 = do
v0 <- buildMarkdownText ((markdownText "hi") {markdownTextVerbatim = Just True})
pure (toJSON v0)
valid91 :: Result Value
valid91 = do
v0 <- buildPlainText ((plainText "hi") {plainTextEmoji = Nothing})
pure (toJSON v0)
valid92 :: Result Value
valid92 = do
v0 <- buildPlainText ((plainText "hi") {plainTextEmoji = Just True})
pure (toJSON v0)
valid93 :: Result Value
valid93 = do
v0 <- buildInputParameter (inputParameter "A" "A")
v1 <- buildInputParameter (inputParameter "B" "B")
v2 <- buildTrigger ((trigger "https://slack.com/shortcuts/Ft012KXZK1MZ/8831723c452aac3e87c6d3219bebd44c") {triggerCustomizableInputParameters = Just [v0, v1]})
pure (toJSON v2)
valid94 :: Result Value
valid94 = do
v0 <- buildInputParameter (inputParameter "A" "A")
v1 <- buildInputParameter (inputParameter "B" "B")
v2 <- buildTrigger ((trigger "https://slack.com/shortcuts/Ft012KXZK1MZ/8831723c452aac3e87c6d3219bebd44c") {triggerCustomizableInputParameters = Just [v0, v1]})
v3 <- buildWorkflow (workflow v2)
pure (toJSON v3)
valid95 :: Result Value
valid95 = do
v0 <- buildRichTextText ((richTextText "I am a bold rich text block!") {richTextTextStyle = Just ((richTextStyle {styleBold = Just True, styleItalic = Just True, styleStrike = Just False}))})
pure (toJSON v0)
valid96 :: Result Value
valid96 = do
v0 <- buildRichTextChannel ((richTextChannel "C0261C65XNY") {richTextChannelStyle = Just ((richTextStyle {styleBold = Just True, styleItalic = Just False, styleStrike = Just True, styleHighlight = Just True, styleClientHighlight = Just True, styleUnlink = Just False}))})
pure (toJSON v0)
valid97 :: Result Value
valid97 = do
v0 <- buildRichTextText ((richTextText "\ndef hello_world():\n print('hello, world')") {richTextTextStyle = Nothing})
v1 <- buildRichTextCodeBlock ((richTextCodeBlock [richTextTextAsRichTextSectionElement v0]) {richTextCodeBlockBorder = Just 0})
pure (toJSON v1)
valid98 :: Result Value
valid98 = do
v0 <- buildRichTextEmoji ((richTextEmoji "wave") {richTextEmojiSkinTone = Nothing})
pure (toJSON v0)
valid99 :: Result Value
valid99 = do
v0 <- buildRichTextLink ((richTextLink "https://google.com/") {richTextLinkText = Just "Google", richTextLinkStyle = Just ((richTextStyle {styleBold = Just True, styleItalic = Just False, styleStrike = Just True, styleCode = Just True})), richTextLinkUnsafe = Just False})
pure (toJSON v0)
valid100 :: Result Value
valid100 = do
v0 <- buildRichTextText ((richTextText "Oh") {richTextTextStyle = Nothing})
v1 <- buildRichTextSection (richTextSection [richTextTextAsRichTextSectionElement v0])
v2 <- buildRichTextText ((richTextText "Hi") {richTextTextStyle = Nothing})
v3 <- buildRichTextSection (richTextSection [richTextTextAsRichTextSectionElement v2])
v4 <- buildRichTextText ((richTextText "Mark") {richTextTextStyle = Nothing})
v5 <- buildRichTextSection (richTextSection [richTextTextAsRichTextSectionElement v4])
v6 <- buildRichTextList ((richTextList RichTextListStyleBullet [v1, v3, v5]) {richTextListIndent = Just 0, richTextListOffset = Just 0, richTextListBorder = Just 1})
pure (toJSON v6)
valid101 :: Result Value
valid101 = do
v0 <- buildRichTextText ((richTextText "Oh") {richTextTextStyle = Nothing})
v1 <- buildRichTextSection (richTextSection [richTextTextAsRichTextSectionElement v0])
v2 <- buildRichTextText ((richTextText "Hi") {richTextTextStyle = Nothing})
v3 <- buildRichTextSection (richTextSection [richTextTextAsRichTextSectionElement v2])
v4 <- buildRichTextList ((richTextList RichTextListStyleOrdered [v1, v3]) {richTextListIndent = Just 1, richTextListOffset = Just 2, richTextListBorder = Just 1})
pure (toJSON v4)
valid102 :: Result Value
valid102 = do
v0 <- buildRichTextText ((richTextText "Great and good are seldom the same man") {richTextTextStyle = Nothing})
v1 <- buildRichTextQuote ((richTextQuote [richTextTextAsRichTextSectionElement v0]) {richTextQuoteBorder = Just 1})
pure (toJSON v1)
valid103 :: Result Value
valid103 = do
v0 <- buildRichTextText ((richTextText "The only true wisdom is in knowing you know nothing") {richTextTextStyle = Nothing})
v1 <- buildRichTextSection (richTextSection [richTextTextAsRichTextSectionElement v0])
pure (toJSON v1)
valid104 :: Result Value
valid104 = do
v0 <- buildRichTextUser ((richTextUser "DR36TNNLA") {richTextUserStyle = Just ((richTextStyle {styleBold = Just True, styleItalic = Just False, styleStrike = Just True, styleHighlight = Just True, styleClientHighlight = Just True, styleUnlink = Just False}))})
pure (toJSON v0)
valid105 :: Result Value
valid105 = do
v0 <- buildRichTextUserGroup ((richTextUserGroup "C01RGRU0RUK") {richTextUserGroupStyle = Just ((richTextStyle {styleBold = Just True, styleItalic = Just False, styleStrike = Just True, styleHighlight = Just True, styleClientHighlight = Just True, styleUnlink = Just False}))})
pure (toJSON v0)
valid106 :: Result Value
valid106 = do
v0 <- buildMarkdownText ((markdownText "Example Block") {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "fake_id"})
v2 <- buildHomeTabView ((homeTabView [sectionBlockAsBlock v1]) {homeTabViewPrivateMetadata = Nothing, homeTabViewCallbackId = Nothing, homeTabViewExternalId = Nothing})
pure (toJSON v2)
valid107 :: Result Value
valid107 = do
v0 <- buildPlainText ((plainText "Hello, world!") {plainTextEmoji = Nothing})
v1 <- buildMarkdownText ((markdownText "first section block") {markdownTextVerbatim = Nothing})
v2 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v1), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "1"})
v3 <- buildDividerBlock (dividerBlock {dividerBlockBlockId = Just "2"})
v4 <- buildMarkdownText ((markdownText "second section block") {markdownTextVerbatim = Nothing})
v5 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v4), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Just "3"})
v6 <- buildPlainText ((plainText "Close button") {plainTextEmoji = Nothing})
v7 <- buildPlainText ((plainText "Submit button") {plainTextEmoji = Nothing})
v8 <- buildModalView ((modalView v0 [sectionBlockAsBlock v2, dividerBlockAsBlock v3, sectionBlockAsBlock v5]) {modalViewClose = Just v6, modalViewSubmit = Just v7, modalViewPrivateMetadata = Nothing, modalViewCallbackId = Nothing, modalViewClearOnClose = Nothing, modalViewNotifyOnClose = Nothing, modalViewExternalId = Nothing, modalViewSubmitDisabled = Nothing})
pure (toJSON v8)
valid108 :: Result Value
valid108 = do
v0 <- buildPlainText ((plainText "Empty") {plainTextEmoji = Nothing})
v1 <- buildModalView ((modalView v0 []) {modalViewClose = Nothing, modalViewSubmit = Nothing, modalViewPrivateMetadata = Nothing, modalViewCallbackId = Nothing, modalViewClearOnClose = Nothing, modalViewNotifyOnClose = Nothing, modalViewExternalId = Nothing, modalViewSubmitDisabled = Nothing})
pure (toJSON v1)
valid109 :: Result Value
valid109 = do
v0 <- buildNumberInputElement ((numberInputElement True) {numberInputElementActionId = Just "bounds", numberInputElementInitialValue = Nothing, numberInputElementMinValue = Just "-1.5", numberInputElementMaxValue = Just "10.25", numberInputElementDispatchActionConfig = Nothing, numberInputElementFocusOnLoad = Nothing, numberInputElementPlaceholder = Nothing})
pure (toJSON v0)
valid110 :: Result Value
valid110 = do
v0 <- buildNumberInputElement ((numberInputElement True) {numberInputElementActionId = Nothing, numberInputElementInitialValue = Nothing, numberInputElementMinValue = Just "0.1000", numberInputElementMaxValue = Just "1e-1", numberInputElementDispatchActionConfig = Nothing, numberInputElementFocusOnLoad = Nothing, numberInputElementPlaceholder = Nothing})
pure (toJSON v0)
valid111 :: Result Value
valid111 = do
v0 <- buildNumberInputElement ((numberInputElement True) {numberInputElementActionId = Nothing, numberInputElementInitialValue = Nothing, numberInputElementMinValue = Just "1e309", numberInputElementMaxValue = Just "2e309", numberInputElementDispatchActionConfig = Nothing, numberInputElementFocusOnLoad = Nothing, numberInputElementPlaceholder = Nothing})
pure (toJSON v0)
valid112 :: Result Value
valid112 = do
v0 <- buildChartSegment (chartSegment "A" 1)
v1 <- buildPieChart (pieChart [v0])
v2 <- buildDataVisualizationBlock ((dataVisualizationBlock "Chart" (pieChartAsChart v1)) {dataVisualizationBlockBlockId = Just "chart_0"})
v3 <- buildDataVisualizationBlock ((dataVisualizationBlock "Chart" (pieChartAsChart v1)) {dataVisualizationBlockBlockId = Just "chart_1"})
v4 <- buildMessagePayload ((messagePayload "C123") {messagePayloadBlocks = Just [dataVisualizationBlockAsBlock v2, dataVisualizationBlockAsBlock v3], messagePayloadAttachments = Nothing, messagePayloadText = Just "", messagePayloadMrkdwn = Just True, messagePayloadUnfurlLinks = Nothing, messagePayloadUnfurlMedia = Nothing, messagePayloadMetadata = Nothing})
pure (toJSON v4)
validCases :: [(String, Result Value, Value -> Result Value)]
validCases =
[ ("attachments/attachment_multi_block", valid0, \value -> toJSON <$> (fromValue value :: Result Attachment)),
("attachments/attachment_simple", valid1, \value -> toJSON <$> (fromValue value :: Result Attachment)),
("blocks/actions_block_checkboxes", valid2, \value -> toJSON <$> (fromValue value :: Result ActionsBlock)),
("blocks/alert_block", valid3, \value -> toJSON <$> (fromValue value :: Result AlertBlock)),
("blocks/card_block", valid4, \value -> toJSON <$> (fromValue value :: Result CardBlock)),
("blocks/carousel_block", valid5, \value -> toJSON <$> (fromValue value :: Result CarouselBlock)),
("blocks/container_block", valid6, \value -> toJSON <$> (fromValue value :: Result ContainerBlock)),
("blocks/context_actions_feedback_buttons", valid7, \value -> toJSON <$> (fromValue value :: Result ContextActionsBlock)),
("blocks/context_actions_icon_button", valid8, \value -> toJSON <$> (fromValue value :: Result ContextActionsBlock)),
("blocks/context_block_text_only", valid9, \value -> toJSON <$> (fromValue value :: Result ContextBlock)),
("blocks/data_table_block", valid10, \value -> toJSON <$> (fromValue value :: Result DataTableBlock)),
("blocks/data_visualization_area", valid11, \value -> toJSON <$> (fromValue value :: Result DataVisualizationBlock)),
("blocks/data_visualization_bar", valid12, \value -> toJSON <$> (fromValue value :: Result DataVisualizationBlock)),
("blocks/data_visualization_line", valid13, \value -> toJSON <$> (fromValue value :: Result DataVisualizationBlock)),
("blocks/data_visualization_pie", valid14, \value -> toJSON <$> (fromValue value :: Result DataVisualizationBlock)),
("blocks/divider_block_only", valid15, \value -> toJSON <$> (fromValue value :: Result DividerBlock)),
("blocks/file_block_only", valid16, \value -> toJSON <$> (fromValue value :: Result FileBlock)),
("blocks/header_block_emoji_at_limit", valid17, \value -> toJSON <$> (fromValue value :: Result HeaderBlock)),
("blocks/header_block_only", valid18, \value -> toJSON <$> (fromValue value :: Result HeaderBlock)),
("blocks/header_block_text_at_limit", valid19, \value -> toJSON <$> (fromValue value :: Result HeaderBlock)),
("blocks/image_block_only", valid20, \value -> toJSON <$> (fromValue value :: Result ImageBlock)),
("blocks/image_block_slack_file", valid21, \value -> toJSON <$> (fromValue value :: Result ImageBlock)),
("blocks/input_block_only", valid22, \value -> toJSON <$> (fromValue value :: Result InputBlock)),
("blocks/markdown_block_basic", valid23, \value -> toJSON <$> (fromValue value :: Result MarkdownBlock)),
("blocks/markdown_empty", valid24, \value -> toJSON <$> (fromValue value :: Result MarkdownBlock)),
("blocks/plan_block", valid25, \value -> toJSON <$> (fromValue value :: Result PlanBlock)),
("blocks/rich_text_block_basic", valid26, \value -> toJSON <$> (fromValue value :: Result RichTextBlock)),
("blocks/section_block_both_text_and_fields", valid27, \value -> toJSON <$> (fromValue value :: Result SectionBlock)),
("blocks/section_block_empty_text_field_value", valid28, \value -> toJSON <$> (fromValue value :: Result SectionBlock)),
("blocks/section_block_fields", valid29, \value -> toJSON <$> (fromValue value :: Result SectionBlock)),
("blocks/section_block_single_field_value_coercion", valid30, \value -> toJSON <$> (fromValue value :: Result SectionBlock)),
("blocks/section_block_text_only", valid31, \value -> toJSON <$> (fromValue value :: Result SectionBlock)),
("blocks/table_block", valid32, \value -> toJSON <$> (fromValue value :: Result TableBlock)),
("blocks/table_ragged_rows", valid33, \value -> toJSON <$> (fromValue value :: Result TableBlock)),
("blocks/task_card_block", valid34, \value -> toJSON <$> (fromValue value :: Result TaskCardBlock)),
("blocks/video_block_basic", valid35, \value -> toJSON <$> (fromValue value :: Result VideoBlock)),
("blocks/video_block_full", valid36, \value -> toJSON <$> (fromValue value :: Result VideoBlock)),
("elements/button_agent_prompt", valid37, \value -> toJSON <$> (fromValue value :: Result ButtonElement)),
("elements/button_agent_prompt_at_limit", valid38, \value -> toJSON <$> (fromValue value :: Result ButtonElement)),
("elements/button_agent_prompt_display", valid39, \value -> toJSON <$> (fromValue value :: Result ButtonElement)),
("elements/button_agent_prompt_empty", valid40, \value -> toJSON <$> (fromValue value :: Result ButtonElement)),
("elements/button_basic", valid41, \value -> toJSON <$> (fromValue value :: Result ButtonElement)),
("elements/button_without_action_id", valid42, \value -> toJSON <$> (fromValue value :: Result ButtonElement)),
("elements/button_link", valid43, \value -> toJSON <$> (fromValue value :: Result ButtonElement)),
("elements/button_style", valid44, \value -> toJSON <$> (fromValue value :: Result ButtonElement)),
("elements/button_text_at_limit", valid45, \value -> toJSON <$> (fromValue value :: Result ButtonElement)),
("elements/checkbox_basic", valid46, \value -> toJSON <$> (fromValue value :: Result CheckboxesElement)),
("elements/date_picker_basic", valid47, \value -> toJSON <$> (fromValue value :: Result DatePickerElement)),
("elements/datetime_picker_basic", valid48, \value -> toJSON <$> (fromValue value :: Result DateTimePickerElement)),
("elements/email_input_basic", valid49, \value -> toJSON <$> (fromValue value :: Result EmailInputElement)),
("elements/file_input_basic", valid50, \value -> toJSON <$> (fromValue value :: Result FileInputElement)),
("elements/image_basic", valid51, \value -> toJSON <$> (fromValue value :: Result ImageElement)),
("elements/image_slack_file_id", valid52, \value -> toJSON <$> (fromValue value :: Result ImageElement)),
("elements/image_slack_file_url", valid53, \value -> toJSON <$> (fromValue value :: Result ImageElement)),
("elements/multi_select_channel", valid54, \value -> toJSON <$> (fromValue value :: Result ChannelMultiSelectElement)),
("elements/multi_select_conversation", valid55, \value -> toJSON <$> (fromValue value :: Result ConversationMultiSelectElement)),
("elements/multi_select_external", valid56, \value -> toJSON <$> (fromValue value :: Result ExternalMultiSelectElement)),
("elements/multi_select_static", valid57, \value -> toJSON <$> (fromValue value :: Result StaticMultiSelectElement)),
("elements/multi_select_user", valid58, \value -> toJSON <$> (fromValue value :: Result UserMultiSelectElement)),
("elements/multi_select_user_with_initial_users", valid59, \value -> toJSON <$> (fromValue value :: Result UserMultiSelectElement)),
("elements/number_input_basic", valid60, \value -> toJSON <$> (fromValue value :: Result NumberInputElement)),
("elements/overflow_menu_basic", valid61, \value -> toJSON <$> (fromValue value :: Result OverflowElement)),
("elements/plaintext_input_basic", valid62, \value -> toJSON <$> (fromValue value :: Result PlainTextInputElement)),
("elements/radio_button_group_basic", valid63, \value -> toJSON <$> (fromValue value :: Result RadioButtonsElement)),
("elements/rich_text_input_basic", valid64, \value -> toJSON <$> (fromValue value :: Result RichTextInputElement)),
("elements/select_menu_channel", valid65, \value -> toJSON <$> (fromValue value :: Result ChannelSelectElement)),
("elements/select_menu_conversation", valid66, \value -> toJSON <$> (fromValue value :: Result ConversationSelectElement)),
("elements/select_menu_external", valid67, \value -> toJSON <$> (fromValue value :: Result ExternalSelectElement)),
("elements/select_menu_static", valid68, \value -> toJSON <$> (fromValue value :: Result StaticSelectElement)),
("elements/select_menu_user", valid69, \value -> toJSON <$> (fromValue value :: Result UserSelectElement)),
("elements/timepicker_basic", valid70, \value -> toJSON <$> (fromValue value :: Result TimePickerElement)),
("elements/url_input_basic", valid71, \value -> toJSON <$> (fromValue value :: Result UrlInputElement)),
("elements/url_source_basic", valid72, \value -> toJSON <$> (fromValue value :: Result UrlSource)),
("elements/workflow_button_basic", valid73, \value -> toJSON <$> (fromValue value :: Result WorkflowButtonElement)),
("messages/message_basic", valid74, \value -> toJSON <$> (fromValue value :: Result MessagePayload)),
("messages/message_basic_attachment", valid75, \value -> toJSON <$> (fromValue value :: Result MessagePayload)),
("messages/message_compound", valid76, \value -> toJSON <$> (fromValue value :: Result MessagePayload)),
("messages/message_response", valid77, \value -> toJSON <$> (fromValue value :: Result MessageResponse)),
("messages/message_with_attachments", valid78, \value -> toJSON <$> (fromValue value :: Result MessagePayload)),
("messages/message_with_optional_arguments", valid79, \value -> toJSON <$> (fromValue value :: Result MessagePayload)),
("messages/webhook_message_basic", valid80, \value -> toJSON <$> (fromValue value :: Result WebhookMessage)),
("messages/webhook_message_delete", valid81, \value -> toJSON <$> (fromValue value :: Result WebhookMessage)),
("objects/confirmation_dialogue_basic", valid82, \value -> toJSON <$> (fromValue value :: Result ConfirmationDialogue)),
("objects/conversation_filter_basic", valid83, \value -> toJSON <$> (fromValue value :: Result ConversationFilter)),
("objects/dispatch_action_configuration_basic", valid84, \value -> toJSON <$> (fromValue value :: Result DispatchActionConfiguration)),
("objects/input_parameter_basic", valid85, \value -> toJSON <$> (fromValue value :: Result InputParameter)),
("objects/option_basic", valid86, \value -> toJSON <$> (fromValue value :: Result SelectOption)),
("objects/option_group_basic", valid87, \value -> toJSON <$> (fromValue value :: Result SelectOptionGroup)),
("objects/option_value_at_limit", valid88, \value -> toJSON <$> (fromValue value :: Result SelectOption)),
("objects/text_markdown_basic", valid89, \value -> toJSON <$> (fromValue value :: Result MarkdownText)),
("objects/text_markdown_verbatim", valid90, \value -> toJSON <$> (fromValue value :: Result MarkdownText)),
("objects/text_plaintext_basic", valid91, \value -> toJSON <$> (fromValue value :: Result PlainText)),
("objects/text_plaintext_emoji", valid92, \value -> toJSON <$> (fromValue value :: Result PlainText)),
("objects/trigger_basic", valid93, \value -> toJSON <$> (fromValue value :: Result Trigger)),
("objects/workflow_basic", valid94, \value -> toJSON <$> (fromValue value :: Result Workflow)),
("rich_text/rich_text_basic", valid95, \value -> toJSON <$> (fromValue value :: Result RichTextText)),
("rich_text/rich_text_channel_basic", valid96, \value -> toJSON <$> (fromValue value :: Result RichTextChannel)),
("rich_text/rich_text_code_block_basic", valid97, \value -> toJSON <$> (fromValue value :: Result RichTextCodeBlock)),
("rich_text/rich_text_emoji_basic", valid98, \value -> toJSON <$> (fromValue value :: Result RichTextEmoji)),
("rich_text/rich_text_link_basic", valid99, \value -> toJSON <$> (fromValue value :: Result RichTextLink)),
("rich_text/rich_text_list_basic", valid100, \value -> toJSON <$> (fromValue value :: Result RichTextList)),
("rich_text/rich_text_list_ordered", valid101, \value -> toJSON <$> (fromValue value :: Result RichTextList)),
("rich_text/rich_text_quote_basic", valid102, \value -> toJSON <$> (fromValue value :: Result RichTextQuote)),
("rich_text/rich_text_section_basic", valid103, \value -> toJSON <$> (fromValue value :: Result RichTextSection)),
("rich_text/rich_text_user_basic", valid104, \value -> toJSON <$> (fromValue value :: Result RichTextUser)),
("rich_text/rich_text_user_group_basic", valid105, \value -> toJSON <$> (fromValue value :: Result RichTextUserGroup)),
("views/hometab_view", valid106, \value -> toJSON <$> (fromValue value :: Result HomeTabView)),
("views/modal_with_blocks", valid107, \value -> toJSON <$> (fromValue value :: Result ModalView)),
("views/modal_without_blocks", valid108, \value -> toJSON <$> (fromValue value :: Result ModalView)),
("elements/number_input_bounds", valid109, \value -> toJSON <$> (fromValue value :: Result NumberInputElement)),
("elements/number_input_scientific_bounds", valid110, \value -> toJSON <$> (fromValue value :: Result NumberInputElement)),
("elements/number_input_large_exponent", valid111, \value -> toJSON <$> (fromValue value :: Result NumberInputElement)),
("messages/message_two_charts", valid112, \value -> toJSON <$> (fromValue value :: Result MessagePayload))
]
invalid0 :: Result ()
invalid0 = do
v0 <- buildExternalSelectElement (externalSelectElement {externalSelectElementActionId = Nothing, externalSelectElementMinQueryLength = Just (-1), externalSelectElementInitialOption = Nothing, externalSelectElementConfirm = Nothing, externalSelectElementFocusOnLoad = Nothing, externalSelectElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid1 :: Result ()
invalid1 = do
v0 <- buildExternalMultiSelectElement (externalMultiSelectElement {externalMultiSelectElementActionId = Nothing, externalMultiSelectElementMinQueryLength = Just (-1), externalMultiSelectElementInitialOptions = Nothing, externalMultiSelectElementConfirm = Nothing, externalMultiSelectElementMaxSelectedItems = Nothing, externalMultiSelectElementFocusOnLoad = Nothing, externalMultiSelectElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid2 :: Result ()
invalid2 = do
v0 <- buildDatePickerElement (datePickerElement {datePickerElementActionId = Nothing, datePickerElementInitialDate = Just "February 29, 2028", datePickerElementConfirm = Nothing, datePickerElementFocusOnLoad = Nothing, datePickerElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid3 :: Result ()
invalid3 = do
v0 <- buildTimePickerElement (timePickerElement {timePickerElementActionId = Nothing, timePickerElementInitialTime = Just "9:00", timePickerElementTimezone = Nothing, timePickerElementConfirm = Nothing, timePickerElementFocusOnLoad = Nothing, timePickerElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid4 :: Result ()
invalid4 = do
v0 <- buildTimePickerElement (timePickerElement {timePickerElementActionId = Nothing, timePickerElementInitialTime = Just "25:99", timePickerElementTimezone = Nothing, timePickerElementConfirm = Nothing, timePickerElementFocusOnLoad = Nothing, timePickerElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid5 :: Result ()
invalid5 = do
v0 <- buildStaticSelectElement (staticSelectElement {staticSelectElementActionId = Nothing, staticSelectElementOptions = Just [], staticSelectElementOptionGroups = Nothing, staticSelectElementInitialOption = Nothing, staticSelectElementConfirm = Nothing, staticSelectElementFocusOnLoad = Nothing, staticSelectElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid6 :: Result ()
invalid6 = do
v0 <- buildStaticMultiSelectElement (staticMultiSelectElement {staticMultiSelectElementActionId = Nothing, staticMultiSelectElementOptions = Just [], staticMultiSelectElementOptionGroups = Nothing, staticMultiSelectElementInitialOptions = Nothing, staticMultiSelectElementConfirm = Nothing, staticMultiSelectElementMaxSelectedItems = Nothing, staticMultiSelectElementFocusOnLoad = Nothing, staticMultiSelectElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid7 :: Result ()
invalid7 = do
v0 <- buildStaticSelectElement (staticSelectElement {staticSelectElementActionId = Nothing, staticSelectElementOptions = Nothing, staticSelectElementOptionGroups = Just [], staticSelectElementInitialOption = Nothing, staticSelectElementConfirm = Nothing, staticSelectElementFocusOnLoad = Nothing, staticSelectElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid8 :: Result ()
invalid8 = do
v0 <- buildStaticMultiSelectElement (staticMultiSelectElement {staticMultiSelectElementActionId = Nothing, staticMultiSelectElementOptions = Nothing, staticMultiSelectElementOptionGroups = Just [], staticMultiSelectElementInitialOptions = Nothing, staticMultiSelectElementConfirm = Nothing, staticMultiSelectElementMaxSelectedItems = Nothing, staticMultiSelectElementFocusOnLoad = Nothing, staticMultiSelectElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid9 :: Result ()
invalid9 = do
v0 <- buildPlainText ((plainText "") {plainTextEmoji = Nothing})
v0 `seq` pure ()
invalid10 :: Result ()
invalid10 = do
v0 <- buildPlainText ((plainText (T.replicate 3001 "x")) {plainTextEmoji = Nothing})
v0 `seq` pure ()
invalid11 :: Result ()
invalid11 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Nothing, buttonElementUrl = Nothing, buttonElementValue = Nothing, buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Just (T.replicate 4001 "😀"), buttonElementAgentPromptDisplay = Nothing})
v1 `seq` pure ()
invalid12 :: Result ()
invalid12 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Nothing, buttonElementUrl = Nothing, buttonElementValue = Nothing, buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Nothing, buttonElementAgentPromptDisplay = Just ""})
v1 `seq` pure ()
invalid13 :: Result ()
invalid13 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Just (T.replicate 256 "x"), buttonElementUrl = Nothing, buttonElementValue = Nothing, buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Nothing, buttonElementAgentPromptDisplay = Nothing})
v1 `seq` pure ()
invalid14 :: Result ()
invalid14 = do
v0 <- buildPlainText ((plainText (T.replicate 76 "x")) {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Just "a", buttonElementUrl = Nothing, buttonElementValue = Nothing, buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Nothing, buttonElementAgentPromptDisplay = Nothing})
v1 `seq` pure ()
invalid15 :: Result ()
invalid15 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Just "a", buttonElementUrl = Just (T.replicate 3001 "x"), buttonElementValue = Nothing, buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Nothing, buttonElementAgentPromptDisplay = Nothing})
v1 `seq` pure ()
invalid16 :: Result ()
invalid16 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Just "a", buttonElementUrl = Nothing, buttonElementValue = Just (T.replicate 2001 "x"), buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Nothing, buttonElementAgentPromptDisplay = Nothing})
v1 `seq` pure ()
invalid17 :: Result ()
invalid17 = do
v0 <- buildPlainText ((plainText (T.replicate 101 "x")) {plainTextEmoji = Nothing})
v1 <- buildMarkdownText ((markdownText "Text") {markdownTextVerbatim = Nothing})
v2 <- buildPlainText ((plainText "Yes") {plainTextEmoji = Nothing})
v3 <- buildPlainText ((plainText "No") {plainTextEmoji = Nothing})
v4 <- buildConfirmationDialogue ((confirmationDialogue v0 (markdownTextAsText v1) v2 v3) {confirmationDialogueStyle = Nothing})
v4 `seq` pure ()
invalid18 :: Result ()
invalid18 = do
v0 <- buildPlainText ((plainText "Title") {plainTextEmoji = Nothing})
v1 <- buildMarkdownText ((markdownText (T.replicate 301 "x")) {markdownTextVerbatim = Nothing})
v2 <- buildPlainText ((plainText "Yes") {plainTextEmoji = Nothing})
v3 <- buildPlainText ((plainText "No") {plainTextEmoji = Nothing})
v4 <- buildConfirmationDialogue ((confirmationDialogue v0 (markdownTextAsText v1) v2 v3) {confirmationDialogueStyle = Nothing})
v4 `seq` pure ()
invalid19 :: Result ()
invalid19 = do
v0 <- buildPlainText ((plainText "Title") {plainTextEmoji = Nothing})
v1 <- buildMarkdownText ((markdownText "Text") {markdownTextVerbatim = Nothing})
v2 <- buildPlainText ((plainText (T.replicate 31 "x")) {plainTextEmoji = Nothing})
v3 <- buildPlainText ((plainText "No") {plainTextEmoji = Nothing})
v4 <- buildConfirmationDialogue ((confirmationDialogue v0 (markdownTextAsText v1) v2 v3) {confirmationDialogueStyle = Nothing})
v4 `seq` pure ()
invalid20 :: Result ()
invalid20 = do
v0 <- buildPlainText ((plainText "Title") {plainTextEmoji = Nothing})
v1 <- buildMarkdownText ((markdownText "Text") {markdownTextVerbatim = Nothing})
v2 <- buildPlainText ((plainText "Yes") {plainTextEmoji = Nothing})
v3 <- buildPlainText ((plainText (T.replicate 31 "x")) {plainTextEmoji = Nothing})
v4 <- buildConfirmationDialogue ((confirmationDialogue v0 (markdownTextAsText v1) v2 v3) {confirmationDialogueStyle = Nothing})
v4 `seq` pure ()
invalid21 :: Result ()
invalid21 = do
v0 <- buildPlainText ((plainText (T.replicate 76 "x")) {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) "a") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v1 `seq` pure ()
invalid22 :: Result ()
invalid22 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) (T.replicate 151 "x")) {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v1 `seq` pure ()
invalid23 :: Result ()
invalid23 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) "a") {selectOptionDescription = Nothing, selectOptionUrl = Just (T.replicate 3001 "🙂")})
v1 `seq` pure ()
invalid24 :: Result ()
invalid24 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildPlainText ((plainText (T.replicate 76 "x")) {plainTextEmoji = Nothing})
v2 <- buildSelectOption ((selectOption (plainTextAsText v0) "a") {selectOptionDescription = Just (plainTextAsText v1), selectOptionUrl = Nothing})
v2 `seq` pure ()
invalid25 :: Result ()
invalid25 = do
v0 <- buildPlainText ((plainText (T.replicate 76 "x")) {plainTextEmoji = Nothing})
v1 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v2 <- buildSelectOption ((selectOption (plainTextAsText v1) "a") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v3 <- buildSelectOptionGroup (selectOptionGroup v0 [v2])
v3 `seq` pure ()
invalid26 :: Result ()
invalid26 = do
v0 <- buildPlainText ((plainText "Group") {plainTextEmoji = Nothing})
v1 <- buildSelectOptionGroup (selectOptionGroup v0 [])
v1 `seq` pure ()
invalid27 :: Result ()
invalid27 = do
v0 <- buildPlainText ((plainText "Group") {plainTextEmoji = Nothing})
v1 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v2 <- buildSelectOption ((selectOption (plainTextAsText v1) "a") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v3 <- buildSelectOptionGroup (selectOptionGroup v0 (replicate 101 v2))
v3 `seq` pure ()
invalid28 :: Result ()
invalid28 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) "a") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v2 <- buildPlainText ((plainText (T.replicate 151 "x")) {plainTextEmoji = Nothing})
v3 <- buildStaticSelectElement (staticSelectElement {staticSelectElementActionId = Just "a", staticSelectElementOptions = Just [v1], staticSelectElementOptionGroups = Nothing, staticSelectElementInitialOption = Nothing, staticSelectElementConfirm = Nothing, staticSelectElementFocusOnLoad = Nothing, staticSelectElementPlaceholder = Just v2})
v3 `seq` pure ()
invalid29 :: Result ()
invalid29 = do
v0 <- buildPlainText ((plainText (T.replicate 151 "x")) {plainTextEmoji = Nothing})
v1 <- buildPlainTextInputElement (plainTextInputElement {plainTextInputElementActionId = Just "a", plainTextInputElementInitialValue = Nothing, plainTextInputElementMultiline = Nothing, plainTextInputElementMinLength = Nothing, plainTextInputElementMaxLength = Nothing, plainTextInputElementDispatchActionConfig = Nothing, plainTextInputElementFocusOnLoad = Nothing, plainTextInputElementPlaceholder = Just v0})
v1 `seq` pure ()
invalid30 :: Result ()
invalid30 = do
v0 <- buildPlainText ((plainText (T.replicate 151 "x")) {plainTextEmoji = Nothing})
v1 <- buildEmailInputElement (emailInputElement {emailInputElementActionId = Just "a", emailInputElementInitialValue = Nothing, emailInputElementDispatchActionConfig = Nothing, emailInputElementFocusOnLoad = Nothing, emailInputElementPlaceholder = Just v0})
v1 `seq` pure ()
invalid31 :: Result ()
invalid31 = do
v0 <- buildPlainText ((plainText (T.replicate 151 "x")) {plainTextEmoji = Nothing})
v1 <- buildUrlInputElement (urlInputElement {urlInputElementActionId = Just "a", urlInputElementInitialValue = Nothing, urlInputElementDispatchActionConfig = Nothing, urlInputElementFocusOnLoad = Nothing, urlInputElementPlaceholder = Just v0})
v1 `seq` pure ()
invalid32 :: Result ()
invalid32 = do
v0 <- buildPlainText ((plainText (T.replicate 151 "x")) {plainTextEmoji = Nothing})
v1 <- buildNumberInputElement ((numberInputElement False) {numberInputElementActionId = Just "a", numberInputElementInitialValue = Nothing, numberInputElementMinValue = Nothing, numberInputElementMaxValue = Nothing, numberInputElementDispatchActionConfig = Nothing, numberInputElementFocusOnLoad = Nothing, numberInputElementPlaceholder = Just v0})
v1 `seq` pure ()
invalid33 :: Result ()
invalid33 = do
v0 <- buildPlainText ((plainText (T.replicate 151 "x")) {plainTextEmoji = Nothing})
v1 <- buildDatePickerElement (datePickerElement {datePickerElementActionId = Just "a", datePickerElementInitialDate = Nothing, datePickerElementConfirm = Nothing, datePickerElementFocusOnLoad = Nothing, datePickerElementPlaceholder = Just v0})
v1 `seq` pure ()
invalid34 :: Result ()
invalid34 = do
v0 <- buildPlainText ((plainText (T.replicate 151 "x")) {plainTextEmoji = Nothing})
v1 <- buildTimePickerElement (timePickerElement {timePickerElementActionId = Just "a", timePickerElementInitialTime = Nothing, timePickerElementTimezone = Nothing, timePickerElementConfirm = Nothing, timePickerElementFocusOnLoad = Nothing, timePickerElementPlaceholder = Just v0})
v1 `seq` pure ()
invalid35 :: Result ()
invalid35 = do
v0 <- buildPlainText ((plainText (T.replicate 151 "x")) {plainTextEmoji = Nothing})
v1 <- buildRichTextInputElement ((richTextInputElement "a") {richTextInputElementInitialValue = Nothing, richTextInputElementDispatchActionConfig = Nothing, richTextInputElementFocusOnLoad = Nothing, richTextInputElementPlaceholder = Just v0, richTextInputElementMinLines = Nothing, richTextInputElementMaxLines = Nothing})
v1 `seq` pure ()
invalid36 :: Result ()
invalid36 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) "a") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v2 <- buildStaticSelectElement (staticSelectElement {staticSelectElementActionId = Just "a", staticSelectElementOptions = Just (replicate 101 v1), staticSelectElementOptionGroups = Nothing, staticSelectElementInitialOption = Nothing, staticSelectElementConfirm = Nothing, staticSelectElementFocusOnLoad = Nothing, staticSelectElementPlaceholder = Nothing})
v2 `seq` pure ()
invalid37 :: Result ()
invalid37 = do
v0 <- buildPlainText ((plainText "Group") {plainTextEmoji = Nothing})
v1 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v2 <- buildSelectOption ((selectOption (plainTextAsText v1) "a") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v3 <- buildSelectOptionGroup (selectOptionGroup v0 [v2])
v4 <- buildStaticSelectElement (staticSelectElement {staticSelectElementActionId = Just "a", staticSelectElementOptions = Nothing, staticSelectElementOptionGroups = Just (replicate 101 v3), staticSelectElementInitialOption = Nothing, staticSelectElementConfirm = Nothing, staticSelectElementFocusOnLoad = Nothing, staticSelectElementPlaceholder = Nothing})
v4 `seq` pure ()
invalid38 :: Result ()
invalid38 = do
v0 <- buildOverflowElement ((overflowElement []) {overflowElementActionId = Just "a", overflowElementConfirm = Nothing})
v0 `seq` pure ()
invalid39 :: Result ()
invalid39 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) "a") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v2 <- buildOverflowElement ((overflowElement (replicate 6 v1)) {overflowElementActionId = Just "a", overflowElementConfirm = Nothing})
v2 `seq` pure ()
invalid40 :: Result ()
invalid40 = do
v0 <- buildCheckboxesElement ((checkboxesElement []) {checkboxesElementActionId = Just "a", checkboxesElementInitialOptions = Nothing, checkboxesElementConfirm = Nothing, checkboxesElementFocusOnLoad = Nothing})
v0 `seq` pure ()
invalid41 :: Result ()
invalid41 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) "a") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v2 <- buildCheckboxesElement ((checkboxesElement (replicate 11 v1)) {checkboxesElementActionId = Just "a", checkboxesElementInitialOptions = Nothing, checkboxesElementConfirm = Nothing, checkboxesElementFocusOnLoad = Nothing})
v2 `seq` pure ()
invalid42 :: Result ()
invalid42 = do
v0 <- buildRadioButtonsElement ((radioButtonsElement []) {radioButtonsElementActionId = Just "a", radioButtonsElementInitialOption = Nothing, radioButtonsElementConfirm = Nothing, radioButtonsElementFocusOnLoad = Nothing})
v0 `seq` pure ()
invalid43 :: Result ()
invalid43 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) "a") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v2 <- buildRadioButtonsElement ((radioButtonsElement (replicate 11 v1)) {radioButtonsElementActionId = Just "a", radioButtonsElementInitialOption = Nothing, radioButtonsElementConfirm = Nothing, radioButtonsElementFocusOnLoad = Nothing})
v2 `seq` pure ()
invalid44 :: Result ()
invalid44 = do
v0 <- buildRawText (rawText "A")
v1 <- buildTableBlock ((tableBlock [[rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0], [rawTextAsTableCell v0]]) {tableBlockColumnSettings = Nothing, tableBlockBlockId = Nothing})
v1 `seq` pure ()
invalid45 :: Result ()
invalid45 = do
v0 <- buildRawText (rawText "A")
v1 <- buildTableBlock ((tableBlock [[rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0, rawTextAsTableCell v0]]) {tableBlockColumnSettings = Nothing, tableBlockBlockId = Nothing})
v1 `seq` pure ()
invalid46 :: Result ()
invalid46 = do
v0 <- buildFileInputElement (fileInputElement {fileInputElementActionId = Just "a", fileInputElementFiletypes = Nothing, fileInputElementMaxFiles = Just 0})
v0 `seq` pure ()
invalid47 :: Result ()
invalid47 = do
v0 <- buildFileInputElement (fileInputElement {fileInputElementActionId = Just "a", fileInputElementFiletypes = Nothing, fileInputElementMaxFiles = Just 11})
v0 `seq` pure ()
invalid48 :: Result ()
invalid48 = do
v0 <- buildDispatchActionConfiguration (dispatchActionConfiguration {dispatchActionConfigurationTriggerActionsOn = Just []})
v0 `seq` pure ()
invalid49 :: Result ()
invalid49 = do
v0 <- buildDispatchActionConfiguration (dispatchActionConfiguration {dispatchActionConfigurationTriggerActionsOn = Nothing})
v0 `seq` pure ()
invalid50 :: Result ()
invalid50 = do
v0 <- buildDispatchActionConfiguration (dispatchActionConfiguration {dispatchActionConfigurationTriggerActionsOn = Just ["on_enter_pressed", "on_character_entered", "on_enter_pressed"]})
v0 `seq` pure ()
invalid51 :: Result ()
invalid51 = do
v0 <- buildPlainTextInputElement (plainTextInputElement {plainTextInputElementActionId = Just "a", plainTextInputElementInitialValue = Nothing, plainTextInputElementMultiline = Nothing, plainTextInputElementMinLength = Nothing, plainTextInputElementMaxLength = Just 3001, plainTextInputElementDispatchActionConfig = Nothing, plainTextInputElementFocusOnLoad = Nothing, plainTextInputElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid52 :: Result ()
invalid52 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Just "a", buttonElementUrl = Nothing, buttonElementValue = Nothing, buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Nothing, buttonElementAgentPromptDisplay = Nothing})
v2 <- buildActionsBlock ((actionsBlock (replicate 26 (buttonElementAsElement v1))) {actionsBlockBlockId = Nothing})
v2 `seq` pure ()
invalid53 :: Result ()
invalid53 = do
v0 <- buildMarkdownText ((markdownText "A") {markdownTextVerbatim = Nothing})
v1 <- buildContextBlock ((contextBlock (replicate 11 (markdownTextAsContextElement v0))) {contextBlockBlockId = Nothing})
v1 `seq` pure ()
invalid54 :: Result ()
invalid54 = do
v0 <- buildPlainText ((plainText (T.replicate 151 "x")) {plainTextEmoji = Nothing})
v1 <- buildHeaderBlock ((headerBlock v0) {headerBlockBlockId = Nothing})
v1 `seq` pure ()
invalid55 :: Result ()
invalid55 = do
v0 <- buildImageBlock ((imageBlock "Alt") {imageBlockImageUrl = Just (T.replicate 3001 "x"), imageBlockSlackFile = Nothing, imageBlockTitle = Nothing, imageBlockBlockId = Nothing})
v0 `seq` pure ()
invalid56 :: Result ()
invalid56 = do
v0 <- buildImageBlock ((imageBlock (T.replicate 2001 "x")) {imageBlockImageUrl = Just "https://example.com/image.png", imageBlockSlackFile = Nothing, imageBlockTitle = Nothing, imageBlockBlockId = Nothing})
v0 `seq` pure ()
invalid57 :: Result ()
invalid57 = do
v0 <- buildPlainText ((plainText (T.replicate 2001 "x")) {plainTextEmoji = Nothing})
v1 <- buildPlainTextInputElement (plainTextInputElement {plainTextInputElementActionId = Just "a", plainTextInputElementInitialValue = Nothing, plainTextInputElementMultiline = Nothing, plainTextInputElementMinLength = Nothing, plainTextInputElementMaxLength = Nothing, plainTextInputElementDispatchActionConfig = Nothing, plainTextInputElementFocusOnLoad = Nothing, plainTextInputElementPlaceholder = Nothing})
v2 <- buildInputBlock ((inputBlock v0 (plainTextInputElementAsInputElement v1)) {inputBlockDispatchAction = Nothing, inputBlockBlockId = Nothing, inputBlockHint = Nothing, inputBlockOptional = Nothing})
v2 `seq` pure ()
invalid58 :: Result ()
invalid58 = do
v0 <- buildPlainText ((plainText "Label") {plainTextEmoji = Nothing})
v1 <- buildPlainTextInputElement (plainTextInputElement {plainTextInputElementActionId = Just "a", plainTextInputElementInitialValue = Nothing, plainTextInputElementMultiline = Nothing, plainTextInputElementMinLength = Nothing, plainTextInputElementMaxLength = Nothing, plainTextInputElementDispatchActionConfig = Nothing, plainTextInputElementFocusOnLoad = Nothing, plainTextInputElementPlaceholder = Nothing})
v2 <- buildPlainText ((plainText (T.replicate 2001 "x")) {plainTextEmoji = Nothing})
v3 <- buildInputBlock ((inputBlock v0 (plainTextInputElementAsInputElement v1)) {inputBlockDispatchAction = Nothing, inputBlockBlockId = Nothing, inputBlockHint = Just v2, inputBlockOptional = Nothing})
v3 `seq` pure ()
invalid59 :: Result ()
invalid59 = do
v0 <- buildMarkdownBlock ((markdownBlock (T.replicate 12001 "x")) {markdownBlockBlockId = Nothing})
v0 `seq` pure ()
invalid60 :: Result ()
invalid60 = do
v0 <- buildMarkdownText ((markdownText (T.replicate 3001 "x")) {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Just (markdownTextAsText v0), sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Nothing})
v1 `seq` pure ()
invalid61 :: Result ()
invalid61 = do
v0 <- buildMarkdownText ((markdownText "x") {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Nothing, sectionBlockFields = Just (replicate 11 (markdownTextAsText v0)), sectionBlockAccessory = Nothing, sectionBlockBlockId = Nothing})
v1 `seq` pure ()
invalid62 :: Result ()
invalid62 = do
v0 <- buildMarkdownText ((markdownText (T.replicate 2001 "x")) {markdownTextVerbatim = Nothing})
v1 <- buildSectionBlock (sectionBlock {sectionBlockText = Nothing, sectionBlockFields = Just [markdownTextAsText v0], sectionBlockAccessory = Nothing, sectionBlockBlockId = Nothing})
v1 `seq` pure ()
invalid63 :: Result ()
invalid63 = do
v0 <- buildPlainText ((plainText "Title") {plainTextEmoji = Nothing})
v1 <- buildVideoBlock ((videoBlock (T.replicate 2001 "x") "https://example.com/thumbnail.png" v0 "https://example.com/video.mp4") {videoBlockBlockId = Nothing, videoBlockAuthorName = Nothing, videoBlockDescription = Nothing, videoBlockProviderIconUrl = Nothing, videoBlockProviderName = Nothing, videoBlockTitleUrl = Nothing})
v1 `seq` pure ()
invalid64 :: Result ()
invalid64 = do
v0 <- buildPlainText ((plainText (T.replicate 201 "x")) {plainTextEmoji = Nothing})
v1 <- buildVideoBlock ((videoBlock "Video" "https://example.com/thumbnail.png" v0 "https://example.com/video.mp4") {videoBlockBlockId = Nothing, videoBlockAuthorName = Nothing, videoBlockDescription = Nothing, videoBlockProviderIconUrl = Nothing, videoBlockProviderName = Nothing, videoBlockTitleUrl = Nothing})
v1 `seq` pure ()
invalid65 :: Result ()
invalid65 = do
v0 <- buildPlainText ((plainText "Title") {plainTextEmoji = Nothing})
v1 <- buildVideoBlock ((videoBlock "Video" "https://example.com/thumbnail.png" v0 "https://example.com/video.mp4") {videoBlockBlockId = Nothing, videoBlockAuthorName = Just (T.replicate 51 "x"), videoBlockDescription = Nothing, videoBlockProviderIconUrl = Nothing, videoBlockProviderName = Nothing, videoBlockTitleUrl = Nothing})
v1 `seq` pure ()
invalid66 :: Result ()
invalid66 = do
v0 <- buildPlainText ((plainText "Title") {plainTextEmoji = Nothing})
v1 <- buildPlainText ((plainText (T.replicate 201 "x")) {plainTextEmoji = Nothing})
v2 <- buildVideoBlock ((videoBlock "Video" "https://example.com/thumbnail.png" v0 "https://example.com/video.mp4") {videoBlockBlockId = Nothing, videoBlockAuthorName = Nothing, videoBlockDescription = Just v1, videoBlockProviderIconUrl = Nothing, videoBlockProviderName = Nothing, videoBlockTitleUrl = Nothing})
v2 `seq` pure ()
invalid67 :: Result ()
invalid67 = do
v0 <- buildPlainText ((plainText "Title") {plainTextEmoji = Nothing})
v1 <- buildVideoBlock ((videoBlock "Video" "https://example.com/thumbnail.png" v0 "https://example.com/video.mp4") {videoBlockBlockId = Nothing, videoBlockAuthorName = Nothing, videoBlockDescription = Nothing, videoBlockProviderIconUrl = Nothing, videoBlockProviderName = Just (T.replicate 51 "x"), videoBlockTitleUrl = Nothing})
v1 `seq` pure ()
invalid68 :: Result ()
invalid68 = do
v0 <- buildMessagePayload ((messagePayload "") {messagePayloadBlocks = Nothing, messagePayloadAttachments = Nothing, messagePayloadText = Nothing, messagePayloadMrkdwn = Nothing, messagePayloadUnfurlLinks = Nothing, messagePayloadUnfurlMedia = Nothing, messagePayloadMetadata = Nothing})
v0 `seq` pure ()
invalid69 :: Result ()
invalid69 = do
v0 <- buildDividerBlock (dividerBlock {dividerBlockBlockId = Nothing})
v1 <- buildMessagePayload ((messagePayload "C123") {messagePayloadBlocks = Just (replicate 51 (dividerBlockAsBlock v0)), messagePayloadAttachments = Nothing, messagePayloadText = Nothing, messagePayloadMrkdwn = Nothing, messagePayloadUnfurlLinks = Nothing, messagePayloadUnfurlMedia = Nothing, messagePayloadMetadata = Nothing})
v1 `seq` pure ()
invalid70 :: Result ()
invalid70 = do
v0 <- buildDividerBlock (dividerBlock {dividerBlockBlockId = Nothing})
v1 <- buildAttachment ((attachment [dividerBlockAsBlock v0]) {attachmentColor = Nothing, attachmentFallback = Nothing})
v2 <- buildMessagePayload ((messagePayload "C123") {messagePayloadBlocks = Nothing, messagePayloadAttachments = Just (replicate 101 v1), messagePayloadText = Nothing, messagePayloadMrkdwn = Nothing, messagePayloadUnfurlLinks = Nothing, messagePayloadUnfurlMedia = Nothing, messagePayloadMetadata = Nothing})
v2 `seq` pure ()
invalid71 :: Result ()
invalid71 = do
v0 <- buildPlainText ((plainText "Modal only") {plainTextEmoji = Nothing})
v1 <- buildAlertBlock ((alertBlock (plainTextAsText v0)) {alertBlockLevel = Nothing, alertBlockBlockId = Nothing})
v2 <- buildMessagePayload ((messagePayload "C123") {messagePayloadBlocks = Just [alertBlockAsBlock v1], messagePayloadAttachments = Nothing, messagePayloadText = Nothing, messagePayloadMrkdwn = Nothing, messagePayloadUnfurlLinks = Nothing, messagePayloadUnfurlMedia = Nothing, messagePayloadMetadata = Nothing})
v2 `seq` pure ()
invalid72 :: Result ()
invalid72 = do
v0 <- buildPlainText ((plainText "Invalid") {plainTextEmoji = Nothing})
v1 <- buildMarkdownBlock ((markdownBlock "Message only") {markdownBlockBlockId = Nothing})
v2 <- buildModalView ((modalView v0 [markdownBlockAsBlock v1]) {modalViewClose = Nothing, modalViewSubmit = Nothing, modalViewPrivateMetadata = Nothing, modalViewCallbackId = Nothing, modalViewClearOnClose = Nothing, modalViewNotifyOnClose = Nothing, modalViewExternalId = Nothing, modalViewSubmitDisabled = Nothing})
v2 `seq` pure ()
invalid73 :: Result ()
invalid73 = do
v0 <- buildPlainText ((plainText "Modal only") {plainTextEmoji = Nothing})
v1 <- buildAlertBlock ((alertBlock (plainTextAsText v0)) {alertBlockLevel = Nothing, alertBlockBlockId = Nothing})
v2 <- buildHomeTabView ((homeTabView [alertBlockAsBlock v1]) {homeTabViewPrivateMetadata = Nothing, homeTabViewCallbackId = Nothing, homeTabViewExternalId = Nothing})
v2 `seq` pure ()
invalid74 :: Result ()
invalid74 = do
v0 <- buildPlainText ((plainText "Missing submit") {plainTextEmoji = Nothing})
v1 <- buildPlainText ((plainText "Name") {plainTextEmoji = Nothing})
v2 <- buildPlainTextInputElement (plainTextInputElement {plainTextInputElementActionId = Just "a", plainTextInputElementInitialValue = Nothing, plainTextInputElementMultiline = Nothing, plainTextInputElementMinLength = Nothing, plainTextInputElementMaxLength = Nothing, plainTextInputElementDispatchActionConfig = Nothing, plainTextInputElementFocusOnLoad = Nothing, plainTextInputElementPlaceholder = Nothing})
v3 <- buildInputBlock ((inputBlock v1 (plainTextInputElementAsInputElement v2)) {inputBlockDispatchAction = Nothing, inputBlockBlockId = Nothing, inputBlockHint = Nothing, inputBlockOptional = Nothing})
v4 <- buildModalView ((modalView v0 [inputBlockAsBlock v3]) {modalViewClose = Nothing, modalViewSubmit = Nothing, modalViewPrivateMetadata = Nothing, modalViewCallbackId = Nothing, modalViewClearOnClose = Nothing, modalViewNotifyOnClose = Nothing, modalViewExternalId = Nothing, modalViewSubmitDisabled = Nothing})
v4 `seq` pure ()
invalid75 :: Result ()
invalid75 = do
v0 <- buildDividerBlock (dividerBlock {dividerBlockBlockId = Nothing})
v1 <- buildHomeTabView ((homeTabView (replicate 101 (dividerBlockAsBlock v0))) {homeTabViewPrivateMetadata = Nothing, homeTabViewCallbackId = Nothing, homeTabViewExternalId = Nothing})
v1 `seq` pure ()
invalid76 :: Result ()
invalid76 = do
v0 <- buildDividerBlock (dividerBlock {dividerBlockBlockId = Nothing})
v1 <- buildHomeTabView ((homeTabView [dividerBlockAsBlock v0]) {homeTabViewPrivateMetadata = Just (T.replicate 3001 "x"), homeTabViewCallbackId = Nothing, homeTabViewExternalId = Nothing})
v1 `seq` pure ()
invalid77 :: Result ()
invalid77 = do
v0 <- buildDividerBlock (dividerBlock {dividerBlockBlockId = Nothing})
v1 <- buildHomeTabView ((homeTabView [dividerBlockAsBlock v0]) {homeTabViewPrivateMetadata = Nothing, homeTabViewCallbackId = Just (T.replicate 256 "x"), homeTabViewExternalId = Nothing})
v1 `seq` pure ()
invalid78 :: Result ()
invalid78 = do
v0 <- buildPlainText ((plainText (T.replicate 25 "x")) {plainTextEmoji = Nothing})
v1 <- buildDividerBlock (dividerBlock {dividerBlockBlockId = Nothing})
v2 <- buildModalView ((modalView v0 [dividerBlockAsBlock v1]) {modalViewClose = Nothing, modalViewSubmit = Nothing, modalViewPrivateMetadata = Nothing, modalViewCallbackId = Nothing, modalViewClearOnClose = Nothing, modalViewNotifyOnClose = Nothing, modalViewExternalId = Nothing, modalViewSubmitDisabled = Nothing})
v2 `seq` pure ()
invalid79 :: Result ()
invalid79 = do
v0 <- buildPlainText ((plainText "Title") {plainTextEmoji = Nothing})
v1 <- buildDividerBlock (dividerBlock {dividerBlockBlockId = Nothing})
v2 <- buildPlainText ((plainText (T.replicate 25 "x")) {plainTextEmoji = Nothing})
v3 <- buildModalView ((modalView v0 [dividerBlockAsBlock v1]) {modalViewClose = Just v2, modalViewSubmit = Nothing, modalViewPrivateMetadata = Nothing, modalViewCallbackId = Nothing, modalViewClearOnClose = Nothing, modalViewNotifyOnClose = Nothing, modalViewExternalId = Nothing, modalViewSubmitDisabled = Nothing})
v3 `seq` pure ()
invalid80 :: Result ()
invalid80 = do
v0 <- buildPlainText ((plainText "Title") {plainTextEmoji = Nothing})
v1 <- buildDividerBlock (dividerBlock {dividerBlockBlockId = Nothing})
v2 <- buildPlainText ((plainText (T.replicate 25 "x")) {plainTextEmoji = Nothing})
v3 <- buildModalView ((modalView v0 [dividerBlockAsBlock v1]) {modalViewClose = Nothing, modalViewSubmit = Just v2, modalViewPrivateMetadata = Nothing, modalViewCallbackId = Nothing, modalViewClearOnClose = Nothing, modalViewNotifyOnClose = Nothing, modalViewExternalId = Nothing, modalViewSubmitDisabled = Nothing})
v3 `seq` pure ()
invalid81 :: Result ()
invalid81 = do
v0 <- buildSectionBlock (sectionBlock {sectionBlockText = Nothing, sectionBlockFields = Nothing, sectionBlockAccessory = Nothing, sectionBlockBlockId = Nothing})
v0 `seq` pure ()
invalid82 :: Result ()
invalid82 = do
v0 <- buildSectionBlock (sectionBlock {sectionBlockText = Nothing, sectionBlockFields = Just [], sectionBlockAccessory = Nothing, sectionBlockBlockId = Nothing})
v0 `seq` pure ()
invalid83 :: Result ()
invalid83 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildSelectOption ((selectOption (plainTextAsText v0) "a") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v2 <- buildPlainText ((plainText "B") {plainTextEmoji = Nothing})
v3 <- buildSelectOption ((selectOption (plainTextAsText v2) "b") {selectOptionDescription = Nothing, selectOptionUrl = Nothing})
v4 <- buildSelectOptionGroup (selectOptionGroup v0 [v3])
v5 <- buildStaticSelectElement (staticSelectElement {staticSelectElementActionId = Just "a", staticSelectElementOptions = Just [v1], staticSelectElementOptionGroups = Just [v4], staticSelectElementInitialOption = Nothing, staticSelectElementConfirm = Nothing, staticSelectElementFocusOnLoad = Nothing, staticSelectElementPlaceholder = Nothing})
v5 `seq` pure ()
invalid84 :: Result ()
invalid84 = do
v0 <- buildSlackFile (slackFile {slackFileId = Just "F0123ABC456", slackFileUrl = Nothing})
v1 <- buildImageElement ((imageElement "image") {imageElementImageUrl = Just "https://example.com/image.png", imageElementSlackFile = Just v0})
v1 `seq` pure ()
invalid85 :: Result ()
invalid85 = do
v0 <- buildNumberInputElement ((numberInputElement True) {numberInputElementActionId = Nothing, numberInputElementInitialValue = Nothing, numberInputElementMinValue = Just "9007199254740993", numberInputElementMaxValue = Just "9007199254740992", numberInputElementDispatchActionConfig = Nothing, numberInputElementFocusOnLoad = Nothing, numberInputElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid86 :: Result ()
invalid86 = do
v0 <- buildNumberInputElement ((numberInputElement True) {numberInputElementActionId = Nothing, numberInputElementInitialValue = Nothing, numberInputElementMinValue = Just "0.10000000000000001", numberInputElementMaxValue = Just "0.1", numberInputElementDispatchActionConfig = Nothing, numberInputElementFocusOnLoad = Nothing, numberInputElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid87 :: Result ()
invalid87 = do
v0 <- buildNumberInputElement ((numberInputElement True) {numberInputElementActionId = Nothing, numberInputElementInitialValue = Nothing, numberInputElementMinValue = Just "0x10", numberInputElementMaxValue = Nothing, numberInputElementDispatchActionConfig = Nothing, numberInputElementFocusOnLoad = Nothing, numberInputElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid88 :: Result ()
invalid88 = do
v0 <- buildNumberInputElement ((numberInputElement True) {numberInputElementActionId = Nothing, numberInputElementInitialValue = Nothing, numberInputElementMinValue = Just "1_000", numberInputElementMaxValue = Nothing, numberInputElementDispatchActionConfig = Nothing, numberInputElementFocusOnLoad = Nothing, numberInputElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid89 :: Result ()
invalid89 = do
v0 <- buildNumberInputElement ((numberInputElement True) {numberInputElementActionId = Nothing, numberInputElementInitialValue = Nothing, numberInputElementMinValue = Just " 1", numberInputElementMaxValue = Nothing, numberInputElementDispatchActionConfig = Nothing, numberInputElementFocusOnLoad = Nothing, numberInputElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid90 :: Result ()
invalid90 = do
v0 <- buildNumberInputElement ((numberInputElement True) {numberInputElementActionId = Nothing, numberInputElementInitialValue = Nothing, numberInputElementMinValue = Just "1 ", numberInputElementMaxValue = Nothing, numberInputElementDispatchActionConfig = Nothing, numberInputElementFocusOnLoad = Nothing, numberInputElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid91 :: Result ()
invalid91 = do
v0 <- buildNumberInputElement ((numberInputElement True) {numberInputElementActionId = Nothing, numberInputElementInitialValue = Nothing, numberInputElementMinValue = Just "NaN", numberInputElementMaxValue = Nothing, numberInputElementDispatchActionConfig = Nothing, numberInputElementFocusOnLoad = Nothing, numberInputElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid92 :: Result ()
invalid92 = do
v0 <- buildNumberInputElement ((numberInputElement True) {numberInputElementActionId = Nothing, numberInputElementInitialValue = Nothing, numberInputElementMinValue = Just "Infinity", numberInputElementMaxValue = Nothing, numberInputElementDispatchActionConfig = Nothing, numberInputElementFocusOnLoad = Nothing, numberInputElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid93 :: Result ()
invalid93 = do
v0 <- buildExternalMultiSelectElement (externalMultiSelectElement {externalMultiSelectElementActionId = Nothing, externalMultiSelectElementMinQueryLength = Nothing, externalMultiSelectElementInitialOptions = Nothing, externalMultiSelectElementConfirm = Nothing, externalMultiSelectElementMaxSelectedItems = Nothing, externalMultiSelectElementFocusOnLoad = Just False, externalMultiSelectElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid94 :: Result ()
invalid94 = do
v0 <- buildExternalMultiSelectElement (externalMultiSelectElement {externalMultiSelectElementActionId = Nothing, externalMultiSelectElementMinQueryLength = Nothing, externalMultiSelectElementInitialOptions = Nothing, externalMultiSelectElementConfirm = Nothing, externalMultiSelectElementMaxSelectedItems = Nothing, externalMultiSelectElementFocusOnLoad = Just True, externalMultiSelectElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid95 :: Result ()
invalid95 = do
v0 <- buildPlainTextInputElement (plainTextInputElement {plainTextInputElementActionId = Nothing, plainTextInputElementInitialValue = Nothing, plainTextInputElementMultiline = Nothing, plainTextInputElementMinLength = Just 20, plainTextInputElementMaxLength = Just 10, plainTextInputElementDispatchActionConfig = Nothing, plainTextInputElementFocusOnLoad = Nothing, plainTextInputElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid99 :: Result ()
invalid99 = do
v0 <- buildDividerBlock (dividerBlock {dividerBlockBlockId = Just (T.replicate 256 "x")})
v0 `seq` pure ()
invalid100 :: Result ()
invalid100 = do
v0 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v1 <- buildButtonElement ((buttonElement v0) {buttonElementActionId = Just "a", buttonElementUrl = Nothing, buttonElementValue = Nothing, buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Just (T.replicate 76 "x"), buttonElementAgentPrompt = Nothing, buttonElementAgentPromptDisplay = Nothing})
v1 `seq` pure ()
invalid101 :: Result ()
invalid101 = do
v0 <- buildPlainText ((plainText (T.replicate 76 "x")) {plainTextEmoji = Nothing})
v1 <- buildTrigger ((trigger "https://slack.com/shortcuts/Ft0/abc") {triggerCustomizableInputParameters = Nothing})
v2 <- buildWorkflow (workflow v1)
v3 <- buildWorkflowButtonElement ((workflowButtonElement v0 v2 "a") {workflowButtonElementConfirm = Nothing, workflowButtonElementStyle = Nothing, workflowButtonElementAccessibilityLabel = Nothing})
v3 `seq` pure ()
invalid102 :: Result ()
invalid102 = do
v0 <- buildPlainText ((plainText "Run") {plainTextEmoji = Nothing})
v1 <- buildTrigger ((trigger "https://slack.com/shortcuts/Ft0/abc") {triggerCustomizableInputParameters = Nothing})
v2 <- buildWorkflow (workflow v1)
v3 <- buildWorkflowButtonElement ((workflowButtonElement v0 v2 "a") {workflowButtonElementConfirm = Nothing, workflowButtonElementStyle = Nothing, workflowButtonElementAccessibilityLabel = Just (T.replicate 76 "x")})
v3 `seq` pure ()
invalid103 :: Result ()
invalid103 = do
v0 <- buildPlainText ((plainText (T.replicate 201 "x")) {plainTextEmoji = Nothing})
v1 <- buildAlertBlock ((alertBlock (plainTextAsText v0)) {alertBlockLevel = Nothing, alertBlockBlockId = Nothing})
v1 `seq` pure ()
invalid104 :: Result ()
invalid104 = do
v0 <- buildPlainText ((plainText (T.replicate 151 "x")) {plainTextEmoji = Nothing})
v1 <- buildCardBlock (cardBlock {cardBlockHeroImage = Nothing, cardBlockIcon = Nothing, cardBlockTitle = Just (plainTextAsText v0), cardBlockSubtitle = Nothing, cardBlockBody = Nothing, cardBlockActions = Nothing, cardBlockSlackIcon = Nothing, cardBlockSubtext = Nothing, cardBlockBlockId = Nothing})
v1 `seq` pure ()
invalid105 :: Result ()
invalid105 = do
v0 <- buildPlainText ((plainText "Card") {plainTextEmoji = Nothing})
v1 <- buildPlainText ((plainText (T.replicate 151 "x")) {plainTextEmoji = Nothing})
v2 <- buildCardBlock (cardBlock {cardBlockHeroImage = Nothing, cardBlockIcon = Nothing, cardBlockTitle = Just (plainTextAsText v0), cardBlockSubtitle = Just (plainTextAsText v1), cardBlockBody = Nothing, cardBlockActions = Nothing, cardBlockSlackIcon = Nothing, cardBlockSubtext = Nothing, cardBlockBlockId = Nothing})
v2 `seq` pure ()
invalid106 :: Result ()
invalid106 = do
v0 <- buildPlainText ((plainText (T.replicate 201 "x")) {plainTextEmoji = Nothing})
v1 <- buildCardBlock (cardBlock {cardBlockHeroImage = Nothing, cardBlockIcon = Nothing, cardBlockTitle = Nothing, cardBlockSubtitle = Nothing, cardBlockBody = Just (plainTextAsText v0), cardBlockActions = Nothing, cardBlockSlackIcon = Nothing, cardBlockSubtext = Nothing, cardBlockBlockId = Nothing})
v1 `seq` pure ()
invalid107 :: Result ()
invalid107 = do
v0 <- buildPlainText ((plainText "Card") {plainTextEmoji = Nothing})
v1 <- buildPlainText ((plainText "A") {plainTextEmoji = Nothing})
v2 <- buildButtonElement ((buttonElement v1) {buttonElementActionId = Just "a", buttonElementUrl = Nothing, buttonElementValue = Nothing, buttonElementStyle = Nothing, buttonElementConfirm = Nothing, buttonElementAccessibilityLabel = Nothing, buttonElementAgentPrompt = Nothing, buttonElementAgentPromptDisplay = Nothing})
v3 <- buildCardBlock (cardBlock {cardBlockHeroImage = Nothing, cardBlockIcon = Nothing, cardBlockTitle = Just (plainTextAsText v0), cardBlockSubtitle = Nothing, cardBlockBody = Nothing, cardBlockActions = Just (replicate 4 v2), cardBlockSlackIcon = Nothing, cardBlockSubtext = Nothing, cardBlockBlockId = Nothing})
v3 `seq` pure ()
invalid108 :: Result ()
invalid108 = do
v0 <- buildPlainText ((plainText "Card") {plainTextEmoji = Nothing})
v1 <- buildPlainText ((plainText (T.replicate 201 "x")) {plainTextEmoji = Nothing})
v2 <- buildCardBlock (cardBlock {cardBlockHeroImage = Nothing, cardBlockIcon = Nothing, cardBlockTitle = Just (plainTextAsText v0), cardBlockSubtitle = Nothing, cardBlockBody = Nothing, cardBlockActions = Nothing, cardBlockSlackIcon = Nothing, cardBlockSubtext = Just (plainTextAsText v1), cardBlockBlockId = Nothing})
v2 `seq` pure ()
invalid109 :: Result ()
invalid109 = do
v0 <- buildCarouselBlock ((carouselBlock []) {carouselBlockBlockId = Nothing})
v0 `seq` pure ()
invalid110 :: Result ()
invalid110 = do
v0 <- buildPlainText ((plainText "Card") {plainTextEmoji = Nothing})
v1 <- buildCardBlock (cardBlock {cardBlockHeroImage = Nothing, cardBlockIcon = Nothing, cardBlockTitle = Just (plainTextAsText v0), cardBlockSubtitle = Nothing, cardBlockBody = Nothing, cardBlockActions = Nothing, cardBlockSlackIcon = Nothing, cardBlockSubtext = Nothing, cardBlockBlockId = Nothing})
v2 <- buildCarouselBlock ((carouselBlock (replicate 11 v1)) {carouselBlockBlockId = Nothing})
v2 `seq` pure ()
invalid111 :: Result ()
invalid111 = do
v0 <- buildDividerBlock (dividerBlock {dividerBlockBlockId = Nothing})
v1 <- buildPlainText ((plainText (T.replicate 151 "x")) {plainTextEmoji = Nothing})
v2 <- buildContainerBlock ((containerBlock [dividerBlockAsBlock v0]) {containerBlockTitle = Just v1, containerBlockRichTextTitle = Nothing, containerBlockSubtitle = Nothing, containerBlockWidth = Nothing, containerBlockIcon = Nothing, containerBlockIsCollapsible = Nothing, containerBlockDefaultCollapsed = Nothing, containerBlockHasHeaderDivider = Nothing, containerBlockBlockId = Nothing})
v2 `seq` pure ()
invalid112 :: Result ()
invalid112 = do
v0 <- buildDividerBlock (dividerBlock {dividerBlockBlockId = Nothing})
v1 <- buildPlainText ((plainText "Container") {plainTextEmoji = Nothing})
v2 <- buildPlainText ((plainText (T.replicate 151 "x")) {plainTextEmoji = Nothing})
v3 <- buildContainerBlock ((containerBlock [dividerBlockAsBlock v0]) {containerBlockTitle = Just v1, containerBlockRichTextTitle = Nothing, containerBlockSubtitle = Just (plainTextAsText v2), containerBlockWidth = Nothing, containerBlockIcon = Nothing, containerBlockIsCollapsible = Nothing, containerBlockDefaultCollapsed = Nothing, containerBlockHasHeaderDivider = Nothing, containerBlockBlockId = Nothing})
v3 `seq` pure ()
invalid113 :: Result ()
invalid113 = do
v0 <- buildDividerBlock (dividerBlock {dividerBlockBlockId = Nothing})
v1 <- buildPlainText ((plainText "Container") {plainTextEmoji = Nothing})
v2 <- buildContainerBlock ((containerBlock (replicate 11 (dividerBlockAsBlock v0))) {containerBlockTitle = Just v1, containerBlockRichTextTitle = Nothing, containerBlockSubtitle = Nothing, containerBlockWidth = Nothing, containerBlockIcon = Nothing, containerBlockIsCollapsible = Nothing, containerBlockDefaultCollapsed = Nothing, containerBlockHasHeaderDivider = Nothing, containerBlockBlockId = Nothing})
v2 `seq` pure ()
invalid114 :: Result ()
invalid114 = do
v0 <- buildPlainText ((plainText "Delete") {plainTextEmoji = Nothing})
v1 <- buildIconButtonElement ((iconButtonElement v0 IconButtonIconTrash) {iconButtonElementActionId = Nothing, iconButtonElementValue = Nothing, iconButtonElementConfirm = Nothing, iconButtonElementAccessibilityLabel = Nothing, iconButtonElementVisibleToUserIds = Nothing})
v2 <- buildContextActionsBlock ((contextActionsBlock (replicate 6 (iconButtonElementAsContextActionsElement v1))) {contextActionsBlockBlockId = Nothing})
v2 `seq` pure ()
invalid115 :: Result ()
invalid115 = do
v0 <- buildPlainText ((plainText (T.replicate 76 "x")) {plainTextEmoji = Nothing})
v1 <- buildFeedbackButton ((feedbackButton v0 "good") {feedbackButtonAccessibilityLabel = Nothing})
v2 <- buildPlainText ((plainText "Bad") {plainTextEmoji = Nothing})
v3 <- buildFeedbackButton ((feedbackButton v2 "bad") {feedbackButtonAccessibilityLabel = Nothing})
v4 <- buildFeedbackButtonsElement ((feedbackButtonsElement v1 v3) {feedbackButtonsElementActionId = Nothing})
v4 `seq` pure ()
invalid116 :: Result ()
invalid116 = do
v0 <- buildPlainText ((plainText "Good") {plainTextEmoji = Nothing})
v1 <- buildFeedbackButton ((feedbackButton v0 (T.replicate 2001 "x")) {feedbackButtonAccessibilityLabel = Nothing})
v2 <- buildPlainText ((plainText "Bad") {plainTextEmoji = Nothing})
v3 <- buildFeedbackButton ((feedbackButton v2 "bad") {feedbackButtonAccessibilityLabel = Nothing})
v4 <- buildFeedbackButtonsElement ((feedbackButtonsElement v1 v3) {feedbackButtonsElementActionId = Nothing})
v4 `seq` pure ()
invalid117 :: Result ()
invalid117 = do
v0 <- buildPlainText ((plainText "Good") {plainTextEmoji = Nothing})
v1 <- buildFeedbackButton ((feedbackButton v0 "good") {feedbackButtonAccessibilityLabel = Just (T.replicate 76 "x")})
v2 <- buildPlainText ((plainText "Bad") {plainTextEmoji = Nothing})
v3 <- buildFeedbackButton ((feedbackButton v2 "bad") {feedbackButtonAccessibilityLabel = Nothing})
v4 <- buildFeedbackButtonsElement ((feedbackButtonsElement v1 v3) {feedbackButtonsElementActionId = Nothing})
v4 `seq` pure ()
invalid118 :: Result ()
invalid118 = do
v0 <- buildPlainText ((plainText "Delete") {plainTextEmoji = Nothing})
v1 <- buildIconButtonElement ((iconButtonElement v0 IconButtonIconTrash) {iconButtonElementActionId = Nothing, iconButtonElementValue = Nothing, iconButtonElementConfirm = Nothing, iconButtonElementAccessibilityLabel = Nothing, iconButtonElementVisibleToUserIds = Just ["U0", "U1", "U2", "U3", "U4", "U5", "U6", "U7", "U8", "U9", "U10"]})
v1 `seq` pure ()
invalid119 :: Result ()
invalid119 = do
v0 <- buildPlainText ((plainText "Delete") {plainTextEmoji = Nothing})
v1 <- buildIconButtonElement ((iconButtonElement v0 IconButtonIconTrash) {iconButtonElementActionId = Nothing, iconButtonElementValue = Just (T.replicate 2001 "x"), iconButtonElementConfirm = Nothing, iconButtonElementAccessibilityLabel = Nothing, iconButtonElementVisibleToUserIds = Nothing})
v1 `seq` pure ()
invalid120 :: Result ()
invalid120 = do
v0 <- buildPlainText ((plainText "Delete") {plainTextEmoji = Nothing})
v1 <- buildIconButtonElement ((iconButtonElement v0 IconButtonIconTrash) {iconButtonElementActionId = Nothing, iconButtonElementValue = Nothing, iconButtonElementConfirm = Nothing, iconButtonElementAccessibilityLabel = Just (T.replicate 76 "x"), iconButtonElementVisibleToUserIds = Nothing})
v1 `seq` pure ()
invalid121 :: Result ()
invalid121 = do
v0 <- buildRawText (rawText "Name")
v1 <- buildDataTableBlock ((dataTableBlock [[rawTextAsDataTableCell v0]] "Names") {dataTableBlockPageSize = Nothing, dataTableBlockRowHeaderColumnIndex = Nothing, dataTableBlockBlockId = Nothing})
v1 `seq` pure ()
invalid122 :: Result ()
invalid122 = do
v0 <- buildRawText (rawText "A")
v1 <- buildDataTableBlock ((dataTableBlock [[rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0]] "Names") {dataTableBlockPageSize = Nothing, dataTableBlockRowHeaderColumnIndex = Nothing, dataTableBlockBlockId = Nothing})
v1 `seq` pure ()
invalid123 :: Result ()
invalid123 = do
v0 <- buildDataTableBlock ((dataTableBlock [[], []] "Empty") {dataTableBlockPageSize = Nothing, dataTableBlockRowHeaderColumnIndex = Nothing, dataTableBlockBlockId = Nothing})
v0 `seq` pure ()
invalid124 :: Result ()
invalid124 = do
v0 <- buildRawText (rawText "A")
v1 <- buildDataTableBlock ((dataTableBlock [[rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0], [rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0, rawTextAsDataTableCell v0]] "Wide") {dataTableBlockPageSize = Nothing, dataTableBlockRowHeaderColumnIndex = Nothing, dataTableBlockBlockId = Nothing})
v1 `seq` pure ()
invalid125 :: Result ()
invalid125 = do
v0 <- buildRawText (rawText "Name")
v1 <- buildRawText (rawText "Alice")
v2 <- buildDataTableBlock ((dataTableBlock [[rawTextAsDataTableCell v0], [rawTextAsDataTableCell v1]] "Names") {dataTableBlockPageSize = Just 0, dataTableBlockRowHeaderColumnIndex = Nothing, dataTableBlockBlockId = Nothing})
v2 `seq` pure ()
invalid126 :: Result ()
invalid126 = do
v0 <- buildRawText (rawText "Name")
v1 <- buildRawText (rawText "Alice")
v2 <- buildDataTableBlock ((dataTableBlock [[rawTextAsDataTableCell v0], [rawTextAsDataTableCell v1]] "Names") {dataTableBlockPageSize = Just 101, dataTableBlockRowHeaderColumnIndex = Nothing, dataTableBlockBlockId = Nothing})
v2 `seq` pure ()
invalid127 :: Result ()
invalid127 = do
v0 <- buildRawText (rawText "Name")
v1 <- buildRawText (rawText "")
v2 <- buildDataTableBlock ((dataTableBlock [[rawTextAsDataTableCell v0], [rawTextAsDataTableCell v1]] "Names") {dataTableBlockPageSize = Nothing, dataTableBlockRowHeaderColumnIndex = Nothing, dataTableBlockBlockId = Nothing})
v2 `seq` pure ()
invalid128 :: Result ()
invalid128 = do
v0 <- buildRawText (rawText "Name")
v1 <- buildRawText (rawText (T.replicate 20000 "x"))
v2 <- buildDataTableBlock ((dataTableBlock [[rawTextAsDataTableCell v0], [rawTextAsDataTableCell v1]] "Names") {dataTableBlockPageSize = Nothing, dataTableBlockRowHeaderColumnIndex = Nothing, dataTableBlockBlockId = Nothing})
v2 `seq` pure ()
invalid129 :: Result ()
invalid129 = do
v0 <- buildChartSegment (chartSegment "A" 1)
v1 <- buildPieChart (pieChart [v0])
v2 <- buildDataVisualizationBlock ((dataVisualizationBlock "Chart" (pieChartAsChart v1)) {dataVisualizationBlockBlockId = Nothing})
v3 <- buildMessagePayload ((messagePayload "C123") {messagePayloadBlocks = Just (replicate 3 (dataVisualizationBlockAsBlock v2)), messagePayloadAttachments = Nothing, messagePayloadText = Nothing, messagePayloadMrkdwn = Nothing, messagePayloadUnfurlLinks = Nothing, messagePayloadUnfurlMedia = Nothing, messagePayloadMetadata = Nothing})
v3 `seq` pure ()
invalid130 :: Result ()
invalid130 = do
v0 <- buildChartSegment (chartSegment "A" 1)
v1 <- buildPieChart (pieChart [v0])
v2 <- buildDataVisualizationBlock ((dataVisualizationBlock (T.replicate 51 "x") (pieChartAsChart v1)) {dataVisualizationBlockBlockId = Nothing})
v2 `seq` pure ()
invalid131 :: Result ()
invalid131 = do
v0 <- buildPieChart (pieChart [])
v0 `seq` pure ()
invalid132 :: Result ()
invalid132 = do
v0 <- buildChartSegment (chartSegment "S" 1)
v1 <- buildPieChart (pieChart (replicate 13 v0))
v1 `seq` pure ()
invalid133 :: Result ()
invalid133 = do
v0 <- buildChartSegment (chartSegment (T.replicate 21 "x") 1)
v0 `seq` pure ()
invalid134 :: Result ()
invalid134 = do
v0 <- buildChartSegment (chartSegment "A" 0)
v0 `seq` pure ()
invalid135 :: Result ()
invalid135 = do
v0 <- buildAxisConfig ((axisConfig ["A"]) {axisConfigXLabel = Nothing, axisConfigYLabel = Nothing})
v1 <- buildLineChart (lineChart [] v0)
v1 `seq` pure ()
invalid136 :: Result ()
invalid136 = do
v0 <- buildDataPoint (dataPoint "A" 1)
v1 <- buildDataPoint (dataPoint "A" 2)
v2 <- buildDataSeries (dataSeries "Series" [v0, v1])
v3 <- buildAxisConfig ((axisConfig ["A", "B"]) {axisConfigXLabel = Nothing, axisConfigYLabel = Nothing})
v4 <- buildLineChart (lineChart [v2] v3)
v4 `seq` pure ()
invalid137 :: Result ()
invalid137 = do
v0 <- buildDataPoint (dataPoint "A" 1)
v1 <- buildDataSeries (dataSeries "S0" [v0])
v2 <- buildDataSeries (dataSeries "S1" [v0])
v3 <- buildDataSeries (dataSeries "S2" [v0])
v4 <- buildDataSeries (dataSeries "S3" [v0])
v5 <- buildDataSeries (dataSeries "S4" [v0])
v6 <- buildDataSeries (dataSeries "S5" [v0])
v7 <- buildDataSeries (dataSeries "S6" [v0])
v8 <- buildDataSeries (dataSeries "S7" [v0])
v9 <- buildDataSeries (dataSeries "S8" [v0])
v10 <- buildDataSeries (dataSeries "S9" [v0])
v11 <- buildDataSeries (dataSeries "S10" [v0])
v12 <- buildDataSeries (dataSeries "S11" [v0])
v13 <- buildDataSeries (dataSeries "S12" [v0])
v14 <- buildAxisConfig ((axisConfig ["A"]) {axisConfigXLabel = Nothing, axisConfigYLabel = Nothing})
v15 <- buildLineChart (lineChart [v1, v2, v3, v4, v5, v6, v7, v8, v9, v10, v11, v12, v13] v14)
v15 `seq` pure ()
invalid138 :: Result ()
invalid138 = do
v0 <- buildDataPoint (dataPoint "A" 1)
v1 <- buildDataSeries (dataSeries (T.replicate 21 "x") [v0])
v1 `seq` pure ()
invalid139 :: Result ()
invalid139 = do
v0 <- buildDataSeries (dataSeries "Series" [])
v0 `seq` pure ()
invalid140 :: Result ()
invalid140 = do
v0 <- buildDataPoint (dataPoint "P0" 0)
v1 <- buildDataPoint (dataPoint "P1" 1)
v2 <- buildDataPoint (dataPoint "P2" 2)
v3 <- buildDataPoint (dataPoint "P3" 3)
v4 <- buildDataPoint (dataPoint "P4" 4)
v5 <- buildDataPoint (dataPoint "P5" 5)
v6 <- buildDataPoint (dataPoint "P6" 6)
v7 <- buildDataPoint (dataPoint "P7" 7)
v8 <- buildDataPoint (dataPoint "P8" 8)
v9 <- buildDataPoint (dataPoint "P9" 9)
v10 <- buildDataPoint (dataPoint "P10" 10)
v11 <- buildDataPoint (dataPoint "P11" 11)
v12 <- buildDataPoint (dataPoint "P12" 12)
v13 <- buildDataPoint (dataPoint "P13" 13)
v14 <- buildDataPoint (dataPoint "P14" 14)
v15 <- buildDataPoint (dataPoint "P15" 15)
v16 <- buildDataPoint (dataPoint "P16" 16)
v17 <- buildDataPoint (dataPoint "P17" 17)
v18 <- buildDataPoint (dataPoint "P18" 18)
v19 <- buildDataPoint (dataPoint "P19" 19)
v20 <- buildDataPoint (dataPoint "P20" 20)
v21 <- buildDataSeries (dataSeries "Series" [v0, v1, v2, v3, v4, v5, v6, v7, v8, v9, v10, v11, v12, v13, v14, v15, v16, v17, v18, v19, v20])
v21 `seq` pure ()
invalid141 :: Result ()
invalid141 = do
v0 <- buildDataPoint (dataPoint (T.replicate 21 "x") 1)
v0 `seq` pure ()
invalid142 :: Result ()
invalid142 = do
v0 <- buildAxisConfig ((axisConfig []) {axisConfigXLabel = Nothing, axisConfigYLabel = Nothing})
v0 `seq` pure ()
invalid143 :: Result ()
invalid143 = do
v0 <- buildAxisConfig ((axisConfig ["X0", "X1", "X2", "X3", "X4", "X5", "X6", "X7", "X8", "X9", "X10", "X11", "X12", "X13", "X14", "X15", "X16", "X17", "X18", "X19", "X20"]) {axisConfigXLabel = Nothing, axisConfigYLabel = Nothing})
v0 `seq` pure ()
invalid144 :: Result ()
invalid144 = do
v0 <- buildAxisConfig ((axisConfig [T.replicate 21 "x"]) {axisConfigXLabel = Nothing, axisConfigYLabel = Nothing})
v0 `seq` pure ()
invalid145 :: Result ()
invalid145 = do
v0 <- buildAxisConfig ((axisConfig ["A"]) {axisConfigXLabel = Just (T.replicate 51 "x"), axisConfigYLabel = Nothing})
v0 `seq` pure ()
invalid146 :: Result ()
invalid146 = do
v0 <- buildPlainTextInputElement (plainTextInputElement {plainTextInputElementActionId = Just "a", plainTextInputElementInitialValue = Nothing, plainTextInputElementMultiline = Nothing, plainTextInputElementMinLength = Just (-1), plainTextInputElementMaxLength = Nothing, plainTextInputElementDispatchActionConfig = Nothing, plainTextInputElementFocusOnLoad = Nothing, plainTextInputElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid147 :: Result ()
invalid147 = do
v0 <- buildPlainTextInputElement (plainTextInputElement {plainTextInputElementActionId = Just "a", plainTextInputElementInitialValue = Nothing, plainTextInputElementMultiline = Nothing, plainTextInputElementMinLength = Just 3001, plainTextInputElementMaxLength = Nothing, plainTextInputElementDispatchActionConfig = Nothing, plainTextInputElementFocusOnLoad = Nothing, plainTextInputElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid148 :: Result ()
invalid148 = do
v0 <- buildPlainTextInputElement (plainTextInputElement {plainTextInputElementActionId = Just "a", plainTextInputElementInitialValue = Nothing, plainTextInputElementMultiline = Nothing, plainTextInputElementMinLength = Nothing, plainTextInputElementMaxLength = Just 0, plainTextInputElementDispatchActionConfig = Nothing, plainTextInputElementFocusOnLoad = Nothing, plainTextInputElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid149 :: Result ()
invalid149 = do
v0 <- buildRichTextInputElement ((richTextInputElement "a") {richTextInputElementInitialValue = Nothing, richTextInputElementDispatchActionConfig = Nothing, richTextInputElementFocusOnLoad = Nothing, richTextInputElementPlaceholder = Nothing, richTextInputElementMinLines = Just 0, richTextInputElementMaxLines = Nothing})
v0 `seq` pure ()
invalid150 :: Result ()
invalid150 = do
v0 <- buildRichTextInputElement ((richTextInputElement "a") {richTextInputElementInitialValue = Nothing, richTextInputElementDispatchActionConfig = Nothing, richTextInputElementFocusOnLoad = Nothing, richTextInputElementPlaceholder = Nothing, richTextInputElementMinLines = Just 101, richTextInputElementMaxLines = Nothing})
v0 `seq` pure ()
invalid151 :: Result ()
invalid151 = do
v0 <- buildRichTextInputElement ((richTextInputElement "a") {richTextInputElementInitialValue = Nothing, richTextInputElementDispatchActionConfig = Nothing, richTextInputElementFocusOnLoad = Nothing, richTextInputElementPlaceholder = Nothing, richTextInputElementMinLines = Nothing, richTextInputElementMaxLines = Just 0})
v0 `seq` pure ()
invalid152 :: Result ()
invalid152 = do
v0 <- buildRichTextInputElement ((richTextInputElement "a") {richTextInputElementInitialValue = Nothing, richTextInputElementDispatchActionConfig = Nothing, richTextInputElementFocusOnLoad = Nothing, richTextInputElementPlaceholder = Nothing, richTextInputElementMinLines = Nothing, richTextInputElementMaxLines = Just 101})
v0 `seq` pure ()
invalid153 :: Result ()
invalid153 = do
v0 <- buildUserMultiSelectElement (userMultiSelectElement {userMultiSelectElementActionId = Just "a", userMultiSelectElementInitialUsers = Nothing, userMultiSelectElementConfirm = Nothing, userMultiSelectElementMaxSelectedItems = Just 0, userMultiSelectElementFocusOnLoad = Nothing, userMultiSelectElementPlaceholder = Nothing})
v0 `seq` pure ()
invalid154 :: Result ()
invalid154 = do
v0 <- buildConversationFilter (conversationFilter {conversationFilterInclude = Just [], conversationFilterExcludeExternalSharedChannels = Nothing, conversationFilterExcludeBotUsers = Nothing})
v0 `seq` pure ()
invalid155 :: Result ()
invalid155 = do
v0 <- buildConversationFilter (conversationFilter {conversationFilterInclude = Just ["channel"], conversationFilterExcludeExternalSharedChannels = Nothing, conversationFilterExcludeBotUsers = Nothing})
v0 `seq` pure ()
invalid159 :: Result ()
invalid159 = do
v0 <- buildSlackFile (slackFile {slackFileId = Just "F0123456", slackFileUrl = Nothing})
v0 `seq` pure ()
invalid160 :: Result ()
invalid160 = do
v0 <- buildImageElement ((imageElement "Alt") {imageElementImageUrl = Just (T.replicate 3001 "x"), imageElementSlackFile = Nothing})
v0 `seq` pure ()
invalid161 :: Result ()
invalid161 = do
v0 <- buildImageElement ((imageElement (T.replicate 2001 "x")) {imageElementImageUrl = Just "https://example.com/image.png", imageElementSlackFile = Nothing})
v0 `seq` pure ()
invalid162 :: Result ()
invalid162 = do
v0 <- buildPlainText ((plainText (T.replicate 2001 "x")) {plainTextEmoji = Nothing})
v1 <- buildImageBlock ((imageBlock "Alt") {imageBlockImageUrl = Just "https://example.com/image.png", imageBlockSlackFile = Nothing, imageBlockTitle = Just v0, imageBlockBlockId = Nothing})
v1 `seq` pure ()
invalid163 :: Result ()
invalid163 = do
v0 <- buildSlackFile (slackFile {slackFileId = Just "F0123ABC456", slackFileUrl = Nothing})
v1 <- buildImageBlock ((imageBlock "Alt") {imageBlockImageUrl = Just "https://example.com/image.png", imageBlockSlackFile = Just v0, imageBlockTitle = Nothing, imageBlockBlockId = Nothing})
v1 `seq` pure ()
invalid164 :: Result ()
invalid164 = do
v0 <- buildImageBlock ((imageBlock "Alt") {imageBlockImageUrl = Nothing, imageBlockSlackFile = Nothing, imageBlockTitle = Nothing, imageBlockBlockId = Nothing})
v0 `seq` pure ()
invalid165 :: Result ()
invalid165 = do
v0 <- buildPlainText ((plainText "Container") {plainTextEmoji = Nothing})
v1 <- buildContainerBlock ((containerBlock []) {containerBlockTitle = Just v0, containerBlockRichTextTitle = Nothing, containerBlockSubtitle = Nothing, containerBlockWidth = Nothing, containerBlockIcon = Nothing, containerBlockIsCollapsible = Nothing, containerBlockDefaultCollapsed = Nothing, containerBlockHasHeaderDivider = Nothing, containerBlockBlockId = Nothing})
v1 `seq` pure ()
invalid166 :: Result ()
invalid166 = do
v0 <- buildRawText (rawText "A")
v1 <- buildColumnSettings (columnSettings {columnSettingsAlign = Nothing, columnSettingsIsWrapped = Just True})
v2 <- buildTableBlock ((tableBlock [[rawTextAsTableCell v0]]) {tableBlockColumnSettings = Just (replicate 21 v1), tableBlockBlockId = Nothing})
v2 `seq` pure ()
invalid167 :: Result ()
invalid167 = do
v0 <- buildRawText (rawText "Name")
v1 <- buildRawText (rawText "Alice")
v2 <- buildDataTableBlock ((dataTableBlock [[rawTextAsDataTableCell v0], [rawTextAsDataTableCell v1]] "Names") {dataTableBlockPageSize = Nothing, dataTableBlockRowHeaderColumnIndex = Just (-1), dataTableBlockBlockId = Nothing})
v2 `seq` pure ()
invalid168 :: Result ()
invalid168 = do
v0 <- buildRawText (rawText "Name")
v1 <- buildRawText (rawText (T.replicate 9997 "x"))
v2 <- buildDataTableBlock ((dataTableBlock [[rawTextAsDataTableCell v0], [rawTextAsDataTableCell v1]] "Names") {dataTableBlockPageSize = Nothing, dataTableBlockRowHeaderColumnIndex = Nothing, dataTableBlockBlockId = Nothing})
v3 <- buildMessagePayload ((messagePayload "C123") {messagePayloadBlocks = Just [dataTableBlockAsBlock v2, dataTableBlockAsBlock v2], messagePayloadAttachments = Nothing, messagePayloadText = Nothing, messagePayloadMrkdwn = Nothing, messagePayloadUnfurlLinks = Nothing, messagePayloadUnfurlMedia = Nothing, messagePayloadMetadata = Nothing})
v3 `seq` pure ()
invalid169 :: Result ()
invalid169 = do
v0 <- buildMarkdownBlock ((markdownBlock (T.replicate 6001 "x")) {markdownBlockBlockId = Nothing})
v1 <- buildMessagePayload ((messagePayload "C123") {messagePayloadBlocks = Just [markdownBlockAsBlock v0, markdownBlockAsBlock v0], messagePayloadAttachments = Nothing, messagePayloadText = Nothing, messagePayloadMrkdwn = Nothing, messagePayloadUnfurlLinks = Nothing, messagePayloadUnfurlMedia = Nothing, messagePayloadMetadata = Nothing})
v1 `seq` pure ()
invalid171 :: Result ()
invalid171 = do
v0 <- buildPlanTask ((taskCardBlock "task_0" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v1 <- buildPlanTask ((taskCardBlock "task_1" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v2 <- buildPlanTask ((taskCardBlock "task_2" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v3 <- buildPlanTask ((taskCardBlock "task_3" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v4 <- buildPlanTask ((taskCardBlock "task_4" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v5 <- buildPlanTask ((taskCardBlock "task_5" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v6 <- buildPlanTask ((taskCardBlock "task_6" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v7 <- buildPlanTask ((taskCardBlock "task_7" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v8 <- buildPlanTask ((taskCardBlock "task_8" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v9 <- buildPlanTask ((taskCardBlock "task_9" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v10 <- buildPlanTask ((taskCardBlock "task_10" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v11 <- buildPlanTask ((taskCardBlock "task_11" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v12 <- buildPlanTask ((taskCardBlock "task_12" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v13 <- buildPlanTask ((taskCardBlock "task_13" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v14 <- buildPlanTask ((taskCardBlock "task_14" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v15 <- buildPlanTask ((taskCardBlock "task_15" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v16 <- buildPlanTask ((taskCardBlock "task_16" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v17 <- buildPlanTask ((taskCardBlock "task_17" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v18 <- buildPlanTask ((taskCardBlock "task_18" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v19 <- buildPlanTask ((taskCardBlock "task_19" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v20 <- buildPlanTask ((taskCardBlock "task_20" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v21 <- buildPlanTask ((taskCardBlock "task_21" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v22 <- buildPlanTask ((taskCardBlock "task_22" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v23 <- buildPlanTask ((taskCardBlock "task_23" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v24 <- buildPlanTask ((taskCardBlock "task_24" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v25 <- buildPlanTask ((taskCardBlock "task_25" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v26 <- buildPlanTask ((taskCardBlock "task_26" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v27 <- buildPlanTask ((taskCardBlock "task_27" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v28 <- buildPlanTask ((taskCardBlock "task_28" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v29 <- buildPlanTask ((taskCardBlock "task_29" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v30 <- buildPlanTask ((taskCardBlock "task_30" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v31 <- buildPlanTask ((taskCardBlock "task_31" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v32 <- buildPlanTask ((taskCardBlock "task_32" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v33 <- buildPlanTask ((taskCardBlock "task_33" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v34 <- buildPlanTask ((taskCardBlock "task_34" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v35 <- buildPlanTask ((taskCardBlock "task_35" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v36 <- buildPlanTask ((taskCardBlock "task_36" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v37 <- buildPlanTask ((taskCardBlock "task_37" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v38 <- buildPlanTask ((taskCardBlock "task_38" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v39 <- buildPlanTask ((taskCardBlock "task_39" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v40 <- buildPlanTask ((taskCardBlock "task_40" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v41 <- buildPlanTask ((taskCardBlock "task_41" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v42 <- buildPlanTask ((taskCardBlock "task_42" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v43 <- buildPlanTask ((taskCardBlock "task_43" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v44 <- buildPlanTask ((taskCardBlock "task_44" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v45 <- buildPlanTask ((taskCardBlock "task_45" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v46 <- buildPlanTask ((taskCardBlock "task_46" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v47 <- buildPlanTask ((taskCardBlock "task_47" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v48 <- buildPlanTask ((taskCardBlock "task_48" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v49 <- buildPlanTask ((taskCardBlock "task_49" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v50 <- buildPlanTask ((taskCardBlock "task_50" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v51 <- buildPlanBlock ((planBlock "Plan" [v0, v1, v2, v3, v4, v5, v6, v7, v8, v9, v10, v11, v12, v13, v14, v15, v16, v17, v18, v19, v20, v21, v22, v23, v24, v25, v26, v27, v28, v29, v30, v31, v32, v33, v34, v35, v36, v37, v38, v39, v40, v41, v42, v43, v44, v45, v46, v47, v48, v49, v50]) {planBlockBlockId = Nothing})
v51 `seq` pure ()
invalid172 :: Result ()
invalid172 = do
v0 <- buildPlanTask ((taskCardBlock "task" "Task" TaskStatusComplete) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v1 <- buildPlanBlock ((planBlock "Plan" [v0, v0]) {planBlockBlockId = Nothing})
v1 `seq` pure ()
invalid174 :: Result ()
invalid174 = do
v0 <- buildTaskCardBlock ((taskCardBlock "task" "Task" TaskStatusPending) {taskCardBlockDetails = Nothing, taskCardBlockOutput = Nothing, taskCardBlockSources = Nothing, taskCardBlockBlockId = Nothing})
v1 <- taskCardBlockAsBlock v0
v2 <- buildMessagePayload ((messagePayload "C123") {messagePayloadBlocks = Just [v1], messagePayloadAttachments = Nothing, messagePayloadText = Nothing, messagePayloadMrkdwn = Nothing, messagePayloadUnfurlLinks = Nothing, messagePayloadUnfurlMedia = Nothing, messagePayloadMetadata = Nothing})
v2 `seq` pure ()
invalid175 :: Result ()
invalid175 = do
v0 <- buildRichTextText ((richTextText "Item") {richTextTextStyle = Nothing})
v1 <- buildRichTextSection (richTextSection [richTextTextAsRichTextSectionElement v0])
v2 <- buildRichTextList ((richTextList RichTextListStyleBullet [v1]) {richTextListIndent = Just (-1), richTextListOffset = Nothing, richTextListBorder = Nothing})
v2 `seq` pure ()
invalid176 :: Result ()
invalid176 = do
v0 <- buildRichTextText ((richTextText "Item") {richTextTextStyle = Nothing})
v1 <- buildRichTextSection (richTextSection [richTextTextAsRichTextSectionElement v0])
v2 <- buildRichTextList ((richTextList RichTextListStyleBullet [v1]) {richTextListIndent = Just 9, richTextListOffset = Nothing, richTextListBorder = Nothing})
v2 `seq` pure ()
invalid177 :: Result ()
invalid177 = do
v0 <- buildRichTextText ((richTextText "Item") {richTextTextStyle = Nothing})
v1 <- buildRichTextSection (richTextSection [richTextTextAsRichTextSectionElement v0])
v2 <- buildRichTextList ((richTextList RichTextListStyleBullet [v1]) {richTextListIndent = Nothing, richTextListOffset = Just (-1), richTextListBorder = Nothing})
v2 `seq` pure ()
invalid178 :: Result ()
invalid178 = do
v0 <- buildRichTextText ((richTextText "Item") {richTextTextStyle = Nothing})
v1 <- buildRichTextSection (richTextSection [richTextTextAsRichTextSectionElement v0])
v2 <- buildRichTextList ((richTextList RichTextListStyleBullet [v1]) {richTextListIndent = Nothing, richTextListOffset = Nothing, richTextListBorder = Just (-1)})
v2 `seq` pure ()
invalid179 :: Result ()
invalid179 = do
v0 <- buildRichTextText ((richTextText "Item") {richTextTextStyle = Nothing})
v1 <- buildRichTextSection (richTextSection [richTextTextAsRichTextSectionElement v0])
v2 <- buildRichTextList ((richTextList RichTextListStyleBullet [v1]) {richTextListIndent = Nothing, richTextListOffset = Nothing, richTextListBorder = Just 2})
v2 `seq` pure ()
invalid180 :: Result ()
invalid180 = do
v0 <- buildRichTextText ((richTextText "Text") {richTextTextStyle = Nothing})
v1 <- buildRichTextQuote ((richTextQuote [richTextTextAsRichTextSectionElement v0]) {richTextQuoteBorder = Just (-1)})
v1 `seq` pure ()
invalid181 :: Result ()
invalid181 = do
v0 <- buildRichTextText ((richTextText "Text") {richTextTextStyle = Nothing})
v1 <- buildRichTextQuote ((richTextQuote [richTextTextAsRichTextSectionElement v0]) {richTextQuoteBorder = Just 2})
v1 `seq` pure ()
invalid182 :: Result ()
invalid182 = do
v0 <- buildRichTextText ((richTextText "Text") {richTextTextStyle = Nothing})
v1 <- buildRichTextCodeBlock ((richTextCodeBlock [richTextTextAsRichTextSectionElement v0]) {richTextCodeBlockBorder = Just (-1)})
v1 `seq` pure ()
invalid183 :: Result ()
invalid183 = do
v0 <- buildRichTextText ((richTextText "Text") {richTextTextStyle = Nothing})
v1 <- buildRichTextCodeBlock ((richTextCodeBlock [richTextTextAsRichTextSectionElement v0]) {richTextCodeBlockBorder = Just 2})
v1 `seq` pure ()
invalid184 :: Result ()
invalid184 = do
v0 <- buildPlainText ((plainText "Title") {plainTextEmoji = Nothing})
v1 <- buildVideoBlock ((videoBlock "Video" (T.replicate 3001 "x") v0 "https://example.com/video.mp4") {videoBlockBlockId = Nothing, videoBlockAuthorName = Nothing, videoBlockDescription = Nothing, videoBlockProviderIconUrl = Nothing, videoBlockProviderName = Nothing, videoBlockTitleUrl = Nothing})
v1 `seq` pure ()
invalid185 :: Result ()
invalid185 = do
v0 <- buildPlainText ((plainText "Title") {plainTextEmoji = Nothing})
v1 <- buildVideoBlock ((videoBlock "Video" "https://example.com/thumbnail.png" v0 (T.replicate 3001 "x")) {videoBlockBlockId = Nothing, videoBlockAuthorName = Nothing, videoBlockDescription = Nothing, videoBlockProviderIconUrl = Nothing, videoBlockProviderName = Nothing, videoBlockTitleUrl = Nothing})
v1 `seq` pure ()
invalid186 :: Result ()
invalid186 = do
v0 <- buildPlainText ((plainText "Title") {plainTextEmoji = Nothing})
v1 <- buildVideoBlock ((videoBlock "Video" "https://example.com/thumbnail.png" v0 "https://example.com/video.mp4") {videoBlockBlockId = Nothing, videoBlockAuthorName = Nothing, videoBlockDescription = Nothing, videoBlockProviderIconUrl = Nothing, videoBlockProviderName = Nothing, videoBlockTitleUrl = Just (T.replicate 2001 "x")})
v1 `seq` pure ()
invalid187 :: Result ()
invalid187 = do
v0 <- buildPlainText ((plainText "Title") {plainTextEmoji = Nothing})
v1 <- buildVideoBlock ((videoBlock "Video" "https://example.com/thumbnail.png" v0 "https://example.com/video.mp4") {videoBlockBlockId = Nothing, videoBlockAuthorName = Nothing, videoBlockDescription = Nothing, videoBlockProviderIconUrl = Just (T.replicate 2001 "x"), videoBlockProviderName = Nothing, videoBlockTitleUrl = Nothing})
v1 `seq` pure ()
invalid188 :: Result ()
invalid188 = do
v0 <- buildDividerBlock (dividerBlock {dividerBlockBlockId = Nothing})
v1 <- buildHomeTabView ((homeTabView [dividerBlockAsBlock v0]) {homeTabViewPrivateMetadata = Nothing, homeTabViewCallbackId = Nothing, homeTabViewExternalId = Just (T.replicate 256 "x")})
v1 `seq` pure ()
invalidCases :: [(String, Maybe (Result ()), Result ())]
invalidCases =
[ ("external-query-negative", Just invalid0, void (fromValue (object ["type" .= String "external_select", "min_query_length" .= Number (-1)]) :: Result ExternalSelectElement)),
("external-multi-query-negative", Just invalid1, void (fromValue (object ["type" .= String "multi_external_select", "min_query_length" .= Number (-1)]) :: Result ExternalMultiSelectElement)),
("date-picker-invalid-format", Just invalid2, void (fromValue (object ["type" .= String "datepicker", "initial_date" .= String "February 29, 2028"]) :: Result DatePickerElement)),
("time-picker-invalid-format", Just invalid3, void (fromValue (object ["type" .= String "timepicker", "initial_time" .= String "9:00"]) :: Result TimePickerElement)),
("time-picker-invalid-range", Just invalid4, void (fromValue (object ["type" .= String "timepicker", "initial_time" .= String "25:99"]) :: Result TimePickerElement)),
("static-select-empty-options", Just invalid5, void (fromValue (object ["type" .= String "static_select", "options" .= toJSON ([] :: [Value])]) :: Result StaticSelectElement)),
("static-multi-select-empty-options", Just invalid6, void (fromValue (object ["type" .= String "multi_static_select", "options" .= toJSON ([] :: [Value])]) :: Result StaticMultiSelectElement)),
("static-select-empty-groups", Just invalid7, void (fromValue (object ["type" .= String "static_select", "option_groups" .= toJSON ([] :: [Value])]) :: Result StaticSelectElement)),
("static-multi-select-empty-groups", Just invalid8, void (fromValue (object ["type" .= String "multi_static_select", "option_groups" .= toJSON ([] :: [Value])]) :: Result StaticMultiSelectElement)),
("text-empty", Just invalid9, void (fromValue (object ["type" .= String "plain_text", "text" .= String ""]) :: Result PlainText)),
("text-too-long", Just invalid10, void (fromValue (object ["type" .= String "plain_text", "text" .= String (T.replicate 3001 "x")]) :: Result PlainText)),
("button-agent-prompt-too-long", Just invalid11, void (fromValue (object ["type" .= String "button", "text" .= object ["type" .= String "plain_text", "text" .= String "A"], "agent_prompt" .= String (T.replicate 4001 "😀")]) :: Result ButtonElement)),
("button-agent-prompt-display-without-prompt", Just invalid12, void (fromValue (object ["type" .= String "button", "text" .= object ["type" .= String "plain_text", "text" .= String "A"], "agent_prompt_display" .= String ""]) :: Result ButtonElement)),
("button-action-id-too-long", Just invalid13, void (fromValue (object ["type" .= String "button", "text" .= object ["type" .= String "plain_text", "text" .= String "A"], "action_id" .= String (T.replicate 256 "x")]) :: Result ButtonElement)),
("button-text-too-long", Just invalid14, void (fromValue (object ["type" .= String "button", "text" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 76 "x")], "action_id" .= String "a"]) :: Result ButtonElement)),
("button-url-too-long", Just invalid15, void (fromValue (object ["type" .= String "button", "text" .= object ["type" .= String "plain_text", "text" .= String "A"], "action_id" .= String "a", "url" .= String (T.replicate 3001 "x")]) :: Result ButtonElement)),
("button-value-too-long", Just invalid16, void (fromValue (object ["type" .= String "button", "text" .= object ["type" .= String "plain_text", "text" .= String "A"], "action_id" .= String "a", "value" .= String (T.replicate 2001 "x")]) :: Result ButtonElement)),
("confirmation-title-too-long", Just invalid17, void (fromValue (object ["title" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 101 "x")], "text" .= object ["type" .= String "mrkdwn", "text" .= String "Text"], "confirm" .= object ["type" .= String "plain_text", "text" .= String "Yes"], "deny" .= object ["type" .= String "plain_text", "text" .= String "No"]]) :: Result ConfirmationDialogue)),
("confirmation-text-too-long", Just invalid18, void (fromValue (object ["title" .= object ["type" .= String "plain_text", "text" .= String "Title"], "text" .= object ["type" .= String "mrkdwn", "text" .= String (T.replicate 301 "x")], "confirm" .= object ["type" .= String "plain_text", "text" .= String "Yes"], "deny" .= object ["type" .= String "plain_text", "text" .= String "No"]]) :: Result ConfirmationDialogue)),
("confirmation-confirm-too-long", Just invalid19, void (fromValue (object ["title" .= object ["type" .= String "plain_text", "text" .= String "Title"], "text" .= object ["type" .= String "mrkdwn", "text" .= String "Text"], "confirm" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 31 "x")], "deny" .= object ["type" .= String "plain_text", "text" .= String "No"]]) :: Result ConfirmationDialogue)),
("confirmation-deny-too-long", Just invalid20, void (fromValue (object ["title" .= object ["type" .= String "plain_text", "text" .= String "Title"], "text" .= object ["type" .= String "mrkdwn", "text" .= String "Text"], "confirm" .= object ["type" .= String "plain_text", "text" .= String "Yes"], "deny" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 31 "x")]]) :: Result ConfirmationDialogue)),
("option-text-too-long", Just invalid21, void (fromValue (object ["text" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 76 "x")], "value" .= String "a"]) :: Result SelectOption)),
("option-value-too-long", Just invalid22, void (fromValue (object ["text" .= object ["type" .= String "plain_text", "text" .= String "A"], "value" .= String (T.replicate 151 "x")]) :: Result SelectOption)),
("option-url-too-long", Just invalid23, void (fromValue (object ["text" .= object ["type" .= String "plain_text", "text" .= String "A"], "value" .= String "a", "url" .= String (T.replicate 3001 "🙂")]) :: Result SelectOption)),
("option-description-too-long", Just invalid24, void (fromValue (object ["text" .= object ["type" .= String "plain_text", "text" .= String "A"], "value" .= String "a", "description" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 76 "x")]]) :: Result SelectOption)),
("option-group-label-too-long", Just invalid25, void (fromValue (object ["label" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 76 "x")], "options" .= toJSON ([object ["text" .= object ["type" .= String "plain_text", "text" .= String "A"], "value" .= String "a"]] :: [Value])]) :: Result SelectOptionGroup)),
("option-group-empty", Just invalid26, void (fromValue (object ["label" .= object ["type" .= String "plain_text", "text" .= String "Group"], "options" .= toJSON ([] :: [Value])]) :: Result SelectOptionGroup)),
("option-group-too-many-options", Just invalid27, void (fromValue (object ["label" .= object ["type" .= String "plain_text", "text" .= String "Group"], "options" .= toJSON (replicate 101 (object ["text" .= object ["type" .= String "plain_text", "text" .= String "A"], "value" .= String "a"]))]) :: Result SelectOptionGroup)),
("select-placeholder-too-long", Just invalid28, void (fromValue (object ["type" .= String "static_select", "action_id" .= String "a", "options" .= toJSON ([object ["text" .= object ["type" .= String "plain_text", "text" .= String "A"], "value" .= String "a"]] :: [Value]), "placeholder" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 151 "x")]]) :: Result StaticSelectElement)),
("plain-text-input-placeholder-too-long", Just invalid29, void (fromValue (object ["type" .= String "plain_text_input", "action_id" .= String "a", "placeholder" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 151 "x")]]) :: Result PlainTextInputElement)),
("email-input-placeholder-too-long", Just invalid30, void (fromValue (object ["type" .= String "email_text_input", "action_id" .= String "a", "placeholder" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 151 "x")]]) :: Result EmailInputElement)),
("url-input-placeholder-too-long", Just invalid31, void (fromValue (object ["type" .= String "url_text_input", "action_id" .= String "a", "placeholder" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 151 "x")]]) :: Result UrlInputElement)),
("number-input-placeholder-too-long", Just invalid32, void (fromValue (object ["type" .= String "number_input", "action_id" .= String "a", "is_decimal_allowed" .= Bool False, "placeholder" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 151 "x")]]) :: Result NumberInputElement)),
("date-picker-placeholder-too-long", Just invalid33, void (fromValue (object ["type" .= String "datepicker", "action_id" .= String "a", "placeholder" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 151 "x")]]) :: Result DatePickerElement)),
("time-picker-placeholder-too-long", Just invalid34, void (fromValue (object ["type" .= String "timepicker", "action_id" .= String "a", "placeholder" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 151 "x")]]) :: Result TimePickerElement)),
("rich-text-input-placeholder-too-long", Just invalid35, void (fromValue (object ["type" .= String "rich_text_input", "action_id" .= String "a", "placeholder" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 151 "x")]]) :: Result RichTextInputElement)),
("select-too-many-options", Just invalid36, void (fromValue (object ["type" .= String "static_select", "action_id" .= String "a", "options" .= toJSON (replicate 101 (object ["text" .= object ["type" .= String "plain_text", "text" .= String "A"], "value" .= String "a"]))]) :: Result StaticSelectElement)),
("select-too-many-option-groups", Just invalid37, void (fromValue (object ["type" .= String "static_select", "action_id" .= String "a", "option_groups" .= toJSON (replicate 101 (object ["label" .= object ["type" .= String "plain_text", "text" .= String "Group"], "options" .= toJSON ([object ["text" .= object ["type" .= String "plain_text", "text" .= String "A"], "value" .= String "a"]] :: [Value])]))]) :: Result StaticSelectElement)),
("overflow-empty", Just invalid38, void (fromValue (object ["type" .= String "overflow", "action_id" .= String "a", "options" .= toJSON ([] :: [Value])]) :: Result OverflowElement)),
("overflow-too-many-options", Just invalid39, void (fromValue (object ["type" .= String "overflow", "action_id" .= String "a", "options" .= toJSON (replicate 6 (object ["text" .= object ["type" .= String "plain_text", "text" .= String "A"], "value" .= String "a"]))]) :: Result OverflowElement)),
("checkboxes-empty", Just invalid40, void (fromValue (object ["type" .= String "checkboxes", "action_id" .= String "a", "options" .= toJSON ([] :: [Value])]) :: Result CheckboxesElement)),
("checkboxes-too-many-options", Just invalid41, void (fromValue (object ["type" .= String "checkboxes", "action_id" .= String "a", "options" .= toJSON (replicate 11 (object ["text" .= object ["type" .= String "plain_text", "text" .= String "A"], "value" .= String "a"]))]) :: Result CheckboxesElement)),
("radio-buttons-empty", Just invalid42, void (fromValue (object ["type" .= String "radio_buttons", "action_id" .= String "a", "options" .= toJSON ([] :: [Value])]) :: Result RadioButtonsElement)),
("radio-buttons-too-many-options", Just invalid43, void (fromValue (object ["type" .= String "radio_buttons", "action_id" .= String "a", "options" .= toJSON (replicate 11 (object ["text" .= object ["type" .= String "plain_text", "text" .= String "A"], "value" .= String "a"]))]) :: Result RadioButtonsElement)),
("table-too-many-rows", Just invalid44, void (fromValue (object ["type" .= String "table", "rows" .= toJSON (replicate 101 (toJSON ([object ["type" .= String "raw_text", "text" .= String "A"]] :: [Value])))]) :: Result TableBlock)),
("table-too-many-columns", Just invalid45, void (fromValue (object ["type" .= String "table", "rows" .= toJSON ([toJSON (replicate 21 (object ["type" .= String "raw_text", "text" .= String "A"]))] :: [Value])]) :: Result TableBlock)),
("file-input-max-files-too-small", Just invalid46, void (fromValue (object ["type" .= String "file_input", "action_id" .= String "a", "max_files" .= Number 0]) :: Result FileInputElement)),
("file-input-max-files-too-large", Just invalid47, void (fromValue (object ["type" .= String "file_input", "action_id" .= String "a", "max_files" .= Number 11]) :: Result FileInputElement)),
("dispatch-action-no-triggers", Just invalid48, void (fromValue (object ["trigger_actions_on" .= toJSON ([] :: [Value])]) :: Result DispatchActionConfiguration)),
("dispatch-action-missing-triggers", Just invalid49, void (fromValue (object []) :: Result DispatchActionConfiguration)),
("dispatch-action-too-many-triggers", Just invalid50, void (fromValue (object ["trigger_actions_on" .= toJSON ([String "on_enter_pressed", String "on_character_entered", String "on_enter_pressed"] :: [Value])]) :: Result DispatchActionConfiguration)),
("plain-text-input-max-length-too-large", Just invalid51, void (fromValue (object ["type" .= String "plain_text_input", "action_id" .= String "a", "max_length" .= Number 3001]) :: Result PlainTextInputElement)),
("actions-too-many-elements", Just invalid52, void (fromValue (object ["type" .= String "actions", "elements" .= toJSON (replicate 26 (object ["type" .= String "button", "text" .= object ["type" .= String "plain_text", "text" .= String "A"], "action_id" .= String "a"]))]) :: Result ActionsBlock)),
("context-too-many-elements", Just invalid53, void (fromValue (object ["type" .= String "context", "elements" .= toJSON (replicate 11 (object ["type" .= String "mrkdwn", "text" .= String "A"]))]) :: Result ContextBlock)),
("header-text-too-long", Just invalid54, void (fromValue (object ["type" .= String "header", "text" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 151 "x")]]) :: Result HeaderBlock)),
("image-url-too-long", Just invalid55, void (fromValue (object ["type" .= String "image", "image_url" .= String (T.replicate 3001 "x"), "alt_text" .= String "Alt"]) :: Result ImageBlock)),
("image-alt-text-too-long", Just invalid56, void (fromValue (object ["type" .= String "image", "image_url" .= String "https://example.com/image.png", "alt_text" .= String (T.replicate 2001 "x")]) :: Result ImageBlock)),
("input-label-too-long", Just invalid57, void (fromValue (object ["type" .= String "input", "label" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 2001 "x")], "element" .= object ["type" .= String "plain_text_input", "action_id" .= String "a"]]) :: Result InputBlock)),
("input-hint-too-long", Just invalid58, void (fromValue (object ["type" .= String "input", "label" .= object ["type" .= String "plain_text", "text" .= String "Label"], "hint" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 2001 "x")], "element" .= object ["type" .= String "plain_text_input", "action_id" .= String "a"]]) :: Result InputBlock)),
("markdown-too-long", Just invalid59, void (fromValue (object ["type" .= String "markdown", "text" .= String (T.replicate 12001 "x")]) :: Result MarkdownBlock)),
("section-text-too-long", Just invalid60, void (fromValue (object ["type" .= String "section", "text" .= object ["type" .= String "mrkdwn", "text" .= String (T.replicate 3001 "x")]]) :: Result SectionBlock)),
("section-too-many-fields", Just invalid61, void (fromValue (object ["type" .= String "section", "fields" .= toJSON (replicate 11 (object ["type" .= String "mrkdwn", "text" .= String "x"]))]) :: Result SectionBlock)),
("section-field-too-long", Just invalid62, void (fromValue (object ["type" .= String "section", "fields" .= toJSON ([object ["type" .= String "mrkdwn", "text" .= String (T.replicate 2001 "x")]] :: [Value])]) :: Result SectionBlock)),
("video-alt-text-too-long", Just invalid63, void (fromValue (object ["type" .= String "video", "alt_text" .= String (T.replicate 2001 "x"), "thumbnail_url" .= String "https://example.com/thumbnail.png", "title" .= object ["type" .= String "plain_text", "text" .= String "Title"], "video_url" .= String "https://example.com/video.mp4"]) :: Result VideoBlock)),
("video-title-too-long", Just invalid64, void (fromValue (object ["type" .= String "video", "alt_text" .= String "Video", "thumbnail_url" .= String "https://example.com/thumbnail.png", "title" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 201 "x")], "video_url" .= String "https://example.com/video.mp4"]) :: Result VideoBlock)),
("video-author-name-too-long", Just invalid65, void (fromValue (object ["type" .= String "video", "alt_text" .= String "Video", "thumbnail_url" .= String "https://example.com/thumbnail.png", "title" .= object ["type" .= String "plain_text", "text" .= String "Title"], "video_url" .= String "https://example.com/video.mp4", "author_name" .= String (T.replicate 51 "x")]) :: Result VideoBlock)),
("video-description-too-long", Just invalid66, void (fromValue (object ["type" .= String "video", "alt_text" .= String "Video", "thumbnail_url" .= String "https://example.com/thumbnail.png", "title" .= object ["type" .= String "plain_text", "text" .= String "Title"], "video_url" .= String "https://example.com/video.mp4", "description" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 201 "x")]]) :: Result VideoBlock)),
("video-provider-name-too-long", Just invalid67, void (fromValue (object ["type" .= String "video", "alt_text" .= String "Video", "thumbnail_url" .= String "https://example.com/thumbnail.png", "title" .= object ["type" .= String "plain_text", "text" .= String "Title"], "video_url" .= String "https://example.com/video.mp4", "provider_name" .= String (T.replicate 51 "x")]) :: Result VideoBlock)),
("message-channel-empty", Just invalid68, void (fromValue (object ["channel" .= String ""]) :: Result MessagePayload)),
("message-too-many-blocks", Just invalid69, void (fromValue (object ["channel" .= String "C123", "blocks" .= toJSON (replicate 51 (object ["type" .= String "divider"]))]) :: Result MessagePayload)),
("message-too-many-attachments", Just invalid70, void (fromValue (object ["channel" .= String "C123", "attachments" .= toJSON (replicate 101 (object ["blocks" .= toJSON ([object ["type" .= String "divider"]] :: [Value])]))]) :: Result MessagePayload)),
("message-invalid-block-surface", Just invalid71, void (fromValue (object ["channel" .= String "C123", "blocks" .= toJSON ([object ["type" .= String "alert", "text" .= object ["type" .= String "plain_text", "text" .= String "Modal only"]]] :: [Value])]) :: Result MessagePayload)),
("modal-invalid-block-surface", Just invalid72, void (fromValue (object ["type" .= String "modal", "title" .= object ["type" .= String "plain_text", "text" .= String "Invalid"], "blocks" .= toJSON ([object ["type" .= String "markdown", "text" .= String "Message only"]] :: [Value])]) :: Result ModalView)),
("home-invalid-block-surface", Just invalid73, void (fromValue (object ["type" .= String "home", "blocks" .= toJSON ([object ["type" .= String "alert", "text" .= object ["type" .= String "plain_text", "text" .= String "Modal only"]]] :: [Value])]) :: Result HomeTabView)),
("modal-input-requires-submit", Just invalid74, void (fromValue (object ["type" .= String "modal", "title" .= object ["type" .= String "plain_text", "text" .= String "Missing submit"], "blocks" .= toJSON ([object ["type" .= String "input", "label" .= object ["type" .= String "plain_text", "text" .= String "Name"], "element" .= object ["type" .= String "plain_text_input", "action_id" .= String "a"]]] :: [Value])]) :: Result ModalView)),
("view-too-many-blocks", Just invalid75, void (fromValue (object ["type" .= String "home", "blocks" .= toJSON (replicate 101 (object ["type" .= String "divider"]))]) :: Result HomeTabView)),
("view-private-metadata-too-long", Just invalid76, void (fromValue (object ["type" .= String "home", "blocks" .= toJSON ([object ["type" .= String "divider"]] :: [Value]), "private_metadata" .= String (T.replicate 3001 "x")]) :: Result HomeTabView)),
("view-callback-id-too-long", Just invalid77, void (fromValue (object ["type" .= String "home", "blocks" .= toJSON ([object ["type" .= String "divider"]] :: [Value]), "callback_id" .= String (T.replicate 256 "x")]) :: Result HomeTabView)),
("view-title-too-long", Just invalid78, void (fromValue (object ["type" .= String "modal", "title" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 25 "x")], "blocks" .= toJSON ([object ["type" .= String "divider"]] :: [Value])]) :: Result ModalView)),
("view-close-too-long", Just invalid79, void (fromValue (object ["type" .= String "modal", "title" .= object ["type" .= String "plain_text", "text" .= String "Title"], "close" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 25 "x")], "blocks" .= toJSON ([object ["type" .= String "divider"]] :: [Value])]) :: Result ModalView)),
("view-submit-too-long", Just invalid80, void (fromValue (object ["type" .= String "modal", "title" .= object ["type" .= String "plain_text", "text" .= String "Title"], "submit" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 25 "x")], "blocks" .= toJSON ([object ["type" .= String "divider"]] :: [Value])]) :: Result ModalView)),
("section-missing-content", Just invalid81, void (fromValue (object ["type" .= String "section"]) :: Result SectionBlock)),
("section-empty-fields", Just invalid82, void (fromValue (object ["type" .= String "section", "fields" .= toJSON ([] :: [Value])]) :: Result SectionBlock)),
("static-select-options-and-groups", Just invalid83, void (fromValue (object ["type" .= String "static_select", "action_id" .= String "a", "options" .= toJSON ([object ["text" .= object ["type" .= String "plain_text", "text" .= String "A"], "value" .= String "a"]] :: [Value]), "option_groups" .= toJSON ([object ["label" .= object ["type" .= String "plain_text", "text" .= String "A"], "options" .= toJSON ([object ["text" .= object ["type" .= String "plain_text", "text" .= String "B"], "value" .= String "b"]] :: [Value])]] :: [Value])]) :: Result StaticSelectElement)),
("image-url-and-slack-file", Just invalid84, void (fromValue (object ["type" .= String "image", "alt_text" .= String "image", "image_url" .= String "https://example.com/image.png", "slack_file" .= object ["id" .= String "F0123ABC456"]]) :: Result ImageElement)),
("number-bound-inverted-large-integer", Just invalid85, void (fromValue (object ["type" .= String "number_input", "is_decimal_allowed" .= Bool True, "min_value" .= String "9007199254740993", "max_value" .= String "9007199254740992"]) :: Result NumberInputElement)),
("number-bound-inverted-long-fraction", Just invalid86, void (fromValue (object ["type" .= String "number_input", "is_decimal_allowed" .= Bool True, "min_value" .= String "0.10000000000000001", "max_value" .= String "0.1"]) :: Result NumberInputElement)),
("number-bound-hex", Just invalid87, void (fromValue (object ["type" .= String "number_input", "is_decimal_allowed" .= Bool True, "min_value" .= String "0x10"]) :: Result NumberInputElement)),
("number-bound-underscore", Just invalid88, void (fromValue (object ["type" .= String "number_input", "is_decimal_allowed" .= Bool True, "min_value" .= String "1_000"]) :: Result NumberInputElement)),
("number-bound-leading-space", Just invalid89, void (fromValue (object ["type" .= String "number_input", "is_decimal_allowed" .= Bool True, "min_value" .= String " 1"]) :: Result NumberInputElement)),
("number-bound-trailing-space", Just invalid90, void (fromValue (object ["type" .= String "number_input", "is_decimal_allowed" .= Bool True, "min_value" .= String "1 "]) :: Result NumberInputElement)),
("number-bound-nan", Just invalid91, void (fromValue (object ["type" .= String "number_input", "is_decimal_allowed" .= Bool True, "min_value" .= String "NaN"]) :: Result NumberInputElement)),
("number-bound-infinity", Just invalid92, void (fromValue (object ["type" .= String "number_input", "is_decimal_allowed" .= Bool True, "min_value" .= String "Infinity"]) :: Result NumberInputElement)),
("external-multi-focus-false", Just invalid93, void (fromValue (object ["type" .= String "multi_external_select", "focus_on_load" .= Bool False]) :: Result ExternalMultiSelectElement)),
("external-multi-focus-true", Just invalid94, void (fromValue (object ["type" .= String "multi_external_select", "focus_on_load" .= Bool True]) :: Result ExternalMultiSelectElement)),
("plain-text-input-inverted-range", Just invalid95, void (fromValue (object ["type" .= String "plain_text_input", "min_length" .= Number 20, "max_length" .= Number 10]) :: Result PlainTextInputElement)),
("number-input-inverted-range", Just (void $ buildNumberInputElement ((numberInputElement True) {numberInputElementMinValue = Just (decimalText 2), numberInputElementMaxValue = Just (decimalText 1)})), void (fromValue (object ["type" .= String "number_input", "action_id" .= String "a", "is_decimal_allowed" .= Bool True, "min_value" .= Number 2, "max_value" .= Number 1]) :: Result NumberInputElement)),
("context-invalid-element", Nothing, void (fromValue (object ["type" .= String "context", "elements" .= toJSON ([object ["type" .= String "divider"]] :: [Value])]) :: Result ContextBlock)),
("input-invalid-element", Nothing, void (fromValue (object ["type" .= String "input", "label" .= object ["type" .= String "plain_text", "text" .= String "Label"], "element" .= object ["type" .= String "button", "text" .= object ["type" .= String "plain_text", "text" .= String "A"], "action_id" .= String "a"]]) :: Result InputBlock)),
("block-id-too-long", Just invalid99, void (fromValue (object ["type" .= String "divider", "block_id" .= String (T.replicate 256 "x")]) :: Result DividerBlock)),
("button-accessibility-label-too-long", Just invalid100, void (fromValue (object ["type" .= String "button", "text" .= object ["type" .= String "plain_text", "text" .= String "A"], "action_id" .= String "a", "accessibility_label" .= String (T.replicate 76 "x")]) :: Result ButtonElement)),
("workflow-button-text-too-long", Just invalid101, void (fromValue (object ["type" .= String "workflow_button", "text" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 76 "x")], "workflow" .= object ["trigger" .= object ["url" .= String "https://slack.com/shortcuts/Ft0/abc"]], "action_id" .= String "a"]) :: Result WorkflowButtonElement)),
("workflow-button-accessibility-label-too-long", Just invalid102, void (fromValue (object ["type" .= String "workflow_button", "text" .= object ["type" .= String "plain_text", "text" .= String "Run"], "workflow" .= object ["trigger" .= object ["url" .= String "https://slack.com/shortcuts/Ft0/abc"]], "action_id" .= String "a", "accessibility_label" .= String (T.replicate 76 "x")]) :: Result WorkflowButtonElement)),
("alert-text-too-long", Just invalid103, void (fromValue (object ["type" .= String "alert", "text" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 201 "x")]]) :: Result AlertBlock)),
("card-title-too-long", Just invalid104, void (fromValue (object ["type" .= String "card", "title" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 151 "x")]]) :: Result CardBlock)),
("card-subtitle-too-long", Just invalid105, void (fromValue (object ["type" .= String "card", "title" .= object ["type" .= String "plain_text", "text" .= String "Card"], "subtitle" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 151 "x")]]) :: Result CardBlock)),
("card-body-too-long", Just invalid106, void (fromValue (object ["type" .= String "card", "body" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 201 "x")]]) :: Result CardBlock)),
("card-too-many-actions", Just invalid107, void (fromValue (object ["type" .= String "card", "title" .= object ["type" .= String "plain_text", "text" .= String "Card"], "actions" .= toJSON (replicate 4 (object ["type" .= String "button", "text" .= object ["type" .= String "plain_text", "text" .= String "A"], "action_id" .= String "a"]))]) :: Result CardBlock)),
("card-subtext-too-long", Just invalid108, void (fromValue (object ["type" .= String "card", "title" .= object ["type" .= String "plain_text", "text" .= String "Card"], "subtext" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 201 "x")]]) :: Result CardBlock)),
("carousel-empty", Just invalid109, void (fromValue (object ["type" .= String "carousel", "elements" .= toJSON ([] :: [Value])]) :: Result CarouselBlock)),
("carousel-too-many-cards", Just invalid110, void (fromValue (object ["type" .= String "carousel", "elements" .= toJSON (replicate 11 (object ["type" .= String "card", "title" .= object ["type" .= String "plain_text", "text" .= String "Card"]]))]) :: Result CarouselBlock)),
("container-title-too-long", Just invalid111, void (fromValue (object ["type" .= String "container", "title" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 151 "x")], "child_blocks" .= toJSON ([object ["type" .= String "divider"]] :: [Value])]) :: Result ContainerBlock)),
("container-subtitle-too-long", Just invalid112, void (fromValue (object ["type" .= String "container", "title" .= object ["type" .= String "plain_text", "text" .= String "Container"], "subtitle" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 151 "x")], "child_blocks" .= toJSON ([object ["type" .= String "divider"]] :: [Value])]) :: Result ContainerBlock)),
("container-too-many-child-blocks", Just invalid113, void (fromValue (object ["type" .= String "container", "title" .= object ["type" .= String "plain_text", "text" .= String "Container"], "child_blocks" .= toJSON (replicate 11 (object ["type" .= String "divider"]))]) :: Result ContainerBlock)),
("context-actions-too-many-elements", Just invalid114, void (fromValue (object ["type" .= String "context_actions", "elements" .= toJSON (replicate 6 (object ["type" .= String "icon_button", "text" .= object ["type" .= String "plain_text", "text" .= String "Delete"], "icon" .= String "trash"]))]) :: Result ContextActionsBlock)),
("feedback-button-text-too-long", Just invalid115, void (fromValue (object ["type" .= String "feedback_buttons", "positive_button" .= object ["text" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 76 "x")], "value" .= String "good"], "negative_button" .= object ["text" .= object ["type" .= String "plain_text", "text" .= String "Bad"], "value" .= String "bad"]]) :: Result FeedbackButtonsElement)),
("feedback-button-value-too-long", Just invalid116, void (fromValue (object ["type" .= String "feedback_buttons", "positive_button" .= object ["text" .= object ["type" .= String "plain_text", "text" .= String "Good"], "value" .= String (T.replicate 2001 "x")], "negative_button" .= object ["text" .= object ["type" .= String "plain_text", "text" .= String "Bad"], "value" .= String "bad"]]) :: Result FeedbackButtonsElement)),
("feedback-button-accessibility-label-too-long", Just invalid117, void (fromValue (object ["type" .= String "feedback_buttons", "positive_button" .= object ["text" .= object ["type" .= String "plain_text", "text" .= String "Good"], "value" .= String "good", "accessibility_label" .= String (T.replicate 76 "x")], "negative_button" .= object ["text" .= object ["type" .= String "plain_text", "text" .= String "Bad"], "value" .= String "bad"]]) :: Result FeedbackButtonsElement)),
("icon-button-too-many-visible-users", Just invalid118, void (fromValue (object ["type" .= String "icon_button", "text" .= object ["type" .= String "plain_text", "text" .= String "Delete"], "icon" .= String "trash", "visible_to_user_ids" .= toJSON ([String "U0", String "U1", String "U2", String "U3", String "U4", String "U5", String "U6", String "U7", String "U8", String "U9", String "U10"] :: [Value])]) :: Result IconButtonElement)),
("icon-button-value-too-long", Just invalid119, void (fromValue (object ["type" .= String "icon_button", "text" .= object ["type" .= String "plain_text", "text" .= String "Delete"], "icon" .= String "trash", "value" .= String (T.replicate 2001 "x")]) :: Result IconButtonElement)),
("icon-button-accessibility-label-too-long", Just invalid120, void (fromValue (object ["type" .= String "icon_button", "text" .= object ["type" .= String "plain_text", "text" .= String "Delete"], "icon" .= String "trash", "accessibility_label" .= String (T.replicate 76 "x")]) :: Result IconButtonElement)),
("data-table-too-few-rows", Just invalid121, void (fromValue (object ["type" .= String "data_table", "rows" .= toJSON ([toJSON ([object ["type" .= String "raw_text", "text" .= String "Name"]] :: [Value])] :: [Value]), "caption" .= String "Names"]) :: Result DataTableBlock)),
("data-table-too-many-rows", Just invalid122, void (fromValue (object ["type" .= String "data_table", "rows" .= toJSON (replicate 202 (toJSON ([object ["type" .= String "raw_text", "text" .= String "A"]] :: [Value]))), "caption" .= String "Names"]) :: Result DataTableBlock)),
("data-table-too-few-columns", Just invalid123, void (fromValue (object ["type" .= String "data_table", "rows" .= toJSON ([toJSON ([] :: [Value]), toJSON ([] :: [Value])] :: [Value]), "caption" .= String "Empty"]) :: Result DataTableBlock)),
("data-table-too-many-columns", Just invalid124, void (fromValue (object ["type" .= String "data_table", "rows" .= toJSON ([toJSON (replicate 21 (object ["type" .= String "raw_text", "text" .= String "A"])), toJSON (replicate 21 (object ["type" .= String "raw_text", "text" .= String "A"]))] :: [Value]), "caption" .= String "Wide"]) :: Result DataTableBlock)),
("data-table-page-size-too-small", Just invalid125, void (fromValue (object ["type" .= String "data_table", "rows" .= toJSON ([toJSON ([object ["type" .= String "raw_text", "text" .= String "Name"]] :: [Value]), toJSON ([object ["type" .= String "raw_text", "text" .= String "Alice"]] :: [Value])] :: [Value]), "caption" .= String "Names", "page_size" .= Number 0]) :: Result DataTableBlock)),
("data-table-page-size-too-large", Just invalid126, void (fromValue (object ["type" .= String "data_table", "rows" .= toJSON ([toJSON ([object ["type" .= String "raw_text", "text" .= String "Name"]] :: [Value]), toJSON ([object ["type" .= String "raw_text", "text" .= String "Alice"]] :: [Value])] :: [Value]), "caption" .= String "Names", "page_size" .= Number 101]) :: Result DataTableBlock)),
("data-table-cell-text-empty", Just invalid127, void (fromValue (object ["type" .= String "data_table", "rows" .= toJSON ([toJSON ([object ["type" .= String "raw_text", "text" .= String "Name"]] :: [Value]), toJSON ([object ["type" .= String "raw_text", "text" .= String ""]] :: [Value])] :: [Value]), "caption" .= String "Names"]) :: Result DataTableBlock)),
("data-table-content-too-long", Just invalid128, void (fromValue (object ["type" .= String "data_table", "rows" .= toJSON ([toJSON ([object ["type" .= String "raw_text", "text" .= String "Name"]] :: [Value]), toJSON ([object ["type" .= String "raw_text", "text" .= String (T.replicate 20000 "x")]] :: [Value])] :: [Value]), "caption" .= String "Names"]) :: Result DataTableBlock)),
("message-too-many-charts", Just invalid129, void (fromValue (object ["channel" .= String "C123", "blocks" .= toJSON (replicate 3 (object ["type" .= String "data_visualization", "title" .= String "Chart", "chart" .= object ["type" .= String "pie", "segments" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])]]))]) :: Result MessagePayload)),
("data-visualization-title-too-long", Just invalid130, void (fromValue (object ["type" .= String "data_visualization", "title" .= String (T.replicate 51 "x"), "chart" .= object ["type" .= String "pie", "segments" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])]]) :: Result DataVisualizationBlock)),
("pie-chart-empty", Just invalid131, void (fromValue (object ["type" .= String "pie", "segments" .= toJSON ([] :: [Value])]) :: Result PieChart)),
("pie-chart-too-many-segments", Just invalid132, void (fromValue (object ["type" .= String "pie", "segments" .= toJSON (replicate 13 (object ["label" .= String "S", "value" .= Number 1]))]) :: Result PieChart)),
("chart-segment-label-too-long", Just invalid133, void (fromValue (object ["label" .= String (T.replicate 21 "x"), "value" .= Number 1]) :: Result ChartSegment)),
("chart-segment-value-not-positive", Just invalid134, void (fromValue (object ["label" .= String "A", "value" .= Number 0]) :: Result ChartSegment)),
("chart-series-empty", Just invalid135, void (fromValue (object ["type" .= String "line", "axis_config" .= object ["categories" .= toJSON ([String "A"] :: [Value])], "series" .= toJSON ([] :: [Value])]) :: Result LineChart)),
("chart-duplicate-point-labels", Just invalid136, void (fromValue (object ["type" .= String "line", "axis_config" .= object ["categories" .= toJSON ([String "A", String "B"] :: [Value])], "series" .= toJSON ([object ["name" .= String "Series", "data" .= toJSON ([object ["label" .= String "A", "value" .= Number 1], object ["label" .= String "A", "value" .= Number 2]] :: [Value])]] :: [Value])]) :: Result LineChart)),
("chart-too-many-series", Just invalid137, void (fromValue (object ["type" .= String "line", "series" .= toJSON ([object ["name" .= String "S0", "data" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])], object ["name" .= String "S1", "data" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])], object ["name" .= String "S2", "data" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])], object ["name" .= String "S3", "data" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])], object ["name" .= String "S4", "data" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])], object ["name" .= String "S5", "data" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])], object ["name" .= String "S6", "data" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])], object ["name" .= String "S7", "data" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])], object ["name" .= String "S8", "data" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])], object ["name" .= String "S9", "data" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])], object ["name" .= String "S10", "data" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])], object ["name" .= String "S11", "data" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])], object ["name" .= String "S12", "data" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])]] :: [Value]), "axis_config" .= object ["categories" .= toJSON ([String "A"] :: [Value])]]) :: Result LineChart)),
("data-series-name-too-long", Just invalid138, void (fromValue (object ["name" .= String (T.replicate 21 "x"), "data" .= toJSON ([object ["label" .= String "A", "value" .= Number 1]] :: [Value])]) :: Result DataSeries)),
("data-series-empty", Just invalid139, void (fromValue (object ["name" .= String "Series", "data" .= toJSON ([] :: [Value])]) :: Result DataSeries)),
("data-series-too-many-points", Just invalid140, void (fromValue (object ["name" .= String "Series", "data" .= toJSON ([object ["label" .= String "P0", "value" .= Number 0], object ["label" .= String "P1", "value" .= Number 1], object ["label" .= String "P2", "value" .= Number 2], object ["label" .= String "P3", "value" .= Number 3], object ["label" .= String "P4", "value" .= Number 4], object ["label" .= String "P5", "value" .= Number 5], object ["label" .= String "P6", "value" .= Number 6], object ["label" .= String "P7", "value" .= Number 7], object ["label" .= String "P8", "value" .= Number 8], object ["label" .= String "P9", "value" .= Number 9], object ["label" .= String "P10", "value" .= Number 10], object ["label" .= String "P11", "value" .= Number 11], object ["label" .= String "P12", "value" .= Number 12], object ["label" .= String "P13", "value" .= Number 13], object ["label" .= String "P14", "value" .= Number 14], object ["label" .= String "P15", "value" .= Number 15], object ["label" .= String "P16", "value" .= Number 16], object ["label" .= String "P17", "value" .= Number 17], object ["label" .= String "P18", "value" .= Number 18], object ["label" .= String "P19", "value" .= Number 19], object ["label" .= String "P20", "value" .= Number 20]] :: [Value])]) :: Result DataSeries)),
("data-point-label-too-long", Just invalid141, void (fromValue (object ["label" .= String (T.replicate 21 "x"), "value" .= Number 1]) :: Result DataPoint)),
("axis-categories-empty", Just invalid142, void (fromValue (object ["categories" .= toJSON ([] :: [Value])]) :: Result AxisConfig)),
("axis-too-many-categories", Just invalid143, void (fromValue (object ["categories" .= toJSON ([String "X0", String "X1", String "X2", String "X3", String "X4", String "X5", String "X6", String "X7", String "X8", String "X9", String "X10", String "X11", String "X12", String "X13", String "X14", String "X15", String "X16", String "X17", String "X18", String "X19", String "X20"] :: [Value])]) :: Result AxisConfig)),
("axis-category-label-too-long", Just invalid144, void (fromValue (object ["categories" .= toJSON ([String (T.replicate 21 "x")] :: [Value])]) :: Result AxisConfig)),
("axis-label-too-long", Just invalid145, void (fromValue (object ["categories" .= toJSON ([String "A"] :: [Value]), "x_label" .= String (T.replicate 51 "x")]) :: Result AxisConfig)),
("plain-text-input-min-length-negative", Just invalid146, void (fromValue (object ["type" .= String "plain_text_input", "action_id" .= String "a", "min_length" .= Number (-1)]) :: Result PlainTextInputElement)),
("plain-text-input-min-length-too-large", Just invalid147, void (fromValue (object ["type" .= String "plain_text_input", "action_id" .= String "a", "min_length" .= Number 3001]) :: Result PlainTextInputElement)),
("plain-text-input-max-length-too-small", Just invalid148, void (fromValue (object ["type" .= String "plain_text_input", "action_id" .= String "a", "max_length" .= Number 0]) :: Result PlainTextInputElement)),
("rich-text-input-min-lines-too-small", Just invalid149, void (fromValue (object ["type" .= String "rich_text_input", "action_id" .= String "a", "min_lines" .= Number 0]) :: Result RichTextInputElement)),
("rich-text-input-min-lines-too-large", Just invalid150, void (fromValue (object ["type" .= String "rich_text_input", "action_id" .= String "a", "min_lines" .= Number 101]) :: Result RichTextInputElement)),
("rich-text-input-max-lines-too-small", Just invalid151, void (fromValue (object ["type" .= String "rich_text_input", "action_id" .= String "a", "max_lines" .= Number 0]) :: Result RichTextInputElement)),
("rich-text-input-max-lines-too-large", Just invalid152, void (fromValue (object ["type" .= String "rich_text_input", "action_id" .= String "a", "max_lines" .= Number 101]) :: Result RichTextInputElement)),
("multi-select-max-selected-items-too-small", Just invalid153, void (fromValue (object ["type" .= String "multi_users_select", "action_id" .= String "a", "max_selected_items" .= Number 0]) :: Result UserMultiSelectElement)),
("conversation-filter-include-empty", Just invalid154, void (fromValue (object ["include" .= toJSON ([] :: [Value])]) :: Result ConversationFilter)),
("conversation-filter-unknown-include", Just invalid155, void (fromValue (object ["include" .= toJSON ([String "channel"] :: [Value])]) :: Result ConversationFilter)),
("workflow-button-missing-action-id", Nothing, void (fromValue (object ["type" .= String "workflow_button", "text" .= object ["type" .= String "plain_text", "text" .= String "Run"], "workflow" .= object ["trigger" .= object ["url" .= String "https://slack.com/shortcuts/Ft0/abc"]]]) :: Result WorkflowButtonElement)),
("number-input-missing-decimal-flag", Nothing, void (fromValue (object ["type" .= String "number_input", "action_id" .= String "a"]) :: Result NumberInputElement)),
("slack-icon-missing-name", Nothing, void (fromValue (object ["type" .= String "icon"]) :: Result SlackIcon)),
("slack-file-id-malformed", Just invalid159, void (fromValue (object ["id" .= String "F0123456"]) :: Result SlackFile)),
("image-element-url-too-long", Just invalid160, void (fromValue (object ["type" .= String "image", "image_url" .= String (T.replicate 3001 "x"), "alt_text" .= String "Alt"]) :: Result ImageElement)),
("image-element-alt-text-too-long", Just invalid161, void (fromValue (object ["type" .= String "image", "image_url" .= String "https://example.com/image.png", "alt_text" .= String (T.replicate 2001 "x")]) :: Result ImageElement)),
("image-block-title-too-long", Just invalid162, void (fromValue (object ["type" .= String "image", "image_url" .= String "https://example.com/image.png", "alt_text" .= String "Alt", "title" .= object ["type" .= String "plain_text", "text" .= String (T.replicate 2001 "x")]]) :: Result ImageBlock)),
("image-block-url-and-slack-file", Just invalid163, void (fromValue (object ["type" .= String "image", "image_url" .= String "https://example.com/image.png", "slack_file" .= object ["id" .= String "F0123ABC456"], "alt_text" .= String "Alt"]) :: Result ImageBlock)),
("image-block-missing-source", Just invalid164, void (fromValue (object ["type" .= String "image", "alt_text" .= String "Alt"]) :: Result ImageBlock)),
("container-no-child-blocks", Just invalid165, void (fromValue (object ["type" .= String "container", "title" .= object ["type" .= String "plain_text", "text" .= String "Container"], "child_blocks" .= toJSON ([] :: [Value])]) :: Result ContainerBlock)),
("table-too-many-column-settings", Just invalid166, void (fromValue (object ["type" .= String "table", "rows" .= toJSON ([toJSON ([object ["type" .= String "raw_text", "text" .= String "A"]] :: [Value])] :: [Value]), "column_settings" .= toJSON (replicate 21 (object ["is_wrapped" .= Bool True]))]) :: Result TableBlock)),
("data-table-row-header-index-negative", Just invalid167, void (fromValue (object ["type" .= String "data_table", "rows" .= toJSON ([toJSON ([object ["type" .= String "raw_text", "text" .= String "Name"]] :: [Value]), toJSON ([object ["type" .= String "raw_text", "text" .= String "Alice"]] :: [Value])] :: [Value]), "caption" .= String "Names", "row_header_column_index" .= Number (-1)]) :: Result DataTableBlock)),
("data-table-total-content-too-long", Just invalid168, void (fromValue (object ["channel" .= String "C123", "blocks" .= toJSON ([object ["type" .= String "data_table", "rows" .= toJSON ([toJSON ([object ["type" .= String "raw_text", "text" .= String "Name"]] :: [Value]), toJSON ([object ["type" .= String "raw_text", "text" .= String (T.replicate 9997 "x")]] :: [Value])] :: [Value]), "caption" .= String "Names"], object ["type" .= String "data_table", "rows" .= toJSON ([toJSON ([object ["type" .= String "raw_text", "text" .= String "Name"]] :: [Value]), toJSON ([object ["type" .= String "raw_text", "text" .= String (T.replicate 9997 "x")]] :: [Value])] :: [Value]), "caption" .= String "Names"]] :: [Value])]) :: Result MessagePayload)),
("markdown-total-too-long", Just invalid169, void (fromValue (object ["channel" .= String "C123", "blocks" .= toJSON ([object ["type" .= String "markdown", "text" .= String (T.replicate 6001 "x")], object ["type" .= String "markdown", "text" .= String (T.replicate 6001 "x")]] :: [Value])]) :: Result MessagePayload)),
("plan-missing-tasks", Nothing, void (fromValue (object ["type" .= String "plan", "title" .= String "Plan"]) :: Result PlanBlock)),
("plan-too-many-tasks", Just invalid171, void (fromValue (object ["type" .= String "plan", "title" .= String "Plan", "tasks" .= toJSON ([object ["task_id" .= String "task_0", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_1", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_2", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_3", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_4", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_5", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_6", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_7", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_8", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_9", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_10", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_11", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_12", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_13", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_14", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_15", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_16", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_17", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_18", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_19", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_20", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_21", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_22", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_23", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_24", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_25", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_26", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_27", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_28", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_29", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_30", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_31", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_32", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_33", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_34", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_35", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_36", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_37", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_38", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_39", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_40", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_41", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_42", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_43", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_44", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_45", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_46", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_47", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_48", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_49", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task_50", "title" .= String "Task", "status" .= String "complete"]] :: [Value])]) :: Result PlanBlock)),
("plan-duplicate-task-ids", Just invalid172, void (fromValue (object ["type" .= String "plan", "title" .= String "Plan", "tasks" .= toJSON ([object ["task_id" .= String "task", "title" .= String "Task", "status" .= String "complete"], object ["task_id" .= String "task", "title" .= String "Task", "status" .= String "complete"]] :: [Value])]) :: Result PlanBlock)),
("task-card-missing-status", Nothing, void (fromValue (object ["type" .= String "task_card", "task_id" .= String "task", "title" .= String "Task"]) :: Result TaskCardBlock)),
("task-card-pending-status", Just invalid174, void (fromValue (object ["channel" .= String "C123", "blocks" .= toJSON ([object ["type" .= String "task_card", "task_id" .= String "task", "title" .= String "Task", "status" .= String "pending"]] :: [Value])]) :: Result MessagePayload)),
("rich-text-list-indent-negative", Just invalid175, void (fromValue (object ["type" .= String "rich_text_list", "style" .= String "bullet", "elements" .= toJSON ([object ["type" .= String "rich_text_section", "elements" .= toJSON ([object ["type" .= String "text", "text" .= String "Item"]] :: [Value])]] :: [Value]), "indent" .= Number (-1)]) :: Result RichTextList)),
("rich-text-list-indent-too-large", Just invalid176, void (fromValue (object ["type" .= String "rich_text_list", "style" .= String "bullet", "elements" .= toJSON ([object ["type" .= String "rich_text_section", "elements" .= toJSON ([object ["type" .= String "text", "text" .= String "Item"]] :: [Value])]] :: [Value]), "indent" .= Number 9]) :: Result RichTextList)),
("rich-text-list-offset-negative", Just invalid177, void (fromValue (object ["type" .= String "rich_text_list", "style" .= String "bullet", "elements" .= toJSON ([object ["type" .= String "rich_text_section", "elements" .= toJSON ([object ["type" .= String "text", "text" .= String "Item"]] :: [Value])]] :: [Value]), "offset" .= Number (-1)]) :: Result RichTextList)),
("rich-text-list-border-negative", Just invalid178, void (fromValue (object ["type" .= String "rich_text_list", "style" .= String "bullet", "elements" .= toJSON ([object ["type" .= String "rich_text_section", "elements" .= toJSON ([object ["type" .= String "text", "text" .= String "Item"]] :: [Value])]] :: [Value]), "border" .= Number (-1)]) :: Result RichTextList)),
("rich-text-list-border-too-large", Just invalid179, void (fromValue (object ["type" .= String "rich_text_list", "style" .= String "bullet", "elements" .= toJSON ([object ["type" .= String "rich_text_section", "elements" .= toJSON ([object ["type" .= String "text", "text" .= String "Item"]] :: [Value])]] :: [Value]), "border" .= Number 2]) :: Result RichTextList)),
("rich-text-quote-border-negative", Just invalid180, void (fromValue (object ["type" .= String "rich_text_quote", "elements" .= toJSON ([object ["type" .= String "text", "text" .= String "Text"]] :: [Value]), "border" .= Number (-1)]) :: Result RichTextQuote)),
("rich-text-quote-border-too-large", Just invalid181, void (fromValue (object ["type" .= String "rich_text_quote", "elements" .= toJSON ([object ["type" .= String "text", "text" .= String "Text"]] :: [Value]), "border" .= Number 2]) :: Result RichTextQuote)),
("rich-text-preformatted-border-negative", Just invalid182, void (fromValue (object ["type" .= String "rich_text_preformatted", "elements" .= toJSON ([object ["type" .= String "text", "text" .= String "Text"]] :: [Value]), "border" .= Number (-1)]) :: Result RichTextCodeBlock)),
("rich-text-preformatted-border-too-large", Just invalid183, void (fromValue (object ["type" .= String "rich_text_preformatted", "elements" .= toJSON ([object ["type" .= String "text", "text" .= String "Text"]] :: [Value]), "border" .= Number 2]) :: Result RichTextCodeBlock)),
("video-thumbnail-url-too-long", Just invalid184, void (fromValue (object ["type" .= String "video", "alt_text" .= String "Video", "thumbnail_url" .= String (T.replicate 3001 "x"), "title" .= object ["type" .= String "plain_text", "text" .= String "Title"], "video_url" .= String "https://example.com/video.mp4"]) :: Result VideoBlock)),
("video-url-too-long", Just invalid185, void (fromValue (object ["type" .= String "video", "alt_text" .= String "Video", "thumbnail_url" .= String "https://example.com/thumbnail.png", "title" .= object ["type" .= String "plain_text", "text" .= String "Title"], "video_url" .= String (T.replicate 3001 "x")]) :: Result VideoBlock)),
("video-title-url-too-long", Just invalid186, void (fromValue (object ["type" .= String "video", "alt_text" .= String "Video", "thumbnail_url" .= String "https://example.com/thumbnail.png", "title" .= object ["type" .= String "plain_text", "text" .= String "Title"], "video_url" .= String "https://example.com/video.mp4", "title_url" .= String (T.replicate 2001 "x")]) :: Result VideoBlock)),
("video-provider-icon-url-too-long", Just invalid187, void (fromValue (object ["type" .= String "video", "alt_text" .= String "Video", "thumbnail_url" .= String "https://example.com/thumbnail.png", "title" .= object ["type" .= String "plain_text", "text" .= String "Title"], "video_url" .= String "https://example.com/video.mp4", "provider_icon_url" .= String (T.replicate 2001 "x")]) :: Result VideoBlock)),
("view-external-id-too-long", Just invalid188, void (fromValue (object ["type" .= String "home", "blocks" .= toJSON ([object ["type" .= String "divider"]] :: [Value]), "external_id" .= String (T.replicate 256 "x")]) :: Result HomeTabView)),
("attachment-missing-blocks", Nothing, void (fromValue (object ["fallback" .= String "Summary"]) :: Result Attachment))
]