The code and data behind xeiaso.net
1let Company = ./Company.dhall
2
3let Salary = ./Salary.dhall
4
5let Location = ./Location.dhall
6
7in { Type =
8 { company : Company.Type
9 , title : Text
10 , contract : Bool
11 , startDate : Text
12 , endDate : Optional Text
13 , daysWorked : Optional Natural
14 , daysBetween : Optional Natural
15 , salary : Salary.Type
16 , leaveReason : Optional Text
17 , locations : List Location.Type
18 , highlights : List Text
19 , hideFromResume : Bool
20 }
21 , default =
22 { company = Company::{=}
23 , title = "Unknown"
24 , contract = False
25 , startDate = "0000-01-01"
26 , endDate = None Text
27 , daysWorked = None Natural
28 , daysBetween = None Natural
29 , salary = Salary::{=}
30 , leaveReason = None Text
31 , locations = [] : List Location.Type
32 , highlights = [] : List Text
33 , hideFromResume = False
34 }
35 }