conf.example.dhall

{- Init config file
 * discord: discord token
 ...
-}

let SType = < Safe
            | Unsafe >
let Server : Type =
  { id: Natural, kind: SType }
let u = λ(id: Natural) → { id = id, kind = SType.Unsafe }
let s = λ(id: Natural) → { id = id, kind = SType.Safe }
let additional_servers : List Server =
  [ u 676119422418550815 -- "Unsafe Server"
  , s 728694826203349072 -- "Rusty Tools"
  ]
in { discord                = "AAAAAAAAA.AAA.AAAA-AAAAAAA"
   , app_id                 = 000000000000000000
   , guild                  = 611822838831251466
   , amadeus_guild          = 000000000000000000
   , servers                = additional_servers
   , twitch_client_id       = "AAAAAA"
   , twitch_client_secret   = "AAAAAAAAAAAAAAAAAAAAAAAA"
   , tenor_key              = "AAAA"
   , flo_secret             = "AAAAAAAAAAAAAAA"
   , gencache_on_start      = True
   , gencache_on_start_only = False
   , upgrade_on_resume      = False
   , github_auth            = "AccountName:access_token"
   }