{-# LANGUAGE OverloadedStrings #-} module Commands where import Discord import Discord.Types import Discord.Interactions import qualified Discord.Requests as R import qualified Data.Text as T pingCommand :: CreateApplicationCommand pingCommand = CreateApplicationCommand "ping" "pong" (Just []) Nothing Nothing pingResponse :: InteractionResponse pingResponse = interactionResponseBasic "Pong" edtCommand :: CreateApplicationCommand edtCommand = CreateApplicationCommand "edt" "Gets the planning for a group" (Just $ toInternal <$> [ ApplicationCommandOptionValueString "group" "Group to get the planning for" (Just True) Nothing Nothing , ApplicationCommandOptionValueString "day" "The day you want the planning for as DD/MM(/YYYY)" Nothing Nothing Nothing ]) Nothing Nothing