2023-08-09 20:59:42 +02:00
|
|
|
module SlackBuilder.Config
|
|
|
|
( Settings(..)
|
|
|
|
, settingsCodec
|
|
|
|
) where
|
|
|
|
|
|
|
|
import Data.Text (Text)
|
|
|
|
import Toml ((.=))
|
|
|
|
import qualified Toml
|
|
|
|
|
2023-08-15 10:33:19 +02:00
|
|
|
data Settings = Settings
|
|
|
|
{ ghToken :: !Text
|
|
|
|
, repository :: !FilePath
|
|
|
|
, branch :: Text
|
2023-08-17 22:07:09 +02:00
|
|
|
, downloadURL :: Text
|
2023-08-09 20:59:42 +02:00
|
|
|
} deriving (Eq, Show)
|
|
|
|
|
|
|
|
settingsCodec :: Toml.TomlCodec Settings
|
|
|
|
settingsCodec = Settings
|
|
|
|
<$> Toml.text "gh_token" .= ghToken
|
2023-08-15 10:33:19 +02:00
|
|
|
<*> Toml.string "repository" .= repository
|
|
|
|
<*> Toml.text "branch" .= branch
|
2023-08-17 22:07:09 +02:00
|
|
|
<*> Toml.text "download_url" .= downloadURL
|