diff options
Diffstat (limited to 'dhall/types')
| -rw-r--r-- | dhall/types/Author.dhall | 19 | ||||
| -rw-r--r-- | dhall/types/Job.dhall | 23 | ||||
| -rw-r--r-- | dhall/types/Person.dhall | 9 | ||||
| -rw-r--r-- | dhall/types/Salary.dhall | 3 |
4 files changed, 54 insertions, 0 deletions
diff --git a/dhall/types/Author.dhall b/dhall/types/Author.dhall new file mode 100644 index 0000000..dc0b1c3 --- /dev/null +++ b/dhall/types/Author.dhall @@ -0,0 +1,19 @@ +{ Type = + { name : Text + , handle : Text + , picUrl : Optional Text + , link : Optional Text + , twitter : Optional Text + , default : Bool + , inSystem : Bool + } +, default = + { name = "" + , handle = "" + , picUrl = None Text + , link = None Text + , twitter = None Text + , default = False + , inSystem = False + } +} diff --git a/dhall/types/Job.dhall b/dhall/types/Job.dhall new file mode 100644 index 0000000..a079d3c --- /dev/null +++ b/dhall/types/Job.dhall @@ -0,0 +1,23 @@ +let Salary = ./Salary.dhall + +in { Type = + { company : Text + , title : Text + , startDate : Text + , endDate : Optional Text + , daysWorked : Optional Natural + , daysBetween : Optional Natural + , salary : Salary.Type + , leaveReason : Optional Text + } + , default = + { company = "Unknown" + , title = "Unknown" + , startDate = "0000-01-01" + , endDate = None Text + , daysWorked = None Natural + , daysBetween = None Natural + , salary = Salary::{=} + , leaveReason = None Text + } + } diff --git a/dhall/types/Person.dhall b/dhall/types/Person.dhall new file mode 100644 index 0000000..b1628eb --- /dev/null +++ b/dhall/types/Person.dhall @@ -0,0 +1,9 @@ +{ Type = + { name : Text + , tags : List Text + , gitLink : Optional Text + , twitter : Optional Text + } +, default = + { name = "", tags = [] : List Text, gitLink = None Text, twitter = None Text } +} diff --git a/dhall/types/Salary.dhall b/dhall/types/Salary.dhall new file mode 100644 index 0000000..37dfce7 --- /dev/null +++ b/dhall/types/Salary.dhall @@ -0,0 +1,3 @@ +{ Type = { amount : Natural, currency : Text, per : Text } +, default = { amount = 0, currency = "USD", per = "year" } +} |
