2022-06-14 19:04:17 +00:00
|
|
|
let Person = ./dhall/types/Person.dhall
|
2020-07-16 19:32:30 +00:00
|
|
|
|
2022-06-14 19:04:17 +00:00
|
|
|
let Author = ./dhall/types/Author.dhall
|
|
|
|
|
|
|
|
let Job = ./dhall/types/Job.dhall
|
2021-07-08 01:18:02 +00:00
|
|
|
|
2020-07-16 19:32:30 +00:00
|
|
|
let defaultPort = env:PORT ? 3030
|
|
|
|
|
2020-11-18 17:18:24 +00:00
|
|
|
let defaultWebMentionEndpoint =
|
|
|
|
env:WEBMENTION_ENDPOINT
|
|
|
|
? "https://mi.within.website/api/webmention/accept"
|
|
|
|
|
2020-07-16 19:32:30 +00:00
|
|
|
let Config =
|
|
|
|
{ Type =
|
|
|
|
{ signalboost : List Person.Type
|
2021-07-08 01:18:02 +00:00
|
|
|
, authors : List Author.Type
|
2020-07-16 19:32:30 +00:00
|
|
|
, port : Natural
|
|
|
|
, clackSet : List Text
|
|
|
|
, resumeFname : Text
|
2020-11-18 17:18:24 +00:00
|
|
|
, webMentionEndpoint : Text
|
2020-12-02 21:16:58 +00:00
|
|
|
, miToken : Text
|
2022-06-14 19:04:17 +00:00
|
|
|
, jobHistory : List Job.Type
|
2020-07-16 19:32:30 +00:00
|
|
|
}
|
|
|
|
, default =
|
2020-11-18 17:18:24 +00:00
|
|
|
{ signalboost = [] : List Person.Type
|
2022-06-14 19:04:17 +00:00
|
|
|
, authors = [] : List Author.Type
|
2020-11-18 17:18:24 +00:00
|
|
|
, port = defaultPort
|
|
|
|
, clackSet = [ "Ashlynn" ]
|
|
|
|
, resumeFname = "./static/resume/resume.md"
|
|
|
|
, webMentionEndpoint = defaultWebMentionEndpoint
|
2020-12-02 21:16:58 +00:00
|
|
|
, miToken = "${env:MI_TOKEN as Text ? ""}"
|
2022-06-14 19:04:17 +00:00
|
|
|
, jobHistory = [] : List Job.Type
|
2020-11-18 17:18:24 +00:00
|
|
|
}
|
2020-07-16 19:32:30 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
in Config::{
|
2022-06-14 19:04:17 +00:00
|
|
|
, signalboost = ./dhall/signalboost.dhall
|
|
|
|
, authors = ./dhall/authors.dhall
|
2021-07-08 01:18:02 +00:00
|
|
|
, clackSet =
|
|
|
|
[ "Ashlynn", "Terry Davis", "Dennis Ritchie", "Steven Hawking" ]
|
2022-06-14 19:04:17 +00:00
|
|
|
, jobHistory = ./dhall/jobHistory.dhall
|
2020-07-16 19:32:30 +00:00
|
|
|
}
|