The code and data behind xeiaso.net
1let Person = ./Person.dhall
2
3let Character = ./Character.dhall
4
5let Job = ./Job.dhall
6
7let Link = ./Link.dhall
8
9let SeriesDescription = ./SeriesDescription.dhall
10
11let PronounSet = ./PronounSet.dhall
12
13let Resume = ./Resume.dhall
14
15let defaultPort = env:PORT ? 3030
16
17let defaultWebMentionEndpoint =
18 env:WEBMENTION_ENDPOINT
19 ? "https://mi.within.website/api/webmention/accept"
20
21in { Type =
22 { signalboost : List Person.Type
23 , port : Natural
24 , clackSet : List Text
25 , webMentionEndpoint : Text
26 , miToken : Text
27 , jobHistory : List Job.Type
28 , seriesDescriptions : List SeriesDescription.Type
29 , notableProjects : List Link.Type
30 , contactLinks : List Link.Type
31 , pronouns : List PronounSet.Type
32 , characters : List Character.Type
33 , resume : Resume.Type
34 }
35 , default =
36 { signalboost = [] : List Person.Type
37 , port = defaultPort
38 , clackSet = [ "Ashlynn" ]
39 , webMentionEndpoint = defaultWebMentionEndpoint
40 , miToken = "${env:MI_TOKEN as Text ? ""}"
41 , jobHistory = [] : List Job.Type
42 , seriesDescriptions = [] : List SeriesDescription.Type
43 , notableProjects = [] : List Link.Type
44 , contactLinks = [] : List Link.Type
45 , pronouns = [] : List PronounSet.Type
46 , characters = [] : List Character.Type
47 , resume = Resume::{=}
48 }
49 }