start playing with resume data types

Signed-off-by: Xe <me@christine.website>
stanley
Cadey Ratio 5 months ago
parent 15a130cc3d
commit a1974a5948
  1. 38
      dhall/resume.dhall
  2. 1
      dhall/types/Link.dhall
  3. 21
      dhall/types/Resume.dhall
  4. 2
      dhall/types/package.dhall

@ -0,0 +1,38 @@
let xesite = ./types/package.dhall
let Resume = xesite.Resume
let Link = xesite.Link
in Resume::{
, hnLinks =
[ Link::{
, url = "https://news.ycombinator.com/item?id=29522941"
, title = "'Open Source' is Broken"
}
, Link::{
, url = "https://news.ycombinator.com/item?id=29167560"
, title = "The Surreal Horror of PAM"
}
, Link::{
, url = "https://news.ycombinator.com/item?id=27175960"
, title = "Systemd: The Good Parts"
}
, Link::{
, url = "https://news.ycombinator.com/item?id=26845355"
, title = "I Implemented /dev/printerfact in Rust"
}
, Link::{
, url = "https://news.ycombinator.com/item?id=25978511"
, title = "A Model for Identity in Software"
}
, Link::{
, url = "https://news.ycombinator.com/item?id=31390506"
, title = "Fly.io: The reclaimer of Heroku's magic"
}
, Link::{
, url = "https://news.ycombinator.com/item?id=31149801"
, title = "Crimes with Go Generics"
}
]
}

@ -0,0 +1 @@
{ Type = { url : Text, title : Text }, default = { url = "", title = "" } }

@ -0,0 +1,21 @@
let Location = ./Location.dhall
let Link = ./Link.dhall
in { Type =
{ name : Text
, tagline : Text
, location : Location.Type
, hnLinks : List Link.Type
}
, default =
{ name = "Xe Iaso"
, tagline = "Archmage of Infrastructure"
, location = Location::{
, city = "Ottawa"
, stateOrProvince = "ON"
, country = "CAN"
}
, hnLinks = [] : List Link.Type
}
}

@ -2,8 +2,10 @@
, Company = ./Company.dhall
, Config = ./Config.dhall
, Job = ./Job.dhall
, Link = ./Link.dhall
, Location = ./Location.dhall
, Person = ./Person.dhall
, Resume = ./Resume.dhall
, Salary = ./Salary.dhall
, Stock = ./Stock.dhall
, StockKind = ./StockKind.dhall

Loading…
Cancel
Save