()
+ let _ = app.UseAuthentication ()
+ let _ = app.UseAuthorization ()
+ let _ = app.UseSession ()
+ let _ = app.UseGiraffeErrorHandler Common.Handlers.Error.unexpectedError
+ let _ = app.UseEndpoints (fun e -> e.MapGiraffeEndpoints endpoints |> ignore)
+
+ app.Run ()
+
+ 0
diff --git a/src/JobsJobsJobs/Application/JobsJobsJobs.Application.fsproj b/src/JobsJobsJobs/Application/JobsJobsJobs.Application.fsproj
new file mode 100644
index 0000000..7c4da7f
--- /dev/null
+++ b/src/JobsJobsJobs/Application/JobsJobsJobs.Application.fsproj
@@ -0,0 +1,28 @@
+
+
+
+ Exe
+ true
+ false
+ 3390;$(WarnOn)
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/src/JobsJobsJobs/Application/appsettings.json b/src/JobsJobsJobs/Application/appsettings.json
new file mode 100644
index 0000000..241bae4
--- /dev/null
+++ b/src/JobsJobsJobs/Application/appsettings.json
@@ -0,0 +1,8 @@
+{
+ "Logging": {
+ "LogLevel": {
+ "JobsJobsJobs.Api.Handlers.Citizen": "Information",
+ "Microsoft.AspNetCore.StaticFiles": "Warning"
+ }
+ }
+}
diff --git a/src/JobsJobsJobs/App/public/audio/pelosi-jobs.mp3 b/src/JobsJobsJobs/Application/wwwroot/audio/pelosi-jobs.mp3
similarity index 100%
rename from src/JobsJobsJobs/App/public/audio/pelosi-jobs.mp3
rename to src/JobsJobsJobs/Application/wwwroot/audio/pelosi-jobs.mp3
diff --git a/src/JobsJobsJobs/App/public/audio/thats-true.mp3 b/src/JobsJobsJobs/Application/wwwroot/audio/thats-true.mp3
similarity index 100%
rename from src/JobsJobsJobs/App/public/audio/thats-true.mp3
rename to src/JobsJobsJobs/Application/wwwroot/audio/thats-true.mp3
diff --git a/src/JobsJobsJobs/Application/wwwroot/script.js b/src/JobsJobsJobs/Application/wwwroot/script.js
new file mode 100644
index 0000000..f2ad8aa
--- /dev/null
+++ b/src/JobsJobsJobs/Application/wwwroot/script.js
@@ -0,0 +1,303 @@
+/** Script for Jobs, Jobs, Jobs */
+this.jjj = {
+ /**
+ * Play an audio file
+ * @param {HTMLElement} elt The element which was clicked
+ */
+ playFile(elt) {
+ elt.querySelector("audio").play()
+ },
+
+ /**
+ * Hide the offcanvas menu if it displayed
+ */
+ hideMenu() {
+ /** @type {HTMLElement} */
+ const menu = document.querySelector(".jjj-mobile-menu")
+ if (menu.style.display !== "none") bootstrap.Offcanvas.getOrCreateInstance(menu).hide()
+ },
+
+ /**
+ * Show a message via an alert
+ * @param {string} message The message to show
+ */
+ showAlert (message) {
+ const [level, msg] = message.split("|||")
+
+ /** @type {HTMLTemplateElement} */
+ const alertTemplate = document.getElementById("alertTemplate")
+ /** @type {HTMLDivElement} */
+ const alert = alertTemplate.content.firstElementChild.cloneNode(true)
+ alert.classList.add(`alert-${level === "error" ? "danger" : level}`)
+
+ const prefix = level === "success" ? "" : `${level.toUpperCase()}: `
+ alert.querySelector("p").innerHTML = `${prefix}${msg}`
+
+ const alerts = document.getElementById("alerts")
+ alerts.appendChild(alert)
+ alerts.scrollIntoView()
+ },
+
+ /**
+ * The time zone of the current browser
+ * @type {string}
+ */
+ timeZone: undefined,
+
+ /**
+ * Derive the time zone from the current browser
+ */
+ deriveTimeZone () {
+ try {
+ this.timeZone = (new Intl.DateTimeFormat()).resolvedOptions().timeZone
+ } catch (_) { }
+ },
+
+ /**
+ * Set up the onClick event for the preview button
+ * @param {string} editorId The ID of the editor to wire up
+ */
+ markdownOnLoad(editorId) {
+ document.getElementById(`${editorId}PreviewButton`).addEventListener("click", () => { this.showPreview(editorId) })
+ },
+
+ /**
+ * Show a preview of the Markdown in the given editor
+ * @param {string} editorId The ID of the Markdown editor whose preview should be shown
+ */
+ async showPreview(editorId) {
+ /** @type {HTMLButtonElement} */
+ const editBtn = document.getElementById(`${editorId}EditButton`)
+ /** @type {HTMLDivElement} */
+ const editDiv = document.getElementById(`${editorId}Edit`)
+ /** @type {HTMLTextAreaElement} */
+ const editor = document.getElementById(editorId)
+ /** @type {HTMLButtonElement} */
+ const previewBtn = document.getElementById(`${editorId}PreviewButton`)
+ /** @type {HTMLDivElement} */
+ const previewDiv = document.getElementById(`${editorId}Preview`)
+
+ editBtn.classList.remove("btn-primary")
+ editBtn.classList.add("btn-outline-secondary")
+ editBtn.addEventListener("click", () => { this.showEditor(editorId) })
+ previewBtn.classList.remove("btn-outline-secondary")
+ previewBtn.classList.add("btn-primary")
+ previewBtn.removeEventListener("click", () => { this.showPreview(editorId) })
+
+ const preview = await fetch("/api/markdown-preview", { method: "POST", body: editor.value })
+ let text
+ if (preview.ok) {
+ text = await preview.text()
+ } else {
+ text = ` ERROR ${preview.status} – ${preview.statusText}`
+ }
+ previewDiv.innerHTML = text
+
+ editDiv.classList.remove("jjj-shown")
+ editDiv.classList.add("jjj-not-shown")
+ previewDiv.classList.remove("jjj-not-shown")
+ previewDiv.classList.add("jjj-shown")
+
+ },
+
+ /**
+ * Show the Markdown editor (hides preview)
+ * @param {string} editorId The ID of the Markdown editor to show
+ */
+ showEditor(editorId) {
+ /** @type {HTMLButtonElement} */
+ const editBtn = document.getElementById(`${editorId}EditButton`)
+ /** @type {HTMLDivElement} */
+ const editDiv = document.getElementById(`${editorId}Edit`)
+ /** @type {HTMLTextAreaElement} */
+ const editor = document.getElementById(editorId)
+ /** @type {HTMLButtonElement} */
+ const previewBtn = document.getElementById(`${editorId}PreviewButton`)
+ /** @type {HTMLDivElement} */
+ const previewDiv = document.getElementById(`${editorId}Preview`)
+
+ previewBtn.classList.remove("btn-primary")
+ previewBtn.classList.add("btn-outline-secondary")
+ this.markdownOnLoad(editorId)
+ editBtn.classList.remove("btn-outline-secondary")
+ editBtn.classList.add("btn-primary")
+ editBtn.removeEventListener("click", () => { this.showEditor(editorId) })
+
+ previewDiv.classList.remove("jjj-shown")
+ previewDiv.classList.add("jjj-not-shown")
+ previewDiv.innerHTML = ""
+ editDiv.classList.remove("jjj-not-shown")
+ editDiv.classList.add("jjj-shown")
+ },
+
+ citizen: {
+
+ /**
+ * The next index for a newly-added contact
+ * @type {number}
+ */
+ nextIndex: 0,
+
+ /**
+ * Add a contact to the account form
+ */
+ addContact() {
+ const next = this.nextIndex
+
+ /** @type {HTMLTemplateElement} */
+ const newContactTemplate = document.getElementById("newContact")
+ /** @type {HTMLDivElement} */
+ const newContact = newContactTemplate.content.firstElementChild.cloneNode(true)
+ newContact.setAttribute("id", `contactRow${next}`)
+
+ const cols = newContact.children
+ // Button column
+ cols[0].querySelector("button").setAttribute("onclick", `jjj.citizen.removeContact(${next})`)
+ // Contact Type column
+ const typeField = cols[1].querySelector("select")
+ typeField.setAttribute("id", `contactType${next}`)
+ typeField.setAttribute("name", `Contacts[${this.nextIndex}].ContactType`)
+ cols[1].querySelector("label").setAttribute("for", `contactType${next}`)
+ // Name column
+ const nameField = cols[2].querySelector("input")
+ nameField.setAttribute("id", `contactName${next}`)
+ nameField.setAttribute("name", `Contacts[${this.nextIndex}].Name`)
+ cols[2].querySelector("label").setAttribute("for", `contactName${next}`)
+ if (next > 0) cols[2].querySelector("div.form-text").remove()
+ // Value column
+ const valueField = cols[3].querySelector("input")
+ valueField.setAttribute("id", `contactValue${next}`)
+ valueField.setAttribute("name", `Contacts[${this.nextIndex}].Value`)
+ cols[3].querySelector("label").setAttribute("for", `contactName${next}`)
+ if (next > 0) cols[3].querySelector("div.form-text").remove()
+ // Is Public column
+ const isPublicField = cols[4].querySelector("input")
+ isPublicField.setAttribute("id", `contactIsPublic${next}`)
+ isPublicField.setAttribute("name", `Contacts[${this.nextIndex}].IsPublic`)
+ cols[4].querySelector("label").setAttribute("for", `contactIsPublic${next}`)
+
+ // Add the row
+ const contacts = document.querySelectorAll("div[id^=contactRow]")
+ const sibling = contacts.length > 0 ? contacts[contacts.length - 1] : newContactTemplate
+ sibling.insertAdjacentElement('afterend', newContact)
+
+ this.nextIndex++
+ },
+
+ /**
+ * Remove a contact row from the profile form
+ * @param {number} idx The index of the contact row to remove
+ */
+ removeContact(idx) {
+ document.getElementById(`contactRow${idx}`).remove()
+ },
+
+ /**
+ * Register a comparison validation between a password and a "confirm password" field
+ * @param {string} pwId The ID for the password field
+ * @param {string} confirmId The ID for the "confirm password" field
+ * @param {boolean} isRequired Whether these fields are required
+ */
+ validatePasswords(pwId, confirmId, isRequired) {
+ const pw = document.getElementById(pwId)
+ const pwConfirm = document.getElementById(confirmId)
+ pwConfirm.addEventListener("input", () => {
+ if (!pw.validity.valid) {
+ pwConfirm.setCustomValidity("")
+ } else if ((!pwConfirm.validity.valueMissing || !isRequired) && pw.value !== pwConfirm.value) {
+ pwConfirm.setCustomValidity("Confirmation password does not match")
+ } else {
+ pwConfirm.setCustomValidity("")
+ }
+ })
+ }
+ },
+
+ /**
+ * Script for listing pages
+ */
+ listing: {
+
+ /**
+ * Show or hide the success story prompt based on whether a job was filled here
+ */
+ toggleFromHere() {
+ /** @type {HTMLInputElement} */
+ const isFromHere = document.getElementById("FromHere")
+ const display = isFromHere.checked ? "unset" : "none"
+ document.getElementById("successRow").style.display = display
+ document.getElementById("SuccessStoryEditRow").style.display = display
+ }
+ },
+
+ /**
+ * Script for profile pages
+ */
+ profile: {
+
+ /**
+ * The next index for a newly-added skill
+ * @type {number}
+ */
+ nextIndex: 0,
+
+ /**
+ * Add a skill to the profile form
+ */
+ addSkill() {
+ const next = this.nextIndex
+
+ /** @type {HTMLTemplateElement} */
+ const newSkillTemplate = document.getElementById("newSkill")
+ /** @type {HTMLDivElement} */
+ const newSkill = newSkillTemplate.content.firstElementChild.cloneNode(true)
+ newSkill.setAttribute("id", `skillRow${next}`)
+
+ const cols = newSkill.children
+ // Button column
+ cols[0].querySelector("button").setAttribute("onclick", `jjj.profile.removeSkill(${next})`)
+ // Skill column
+ const skillField = cols[1].querySelector("input")
+ skillField.setAttribute("id", `skillDesc${next}`)
+ skillField.setAttribute("name", `Skills[${this.nextIndex}].Description`)
+ cols[1].querySelector("label").setAttribute("for", `skillDesc${next}`)
+ if (this.nextIndex > 0) cols[1].querySelector("div.form-text").remove()
+ // Notes column
+ const notesField = cols[2].querySelector("input")
+ notesField.setAttribute("id", `skillNotes${next}`)
+ notesField.setAttribute("name", `Skills[${this.nextIndex}].Notes`)
+ cols[2].querySelector("label").setAttribute("for", `skillNotes${next}`)
+ if (this.nextIndex > 0) cols[2].querySelector("div.form-text").remove()
+
+ // Add the row
+ const skills = document.querySelectorAll("div[id^=skillRow]")
+ const sibling = skills.length > 0 ? skills[skills.length - 1] : newSkillTemplate
+ sibling.insertAdjacentElement('afterend', newSkill)
+
+ this.nextIndex++
+ },
+
+ /**
+ * Remove a skill row from the profile form
+ * @param {number} idx The index of the skill row to remove
+ */
+ removeSkill(idx) {
+ document.getElementById(`skillRow${idx}`).remove()
+ }
+ }
+}
+
+htmx.on("htmx:configRequest", function (evt) {
+ // Send the user's current time zone so that we can display local time
+ if (jjj.timeZone) {
+ evt.detail.headers["X-Time-Zone"] = jjj.timeZone
+ }
+})
+
+htmx.on("htmx:responseError", function (evt) {
+ /** @type {XMLHttpRequest} */
+ const xhr = evt.detail.xhr
+ jjj.showAlert(`error|||${xhr.status}: ${xhr.statusText}`)
+})
+
+jjj.deriveTimeZone()
diff --git a/src/JobsJobsJobs/Application/wwwroot/style.css b/src/JobsJobsJobs/Application/wwwroot/style.css
new file mode 100644
index 0000000..225a095
--- /dev/null
+++ b/src/JobsJobsJobs/Application/wwwroot/style.css
@@ -0,0 +1,248 @@
+/* Overall styling */
+html {
+ scroll-behavior: smooth;
+}
+a:link,
+a:visited {
+ text-decoration: none;
+}
+a:not(.btn):hover {
+ text-decoration: underline;
+}
+label.jjj-required::after {
+ color: red;
+ content: ' *';
+}
+label[for]:hover {
+ cursor: pointer;
+}
+.jjj-heading-label {
+ display: inline-block;
+ font-size: 1rem;
+ text-transform: uppercase;
+}
+.material-icons {
+ vertical-align: bottom;
+}
+@media print {
+ .jjj-hide-from-printer {
+ display: none;
+ }
+}
+/* Material Design Icon / Bootstrap styling */
+.mdi::before {
+ font-size: 24px;
+ line-height: 14px;
+}
+.btn .mdi::before {
+ position: relative;
+ top: 4px;
+}
+.btn-xs .mdi::before {
+ font-size: 18px;
+ top: 3px;
+}
+.btn-sm .mdi::before {
+ font-size: 18px;
+ top: 3px;
+}
+.dropdown-menu .mdi {
+ width: 18px;
+}
+.dropdown-menu .mdi::before {
+ position: relative;
+ top: 4px;
+ left: -8px;
+}
+.nav .mdi::before {
+ position: relative;
+ top: 4px;
+}
+.navbar .navbar-toggle .mdi::before {
+ position: relative;
+ top: 4px;
+ color: #FFF;
+}
+.breadcrumb .mdi::before {
+ position: relative;
+ top: 4px;
+}
+.breadcrumb a:hover {
+ text-decoration: none;
+}
+.breadcrumb a:hover span {
+ text-decoration: underline;
+}
+.alert .mdi::before {
+ position: relative;
+ top: 4px;
+ margin-right: 2px;
+}
+.input-group-addon .mdi::before {
+ position: relative;
+ top: 3px;
+}
+.navbar-brand .mdi::before {
+ position: relative;
+ top: 2px;
+ margin-right: 2px;
+}
+.list-group-item .mdi::before {
+ position: relative;
+ top: 3px;
+ left: -3px
+}
+.mdi-sm::before {
+ font-size: 1rem;
+ line-height: unset;
+}
+/* Layout styling */
+.jjj-app {
+ display: flex;
+ flex-direction: row;
+}
+.jjj-main {
+ flex-grow: 1;
+ display: flex;
+ flex-flow: column;
+ min-height: 100vh;
+}
+.jjj-content {
+ flex-grow: 2;
+}
+/* Menu styling */
+.jjj-full-menu,
+.jjj-mobile-menu {
+ background-image: linear-gradient(180deg, darkgreen 0%, green 70%);
+ color: white;
+ font-size: 1.2rem;
+}
+.jjj-full-menu {
+ min-height: 100vh;
+ width: 250px;
+ min-width: 250px;
+ position: sticky;
+ top: 0;
+ display: none;
+}
+.jjj-full-menu .home-link {
+ font-size: 1.2rem;
+ text-align: center;
+ background-color: rgba(0, 0, 0, .4);
+ margin: -1rem;
+ padding: 1rem;
+}
+.jjj-full-menu a:link,
+.jjj-full-menu a:visited {
+ text-decoration: none;
+ color: white;
+}
+#jjjMenu {
+ flex-direction: column;
+ flex-grow: 1;
+}
+@media (min-width: 768px) {
+ .jjj-full-menu {
+ display: unset;
+ }
+ .jjj-mobile-menu {
+ display: none;
+ }
+ .navbar-expand-md .navbar-nav {
+ flex-direction: column;
+ }
+}
+.jjj-nav a:link,
+.jjj-nav a:visited {
+ text-decoration: none;
+ color: white;
+}
+nav.jjj-nav > a {
+ display: block;
+ width: 100%;
+ border-radius: .25rem;
+ padding: .5rem;
+ margin: .5rem 0;
+ font-size: 1rem;
+}
+nav.jjj-nav > a > i {
+ vertical-align: top;
+ margin-right: .25rem;
+}
+nav.jjj-nav > a > i.mdi::before {
+ line-height: 24px;
+}
+nav.jjj-nav > a.jjj-current-page {
+ background-color: rgba(255, 255, 255, .2);
+}
+nav.jjj-nav > a:hover {
+ background-color: rgba(255, 255, 255, .5);
+ color: black;
+ text-decoration: none;
+}
+nav.jjj-nav > div.separator {
+ border-bottom: solid 1px rgba(255, 255, 255, .75);
+ height: 1px;
+}
+/* Title bar styling */
+.jjj-main .navbar-dark {
+ background-image: linear-gradient(0deg, green 0%, darkgreen 70%);
+ padding-left: 1rem;
+ padding-right: 1rem;
+}
+.jjj-main .navbar-dark button {
+ padding: 0;
+}
+.jjj-main .navbar-dark .navbar-text {
+ font-weight: bold;
+ color: white;
+}
+.jjj-main .navbar-light .navbar-text {
+ font-style: italic;
+ padding: 0 1rem 0 0;
+}
+/* Audio Clip styling */
+.jjj-audio-clip audio {
+ display: none;
+}
+span.jjj-audio-clip {
+ border-bottom: dotted 1px lightgray;
+}
+span.jjj-audio-clip:hover {
+ cursor: pointer;
+}
+/* Markdown Editor styling */
+.jjj-not-shown {
+ display: none;
+}
+.jjj-shown {
+ display: inherit;
+}
+.jjj-markdown-editor {
+ width: 100%;
+ /* When wrapping this with Bootstrap's floating label, it shrinks the input down to what a normal one-line input
+ would be; this overrides that for this textarea specifically */
+ height: inherit !important;
+}
+.jjj-markdown-preview {
+ border: solid 1px lightgray;
+ border-radius: .5rem;
+}
+/* Collapse Panel styling */
+a[data-bs-toggle] {
+ color: var(--bs-body-color);
+}
+a[data-bs-toggle]:hover {
+ text-decoration: none;
+}
+/* Footer styling */
+footer {
+ display: flex;
+ flex-direction: row-reverse;
+}
+footer p {
+ padding-top: 2rem;
+ padding-right: .5rem;
+ font-style: italic;
+ font-size: .8rem;
+}
diff --git a/src/JobsJobsJobs/Citizens/Data.fs b/src/JobsJobsJobs/Citizens/Data.fs
new file mode 100644
index 0000000..74aa8b2
--- /dev/null
+++ b/src/JobsJobsJobs/Citizens/Data.fs
@@ -0,0 +1,279 @@
+module JobsJobsJobs.Citizens.Data
+
+open JobsJobsJobs.Common.Data
+open JobsJobsJobs.Domain
+open NodaTime
+open Npgsql.FSharp
+
+/// The last time a token purge check was run
+let mutable private lastPurge = Instant.MinValue
+
+/// Lock access to the above
+let private locker = obj ()
+
+/// Delete a citizen by their ID using the given connection properties
+let private doDeleteById citizenId connProps = backgroundTask {
+ let! _ =
+ connProps
+ |> Sql.query $"
+ DELETE FROM {Table.Success} WHERE data ->> 'citizenId' = @id;
+ DELETE FROM {Table.Listing} WHERE data ->> 'citizenId' = @id;
+ DELETE FROM {Table.Citizen} WHERE id = @id"
+ |> Sql.parameters [ "@id", Sql.string (CitizenId.toString citizenId) ]
+ |> Sql.executeNonQueryAsync
+ ()
+}
+
+/// Delete a citizen by their ID
+let deleteById citizenId =
+ doDeleteById citizenId (dataSource ())
+
+/// Save a citizen
+let private saveCitizen (citizen : Citizen) connProps =
+ saveDocument Table.Citizen (CitizenId.toString citizen.Id) connProps (mkDoc citizen)
+
+/// Save security information for a citizen
+let private saveSecurity (security : SecurityInfo) connProps =
+ saveDocument Table.SecurityInfo (CitizenId.toString security.Id) connProps (mkDoc security)
+
+/// Purge expired tokens
+let private purgeExpiredTokens now = backgroundTask {
+ let connProps = dataSource ()
+ let! info =
+ Sql.query $"SELECT * FROM {Table.SecurityInfo} WHERE data ->> 'tokenExpires' IS NOT NULL" connProps
+ |> Sql.executeAsync toDocument
+ for expired in info |> List.filter (fun it -> it.TokenExpires.Value < now) do
+ if expired.TokenUsage.Value = "confirm" then
+ // Unconfirmed account; delete the entire thing
+ do! doDeleteById expired.Id connProps
+ else
+ // Some other use; just clear the token
+ do! saveSecurity { expired with Token = None; TokenUsage = None; TokenExpires = None } connProps
+}
+
+/// Check for tokens to purge if it's been more than 10 minutes since we last checked
+let private checkForPurge skipCheck =
+ lock locker (fun () -> backgroundTask {
+ let now = SystemClock.Instance.GetCurrentInstant ()
+ if skipCheck || (now - lastPurge).TotalMinutes >= 10 then
+ do! purgeExpiredTokens now
+ lastPurge <- now
+ })
+
+/// Find a citizen by their ID
+let findById citizenId = backgroundTask {
+ match! dataSource () |> getDocument Table.Citizen (CitizenId.toString citizenId) with
+ | Some c when not c.IsLegacy -> return Some c
+ | Some _
+ | None -> return None
+}
+
+/// Save a citizen
+let save citizen =
+ saveCitizen citizen (dataSource ())
+
+/// Register a citizen (saves citizen and security settings); returns false if the e-mail is already taken
+let register citizen (security : SecurityInfo) = backgroundTask {
+ let connProps = dataSource ()
+ use conn = Sql.createConnection connProps
+ use! txn = conn.BeginTransactionAsync ()
+ try
+ do! saveCitizen citizen connProps
+ do! saveSecurity security connProps
+ do! txn.CommitAsync ()
+ return true
+ with
+ | :? Npgsql.PostgresException as ex when ex.SqlState = "23505" && ex.ConstraintName = "uk_citizen_email" ->
+ do! txn.RollbackAsync ()
+ return false
+}
+
+/// Try to find the security information matching a confirmation token
+let private tryConfirmToken token connProps = backgroundTask {
+ let! tryInfo =
+ connProps
+ |> Sql.query $"
+ SELECT *
+ FROM {Table.SecurityInfo}
+ WHERE data ->> 'token' = @token
+ AND data ->> 'tokenUsage' = 'confirm'"
+ |> Sql.parameters [ "@token", Sql.string token ]
+ |> Sql.executeAsync toDocument
+ return List.tryHead tryInfo
+}
+
+/// Confirm a citizen's account
+let confirmAccount token = backgroundTask {
+ do! checkForPurge true
+ let connProps = dataSource ()
+ match! tryConfirmToken token connProps with
+ | Some info ->
+ do! saveSecurity { info with AccountLocked = false; Token = None; TokenUsage = None; TokenExpires = None }
+ connProps
+ return true
+ | None -> return false
+}
+
+/// Deny a citizen's account (user-initiated; used if someone used their e-mail address without their consent)
+let denyAccount token = backgroundTask {
+ do! checkForPurge true
+ let connProps = dataSource ()
+ match! tryConfirmToken token connProps with
+ | Some info ->
+ do! doDeleteById info.Id connProps
+ return true
+ | None -> return false
+}
+
+/// Attempt a user log on
+let tryLogOn email password (pwVerify : Citizen -> string -> bool option) (pwHash : Citizen -> string -> string)
+ now = backgroundTask {
+ do! checkForPurge false
+ let connProps = dataSource ()
+ let! tryCitizen =
+ connProps
+ |> Sql.query $"
+ SELECT *
+ FROM {Table.Citizen}
+ WHERE data ->> 'email' = @email
+ AND data ->> 'isLegacy' = 'false'"
+ |> Sql.parameters [ "@email", Sql.string email ]
+ |> Sql.executeAsync toDocument
+ match List.tryHead tryCitizen with
+ | Some citizen ->
+ let citizenId = CitizenId.toString citizen.Id
+ let! tryInfo = getDocument Table.SecurityInfo citizenId connProps
+ let! info = backgroundTask {
+ match tryInfo with
+ | Some it -> return it
+ | None ->
+ let it = { SecurityInfo.empty with Id = citizen.Id }
+ do! saveSecurity it connProps
+ return it
+ }
+ if info.AccountLocked then return Error "Log on unsuccessful (Account Locked)"
+ else
+ match pwVerify citizen password with
+ | Some rehash ->
+ let hash = if rehash then pwHash citizen password else citizen.PasswordHash
+ do! saveSecurity { info with FailedLogOnAttempts = 0 } connProps
+ do! saveCitizen { citizen with LastSeenOn = now; PasswordHash = hash } connProps
+ return Ok { citizen with LastSeenOn = now }
+ | None ->
+ let locked = info.FailedLogOnAttempts >= 4
+ do! { info with FailedLogOnAttempts = info.FailedLogOnAttempts + 1; AccountLocked = locked }
+ |> saveSecurity <| connProps
+ return Error $"""Log on unsuccessful{if locked then " - Account is now locked" else ""}"""
+ | None -> return Error "Log on unsuccessful"
+}
+
+/// Try to retrieve a citizen and their security information by their e-mail address
+let tryByEmailWithSecurity email = backgroundTask {
+ let toCitizenSecurityPair row = (toDocument row, toDocumentFrom "sec_data" row)
+ let! results =
+ dataSource ()
+ |> Sql.query $"
+ SELECT c.*, s.data AS sec_data
+ FROM {Table.Citizen} c
+ INNER JOIN {Table.SecurityInfo} s ON s.id = c.id
+ WHERE c.data ->> 'email' = @email"
+ |> Sql.parameters [ "@email", Sql.string email ]
+ |> Sql.executeAsync toCitizenSecurityPair
+ return List.tryHead results
+}
+
+/// Save an updated security information document
+let saveSecurityInfo security = backgroundTask {
+ do! saveSecurity security (dataSource ())
+}
+
+/// Try to retrieve security information by the given token
+let trySecurityByToken token = backgroundTask {
+ do! checkForPurge false
+ let! results =
+ dataSource ()
+ |> Sql.query $"SELECT * FROM {Table.SecurityInfo} WHERE data ->> 'token' = @token"
+ |> Sql.parameters [ "@token", Sql.string token ]
+ |> Sql.executeAsync toDocument
+ return List.tryHead results
+}
+
+// ~~~ LEGACY MIGRATION ~~~ //
+
+/// Get all legacy citizens
+let legacy () = backgroundTask {
+ return!
+ dataSource ()
+ |> Sql.query $"SELECT * FROM {Table.Citizen} WHERE data ->> 'isLegacy' = 'true' ORDER BY data ->> 'firstName'"
+ |> Sql.executeAsync toDocument
+}
+
+/// Get all current citizens with verified accounts but without a profile
+let current () = backgroundTask {
+ return!
+ dataSource ()
+ |> Sql.query $"
+ SELECT c.*
+ FROM {Table.Citizen} c
+ INNER JOIN {Table.SecurityInfo} si ON si.id = c.id
+ WHERE c.data ->> 'isLegacy' = 'false'
+ AND si.data ->> 'accountLocked' = 'false'
+ AND NOT EXISTS (SELECT 1 FROM {Table.Profile} p WHERE p.id = c.id)"
+ |> Sql.executeAsync toDocument
+}
+
+let migrateLegacy currentId legacyId = backgroundTask {
+ let oldId = CitizenId.toString legacyId
+ let connProps = dataSource ()
+ use conn = Sql.createConnection connProps
+ use! txn = conn.BeginTransactionAsync ()
+ try
+ // Add legacy data to current user
+ let! profiles =
+ conn
+ |> Sql.existingConnection
+ |> Sql.query $"SELECT * FROM {Table.Profile} WHERE id = @oldId"
+ |> Sql.parameters [ "@oldId", Sql.string oldId ]
+ |> Sql.executeAsync toDocument
+ match List.tryHead profiles with
+ | Some profile ->
+ do! saveDocument
+ Table.Profile (CitizenId.toString currentId) (Sql.existingConnection conn)
+ (mkDoc { profile with Id = currentId; IsLegacy = false })
+ | None -> ()
+ let! listings =
+ conn
+ |> Sql.existingConnection
+ |> Sql.query $"SELECT * FROM {Table.Listing} WHERE data ->> 'citizenId' = @oldId"
+ |> Sql.parameters [ "@oldId", Sql.string oldId ]
+ |> Sql.executeAsync toDocument
+ for listing in listings do
+ let newListing = { listing with Id = ListingId.create (); CitizenId = currentId; IsLegacy = false }
+ do! saveDocument
+ Table.Listing (ListingId.toString newListing.Id) (Sql.existingConnection conn) (mkDoc newListing)
+ let! successes =
+ conn
+ |> Sql.existingConnection
+ |> Sql.query $"SELECT * FROM {Table.Success} WHERE data ->> 'citizenId' = @oldId"
+ |> Sql.parameters [ "@oldId", Sql.string oldId ]
+ |> Sql.executeAsync toDocument
+ for success in successes do
+ let newSuccess = { success with Id = SuccessId.create (); CitizenId = currentId }
+ do! saveDocument
+ Table.Success (SuccessId.toString newSuccess.Id) (Sql.existingConnection conn) (mkDoc newSuccess)
+ // Delete legacy data
+ let! _ =
+ conn
+ |> Sql.existingConnection
+ |> Sql.query $"
+ DELETE FROM {Table.Success} WHERE data ->> 'citizenId' = @oldId;
+ DELETE FROM {Table.Listing} WHERE data ->> 'citizenId' = @oldId;
+ DELETE FROM {Table.Citizen} WHERE id = @oldId"
+ |> Sql.parameters [ "@oldId", Sql.string oldId ]
+ |> Sql.executeNonQueryAsync
+ do! txn.CommitAsync ()
+ return Ok ""
+ with :? Npgsql.PostgresException as ex ->
+ do! txn.RollbackAsync ()
+ return Error ex.MessageText
+}
diff --git a/src/JobsJobsJobs/Citizens/Domain.fs b/src/JobsJobsJobs/Citizens/Domain.fs
new file mode 100644
index 0000000..c4d32e2
--- /dev/null
+++ b/src/JobsJobsJobs/Citizens/Domain.fs
@@ -0,0 +1,164 @@
+module JobsJobsJobs.Citizens.Domain
+
+open JobsJobsJobs.Domain
+
+/// The data to add or update an other contact
+[]
+type OtherContactForm =
+ { /// The type of the contact
+ ContactType : string
+
+ /// The name of the contact
+ Name : string
+
+ /// The value of the contact (URL, e-mail address, phone, etc.)
+ Value : string
+
+ /// Whether this contact is displayed for public employment profiles and job listings
+ IsPublic : bool
+ }
+
+/// Support functions for the contact form
+module OtherContactForm =
+
+ /// Create a contact form from a contact
+ let fromContact (contact : OtherContact) =
+ { ContactType = ContactType.toString contact.ContactType
+ Name = defaultArg contact.Name ""
+ Value = contact.Value
+ IsPublic = contact.IsPublic
+ }
+
+
+/// The data available to update an account profile
+[]
+type AccountProfileForm =
+ { /// The first name of the citizen
+ FirstName : string
+
+ /// The last name of the citizen
+ LastName : string
+
+ /// The display name for the citizen
+ DisplayName : string
+
+ /// The citizen's new password
+ NewPassword : string
+
+ /// Confirmation of the citizen's new password
+ NewPasswordConfirm : string
+
+ /// The contacts for this profile
+ Contacts : OtherContactForm array
+ }
+
+/// Support functions for the account profile form
+module AccountProfileForm =
+
+ /// Create an account profile form from a citizen
+ let fromCitizen (citizen : Citizen) =
+ { FirstName = citizen.FirstName
+ LastName = citizen.LastName
+ DisplayName = defaultArg citizen.DisplayName ""
+ NewPassword = ""
+ NewPasswordConfirm = ""
+ Contacts = citizen.OtherContacts |> List.map OtherContactForm.fromContact |> Array.ofList
+ }
+
+
+/// Form for the forgot / reset password page
+[]
+type ForgotPasswordForm =
+ { /// The e-mail address for the account wishing to reset their password
+ Email : string
+ }
+
+
+/// Form for the log on page
+[]
+type LogOnForm =
+ { /// A message regarding an error encountered during a log on attempt
+ ErrorMessage : string option
+
+ /// The e-mail address for the user attempting to log on
+ Email : string
+
+ /// The password of the user attempting to log on
+ Password : string
+
+ /// The URL where the user should be redirected after logging on
+ ReturnTo : string option
+ }
+
+
+/// Form for the registration page
+[]
+type RegisterForm =
+ { /// The user's first name
+ FirstName : string
+
+ /// The user's last name
+ LastName : string
+
+ /// The user's display name
+ DisplayName : string option
+
+ /// The user's e-mail address
+ Email : string
+
+ /// The user's desired password
+ Password : string
+
+ /// The index of the first question asked
+ Question1Index : int
+
+ /// The answer for the first question asked
+ Question1Answer : string
+
+ /// The index of the second question asked
+ Question2Index : int
+
+ /// The answer for the second question asked
+ Question2Answer : string
+ }
+
+/// Support for the registration page view model
+module RegisterForm =
+
+ /// An empty view model
+ let empty =
+ { FirstName = ""
+ LastName = ""
+ DisplayName = None
+ Email = ""
+ Password = ""
+ Question1Index = 0
+ Question1Answer = ""
+ Question2Index = 0
+ Question2Answer = ""
+ }
+
+
+/// The form for a user resetting their password
+[]
+type ResetPasswordForm =
+ { /// The ID of the citizen whose password is being reset
+ Id : string
+
+ /// The verification token for the password reset
+ Token : string
+
+ /// The new password for the account
+ Password : string
+ }
+
+// ~~~ LEGACY MIGRATION ~~ //
+
+[]
+type LegacyMigrationForm =
+ { /// The ID of the current citizen
+ Id : string
+
+ /// The ID of the legacy citizen to be migrated
+ LegacyId : string
+ }
diff --git a/src/JobsJobsJobs/Citizens/Handlers.fs b/src/JobsJobsJobs/Citizens/Handlers.fs
new file mode 100644
index 0000000..de23fc6
--- /dev/null
+++ b/src/JobsJobsJobs/Citizens/Handlers.fs
@@ -0,0 +1,383 @@
+module JobsJobsJobs.Citizens.Handlers
+
+open System
+open System.Security.Claims
+open Giraffe
+open JobsJobsJobs
+open JobsJobsJobs.Citizens.Domain
+open JobsJobsJobs.Common.Handlers
+open JobsJobsJobs.Domain
+open Microsoft.AspNetCore.Authentication
+open Microsoft.AspNetCore.Authentication.Cookies
+open Microsoft.Extensions.Logging
+open NodaTime
+
+/// Authorization functions
+module private Auth =
+
+ open System.Text
+
+ /// Create a confirmation or password reset token for a user
+ let createToken (citizen : Citizen) =
+ Convert.ToBase64String (Guid.NewGuid().ToByteArray () |> Array.append (Encoding.UTF8.GetBytes citizen.Email))
+
+ /// The challenge questions and answers from the configuration
+ let mutable private challenges : (string * string)[] option = None
+
+ /// The challenge questions and answers
+ let questions ctx =
+ match challenges with
+ | Some it -> it
+ | None ->
+ let qs = (config ctx).GetSection "ChallengeQuestions"
+ let qAndA =
+ seq {
+ for idx in 0..4 do
+ let section = qs.GetSection(string idx)
+ yield section["Question"], (section["Answer"].ToLowerInvariant ())
+ }
+ |> Array.ofSeq
+ challenges <- Some qAndA
+ qAndA
+
+ /// Password hashing and verification
+ module Passwords =
+
+ open Microsoft.AspNetCore.Identity
+
+ /// The password hasher to use for the application
+ let private hasher = PasswordHasher ()
+
+ /// Hash a password for a user
+ let hash citizen password =
+ hasher.HashPassword (citizen, password)
+
+ /// Verify a password (returns true if the password needs to be rehashed)
+ let verify citizen password =
+ match hasher.VerifyHashedPassword (citizen, citizen.PasswordHash, password) with
+ | PasswordVerificationResult.Success -> Some false
+ | PasswordVerificationResult.SuccessRehashNeeded -> Some true
+ | _ -> None
+
+ /// Require an administrative user (used for legacy migration endpoints)
+ let requireAdmin : HttpHandler = requireUser >=> fun next ctx -> task {
+ let adminUser = (config ctx)["AdminUser"]
+ if adminUser = defaultArg (tryUser ctx) "" then return! next ctx
+ else return! Error.notAuthorized next ctx
+ }
+
+
+// GET: /citizen/account
+let account : HttpHandler = fun next ctx -> task {
+ match! Data.findById (currentCitizenId ctx) with
+ | Some citizen ->
+ return!
+ Views.account (AccountProfileForm.fromCitizen citizen) (isHtmx ctx) (csrf ctx)
+ |> render "Account Profile" next ctx
+ | None -> return! Error.notFound next ctx
+}
+
+// GET: /citizen/cancel-reset/[token]
+let cancelReset token : HttpHandler = fun next ctx -> task {
+ let! wasCanceled = task {
+ match! Data.trySecurityByToken token with
+ | Some security ->
+ do! Data.saveSecurityInfo { security with Token = None; TokenUsage = None; TokenExpires = None }
+ return true
+ | None -> return false
+ }
+ return! Views.resetCanceled wasCanceled |> render "Password Reset Cancellation" next ctx
+}
+
+// GET: /citizen/confirm/[token]
+let confirm token : HttpHandler = fun next ctx -> task {
+ let! isConfirmed = Data.confirmAccount token
+ return! Views.confirmAccount isConfirmed |> render "Account Confirmation" next ctx
+}
+
+// GET: /citizen/dashboard
+let dashboard : HttpHandler = requireUser >=> fun next ctx -> task {
+ let citizenId = currentCitizenId ctx
+ let! citizen = Data.findById citizenId
+ let! profile = Profiles.Data.findById citizenId
+ let! prfCount = Profiles.Data.count ()
+ return! Views.dashboard citizen.Value profile prfCount (timeZone ctx) |> render "Dashboard" next ctx
+}
+
+// POST: /citizen/delete
+let delete : HttpHandler = requireUser >=> validateCsrf >=> fun next ctx -> task {
+ do! Data.deleteById (currentCitizenId ctx)
+ do! ctx.SignOutAsync ()
+ return! render "Account Deleted Successfully" next ctx Views.deleted
+}
+
+// GET: /citizen/deny/[token]
+let deny token : HttpHandler = fun next ctx -> task {
+ let! wasDeleted = Data.denyAccount token
+ return! Views.denyAccount wasDeleted |> render "Account Deletion" next ctx
+}
+
+// GET: /citizen/forgot-password
+let forgotPassword : HttpHandler = fun next ctx ->
+ Views.forgotPassword (csrf ctx) |> render "Forgot Password" next ctx
+
+// POST: /citizen/forgot-password
+let doForgotPassword : HttpHandler = validateCsrf >=> fun next ctx -> task {
+ let! form = ctx.BindFormAsync ()
+ match! Data.tryByEmailWithSecurity form.Email with
+ | Some (citizen, security) ->
+ let withToken =
+ { security with
+ Token = Some (Auth.createToken citizen)
+ TokenUsage = Some "reset"
+ TokenExpires = Some (now ctx + (Duration.FromDays 3))
+ }
+ do! Data.saveSecurityInfo withToken
+ let! emailResponse = Email.sendPasswordReset citizen withToken
+ let logFac = logger ctx
+ let log = logFac.CreateLogger "JobsJobsJobs.Handlers.Citizen"
+ log.LogInformation $"Password reset e-mail for {citizen.Email} received {emailResponse}"
+ | None -> ()
+ return! Views.forgotPasswordSent form |> render "Reset Request Processed" next ctx
+}
+
+// GET: /citizen/log-off
+let logOff : HttpHandler = requireUser >=> fun next ctx -> task {
+ do! ctx.SignOutAsync CookieAuthenticationDefaults.AuthenticationScheme
+ do! addSuccess "Log off successful" ctx
+ return! redirectToGet "/" next ctx
+}
+
+// GET: /citizen/log-on
+let logOn : HttpHandler = fun next ctx ->
+ let returnTo =
+ if ctx.Request.Query.ContainsKey "returnUrl" then Some ctx.Request.Query["returnUrl"].[0] else None
+ Views.logOn { ErrorMessage = None; Email = ""; Password = ""; ReturnTo = returnTo } (csrf ctx)
+ |> render "Log On" next ctx
+
+
+// POST: /citizen/log-on
+let doLogOn : HttpHandler = validateCsrf >=> fun next ctx -> task {
+ let! form = ctx.BindFormAsync ()
+ match! Data.tryLogOn form.Email form.Password Auth.Passwords.verify Auth.Passwords.hash (now ctx) with
+ | Ok citizen ->
+ let claims = seq {
+ Claim (ClaimTypes.NameIdentifier, CitizenId.toString citizen.Id)
+ Claim (ClaimTypes.Name, Citizen.name citizen)
+ }
+ let identity = ClaimsIdentity (claims, CookieAuthenticationDefaults.AuthenticationScheme)
+
+ do! ctx.SignInAsync (identity.AuthenticationType, ClaimsPrincipal identity,
+ AuthenticationProperties (IssuedUtc = DateTimeOffset.UtcNow))
+ do! addSuccess "Log on successful" ctx
+ return! redirectToGet (defaultArg form.ReturnTo "/citizen/dashboard") next ctx
+ | Error msg ->
+ do! addError msg ctx
+ return! Views.logOn { form with Password = "" } (csrf ctx) |> render "Log On" next ctx
+}
+
+// GET: /citizen/register
+let register next ctx =
+ // Get two different indexes for NA-knowledge challenge questions
+ let q1Index = System.Random.Shared.Next(0, 5)
+ let mutable q2Index = System.Random.Shared.Next(0, 5)
+ while q1Index = q2Index do
+ q2Index <- System.Random.Shared.Next(0, 5)
+ let qAndA = Auth.questions ctx
+ Views.register (fst qAndA[q1Index]) (fst qAndA[q2Index])
+ { RegisterForm.empty with Question1Index = q1Index; Question2Index = q2Index } (isHtmx ctx) (csrf ctx)
+ |> render "Register" next ctx
+
+// POST: /citizen/register
+#nowarn "3511"
+let doRegistration : HttpHandler = validateCsrf >=> fun next ctx -> task {
+ let! form = ctx.BindFormAsync ()
+ let qAndA = Auth.questions ctx
+ let mutable badForm = false
+ let errors = [
+ if form.FirstName.Length < 1 then "First name is required"
+ if form.LastName.Length < 1 then "Last name is required"
+ if form.Email.Length < 1 then "E-mail address is required"
+ if form.Password.Length < 8 then "Password is too short"
+ if form.Question1Index < 0 || form.Question1Index > 4
+ || form.Question2Index < 0 || form.Question2Index > 4
+ || form.Question1Index = form.Question2Index then
+ badForm <- true
+ else if (snd qAndA[form.Question1Index]) <> (form.Question1Answer.Trim().ToLowerInvariant ())
+ || (snd qAndA[form.Question2Index]) <> (form.Question2Answer.Trim().ToLowerInvariant ()) then
+ "Question answers are incorrect"
+ ]
+ let refreshPage () =
+ Views.register (fst qAndA[form.Question1Index]) (fst qAndA[form.Question2Index]) { form with Password = "" }
+ (isHtmx ctx) (csrf ctx)
+ |> renderHandler "Register"
+
+ if badForm then
+ do! addError "The form posted was invalid; please complete it again" ctx
+ return! register next ctx
+ else if List.isEmpty errors then
+ let now = now ctx
+ let noPass =
+ { Citizen.empty with
+ Id = CitizenId.create ()
+ Email = form.Email
+ FirstName = form.FirstName
+ LastName = form.LastName
+ DisplayName = noneIfBlank form.DisplayName
+ JoinedOn = now
+ LastSeenOn = now
+ }
+ let citizen = { noPass with PasswordHash = Auth.Passwords.hash noPass form.Password }
+ let security =
+ { SecurityInfo.empty with
+ Id = citizen.Id
+ AccountLocked = true
+ Token = Some (Auth.createToken citizen)
+ TokenUsage = Some "confirm"
+ TokenExpires = Some (now + (Duration.FromDays 3))
+ }
+ let! success = Data.register citizen security
+ if success then
+ let! emailResponse = Email.sendAccountConfirmation citizen security
+ let logFac = logger ctx
+ let log = logFac.CreateLogger "JobsJobsJobs.Handlers.Citizen"
+ log.LogInformation $"Confirmation e-mail for {citizen.Email} received {emailResponse}"
+ return! Views.registered |> render "Registration Successful" next ctx
+ else
+ do! addError "There is already an account registered to the e-mail address provided" ctx
+ return! refreshPage () next ctx
+ else
+ do! addErrors errors ctx
+ return! refreshPage () next ctx
+}
+
+// GET: /citizen/reset-password/[token]
+let resetPassword token : HttpHandler = fun next ctx -> task {
+ match! Data.trySecurityByToken token with
+ | Some security ->
+ return!
+ Views.resetPassword { Id = CitizenId.toString security.Id; Token = token; Password = "" } (isHtmx ctx)
+ (csrf ctx)
+ |> render "Reset Password" next ctx
+ | None -> return! Error.notFound next ctx
+}
+
+// POST: /citizen/reset-password
+let doResetPassword : HttpHandler = validateCsrf >=> fun next ctx -> task {
+ let! form = ctx.BindFormAsync ()
+ let errors = [
+ if form.Id = "" then "Request invalid; please return to the link in your e-mail and try again"
+ if form.Token = "" then "Request invalid; please return to the link in your e-mail and try again"
+ if form.Password.Length < 8 then "Password too short"
+ ]
+ if List.isEmpty errors then
+ match! Data.trySecurityByToken form.Token with
+ | Some security when security.Id = CitizenId.ofString form.Id ->
+ match! Data.findById security.Id with
+ | Some citizen ->
+ do! Data.saveSecurityInfo { security with Token = None; TokenUsage = None; TokenExpires = None }
+ do! Data.save { citizen with PasswordHash = Auth.Passwords.hash citizen form.Password }
+ do! addSuccess "Password reset successfully; you may log on with your new credentials" ctx
+ return! redirectToGet "/citizen/log-on" next ctx
+ | None -> return! Error.notFound next ctx
+ | Some _
+ | None -> return! Error.notFound next ctx
+ else
+ do! addErrors errors ctx
+ return! Views.resetPassword form (isHtmx ctx) (csrf ctx) |> render "Reset Password" next ctx
+}
+
+// POST: /citizen/save-account
+let saveAccount : HttpHandler = requireUser >=> validateCsrf >=> fun next ctx -> task {
+ let! theForm = ctx.BindFormAsync ()
+ let form = { theForm with Contacts = theForm.Contacts |> Array.filter (box >> isNull >> not) }
+ let errors = [
+ if form.FirstName = "" then "First Name is required"
+ if form.LastName = "" then "Last Name is required"
+ if form.NewPassword <> form.NewPassword then "New passwords do not match"
+ if form.Contacts |> Array.exists (fun c -> c.ContactType = "") then "All Contact Types are required"
+ if form.Contacts |> Array.exists (fun c -> c.Value = "") then "All Contacts are required"
+ ]
+ if List.isEmpty errors then
+ match! Data.findById (currentCitizenId ctx) with
+ | Some citizen ->
+ let password =
+ if form.NewPassword = "" then citizen.PasswordHash
+ else Auth.Passwords.hash citizen form.NewPassword
+ do! Data.save
+ { citizen with
+ FirstName = form.FirstName
+ LastName = form.LastName
+ DisplayName = noneIfEmpty form.DisplayName
+ PasswordHash = password
+ OtherContacts = form.Contacts
+ |> Array.map (fun c ->
+ { OtherContact.Name = noneIfEmpty c.Name
+ ContactType = ContactType.parse c.ContactType
+ Value = c.Value
+ IsPublic = c.IsPublic
+ })
+ |> List.ofArray
+ }
+ let extraMsg = if form.NewPassword = "" then "" else " and password changed"
+ do! addSuccess $"Account profile updated{extraMsg} successfully" ctx
+ return! redirectToGet "/citizen/account" next ctx
+ | None -> return! Error.notFound next ctx
+ else
+ do! addErrors errors ctx
+ return! Views.account form (isHtmx ctx) (csrf ctx) |> render "Account Profile" next ctx
+}
+
+// GET: /citizen/so-long
+let soLong : HttpHandler = requireUser >=> fun next ctx ->
+ Views.deletionOptions (csrf ctx) |> render "Account Deletion Options" next ctx
+
+// ~~~ LEGACY MIGRATION ~~~ //
+
+// GET: /citizen/legacy
+let legacy : HttpHandler = Auth.requireAdmin >=> fun next ctx -> task {
+ let! currentUsers = Data.current ()
+ let! legacyUsers = Data.legacy ()
+ return! Views.legacy currentUsers legacyUsers (csrf ctx) |> render "Migrate Legacy Account" next ctx
+}
+
+// POST: /citizen/legacy/migrate
+let migrateLegacy : HttpHandler = Auth.requireAdmin >=> validateCsrf >=> fun next ctx -> task {
+ let! form = ctx.BindFormAsync ()
+ let currentId = CitizenId.ofString form.Id
+ let legacyId = CitizenId.ofString form.LegacyId
+ match! Data.migrateLegacy currentId legacyId with
+ | Ok _ -> do! addSuccess "Migration successful" ctx
+ | Error err -> do! addError err ctx
+ return! redirectToGet "/citizen/legacy" next ctx
+}
+
+open Giraffe.EndpointRouting
+
+/// All endpoints for this feature
+let endpoints =
+ subRoute "/citizen" [
+ GET_HEAD [
+ route "/account" account
+ routef "/cancel-reset/%s" cancelReset
+ routef "/confirm/%s" confirm
+ route "/dashboard" dashboard
+ routef "/deny/%s" deny
+ route "/forgot-password" forgotPassword
+ route "/log-off" logOff
+ route "/log-on" logOn
+ route "/register" register
+ routef "/reset-password/%s" resetPassword
+ route "/so-long" soLong
+ route "/legacy" legacy
+ ]
+ POST [
+ route "/delete" delete
+ route "/forgot-password" doForgotPassword
+ route "/log-on" doLogOn
+ route "/register" doRegistration
+ route "/reset-password" doResetPassword
+ route "/save-account" saveAccount
+ route "/legacy/migrate" migrateLegacy
+ ]
+ ]
diff --git a/src/JobsJobsJobs/Citizens/JobsJobsJobs.Citizens.fsproj b/src/JobsJobsJobs/Citizens/JobsJobsJobs.Citizens.fsproj
new file mode 100644
index 0000000..a482b86
--- /dev/null
+++ b/src/JobsJobsJobs/Citizens/JobsJobsJobs.Citizens.fsproj
@@ -0,0 +1,19 @@
+
+
+
+ net7.0
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/src/JobsJobsJobs/Citizens/Views.fs b/src/JobsJobsJobs/Citizens/Views.fs
new file mode 100644
index 0000000..2bdebdd
--- /dev/null
+++ b/src/JobsJobsJobs/Citizens/Views.fs
@@ -0,0 +1,446 @@
+/// Views for URLs beginning with /citizen
+module JobsJobsJobs.Citizens.Views
+
+open Giraffe.ViewEngine
+open Giraffe.ViewEngine.Htmx
+open JobsJobsJobs.Citizens.Domain
+open JobsJobsJobs.Common.Views
+open JobsJobsJobs.Domain
+
+/// The form to add or edit a means of contact
+let contactEdit (contacts : OtherContactForm array) =
+ let mapToInputs (idx : int) (contact : OtherContactForm) =
+ div [ _id $"contactRow{idx}"; _class "row pb-3" ] [
+ div [ _class "col-2 col-md-1" ] [
+ button [ _type "button"; _class "btn btn-sm btn-outline-danger rounded-pill mt-3"; _title "Delete"
+ _onclick $"jjj.citizen.removeContact({idx})" ] [ txt " − " ]
+ ]
+ div [ _class "col-10 col-md-4 col-xl-3" ] [
+ div [ _class "form-floating" ] [
+ select [ _id $"contactType{idx}"; _name $"Contacts[{idx}].ContactType"; _class "form-control"
+ _value contact.ContactType; _placeholder "Type"; _required ] [
+ let optionFor value label =
+ let typ = ContactType.toString value
+ option [ _value typ; if contact.ContactType = typ then _selected ] [ txt label ]
+ optionFor Website "Website"
+ optionFor Email "E-mail Address"
+ optionFor Phone "Phone Number"
+ ]
+ label [ _class "jjj-required"; _for $"contactType{idx}" ] [ txt "Type" ]
+ ]
+ ]
+ div [ _class "col-12 col-md-4 col-xl-3" ] [
+ div [ _class "form-floating" ] [
+ input [ _type "text"; _id $"contactName{idx}"; _name $"Contacts[{idx}].Name"; _class "form-control"
+ _maxlength "1000"; _value contact.Name; _placeholder "Name" ]
+ label [ _class "jjj-label"; _for $"contactName{idx}" ] [ txt "Name" ]
+ ]
+ if idx < 1 then
+ div [ _class "form-text" ] [ txt "Optional; will link sites and e-mail, qualify phone numbers" ]
+ ]
+ div [ _class "col-12 col-md-7 offset-md-1 col-xl-4 offset-xl-0" ] [
+ div [ _class "form-floating" ] [
+ input [ _type "text"; _id $"contactValue{idx}"; _name $"Contacts[{idx}].Value"
+ _class "form-control"; _maxlength "1000"; _value contact.Value; _placeholder "Contact"
+ _required ]
+ label [ _class "jjj-required"; _for "contactValue{idx}" ] [ txt "Contact" ]
+ ]
+ if idx < 1 then div [ _class "form-text"] [ txt "The URL, e-mail address, or phone number" ]
+ ]
+ div [ _class "col-12 col-md-3 offset-md-1 col-xl-1 offset-xl-0" ] [
+ div [ _class "form-check mt-3" ] [
+ input [ _type "checkbox"; _id $"contactIsPublic{idx}"; _name $"Contacts[{idx}].IsPublic";
+ _class "form-check-input"; _value "true"; if contact.IsPublic then _checked ]
+ label [ _class "form-check-label"; _for $"contactIsPublic{idx}" ] [ txt "Public" ]
+ ]
+ ]
+ ]
+ template [ _id "newContact" ] [
+ mapToInputs -1 { ContactType = "Website"; Name = ""; Value = ""; IsPublic = false }
+ ]
+ :: (contacts |> Array.mapi mapToInputs |> List.ofArray)
+
+/// The account edit page
+let account (m : AccountProfileForm) isHtmx csrf =
+ pageWithTitle "Account Profile" [
+ p [] [
+ txt "This information is visible to all fellow logged-on citizens. For publicly-visible employment "
+ txt "profiles and job listings, the “Display Name” fields and any public contacts will be "
+ txt "displayed."
+ ]
+ form [ _class "row g-3"; _method "POST"; _action "/citizen/save-account" ] [
+ antiForgery csrf
+ div [ _class "col-6 col-xl-4" ] [
+ textBox [ _type "text"; _autofocus ] (nameof m.FirstName) m.FirstName "First Name" true
+ ]
+ div [ _class "col-6 col-xl-4" ] [
+ textBox [ _type "text" ] (nameof m.LastName) m.LastName "Last Name" true
+ ]
+ div [ _class "col-6 col-xl-4" ] [
+ textBox [ _type "text" ] (nameof m.DisplayName) m.DisplayName "Display Name" false
+ div [ _class "form-text" ] [ em [] [ txt "Optional; overrides first/last for display" ] ]
+ ]
+ div [ _class "col-6 col-xl-4" ] [
+ textBox [ _type "password"; _minlength "8" ] (nameof m.NewPassword) "" "New Password" false
+ div [ _class "form-text" ] [ txt "Leave blank to keep your current password" ]
+ ]
+ div [ _class "col-6 col-xl-4" ] [
+ textBox [ _type "password"; _minlength "8" ] (nameof m.NewPasswordConfirm) "" "Confirm New Password"
+ false
+ div [ _class "form-text" ] [ txt "Leave blank to keep your current password" ]
+ ]
+ div [ _class "col-12" ] [
+ hr []
+ h4 [ _class "pb-2" ] [
+ txt "Ways to Be Contacted "
+ button [ _type "button"; _class "btn btn-sm btn-outline-primary rounded-pill"
+ _onclick "jjj.citizen.addContact()" ] [ txt "Add a Contact Method" ]
+ ]
+ ]
+ yield! contactEdit m.Contacts
+ div [ _class "col-12" ] [ submitButton "content-save-outline" "Save" ]
+ ]
+ hr []
+ p [ _class "text-muted fst-italic" ] [
+ txt "(If you want to delete your profile, or your entire account, "
+ a [ _href "/citizen/so-long" ] [ rawText "see your deletion options here" ]; txt ".)"
+ ]
+ jsOnLoad $"
+ jjj.citizen.nextIndex = {m.Contacts.Length}
+ jjj.citizen.validatePasswords('{nameof m.NewPassword}', '{nameof m.NewPasswordConfirm}', false)" isHtmx
+ ]
+
+
+/// The account confirmation page
+let confirmAccount isConfirmed =
+ pageWithTitle "Account Confirmation" [
+ p [] [
+ if isConfirmed then
+ txt "Your account was confirmed successfully! You may "
+ a [ _href "/citizen/log-on" ] [ rawText "log on here" ]; txt "."
+ else
+ txt "The confirmation token did not match any pending accounts. Confirmation tokens are only valid for "
+ txt "3 days; if the token expired, you will need to re-register, which "
+ a [ _href "/citizen/register" ] [ txt "you can do here" ]; txt "."
+ ]
+ ]
+
+/// The citizen's dashboard page
+let dashboard (citizen : Citizen) (profile : Profile option) profileCount tz =
+ article [ _class "container" ] [
+ h3 [ _class "pb-4" ] [ str $"ITM, {citizen.FirstName}!" ]
+ div [ _class "row row-cols-1 row-cols-md-2" ] [
+ div [ _class "col" ] [
+ div [ _class "card h-100" ] [
+ h5 [ _class "card-header" ] [ txt "Your Profile" ]
+ div [ _class "card-body" ] [
+ match profile with
+ | Some prfl ->
+ h6 [ _class "card-subtitle mb-3 text-muted fst-italic" ] [
+ str $"Last updated {fullDateTime prfl.LastUpdatedOn tz}"
+ ]
+ p [ _class "card-text" ] [
+ txt $"Your profile currently lists {List.length prfl.Skills} skill"
+ txt (if List.length prfl.Skills <> 1 then "s" else ""); txt "."
+ if prfl.IsSeekingEmployment then
+ br []; br []
+ txt "Your profile indicates that you are seeking employment. Once you find it, "
+ a [ _href "/success-story/add" ] [ txt "tell your fellow citizens about it!" ]
+ ]
+ | None ->
+ p [ _class "card-text" ] [
+ txt "You do not have an employment profile established; click below (or “Edit "
+ txt "Profile” in the menu) to get started!"
+ ]
+ ]
+ div [ _class "card-footer" ] [
+ match profile with
+ | Some _ ->
+ a [ _href $"/profile/{CitizenId.toString citizen.Id}/view"
+ _class "btn btn-outline-secondary" ] [ txt "View Profile" ]; txt " "
+ a [ _href "/profile/edit"; _class "btn btn-outline-secondary" ] [ txt "Edit Profile" ]
+ | None ->
+ a [ _href "/profile/edit"; _class "btn btn-primary" ] [ txt "Create Profile" ]
+ ]
+ ]
+ ]
+ div [ _class "col" ] [
+ div [ _class "card h-100" ] [
+ h5 [ _class "card-header" ] [ txt "Other Citizens" ]
+ div [ _class "card-body" ] [
+ h6 [ _class "card-subtitle mb-3 text-muted fst-italic" ] [
+ txt (if profileCount = 0L then "No" else $"{profileCount} Total")
+ txt " Employment Profile"; txt (if profileCount <> 1 then "s" else "")
+ ]
+ p [ _class "card-text" ] [
+ if profileCount = 1 && Option.isSome profile then
+ "It looks like, for now, it’s just you…"
+ else if profileCount > 0 then "Take a look around and see if you can help them find work!"
+ else "You can click below, but you will not find anything…"
+ |> txt
+ ]
+ ]
+ div [ _class "card-footer" ] [
+ a [ _href "/profile/search"; _class "btn btn-outline-secondary" ] [ txt "Search Profiles" ]
+ ]
+ ]
+ ]
+ ]
+ emptyP
+ p [] [
+ txt "To see how this application works, check out “How It Works” in the sidebar (last updated "
+ txt "August 29th, 2021)."
+ ]
+ ]
+
+
+/// The account deletion success page
+let deleted =
+ pageWithTitle "Account Deletion Success" [
+ emptyP; p [] [ txt "Your account has been successfully deleted." ]
+ emptyP; p [] [ txt "Thank you for participating, and thank you for your courage. #GitmoNation" ]
+ ]
+
+
+/// The profile or account deletion page
+let deletionOptions csrf =
+ pageWithTitle "Account Deletion Options" [
+ h4 [ _class "pb-3" ] [ txt "Option 1 – Delete Your Profile" ]
+ p [] [
+ txt "Utilizing this option will remove your current employment profile and skills. This will preserve any "
+ txt "job listings you may have posted, or any success stories you may have written, and preserves this "
+ txt "this application’s knowledge of you. This is what you want to use if you want to clear out your "
+ txt "profile and start again (and remove the current one from others’ view)."
+ ]
+ form [ _class "text-center"; _method "POST"; _action "/profile/delete" ] [
+ antiForgery csrf
+ button [ _type "submit"; _class "btn btn-danger" ] [ txt "Delete Your Profile" ]
+ ]
+ hr []
+ h4 [ _class "pb-3" ] [ txt "Option 2 – Delete Your Account" ]
+ p [] [
+ txt "This option will make it like you never visited this site. It will delete your profile, skills, job "
+ txt "listings, success stories, and account. This is what you want to use if you want to disappear from "
+ txt "this application."
+ ]
+ form [ _class "text-center"; _method "POST"; _action "/citizen/delete" ] [
+ antiForgery csrf
+ button [ _type "submit"; _class "btn btn-danger" ] [ txt "Delete Your Entire Account" ]
+ ]
+ ]
+
+
+/// The account denial page
+let denyAccount wasDeleted =
+ pageWithTitle "Account Deletion" [
+ p [] [
+ if wasDeleted then txt "The account was deleted successfully; sorry for the trouble."
+ else
+ txt "The confirmation token did not match any pending accounts; if this was an inadvertently created "
+ txt "account, it has likely already been deleted."
+ ]
+ ]
+
+
+/// The forgot / reset password page
+let forgotPassword csrf =
+ let m = { Email = "" }
+ pageWithTitle "Forgot Password" [
+ p [] [
+ txt "Enter your e-mail address below; if it matches the e-mail address of an account, we will send a "
+ txt "password reset link."
+ ]
+ form [ _class "row g-3 pb-3"; _method "POST"; _action "/citizen/forgot-password" ] [
+ antiForgery csrf
+ div [ _class "col-12 col-md-6 offset-md-3" ] [
+ textBox [ _type "email"; _autofocus ] (nameof m.Email) m.Email "E-mail Address" true
+ ]
+ div [ _class "col-12" ] [ submitButton "send-lock-outline" "Send Reset Link" ]
+ ]
+ ]
+
+
+/// The page displayed after a forgotten / reset request has been processed
+let forgotPasswordSent (m : ForgotPasswordForm) =
+ pageWithTitle "Reset Request Processed" [
+ p [] [
+ txt $"The reset link request has been processed. If the e-mail address {m.Email} matched an account, "
+ txt "further instructions were sent to that address."
+ ]
+ ]
+
+
+/// The log on page
+let logOn (m : LogOnForm) csrf =
+ pageWithTitle "Log On" [
+ match m.ErrorMessage with
+ | Some msg ->
+ p [ _class "pb-3 text-center" ] [
+ span [ _class "text-danger" ] [ txt msg ]; br []
+ if msg.IndexOf("ocked") > -1 then
+ txt "If this is a new account, it must be confirmed before it can be used; otherwise, you need to "
+ a [ _href "/citizen/forgot-password" ] [ txt "request an unlock code" ]
+ txt " before you may log on."
+ ]
+ | None -> ()
+ form [ _class "row g-3 pb-3"; _hxPost "/citizen/log-on" ] [
+ antiForgery csrf
+ match m.ReturnTo with
+ | Some returnTo -> input [ _type "hidden"; _name (nameof m.ReturnTo); _value returnTo ]
+ | None -> ()
+ div [ _class "col-12 col-md-6" ] [
+ textBox [ _type "email"; _autofocus ] (nameof m.Email) m.Email "E-mail Address" true
+ ]
+ div [ _class "col-12 col-md-6" ] [
+ textBox [ _type "password" ] (nameof m.Password) "" "Password" true
+ ]
+ div [ _class "col-12" ] [ submitButton "login" "Log On" ]
+ ]
+ p [ _class "text-center" ] [
+ txt "Need an account? "; a [ _href "/citizen/register" ] [ txt "Register for one!" ]
+ ]
+ p [ _class "text-center" ] [
+ txt "Forgot your password? "; a [ _href "/citizen/forgot-password" ] [ txt "Request a reset." ]
+ ]
+ ]
+
+/// The registration page
+let register q1 q2 (m : RegisterForm) isHtmx csrf =
+ pageWithTitle "Register" [
+ form [ _class "row g-3"; _hxPost "/citizen/register" ] [
+ antiForgery csrf
+ div [ _class "col-6 col-xl-4" ] [
+ textBox [ _type "text"; _autofocus ] (nameof m.FirstName) m.FirstName "First Name" true
+ ]
+ div [ _class "col-6 col-xl-4" ] [
+ textBox [ _type "text" ] (nameof m.LastName) m.LastName "Last Name" true
+ ]
+ div [ _class "col-6 col-xl-4" ] [
+ textBox [ _type "text" ] (nameof m.DisplayName) (defaultArg m.DisplayName "") "Display Name" false
+ div [ _class "form-text fst-italic" ] [ txt "Optional; overrides first/last for display" ]
+ ]
+ div [ _class "col-6 col-xl-4" ] [
+ textBox [ _type "text" ] (nameof m.Email) m.Email "E-mail Address" true
+ ]
+ div [ _class "col-6 col-xl-4" ] [
+ textBox [ _type "password"; _minlength "8" ] (nameof m.Password) "" "Password" true
+ ]
+ div [ _class "col-6 col-xl-4" ] [
+ textBox [ _type "password"; _minlength "8" ] "ConfirmPassword" "" "Confirm Password" true
+ ]
+ div [ _class "col-12" ] [
+ hr []
+ p [ _class "mb-0 text-muted fst-italic" ] [
+ txt "Before your account request is through, you must answer these questions two…"
+ ]
+ ]
+ div [ _class "col-12 col-xl-6" ] [
+ textBox [ _type "text"; _maxlength "30" ] (nameof m.Question1Answer) m.Question1Answer q1 true
+ input [ _type "hidden"; _name (nameof m.Question1Index); _value (string m.Question1Index ) ]
+ ]
+ div [ _class "col-12 col-xl-6" ] [
+ textBox [ _type "text"; _maxlength "30" ] (nameof m.Question2Answer) m.Question2Answer q2 true
+ input [ _type "hidden"; _name (nameof m.Question2Index); _value (string m.Question2Index ) ]
+ ]
+ div [ _class "col-12" ] [ submitButton "content-save-outline" "Save" ]
+ jsOnLoad $"jjj.citizen.validatePasswords('{nameof m.Password}', 'ConfirmPassword', true)" isHtmx
+ ]
+ ]
+
+/// The confirmation page for user registration
+let registered =
+ pageWithTitle "Registration Successful" [
+ p [] [
+ txt "You have been successfully registered with Jobs, Jobs, Jobs. Check your e-mail for a confirmation "
+ txt "link; it will be valid for the next 72 hours (3 days). Once you confirm your account, you will be "
+ txt "able to log on using the e-mail address and password you provided."
+ ]
+ p [] [
+ txt "If the account is not confirmed within the 72-hour window, it will be deleted, and you will need to "
+ txt "register again."
+ ]
+ p [] [
+ txt "If you encounter issues, feel free to reach out to @danieljsummers on No Agenda Social for assistance."
+ ]
+ ]
+
+/// The confirmation page for canceling a reset request
+let resetCanceled wasCanceled =
+ let pgTitle = if wasCanceled then "Password Reset Request Canceled" else "Reset Request Not Found"
+ pageWithTitle pgTitle [
+ p [] [
+ if wasCanceled then txt "Your password reset request has been canceled."
+ else txt "There was no active password reset request found; it may have already expired."
+ ]
+ ]
+
+
+/// The password reset page
+let resetPassword (m : ResetPasswordForm) isHtmx csrf =
+ pageWithTitle "Reset Password" [
+ p [] [ txt "Enter your new password in the fields below" ]
+ form [ _class "row g-3"; _method "POST"; _action "/citizen/reset-password" ] [
+ antiForgery csrf
+ input [ _type "hidden"; _name (nameof m.Id); _value m.Id ]
+ input [ _type "hidden"; _name (nameof m.Token); _value m.Token ]
+ div [ _class "col-12 col-md-6 col-xl-4 offset-xl-2" ] [
+ textBox [ _type "password"; _minlength "8"; _autofocus ] (nameof m.Password) "" "New Password" true
+ ]
+ div [ _class "col-12 col-md-6 col-xl-4" ] [
+ textBox [ _type "password"; _minlength "8" ] "ConfirmPassword" "" "Confirm New Password" true
+ ]
+ div [ _class "col-12" ] [ submitButton "lock-reset" "Reset Password" ]
+ jsOnLoad $"jjj.citizen.validatePasswords('{nameof m.Password}', 'ConfirmPassword', true)" isHtmx
+ ]
+ ]
+
+// ~~~ LEGACY MIGRATION ~~~ //
+
+let legacy (current : Citizen list) (legacy : Citizen list) csrf =
+ form [ _class "container"; _hxPost "/citizen/legacy/migrate" ] [
+ antiForgery csrf
+ let canProcess = not (List.isEmpty current)
+ div [ _class "row" ] [
+ if canProcess then
+ div [ _class "col-12 col-lg-6 col-xxl-4" ] [
+ div [ _class "form-floating" ] [
+ select [ _id "current"; _name "Id"; _class "form-control" ] [
+ option [ _value "" ] [ txt "– Select –" ]
+ yield!
+ current
+ |> List.sortBy Citizen.name
+ |> List.map (fun it ->
+ option [ _value (CitizenId.toString it.Id) ] [
+ str (Citizen.name it); txt " ("; str it.Email; txt ")"
+ ])
+ ]
+ label [ _for "current" ] [ txt "Current User" ]
+ ]
+ ]
+ else p [] [ txt "There are no current accounts to which legacy accounts can be migrated" ]
+ div [ _class "col-12 col-lg-6 offset-xxl-2"] [
+ table [ _class "table table-sm table-hover" ] [
+ thead [] [
+ tr [] [
+ th [ _scope "col" ] [ txt "Select" ]
+ th [ _scope "col" ] [ txt "NAS Profile" ]
+ ]
+ ]
+ legacy |> List.map (fun it ->
+ let theId = CitizenId.toString it.Id
+ tr [] [
+ td [] [
+ if canProcess then
+ input [ _type "radio"; _id $"legacy_{theId}"; _name "LegacyId"; _value theId ]
+ else txt " "
+ ]
+ td [] [ label [ _for $"legacy_{theId}" ] [ str it.Email ] ]
+ ])
+ |> tbody []
+ ]
+ ]
+ ]
+ submitButton "content-save-outline" "Migrate Account"
+ ]
+ |> List.singleton
+ |> pageWithTitle "Migrate Legacy Account"
diff --git a/src/JobsJobsJobs/Common/Cache.fs b/src/JobsJobsJobs/Common/Cache.fs
new file mode 100644
index 0000000..45b9e06
--- /dev/null
+++ b/src/JobsJobsJobs/Common/Cache.fs
@@ -0,0 +1,235 @@
+namespace JobsJobsJobs
+
+open NodaTime
+open Npgsql.FSharp
+
+/// Helper types and functions for the cache
+[]
+module private CacheHelpers =
+
+ open System
+ open System.Threading.Tasks
+ open Npgsql
+
+ /// The cache entry
+ type Entry =
+ { /// The ID of the cache entry
+ Id : string
+
+ /// The value to be cached
+ Payload : byte[]
+
+ /// When this entry will expire
+ ExpireAt : Instant
+
+ /// The duration by which the expiration should be pushed out when being refreshed
+ SlidingExpiration : Duration option
+
+ /// The must-expire-by date/time for the cache entry
+ AbsoluteExpiration : Instant option
+ }
+
+ /// Run a task synchronously
+ let sync<'T> (it : Task<'T>) = it |> (Async.AwaitTask >> Async.RunSynchronously)
+
+ /// Get the current instant
+ let getNow () = SystemClock.Instance.GetCurrentInstant ()
+
+ /// Get the first result of the given query
+ let tryHead<'T> (query : Task<'T list>) = backgroundTask {
+ let! results = query
+ return List.tryHead results
+ }
+
+ /// Create a parameter for a non-standard type
+ let typedParam<'T> name (it : 'T) =
+ $"@%s{name}", Sql.parameter (NpgsqlParameter ($"@{name}", it))
+
+ /// Create a parameter for a possibly-missing non-standard type
+ let optParam<'T> name (it : 'T option) =
+ let p = NpgsqlParameter ($"@%s{name}", if Option.isSome it then box it.Value else DBNull.Value)
+ p.ParameterName, Sql.parameter p
+
+ /// Create a parameter for the expire-at time
+ let expireParam =
+ typedParam "expireAt"
+
+
+open System.Threading
+open JobsJobsJobs.Common.Data
+open Microsoft.Extensions.Caching.Distributed
+
+// getEntry isn't resumable
+#nowarn "3511"
+
+/// A distributed cache implementation in PostgreSQL used to handle sessions for Jobs, Jobs, Jobs
+type DistributedCache () =
+
+ // ~~~ INITIALIZATION ~~~
+
+ do
+ task {
+ let dataSource = dataSource ()
+ let! exists =
+ dataSource
+ |> Sql.query $"
+ SELECT EXISTS
+ (SELECT 1 FROM pg_tables WHERE schemaname = 'public' AND tablename = 'session')
+ AS does_exist"
+ |> Sql.executeRowAsync (fun row -> row.bool "does_exist")
+ if not exists then
+ let! _ =
+ dataSource
+ |> Sql.query
+ "CREATE TABLE session (
+ id TEXT NOT NULL PRIMARY KEY,
+ payload BYTEA NOT NULL,
+ expire_at TIMESTAMPTZ NOT NULL,
+ sliding_expiration INTERVAL,
+ absolute_expiration TIMESTAMPTZ);
+ CREATE INDEX idx_session_expiration ON session (expire_at)"
+ |> Sql.executeNonQueryAsync
+ ()
+ } |> sync
+
+ // ~~~ SUPPORT FUNCTIONS ~~~
+
+ /// Get an entry, updating it for sliding expiration
+ let getEntry key = backgroundTask {
+ let dataSource = dataSource ()
+ let idParam = "@id", Sql.string key
+ let! tryEntry =
+ dataSource
+ |> Sql.query "SELECT * FROM session WHERE id = @id"
+ |> Sql.parameters [ idParam ]
+ |> Sql.executeAsync (fun row ->
+ { Id = row.string "id"
+ Payload = row.bytea "payload"
+ ExpireAt = row.fieldValue "expire_at"
+ SlidingExpiration = row.fieldValueOrNone "sliding_expiration"
+ AbsoluteExpiration = row.fieldValueOrNone "absolute_expiration" })
+ |> tryHead
+ match tryEntry with
+ | Some entry ->
+ let now = getNow ()
+ let slideExp = defaultArg entry.SlidingExpiration Duration.MinValue
+ let absExp = defaultArg entry.AbsoluteExpiration Instant.MinValue
+ let needsRefresh, item =
+ if entry.ExpireAt = absExp then false, entry
+ elif slideExp = Duration.MinValue && absExp = Instant.MinValue then false, entry
+ elif absExp > Instant.MinValue && entry.ExpireAt.Plus slideExp > absExp then
+ true, { entry with ExpireAt = absExp }
+ else true, { entry with ExpireAt = now.Plus slideExp }
+ if needsRefresh then
+ let! _ =
+ dataSource
+ |> Sql.query "UPDATE session SET expire_at = @expireAt WHERE id = @id"
+ |> Sql.parameters [ expireParam item.ExpireAt; idParam ]
+ |> Sql.executeNonQueryAsync
+ ()
+ return if item.ExpireAt > now then Some entry else None
+ | None -> return None
+ }
+
+ /// The last time expired entries were purged (runs every 30 minutes)
+ let mutable lastPurge = Instant.MinValue
+
+ /// Purge expired entries every 30 minutes
+ let purge () = backgroundTask {
+ let now = getNow ()
+ if lastPurge.Plus (Duration.FromMinutes 30L) < now then
+ let! _ =
+ dataSource ()
+ |> Sql.query "DELETE FROM session WHERE expire_at < @expireAt"
+ |> Sql.parameters [ expireParam now ]
+ |> Sql.executeNonQueryAsync
+ lastPurge <- now
+ }
+
+ /// Remove a cache entry
+ let removeEntry key = backgroundTask {
+ let! _ =
+ dataSource ()
+ |> Sql.query "DELETE FROM session WHERE id = @id"
+ |> Sql.parameters [ "@id", Sql.string key ]
+ |> Sql.executeNonQueryAsync
+ ()
+ }
+
+ /// Save an entry
+ let saveEntry (opts : DistributedCacheEntryOptions) key payload = backgroundTask {
+ let now = getNow ()
+ let expireAt, slideExp, absExp =
+ if opts.SlidingExpiration.HasValue then
+ let slide = Duration.FromTimeSpan opts.SlidingExpiration.Value
+ now.Plus slide, Some slide, None
+ elif opts.AbsoluteExpiration.HasValue then
+ let exp = Instant.FromDateTimeOffset opts.AbsoluteExpiration.Value
+ exp, None, Some exp
+ elif opts.AbsoluteExpirationRelativeToNow.HasValue then
+ let exp = now.Plus (Duration.FromTimeSpan opts.AbsoluteExpirationRelativeToNow.Value)
+ exp, None, Some exp
+ else
+ // Default to 1 hour sliding expiration
+ let slide = Duration.FromHours 1
+ now.Plus slide, Some slide, None
+ let! _ =
+ dataSource ()
+ |> Sql.query
+ "INSERT INTO session (
+ id, payload, expire_at, sliding_expiration, absolute_expiration
+ ) VALUES (
+ @id, @payload, @expireAt, @slideExp, @absExp
+ ) ON CONFLICT (id) DO UPDATE
+ SET payload = EXCLUDED.payload,
+ expire_at = EXCLUDED.expire_at,
+ sliding_expiration = EXCLUDED.sliding_expiration,
+ absolute_expiration = EXCLUDED.absolute_expiration"
+ |> Sql.parameters
+ [ "@id", Sql.string key
+ "@payload", Sql.bytea payload
+ expireParam expireAt
+ optParam "slideExp" slideExp
+ optParam "absExp" absExp ]
+ |> Sql.executeNonQueryAsync
+ ()
+ }
+
+ // ~~~ IMPLEMENTATION FUNCTIONS ~~~
+
+ /// Retrieve the data for a cache entry
+ let get key (_ : CancellationToken) = backgroundTask {
+ match! getEntry key with
+ | Some entry ->
+ do! purge ()
+ return entry.Payload
+ | None -> return null
+ }
+
+ /// Refresh an entry
+ let refresh key (cancelToken : CancellationToken) = backgroundTask {
+ let! _ = get key cancelToken
+ ()
+ }
+
+ /// Remove an entry
+ let remove key (_ : CancellationToken) = backgroundTask {
+ do! removeEntry key
+ do! purge ()
+ }
+
+ /// Set an entry
+ let set key value options (_ : CancellationToken) = backgroundTask {
+ do! saveEntry options key value
+ do! purge ()
+ }
+
+ interface IDistributedCache with
+ member _.Get key = get key CancellationToken.None |> sync
+ member _.GetAsync (key, token) = get key token
+ member _.Refresh key = refresh key CancellationToken.None |> sync
+ member _.RefreshAsync (key, token) = refresh key token
+ member _.Remove key = remove key CancellationToken.None |> sync
+ member _.RemoveAsync (key, token) = remove key token
+ member _.Set (key, value, options) = set key value options CancellationToken.None |> sync
+ member _.SetAsync (key, value, options, token) = set key value options token
diff --git a/src/JobsJobsJobs/Common/Data.fs b/src/JobsJobsJobs/Common/Data.fs
new file mode 100644
index 0000000..aaa2145
--- /dev/null
+++ b/src/JobsJobsJobs/Common/Data.fs
@@ -0,0 +1,200 @@
+module JobsJobsJobs.Common.Data
+
+/// Constants for tables used by Jobs, Jobs, Jobs
+[]
+module Table =
+
+ /// Citizens
+ []
+ let Citizen = "jjj.citizen"
+
+ /// Continents
+ []
+ let Continent = "jjj.continent"
+
+ /// Job Listings
+ []
+ let Listing = "jjj.listing"
+
+ /// Employment Profiles
+ []
+ let Profile = "jjj.profile"
+
+ /// User Security Information
+ []
+ let SecurityInfo = "jjj.security_info"
+
+ /// Success Stories
+ []
+ let Success = "jjj.success"
+
+
+open Npgsql.FSharp
+
+/// Connection management for the document store
+[]
+module DataConnection =
+
+ open Microsoft.Extensions.Configuration
+ open Npgsql
+
+ /// The data source for the document store
+ let mutable private theDataSource : NpgsqlDataSource option = None
+
+ /// Get the data source as the start of a SQL statement
+ let dataSource () =
+ match theDataSource with
+ | Some ds -> Sql.fromDataSource ds
+ | None -> invalidOp "DataConnection.setUp() must be called before accessing the database"
+
+ /// Create tables
+ let private createTables () = backgroundTask {
+ let sql = [
+ "CREATE SCHEMA IF NOT EXISTS jjj"
+ // Tables
+ $"CREATE TABLE IF NOT EXISTS {Table.Citizen} (id TEXT NOT NULL PRIMARY KEY, data JSONB NOT NULL)"
+ $"CREATE TABLE IF NOT EXISTS {Table.Continent} (id TEXT NOT NULL PRIMARY KEY, data JSONB NOT NULL)"
+ $"CREATE TABLE IF NOT EXISTS {Table.Listing} (id TEXT NOT NULL PRIMARY KEY, data JSONB NOT NULL)"
+ $"CREATE TABLE IF NOT EXISTS {Table.Profile} (id TEXT NOT NULL PRIMARY KEY, data JSONB NOT NULL,
+ text_search TSVECTOR NOT NULL,
+ CONSTRAINT fk_profile_citizen FOREIGN KEY (id) REFERENCES {Table.Citizen} (id) ON DELETE CASCADE)"
+ $"CREATE TABLE IF NOT EXISTS {Table.SecurityInfo} (id TEXT NOT NULL PRIMARY KEY, data JSONB NOT NULL,
+ CONSTRAINT fk_security_info_citizen FOREIGN KEY (id) REFERENCES {Table.Citizen} (id) ON DELETE CASCADE)"
+ $"CREATE TABLE IF NOT EXISTS {Table.Success} (id TEXT NOT NULL PRIMARY KEY, data JSONB NOT NULL)"
+ // Key indexes
+ $"CREATE UNIQUE INDEX IF NOT EXISTS uk_citizen_email ON {Table.Citizen} ((data -> 'email'))"
+ $"CREATE INDEX IF NOT EXISTS idx_listing_citizen ON {Table.Listing} ((data -> 'citizenId'))"
+ $"CREATE INDEX IF NOT EXISTS idx_listing_continent ON {Table.Listing} ((data -> 'continentId'))"
+ $"CREATE INDEX IF NOT EXISTS idx_profile_continent ON {Table.Profile} ((data -> 'continentId'))"
+ $"CREATE INDEX IF NOT EXISTS idx_success_citizen ON {Table.Success} ((data -> 'citizenId'))"
+ // Profile text search index
+ $"CREATE INDEX IF NOT EXISTS idx_profile_search ON {Table.Profile} USING GIN(text_search)"
+ ]
+ let! _ =
+ dataSource ()
+ |> Sql.executeTransactionAsync (sql |> List.map (fun sql -> sql, [ [] ]))
+ ()
+ }
+
+ /// Create functions and triggers required to
+ let createTriggers () = backgroundTask {
+ let! functions =
+ dataSource ()
+ |> Sql.query
+ "SELECT p.proname
+ FROM pg_catalog.pg_proc p
+ LEFT JOIN pg_catalog.pg_namespace n ON n.oid = p.pronamespace
+ WHERE n.nspname = 'jjj'"
+ |> Sql.executeAsync (fun row -> row.string "proname")
+ if not (functions |> List.contains "indexable_array_string") then
+ let! _ =
+ dataSource ()
+ |> Sql.query """
+ CREATE FUNCTION jjj.indexable_array_string(target jsonb, path jsonpath) RETURNS text AS $$
+ BEGIN
+ RETURN REPLACE(REPLACE(REPLACE(REPLACE(jsonb_path_query_array(target, path)::text,
+ '["', ''), '", "', ' '), '"]', ''), '[]', '');
+ END;
+ $$ LANGUAGE plpgsql;"""
+ |> Sql.executeNonQueryAsync
+ ()
+ if not (functions |> List.contains "set_text_search") then
+ let! _ =
+ dataSource ()
+ |> Sql.query $"
+ CREATE FUNCTION jjj.set_text_search() RETURNS trigger AS $$
+ BEGIN
+ NEW.text_search := to_tsvector('english',
+ COALESCE(NEW.data ->> 'region', '') || ' '
+ || COALESCE(NEW.data ->> 'biography', '') || ' '
+ || COALESCE(NEW.data ->> 'experience', '') || ' '
+ || jjj.indexable_array_string(NEW.data, '$.skills[*].description') || ' '
+ || jjj.indexable_array_string(NEW.data, '$.history[*].employer') || ' '
+ || jjj.indexable_array_string(NEW.data, '$.history[*].position') || ' '
+ || jjj.indexable_array_string(NEW.data, '$.history[*].description'));
+ RETURN NEW;
+ END;
+ $$ LANGUAGE plpgsql;
+ CREATE TRIGGER set_text_search BEFORE INSERT OR UPDATE ON {Table.Profile}
+ FOR EACH ROW EXECUTE FUNCTION jjj.set_text_search();"
+ |> Sql.executeNonQueryAsync
+ ()
+ }
+
+ /// Set up the data connection from the given configuration
+ let setUp (cfg : IConfiguration) = backgroundTask {
+ let builder = NpgsqlDataSourceBuilder (cfg.GetConnectionString "PostgreSQL")
+ let _ = builder.UseNodaTime ()
+ theDataSource <- Some (builder.Build ())
+ do! createTables ()
+ do! createTriggers ()
+ }
+
+
+open System.Text.Json
+open System.Threading.Tasks
+open JobsJobsJobs
+
+/// Map the data field to the requested document type
+let toDocumentFrom<'T> fieldName (row : RowReader) =
+ JsonSerializer.Deserialize<'T> (row.string fieldName, Json.options)
+
+/// Map the data field to the requested document type
+let toDocument<'T> (row : RowReader) = toDocumentFrom<'T> "data" row
+
+/// Get a document
+let getDocument<'T> table docId sqlProps : Task<'T option> = backgroundTask {
+ let! doc =
+ Sql.query $"SELECT * FROM %s{table} where id = @id" sqlProps
+ |> Sql.parameters [ "@id", Sql.string docId ]
+ |> Sql.executeAsync toDocument
+ return List.tryHead doc
+}
+
+/// Serialize a document to JSON
+let mkDoc<'T> (doc : 'T) =
+ JsonSerializer.Serialize<'T> (doc, Json.options)
+
+/// Save a document
+let saveDocument table docId sqlProps doc = backgroundTask {
+ let! _ =
+ Sql.query
+ $"INSERT INTO %s{table} (id, data) VALUES (@id, @data)
+ ON CONFLICT (id) DO UPDATE SET data = EXCLUDED.data"
+ sqlProps
+ |> Sql.parameters
+ [ "@id", Sql.string docId
+ "@data", Sql.jsonb doc ]
+ |> Sql.executeNonQueryAsync
+ ()
+}
+
+/// Create a match-anywhere clause for a LIKE or ILIKE clause
+let like value =
+ Sql.string $"%%%s{value}%%"
+
+/// The JSON access operator ->> makes values text; this makes a parameter that will compare the properly
+let jsonBool value =
+ Sql.string (if value then "true" else "false")
+
+/// Get the SQL for a search WHERE clause
+let searchSql criteria =
+ let sql = criteria |> List.map fst |> String.concat " AND "
+ if sql = "" then "" else $"AND {sql}"
+
+
+/// Continent data access functions
+[]
+module Continents =
+
+ open JobsJobsJobs.Domain
+
+ /// Retrieve all continents
+ let all () =
+ dataSource ()
+ |> Sql.query $"SELECT * FROM {Table.Continent} ORDER BY data ->> 'name'"
+ |> Sql.executeAsync toDocument
+
+ /// Retrieve a continent by its ID
+ let findById continentId =
+ dataSource () |> getDocument Table.Continent (ContinentId.toString continentId)
diff --git a/src/JobsJobsJobs/Common/Domain.fs b/src/JobsJobsJobs/Common/Domain.fs
new file mode 100644
index 0000000..601019c
--- /dev/null
+++ b/src/JobsJobsJobs/Common/Domain.fs
@@ -0,0 +1,496 @@
+namespace JobsJobsJobs.Domain
+
+open System
+open Giraffe
+open NodaTime
+
+// ~~~ SUPPORT TYPES ~~~ //
+
+/// The ID of a user (a citizen of Gitmo Nation)
+type CitizenId = CitizenId of Guid
+
+/// Support functions for citizen IDs
+module CitizenId =
+
+ /// Create a new citizen ID
+ let create () = (Guid.NewGuid >> CitizenId) ()
+
+ /// A string representation of a citizen ID
+ let toString = function CitizenId it -> ShortGuid.fromGuid it
+
+ /// Parse a string into a citizen ID
+ let ofString = ShortGuid.toGuid >> CitizenId
+
+ /// Get the GUID value of a citizen ID
+ let value = function CitizenId guid -> guid
+
+
+/// Types of contacts supported by Jobs, Jobs, Jobs
+type ContactType =
+ /// E-mail addresses
+ | Email
+ /// Phone numbers (home, work, cell, etc.)
+ | Phone
+ /// Websites (personal, social, etc.)
+ | Website
+
+/// Functions to support contact types
+module ContactType =
+
+ /// Parse a contact type from a string
+ let parse typ =
+ match typ with
+ | "Email" -> Email
+ | "Phone" -> Phone
+ | "Website" -> Website
+ | it -> invalidOp $"{it} is not a valid contact type"
+
+ /// Convert a contact type to its string representation
+ let toString =
+ function
+ | Email -> "Email"
+ | Phone -> "Phone"
+ | Website -> "Website"
+
+
+/// The ID of a continent
+type ContinentId = ContinentId of Guid
+
+/// Support functions for continent IDs
+module ContinentId =
+
+ /// Create a new continent ID
+ let create () = (Guid.NewGuid >> ContinentId) ()
+
+ /// A string representation of a continent ID
+ let toString = function ContinentId it -> ShortGuid.fromGuid it
+
+ /// Parse a string into a continent ID
+ let ofString = ShortGuid.toGuid >> ContinentId
+
+ /// Get the GUID value of a continent ID
+ let value = function ContinentId guid -> guid
+
+
+/// A string of Markdown text
+type MarkdownString = Text of string
+
+/// Support functions for Markdown strings
+module MarkdownString =
+
+ open Markdig
+
+ /// The Markdown conversion pipeline (enables all advanced features)
+ let private pipeline = MarkdownPipelineBuilder().UseAdvancedExtensions().Build ()
+
+ /// Convert this Markdown string to HTML
+ let toHtml = function Text text -> Markdown.ToHtml (text, pipeline)
+
+ /// Convert a Markdown string to its string representation
+ let toString = function Text text -> text
+
+
+/// An employment history entry
+[]
+type EmploymentHistory =
+ { /// The employer for this period of employment
+ Employer : string
+
+ /// The date employment started
+ StartDate : LocalDate
+
+ /// The date employment ended (None implies ongoing employment)
+ EndDate : LocalDate option
+
+ /// The title / position held
+ Position : string option
+
+ /// A description of the duties entailed during this employment
+ Description : MarkdownString option
+ }
+
+/// Support functions for employment history entries
+module EmploymentHistory =
+
+ let empty =
+ { Employer = ""
+ StartDate = LocalDate.FromDateTime DateTime.Today
+ EndDate = None
+ Position = None
+ Description = None
+ }
+
+
+/// The ID of a job listing
+type ListingId = ListingId of Guid
+
+/// Support functions for listing IDs
+module ListingId =
+
+ /// Create a new job listing ID
+ let create () = (Guid.NewGuid >> ListingId) ()
+
+ /// A string representation of a listing ID
+ let toString = function ListingId it -> ShortGuid.fromGuid it
+
+ /// Parse a string into a listing ID
+ let ofString = ShortGuid.toGuid >> ListingId
+
+ /// Get the GUID value of a listing ID
+ let value = function ListingId guid -> guid
+
+
+/// Another way to contact a citizen from this site
+[]
+type OtherContact =
+ { /// The type of contact
+ ContactType : ContactType
+
+ /// The name of the contact (Email, No Agenda Social, LinkedIn, etc.)
+ Name : string option
+
+ /// The value for the contact (e-mail address, user name, URL, etc.)
+ Value : string
+
+ /// Whether this contact is visible in public employment profiles and job listings
+ IsPublic : bool
+ }
+
+
+/// Visibility options for an employment profile
+type ProfileVisibility =
+ /// Profile is only visible to the citizen to whom it belongs
+ | Hidden
+ /// Profile is only visible to authenticated users
+ | Private
+ /// Anonymous information is visible to public users
+ | Anonymous
+ /// The full employment profile is visible to public users
+ | Public
+
+/// Support functions for profile visibility
+module ProfileVisibility =
+
+ /// Parse a string into a profile visibility
+ let parse viz =
+ match viz with
+ | "Hidden" -> Hidden
+ | "Private" -> Private
+ | "Anonymous" -> Anonymous
+ | "Public" -> Public
+ | it -> invalidOp $"{it} is not a valid profile visibility value"
+
+ /// Convert a profile visibility to its string representation
+ let toString =
+ function
+ | Hidden -> "Hidden"
+ | Private -> "Private"
+ | Anonymous -> "Anonymous"
+ | Public -> "Public"
+
+
+/// A skill the job seeker possesses
+[]
+type Skill =
+ { /// A description of the skill
+ Description : string
+
+ /// Notes regarding this skill (level, duration, etc.)
+ Notes : string option
+ }
+
+
+/// The ID of a success report
+type SuccessId = SuccessId of Guid
+
+/// Support functions for success report IDs
+module SuccessId =
+
+ /// Create a new success report ID
+ let create () = (Guid.NewGuid >> SuccessId) ()
+
+ /// A string representation of a success report ID
+ let toString = function SuccessId it -> ShortGuid.fromGuid it
+
+ /// Parse a string into a success report ID
+ let ofString = ShortGuid.toGuid >> SuccessId
+
+ /// Get the GUID value of a success ID
+ let value = function SuccessId guid -> guid
+
+// ~~~ DOCUMENT TYPES ~~~ //
+
+/// A user of Jobs, Jobs, Jobs; a citizen of Gitmo Nation
+[]
+type Citizen =
+ { /// The ID of the user
+ Id : CitizenId
+
+ /// When the user joined Jobs, Jobs, Jobs
+ JoinedOn : Instant
+
+ /// When the user last logged in
+ LastSeenOn : Instant
+
+ /// The user's e-mail address
+ Email : string
+
+ /// The user's first name
+ FirstName : string
+
+ /// The user's last name
+ LastName : string
+
+ /// The hash of the user's password
+ PasswordHash : string
+
+ /// The name displayed for this user throughout the site
+ DisplayName : string option
+
+ /// The other contacts for this user
+ OtherContacts : OtherContact list
+
+ /// Whether this is a legacy citizen
+ IsLegacy : bool
+ }
+
+/// Support functions for citizens
+module Citizen =
+
+ /// An empty citizen
+ let empty = {
+ Id = CitizenId Guid.Empty
+ JoinedOn = Instant.MinValue
+ LastSeenOn = Instant.MinValue
+ Email = ""
+ FirstName = ""
+ LastName = ""
+ PasswordHash = ""
+ DisplayName = None
+ OtherContacts = []
+ IsLegacy = false
+ }
+
+ /// Get the name of the citizen (either their preferred display name or first/last names)
+ let name x =
+ match x.DisplayName with Some it -> it | None -> $"{x.FirstName} {x.LastName}"
+
+
+/// A continent
+[]
+type Continent =
+ { /// The ID of the continent
+ Id : ContinentId
+
+ /// The name of the continent
+ Name : string
+ }
+
+/// Support functions for continents
+module Continent =
+
+ /// An empty continent
+ let empty ={
+ Id = ContinentId Guid.Empty
+ Name = ""
+ }
+
+
+/// A job listing
+[]
+type Listing =
+ { /// The ID of the job listing
+ Id : ListingId
+
+ /// The ID of the citizen who posted the job listing
+ CitizenId : CitizenId
+
+ /// When this job listing was created
+ CreatedOn : Instant
+
+ /// The short title of the job listing
+ Title : string
+
+ /// The ID of the continent on which the job is located
+ ContinentId : ContinentId
+
+ /// The region in which the job is located
+ Region : string
+
+ /// Whether this listing is for remote work
+ IsRemote : bool
+
+ /// Whether this listing has expired
+ IsExpired : bool
+
+ /// When this listing was last updated
+ UpdatedOn : Instant
+
+ /// The details of this job
+ Text : MarkdownString
+
+ /// When this job needs to be filled
+ NeededBy : LocalDate option
+
+ /// Was this job filled as part of its appearance on Jobs, Jobs, Jobs?
+ WasFilledHere : bool option
+
+ /// Whether this is a legacy listing
+ IsLegacy : bool
+ }
+
+/// Support functions for job listings
+module Listing =
+
+ /// An empty job listing
+ let empty = {
+ Id = ListingId Guid.Empty
+ CitizenId = CitizenId Guid.Empty
+ CreatedOn = Instant.MinValue
+ Title = ""
+ ContinentId = ContinentId Guid.Empty
+ Region = ""
+ IsRemote = false
+ IsExpired = false
+ UpdatedOn = Instant.MinValue
+ Text = Text ""
+ NeededBy = None
+ WasFilledHere = None
+ IsLegacy = false
+ }
+
+
+/// Security settings for a user
+[]
+type SecurityInfo =
+ { /// The ID of the citizen to whom these settings apply
+ Id : CitizenId
+
+ /// The number of failed log on attempts (reset to 0 on successful log on)
+ FailedLogOnAttempts : int
+
+ /// Whether the account is locked
+ AccountLocked : bool
+
+ /// The token the user must provide to take their desired action
+ Token : string option
+
+ /// The action to which the token applies
+ TokenUsage : string option
+
+ /// When the token expires
+ TokenExpires : Instant option
+ }
+
+/// Functions to support security info
+module SecurityInfo =
+
+ /// An empty set of security info
+ let empty = {
+ Id = CitizenId Guid.Empty
+ FailedLogOnAttempts = 0
+ AccountLocked = false
+ Token = None
+ TokenUsage = None
+ TokenExpires = None
+ }
+
+
+/// A job seeker profile
+[]
+type Profile =
+ { /// The ID of the citizen to whom this profile belongs
+ Id : CitizenId
+
+ /// The ID of the continent on which the citizen resides
+ ContinentId : ContinentId
+
+ /// The region in which the citizen resides
+ Region : string
+
+ /// Whether this citizen is actively seeking employment
+ IsSeekingEmployment : bool
+
+ /// Whether the citizen is interested in remote work
+ IsRemote : bool
+
+ /// Whether the citizen is interested in full-time work
+ IsFullTime : bool
+
+ /// The citizen's professional biography
+ Biography : MarkdownString
+
+ /// Skills this citizen possesses
+ Skills : Skill list
+
+ /// The citizen's employment history
+ History : EmploymentHistory list
+
+ /// The citizen's experience (topical / chronological)
+ Experience : MarkdownString option
+
+ /// The visibility of this profile
+ Visibility : ProfileVisibility
+
+ /// When the citizen last updated their profile
+ LastUpdatedOn : Instant
+
+ /// Whether this is a legacy profile
+ IsLegacy : bool
+ }
+
+/// Support functions for Profiles
+module Profile =
+
+ // An empty profile
+ let empty = {
+ Id = CitizenId Guid.Empty
+ ContinentId = ContinentId Guid.Empty
+ Region = ""
+ IsSeekingEmployment = false
+ IsRemote = false
+ IsFullTime = false
+ Biography = Text ""
+ Skills = []
+ History = []
+ Experience = None
+ Visibility = Private
+ LastUpdatedOn = Instant.MinValue
+ IsLegacy = false
+ }
+
+
+/// A record of success finding employment
+[]
+type Success =
+ { /// The ID of the success report
+ Id : SuccessId
+
+ /// The ID of the citizen who wrote this success report
+ CitizenId : CitizenId
+
+ /// When this success report was recorded
+ RecordedOn : Instant
+
+ /// Whether the success was due, at least in part, to Jobs, Jobs, Jobs
+ IsFromHere : bool
+
+ /// The source of this success (listing or profile)
+ Source : string
+
+ /// The success story
+ Story : MarkdownString option
+ }
+
+/// Support functions for success stories
+module Success =
+
+ /// An empty success story
+ let empty = {
+ Id = SuccessId Guid.Empty
+ CitizenId = CitizenId Guid.Empty
+ RecordedOn = Instant.MinValue
+ IsFromHere = false
+ Source = ""
+ Story = None
+ }
diff --git a/src/JobsJobsJobs/Common/Email.fs b/src/JobsJobsJobs/Common/Email.fs
new file mode 100644
index 0000000..b8df062
--- /dev/null
+++ b/src/JobsJobsJobs/Common/Email.fs
@@ -0,0 +1,94 @@
+module JobsJobsJobs.Email
+
+open System.Net
+open JobsJobsJobs.Domain
+open MailKit.Net.Smtp
+open MailKit.Security
+open MimeKit
+
+/// Private functions for sending e-mail
+[]
+module private Helpers =
+
+ /// Create an SMTP client
+ let smtpClient () = backgroundTask {
+ let client = new SmtpClient ()
+ do! client.ConnectAsync ("localhost", 25, SecureSocketOptions.None)
+ return client
+ }
+
+ /// Create a message with to, from, and subject completed
+ let createMessage citizen subject =
+ let msg = new MimeMessage ()
+ msg.From.Add (MailboxAddress ("Jobs, Jobs, Jobs", "daniel@bitbadger.solutions"))
+ msg.To.Add (MailboxAddress (Citizen.name citizen, citizen.Email))
+ msg.Subject <- subject
+ msg
+
+
+/// Send an account confirmation e-mail
+let sendAccountConfirmation citizen security = backgroundTask {
+ let token = WebUtility.UrlEncode security.Token.Value
+ use! client = smtpClient ()
+ use msg = createMessage citizen "Account Confirmation Request"
+
+ let text =
+ [ $"ITM, {Citizen.name citizen}!"
+ ""
+ "This e-mail address was recently used to establish an account on"
+ "Jobs, Jobs, Jobs (noagendacareers.com). Before this account can be"
+ "used, it needs to be verified. Please click the link below to do so;"
+ "it will work for the next 72 hours (3 days)."
+ ""
+ $"https://noagendacareers.com/citizen/confirm/{token}"
+ ""
+ "If you did not take this action, you can do nothing, and the account"
+ "will be deleted at the end of that time. If you wish to delete it"
+ "immediately, use the link below (also valid for 72 hours)."
+ ""
+ $"https://noagendacareers.com/citizen/deny/{token}"
+ ""
+ "TYFYC!"
+ ""
+ "--"
+ "Jobs, Jobs, Jobs"
+ "https://noagendacareers.com"
+ ] |> String.concat "\n"
+ use msgText = new TextPart (Text = text)
+ msg.Body <- msgText
+
+ return! client.SendAsync msg
+}
+
+/// Send a password reset link
+let sendPasswordReset citizen security = backgroundTask {
+ let token = WebUtility.UrlEncode security.Token.Value
+ use! client = smtpClient ()
+ use msg = createMessage citizen "Reset Password for Jobs, Jobs, Jobs"
+
+ let text =
+ [ $"ITM, {Citizen.name citizen}!"
+ ""
+ "We recently receive a request to reset the password for your account"
+ "on Jobs, Jobs, Jobs (noagendacareers.com). Use the link below to"
+ "do so; it will work for the next 72 hours (3 days)."
+ ""
+ $"https://noagendacareers.com/citizen/reset-password/{token}"
+ ""
+ "If you did not take this action, you can do nothing, and the link"
+ "will expire normally. If you wish to expire the token immediately,"
+ "use the link below (also valid for 72 hours)."
+ ""
+ $"https://noagendacareers.com/citizen/cancel-reset/{token}"
+ ""
+ "TYFYC!"
+ ""
+ "--"
+ "Jobs, Jobs, Jobs"
+ "https://noagendacareers.com"
+ ] |> String.concat "\n"
+ use msgText = new TextPart (Text = text)
+ msg.Body <- msgText
+
+ return! client.SendAsync msg
+}
diff --git a/src/JobsJobsJobs/Common/Handlers.fs b/src/JobsJobsJobs/Common/Handlers.fs
new file mode 100644
index 0000000..9e5e3dc
--- /dev/null
+++ b/src/JobsJobsJobs/Common/Handlers.fs
@@ -0,0 +1,206 @@
+/// Common helper functions for views
+module JobsJobsJobs.Common.Handlers
+
+open Giraffe
+open Giraffe.Htmx
+open Microsoft.AspNetCore.Http
+open Microsoft.Extensions.Logging
+
+[]
+module HtmxHelpers =
+
+ /// Is the request from htmx?
+ let isHtmx (ctx : HttpContext) =
+ ctx.Request.IsHtmx && not ctx.Request.IsHtmxRefresh
+
+
+/// Handlers for error conditions
+module Error =
+
+ open System.Net
+
+ /// Handler that will return a status code 404 and the text "Not Found"
+ let notFound : HttpHandler = fun _ ctx ->
+ let fac = ctx.GetService ()
+ let log = fac.CreateLogger "Handler"
+ let path = string ctx.Request.Path
+ log.LogInformation "Returning 404"
+ RequestErrors.NOT_FOUND $"The URL {path} was not recognized as a valid URL" earlyReturn ctx
+
+
+ /// Handle unauthorized actions, redirecting to log on for GETs, otherwise returning a 401 Not Authorized response
+ let notAuthorized : HttpHandler = fun next ctx ->
+ if ctx.Request.Method = "GET" then
+ let redirectUrl = $"/citizen/log-on?returnUrl={WebUtility.UrlEncode ctx.Request.Path}"
+ if isHtmx ctx then (withHxRedirect redirectUrl >=> redirectTo false redirectUrl) next ctx
+ else redirectTo false redirectUrl next ctx
+ else
+ if isHtmx ctx then
+ (setHttpHeader "X-Toast" $"error|||You are not authorized to access the URL {ctx.Request.Path.Value}"
+ >=> setStatusCode 401) earlyReturn ctx
+ else setStatusCode 401 earlyReturn ctx
+
+ /// Handler to log 500s and return a message we can display in the application
+ let unexpectedError (ex: exn) (log : ILogger) =
+ log.LogError(ex, "An unexpected error occurred")
+ clearResponse >=> ServerErrors.INTERNAL_ERROR ex.Message
+
+
+open System
+open System.Security.Claims
+open System.Text.Json
+open System.Text.RegularExpressions
+open JobsJobsJobs.Domain
+open Microsoft.AspNetCore.Antiforgery
+open Microsoft.Extensions.Configuration
+open Microsoft.Extensions.DependencyInjection
+open NodaTime
+
+/// Get the NodaTime clock from the request context
+let now (ctx : HttpContext) = ctx.GetService().GetCurrentInstant ()
+
+/// Get the application configuration from the request context
+let config (ctx : HttpContext) = ctx.GetService ()
+
+/// Get the logger factory from the request context
+let logger (ctx : HttpContext) = ctx.GetService ()
+
+/// `None` if a `string option` is `None`, whitespace, or empty
+let noneIfBlank (s : string option) =
+ s |> Option.map (fun x -> match x.Trim () with "" -> None | _ -> Some x) |> Option.flatten
+
+/// `None` if a `string` is null, empty, or whitespace; otherwise, `Some` and the trimmed string
+let noneIfEmpty = Option.ofObj >> noneIfBlank
+
+/// Try to get the current user
+let tryUser (ctx : HttpContext) =
+ ctx.User.FindFirst ClaimTypes.NameIdentifier
+ |> Option.ofObj
+ |> Option.map (fun x -> x.Value)
+
+/// Get the ID of the currently logged in citizen
+// NOTE: if no one is logged in, this will raise an exception
+let currentCitizenId ctx = (tryUser >> Option.get >> CitizenId.ofString) ctx
+
+let antiForgerySvc (ctx : HttpContext) =
+ ctx.RequestServices.GetRequiredService ()
+
+/// Obtain an anti-forgery token set
+let csrf ctx =
+ (antiForgerySvc ctx).GetAndStoreTokens ctx
+
+/// Get the time zone from the citizen's browser
+let timeZone (ctx : HttpContext) =
+ let tz = string ctx.Request.Headers["X-Time-Zone"]
+ defaultArg (noneIfEmpty tz) "Etc/UTC"
+
+/// The key to use to indicate if we have loaded the session
+let private sessionLoadedKey = "session-loaded"
+
+/// Load the session if we have not yet
+let private loadSession (ctx : HttpContext) = task {
+ if not (ctx.Items.ContainsKey sessionLoadedKey) then
+ do! ctx.Session.LoadAsync ()
+ ctx.Items.Add (sessionLoadedKey, "yes")
+}
+
+/// Save the session if we have loaded it
+let private saveSession (ctx : HttpContext) = task {
+ if ctx.Items.ContainsKey sessionLoadedKey then do! ctx.Session.CommitAsync ()
+}
+
+/// Get the messages from the session (destructively)
+let popMessages ctx = task {
+ do! loadSession ctx
+ let msgs =
+ match ctx.Session.GetString "messages" with
+ | null -> []
+ | m -> JsonSerializer.Deserialize m
+ if not (List.isEmpty msgs) then ctx.Session.Remove "messages"
+ return List.rev msgs
+}
+
+/// Add a message to the response
+let addMessage (level : string) (msg : string) ctx = task {
+ do! loadSession ctx
+ let! msgs = popMessages ctx
+ ctx.Session.SetString ("messages", JsonSerializer.Serialize ($"{level}|||{msg}" :: msgs))
+}
+
+/// Add a success message to the response
+let addSuccess msg ctx = task {
+ do! addMessage "success" msg ctx
+}
+
+/// Add an error message to the response
+let addError msg ctx = task {
+ do! addMessage "error" msg ctx
+}
+
+/// Add a list of errors to the response
+let addErrors (errors : string list) ctx = task {
+ let errMsg = String.Join ("", errors)
+ do! addError $"Please correct the following errors:" ctx
+}
+
+open JobsJobsJobs.Common.Views
+
+/// Create the render context for an HTML response
+let private createContext (ctx : HttpContext) pageTitle content messages : Layout.PageRenderContext =
+ { IsLoggedOn = Option.isSome (tryUser ctx)
+ CurrentUrl = ctx.Request.Path.Value
+ PageTitle = pageTitle
+ Content = content
+ Messages = messages
+ }
+
+/// Render a page-level view
+let render pageTitle (_ : HttpFunc) (ctx : HttpContext) content = task {
+ let! messages = popMessages ctx
+ let renderCtx = createContext ctx pageTitle content messages
+ let renderFunc = if isHtmx ctx then Layout.partial else Layout.full
+ return! ctx.WriteHtmlViewAsync (renderFunc renderCtx)
+}
+
+/// Render a printable view (content with styles, but no layout)
+let renderPrint pageTitle (_ : HttpFunc) (ctx : HttpContext) content =
+ createContext ctx pageTitle content []
+ |> Layout.print
+ |> ctx.WriteHtmlViewAsync
+
+/// Render a bare (component) view
+let renderBare (_ : HttpFunc) (ctx : HttpContext) content =
+ createContext ctx "" content []
+ |> Layout.bare
+ |> ctx.WriteHtmlViewAsync
+
+/// Render as a composable HttpHandler
+let renderHandler pageTitle content : HttpHandler = fun next ctx ->
+ render pageTitle next ctx content
+
+/// Validate the anti cross-site request forgery token in the current request
+let validateCsrf : HttpHandler = fun next ctx -> task {
+ match! (antiForgerySvc ctx).IsRequestValidAsync ctx with
+ | true -> return! next ctx
+ | false -> return! RequestErrors.BAD_REQUEST "CSRF token invalid" earlyReturn ctx
+}
+
+/// Require a user to be logged on for a route
+let requireUser : HttpHandler = requiresAuthentication Error.notAuthorized
+
+/// Regular expression to validate that a URL is a local URL
+let isLocal = Regex """^/[^\/\\].*"""
+
+/// Redirect to another page, saving the session before redirecting
+let redirectToGet (url : string) next ctx = task {
+ do! saveSession ctx
+ let action =
+ if Option.isSome (noneIfEmpty url) && (url = "/" || isLocal.IsMatch url) then
+ if isHtmx ctx then withHxRedirect url else redirectTo false url
+ else RequestErrors.BAD_REQUEST "Invalid redirect URL"
+ return! action next ctx
+}
+
+/// Shorthand for Error.notFound for use in handler functions
+let notFound ctx =
+ Error.notFound earlyReturn ctx
diff --git a/src/JobsJobsJobs/Common/JobsJobsJobs.Common.fsproj b/src/JobsJobsJobs/Common/JobsJobsJobs.Common.fsproj
new file mode 100644
index 0000000..777bb87
--- /dev/null
+++ b/src/JobsJobsJobs/Common/JobsJobsJobs.Common.fsproj
@@ -0,0 +1,31 @@
+
+
+
+ net7.0
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/src/JobsJobsJobs/Common/Json.fs b/src/JobsJobsJobs/Common/Json.fs
new file mode 100644
index 0000000..4593880
--- /dev/null
+++ b/src/JobsJobsJobs/Common/Json.fs
@@ -0,0 +1,34 @@
+/// JSON serializer options
+module JobsJobsJobs.Json
+
+open System.Text.Json
+open System.Text.Json.Serialization
+open JobsJobsJobs.Domain
+
+/// Convert a wrapped DU to/from its string representation
+type WrappedJsonConverter<'T> (wrap : string -> 'T, unwrap : 'T -> string) =
+ inherit JsonConverter<'T> ()
+ override _.Read(reader, _, _) =
+ wrap (reader.GetString ())
+ override _.Write(writer, value, _) =
+ writer.WriteStringValue (unwrap value)
+
+open NodaTime
+open NodaTime.Serialization.SystemTextJson
+
+/// JsonSerializer options that use the custom converters
+let options =
+ let opts = JsonSerializerOptions ()
+ [ WrappedJsonConverter (CitizenId.ofString, CitizenId.toString) :> JsonConverter
+ WrappedJsonConverter (ContactType.parse, ContactType.toString)
+ WrappedJsonConverter (ContinentId.ofString, ContinentId.toString)
+ WrappedJsonConverter (ListingId.ofString, ListingId.toString)
+ WrappedJsonConverter (Text, MarkdownString.toString)
+ WrappedJsonConverter (ProfileVisibility.parse, ProfileVisibility.toString)
+ WrappedJsonConverter (SuccessId.ofString, SuccessId.toString)
+ JsonFSharpConverter ()
+ ]
+ |> List.iter opts.Converters.Add
+ let _ = opts.ConfigureForNodaTime DateTimeZoneProviders.Tzdb
+ opts.PropertyNamingPolicy <- JsonNamingPolicy.CamelCase
+ opts
diff --git a/src/JobsJobsJobs/Common/Views.fs b/src/JobsJobsJobs/Common/Views.fs
new file mode 100644
index 0000000..29afec3
--- /dev/null
+++ b/src/JobsJobsJobs/Common/Views.fs
@@ -0,0 +1,393 @@
+/// Common functions for views
+module JobsJobsJobs.Common.Views
+
+open Giraffe.ViewEngine
+open Giraffe.ViewEngine.Accessibility
+open Microsoft.AspNetCore.Antiforgery
+open JobsJobsJobs.Domain
+
+/// Create an audio clip with the specified text node
+let audioClip clip text =
+ span [ _class "jjj-audio-clip"; _onclick "jjj.playFile(this)" ] [
+ text; audio [ _id clip ] [ source [ _src $"/audio/{clip}.mp3" ] ]
+ ]
+
+/// Create an anti-forgery hidden input
+let antiForgery (csrf : AntiforgeryTokenSet) =
+ input [ _type "hidden"; _name csrf.FormFieldName; _value csrf.RequestToken ]
+
+/// Alias for rawText
+let txt = rawText
+
+/// Create a page with a title displayed on the page
+let pageWithTitle title content =
+ article [] [
+ h3 [ _class "pb-3" ] [ txt title ]
+ yield! content
+ ]
+
+/// Create a floating-label text input box
+let textBox attrs name value fieldLabel isRequired =
+ div [ _class "form-floating" ] [
+ List.append attrs [
+ _id name; _name name; _class "form-control"; _placeholder fieldLabel; _value value
+ if isRequired then _required
+ ] |> input
+ label [ _class (if isRequired then "jjj-required" else "jjj-label"); _for name ] [ txt fieldLabel ]
+ ]
+
+/// Create a checkbox that will post "true" if checked
+let checkBox attrs name isChecked checkLabel =
+ div [ _class "form-check" ] [
+ List.append attrs
+ [ _type "checkbox"; _id name; _name name; _class "form-check-input"; _value "true"
+ if isChecked then _checked ]
+ |> input
+ label [ _class "form-check-label"; _for name ] [ txt checkLabel ]
+ ]
+
+/// Create a select list of continents
+let continentList attrs name (continents : Continent list) emptyLabel selectedValue isRequired =
+ div [ _class "form-floating" ] [
+ select (List.append attrs [ _id name; _name name; _class "form-select"; if isRequired then _required ]) (
+ option [ _value ""; if selectedValue = "" then _selected ] [
+ rawText $"""– {defaultArg emptyLabel "Select"} –""" ]
+ :: (continents
+ |> List.map (fun c ->
+ let theId = ContinentId.toString c.Id
+ option [ _value theId; if theId = selectedValue then _selected ] [ str c.Name ])))
+ label [ _class (if isRequired then "jjj-required" else "jjj-label"); _for name ] [ txt "Continent" ]
+ ]
+
+/// Create a submit button with the given icon and text
+let submitButton icon text =
+ button [ _type "submit"; _class "btn btn-primary" ] [ i [ _class $"mdi mdi-%s{icon}" ] []; txt $" %s{text}" ]
+
+/// An empty paragraph
+let emptyP =
+ p [] [ txt " " ]
+
+/// Register JavaScript code to run in the DOMContentLoaded event on the page
+let jsOnLoad js isHtmx =
+ script [] [
+ let (target, event) = if isHtmx then "document.body", "htmx:afterSettle" else "document", "DOMContentLoaded"
+ txt (sprintf """%s.addEventListener("%s", () => { %s }, { once: true })""" target event js)
+ ]
+
+/// Create a Markdown editor
+let markdownEditor attrs name value editorLabel isHtmx =
+ div [ _class "col-12"; _id $"{name}EditRow" ] [
+ nav [ _class "nav nav-pills pb-1" ] [
+ button [ _type "button"; _id $"{name}EditButton"; _class "btn btn-primary btn-sm rounded-pill" ] [
+ txt "Markdown"
+ ]
+ rawText " "
+ button [ _type "button"; _id $"{name}PreviewButton"
+ _class "btn btn-outline-secondary btn-sm rounded-pill" ] [
+ txt "Preview"
+ ]
+ ]
+ section [ _id $"{name}Preview"; _class "jjj-not-shown jjj-markdown-preview px-2 pt-2"
+ _ariaLabel "Rendered Markdown preview" ] []
+ div [ _id $"{name}Edit"; _class "form-floating jjj-shown" ] [
+ textarea (List.append attrs
+ [ _id name; _name name; _class "form-control jjj-markdown-editor"; _rows "10" ]) [
+ txt value
+ ]
+ label [ _for name ] [ txt editorLabel ]
+ ]
+ jsOnLoad $"jjj.markdownOnLoad('{name}')" isHtmx
+ ]
+
+/// Wrap content in a collapsing panel
+let collapsePanel header isShown content =
+ let showClass = if isShown then " show" else ""
+ div [ _class "card" ] [
+ div [ _class "card-header" ] [
+ h6 [ _class "mb-0 card-title" ] [
+ a [ _href "#jjjCollapse"; _data "bs-toggle" "collapse"; _roleButton; _ariaControls "#jjjCollapse"
+ _ariaExpanded (isShown.ToString().ToLowerInvariant ()) ] [ txt header ]
+ ]
+ ]
+ div [ _id "jjjCollapse"; _class $"card-body collapse{showClass}" ] content
+ ]
+
+/// "Yes" or "No" based on a boolean value
+let yesOrNo value =
+ if value then "Yes" else "No"
+
+/// Markdown as a raw HTML text node
+let md2html value =
+ (MarkdownString.toHtml >> txt) value
+
+/// Display a citizen's contact information
+let contactInfo citizen isPublic =
+ citizen.OtherContacts
+ |> List.filter (fun it -> (isPublic && it.IsPublic) || not isPublic)
+ |> List.collect (fun contact ->
+ match contact.ContactType with
+ | Website ->
+ [ i [ _class "mdi mdi-sm mdi-web" ] []; txt " "
+ a [ _href contact.Value; _target "_blank"; _rel "noopener"; _class "me-4" ] [
+ str (defaultArg contact.Name "Website")
+ ]
+ ]
+ | Email ->
+ [ i [ _class "mdi mdi-sm mdi-email-outline" ] []; txt " "
+ a [ _href $"mailto:{contact.Value}"; _class "me-4" ] [ str (defaultArg contact.Name "E-mail") ]
+ ]
+ | Phone ->
+ [ span [ _class "me-4" ] [
+ i [ _class "mdi mdi-sm mdi-phone" ] []; txt " "; str contact.Value
+ match contact.Name with Some name -> str $" ({name})" | None -> ()
+ ]
+ ])
+
+/// Display a citizen's contact information
+let contactInfoPrint citizen isPublic =
+ citizen.OtherContacts
+ |> List.filter (fun it -> (isPublic && it.IsPublic) || not isPublic)
+ |> List.collect (fun contact ->
+ match contact.ContactType with
+ | Website ->
+ [ i [ _class "mdi mdi-sm mdi-web" ] []; txt " "; str (defaultArg contact.Name "Website"); txt " – "
+ str contact.Value; br []
+ ]
+ | Email ->
+ [ i [ _class "mdi mdi-sm mdi-email-outline" ] []; txt " "; str (defaultArg contact.Name "E-mail")
+ txt " – "; str contact.Value; br []
+ ]
+ | Phone ->
+ [ span [ _class "me-4" ] [
+ i [ _class "mdi mdi-sm mdi-phone" ] []; rawText " "
+ match contact.Name with Some name -> str name; txt " – " | None -> ()
+ str contact.Value; br []
+ ]
+ ])
+
+open NodaTime
+open NodaTime.Text
+
+/// Generate a full date in the citizen's local time zone
+let fullDate (value : Instant) tz =
+ (ZonedDateTimePattern.CreateWithCurrentCulture ("MMMM d, yyyy", DateTimeZoneProviders.Tzdb))
+ .Format(value.InZone DateTimeZoneProviders.Tzdb[tz])
+
+/// Generate a full date/time in the citizen's local time
+let fullDateTime (value : Instant) tz =
+ let dtPattern = ZonedDateTimePattern.CreateWithCurrentCulture ("MMMM d, yyyy h:mm", DateTimeZoneProviders.Tzdb)
+ let amPmPattern = ZonedDateTimePattern.CreateWithCurrentCulture ("tt", DateTimeZoneProviders.Tzdb)
+ let tzValue = value.InZone DateTimeZoneProviders.Tzdb[tz]
+ $"{dtPattern.Format(tzValue)}{amPmPattern.Format(tzValue).ToLowerInvariant()}"
+
+
+/// Layout generation functions
+[]
+module Layout =
+
+ open Giraffe.ViewEngine.Htmx
+
+ /// Data items needed to render a view
+ type PageRenderContext =
+ { /// Whether a user is logged on
+ IsLoggedOn : bool
+
+ /// The current URL
+ CurrentUrl : string
+
+ /// The title of this page
+ PageTitle : string
+
+ /// The page content
+ Content : XmlNode
+
+ /// User messages to be displayed
+ Messages : string list
+ }
+
+ /// Append the application name to the page title
+ let private constructTitle ctx =
+ seq {
+ if ctx.PageTitle <> "" then
+ ctx.PageTitle; " | "
+ "Jobs, Jobs, Jobs"
+ }
+ |> Seq.reduce (+)
+ |> str
+ |> List.singleton
+ |> title []
+
+ /// Generate the HTML head tag
+ let private htmlHead ctx =
+ head [] [
+ meta [ _name "viewport"; _content "width=device-width, initial-scale=1" ]
+ constructTitle ctx
+ link [ _href "https://cdn.jsdelivr.net/npm/bootstrap@5.2.0/dist/css/bootstrap.min.css"
+ _rel "stylesheet"
+ _integrity "sha384-gH2yIJqKdNHPEq0n4Mqa/HGKIhSkIHeL5AyhkYV8i59U5AR6csBvApHHNl/vI1Bx"
+ _crossorigin "anonymous" ]
+ link [ _href "https://cdn.jsdelivr.net/npm/@mdi/font@6.9.96/css/materialdesignicons.min.css"
+ _rel "stylesheet" ]
+ link [ _href "/style.css"; _rel "stylesheet" ]
+ ]
+
+ /// Display the links available to the current user
+ let private links ctx =
+ let navLink url icon text =
+ a [ _href url
+ _onclick "jjj.hideMenu()"
+ if url = ctx.CurrentUrl then _class "jjj-current-page"
+ ] [ i [ _class $"mdi mdi-{icon}"; _ariaHidden "true" ] []; txt text ]
+ nav [ _class "jjj-nav" ] [
+ if ctx.IsLoggedOn then
+ navLink "/citizen/dashboard" "view-dashboard-variant" "Dashboard"
+ navLink "/help-wanted" "newspaper-variant-multiple-outline" "Help Wanted!"
+ navLink "/profile/search" "view-list-outline" "Job Seekers"
+ navLink "/success-stories" "thumb-up" "Success Stories"
+ div [ _class "separator" ] []
+ navLink "/citizen/account" "account-edit" "My Account"
+ navLink "/listings/mine" "sign-text" "My Job Listings"
+ navLink "/profile/edit" "pencil" "My Employment Profile"
+ div [ _class "separator" ] []
+ navLink "/citizen/log-off" "logout-variant" "Log Off"
+ else
+ navLink "/" "home" "Home"
+ navLink "/profile/search" "view-list-outline" "Job Seekers"
+ navLink "/citizen/log-on" "login-variant" "Log On"
+ navLink "/how-it-works" "help-circle-outline" "How It Works"
+ ]
+
+ /// Generate mobile and desktop side navigation areas
+ let private sideNavs ctx = [
+ div [ _id "mobileMenu"; _class "jjj-mobile-menu offcanvas offcanvas-end"; _tabindex "-1"
+ _ariaLabelledBy "mobileMenuLabel" ] [
+ div [ _class "offcanvas-header" ] [
+ h5 [ _id "mobileMenuLabel" ] [ txt "Menu" ]
+ button [
+ _class "btn-close text-reset"; _type "button"; _data "bs-dismiss" "offcanvas"; _ariaLabel "Close"
+ ] []
+ ]
+ div [ _class "offcanvas-body" ] [ links ctx ]
+ ]
+ aside [ _class "jjj-full-menu d-none d-md-block p-3" ] [
+ p [ _class "home-link pb-3" ] [ a [ _href "/" ] [ txt "Jobs, Jobs, Jobs" ] ]
+ emptyP
+ links ctx
+ ]
+ ]
+
+ /// Title bars for mobile and desktop
+ let private titleBars = [
+ nav [ _class "d-flex d-md-none navbar navbar-dark" ] [
+ span [ _class "navbar-text" ] [ a [ _href "/" ] [ txt "Jobs, Jobs, Jobs" ] ]
+ button [ _class "btn"; _data "bs-toggle" "offcanvas"; _data "bs-target" "#mobileMenu"
+ _ariaControls "mobileMenu" ] [ i [ _class "mdi mdi-menu" ] [] ]
+ ]
+ nav [ _class "d-none d-md-flex navbar navbar-light bg-light"] [
+ span [] [ txt " " ]
+ span [ _class "navbar-text" ] [
+ txt "(…and Jobs – "; audioClip "pelosi-jobs" (txt "Let’s Vote for Jobs!"); txt ")"
+ ]
+ ]
+ ]
+
+ /// The HTML footer for the page
+ let private htmlFoot =
+ let v = System.Reflection.Assembly.GetExecutingAssembly().GetName().Version
+ let version =
+ seq {
+ string v.Major
+ if v.Minor > 0 then
+ "."; string v.Minor
+ if v.Build > 0 then
+ "."; string v.Build
+ } |> Seq.reduce (+)
+ footer [] [
+ p [ _class "text-muted" ] [
+ txt $"Jobs, Jobs, Jobs v{version} • "
+ a [ _href "/privacy-policy" ] [ txt "Privacy Policy" ]; txt " • "
+ a [ _href "/terms-of-service" ] [ txt "Terms of Service" ]
+ ]
+ ]
+
+ /// Render any messages
+ let private messages ctx =
+ ctx.Messages
+ |> List.map (fun msg ->
+ let parts = msg.Split "|||"
+ let level = if parts[0] = "error" then "danger" else parts[0]
+ let message = parts[1]
+ div [ _class $"alert alert-{level} alert-dismissable fade show d-flex justify-content-between p-2 mb-1 mt-1"
+ _roleAlert ] [
+ p [ _class "mb-0" ] [
+ if level <> "success" then strong [] [ txt $"{parts[0].ToUpperInvariant ()}: " ]
+ txt message
+ ]
+ button [ _type "button"; _class "btn-close"; _data "bs-dismiss" "alert"; _ariaLabel "Close" ] []
+ ])
+ |> div [ _id "alerts" ]
+
+ /// Create a full view
+ let full ctx =
+ html [ _lang "en" ] [
+ htmlHead ctx
+ body [] [
+ div [ _class "jjj-app"; _hxBoost; _hxTarget "this" ] [
+ yield! sideNavs ctx
+ div [ _class "jjj-main" ] [
+ yield! titleBars
+ main [ _class "jjj-content container-fluid" ] [
+ messages ctx
+ ctx.Content
+ ]
+ htmlFoot
+ ]
+ ]
+ Script.minified
+ script [ _async
+ _src "https://cdn.jsdelivr.net/npm/bootstrap@5.2.0/dist/js/bootstrap.bundle.min.js"
+ _integrity "sha384-A3rJD856KowSb7dwlZdYEkO39Gagi7vIsF0jrRAoQmDKKtQBHUuLZ9AsSv4jD4Xa"
+ _crossorigin "anonymous" ] []
+ script [ _src "/script.js" ] []
+ template [ _id "alertTemplate" ] [
+ div [ _class $"alert alert-dismissable fade show d-flex justify-content-between p-2 mb-1 mt-1"
+ _roleAlert ] [
+ p [ _class "mb-0" ] []
+ button [ _type "button"; _class "btn-close"; _data "bs-dismiss" "alert"; _ariaLabel "Close" ] []
+ ]
+ ]
+ ]
+ ]
+
+ /// Create a partial (boosted response) view
+ let partial ctx =
+ html [ _lang "en" ] [
+ head [] [
+ constructTitle ctx
+ ]
+ body [] [
+ yield! sideNavs ctx
+ div [ _class "jjj-main" ] [
+ yield! titleBars
+ main [ _class "jjj-content container-fluid" ] [
+ messages ctx
+ ctx.Content
+ ]
+ htmlFoot
+ ]
+ ]
+ ]
+
+ /// Render a print view (styles, but no other layout)
+ let print ctx =
+ html [ _lang "en" ] [
+ htmlHead ctx
+ body [ _class "m-1" ] [ ctx.Content ]
+ ]
+
+ /// Render a bare view (used for components)
+ let bare ctx =
+ html [ _lang "en" ] [
+ head [] [ title [] [] ]
+ body [] [ ctx.Content ]
+ ]
diff --git a/src/JobsJobsJobs/Directory.Build.props b/src/JobsJobsJobs/Directory.Build.props
index 2629784..7fd3942 100644
--- a/src/JobsJobsJobs/Directory.Build.props
+++ b/src/JobsJobsJobs/Directory.Build.props
@@ -1,9 +1,10 @@
- net6.0
+ net7.0
enable
embedded
- 2.2.2.0
- 2.2.2.0
+ false
+ 3.0.0.0
+ 3.0.0.0
diff --git a/src/JobsJobsJobs/Domain/.gitignore b/src/JobsJobsJobs/Domain/.gitignore
deleted file mode 100644
index 4c43fe6..0000000
--- a/src/JobsJobsJobs/Domain/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-*.js
\ No newline at end of file
diff --git a/src/JobsJobsJobs/Domain/JobsJobsJobs.Domain.fsproj b/src/JobsJobsJobs/Domain/JobsJobsJobs.Domain.fsproj
deleted file mode 100644
index a005d97..0000000
--- a/src/JobsJobsJobs/Domain/JobsJobsJobs.Domain.fsproj
+++ /dev/null
@@ -1,21 +0,0 @@
-
-
-
- true
- 3390;$(WarnOn)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/src/JobsJobsJobs/Domain/Modules.fs b/src/JobsJobsJobs/Domain/Modules.fs
deleted file mode 100644
index 5d062cf..0000000
--- a/src/JobsJobsJobs/Domain/Modules.fs
+++ /dev/null
@@ -1,99 +0,0 @@
-/// Modules to provide support functions for types
-[]
-module JobsJobsJobs.Domain.Modules
-
-open Markdig
-open System
-open Types
-
-/// Format a GUID as a Short GUID
-let private toShortGuid (guid : Guid) =
- Convert.ToBase64String(guid.ToByteArray ()).Replace('/', '_').Replace('+', '-')[0..21]
-
-/// Turn a Short GUID back into a GUID
-let private fromShortGuid (it : string) =
- (Convert.FromBase64String >> Guid) $"{it.Replace('_', '/').Replace('-', '+')}=="
-
-
-/// Support functions for citizen IDs
-module CitizenId =
- /// Create a new citizen ID
- let create () = (Guid.NewGuid >> CitizenId) ()
- /// A string representation of a citizen ID
- let toString = function CitizenId it -> toShortGuid it
- /// Parse a string into a citizen ID
- let ofString = fromShortGuid >> CitizenId
-
-
-/// Support functions for citizens
-module Citizen =
- /// Get the name of the citizen (the first of real name, display name, or handle that is filled in)
- let name x =
- [ x.realName; x.displayName; Some x.mastodonUser ]
- |> List.find Option.isSome
- |> Option.get
-
-
-/// Support functions for continent IDs
-module ContinentId =
- /// Create a new continent ID
- let create () = (Guid.NewGuid >> ContinentId) ()
- /// A string representation of a continent ID
- let toString = function ContinentId it -> toShortGuid it
- /// Parse a string into a continent ID
- let ofString = fromShortGuid >> ContinentId
-
-
-/// Support functions for listing IDs
-module ListingId =
- /// Create a new job listing ID
- let create () = (Guid.NewGuid >> ListingId) ()
- /// A string representation of a listing ID
- let toString = function ListingId it -> toShortGuid it
- /// Parse a string into a listing ID
- let ofString = fromShortGuid >> ListingId
-
-
-/// Support functions for Markdown strings
-module MarkdownString =
- /// The Markdown conversion pipeline (enables all advanced features)
- let private pipeline = MarkdownPipelineBuilder().UseAdvancedExtensions().Build ()
- /// Convert this Markdown string to HTML
- let toHtml = function Text text -> Markdown.ToHtml (text, pipeline)
-
-
-/// Support functions for Profiles
-module Profile =
- // An empty profile
- let empty =
- { id = CitizenId Guid.Empty
- seekingEmployment = false
- isPublic = false
- continentId = ContinentId Guid.Empty
- region = ""
- remoteWork = false
- fullTime = false
- biography = Text ""
- lastUpdatedOn = NodaTime.Instant.MinValue
- experience = None
- skills = []
- }
-
-/// Support functions for skill IDs
-module SkillId =
- /// Create a new skill ID
- let create () = (Guid.NewGuid >> SkillId) ()
- /// A string representation of a skill ID
- let toString = function SkillId it -> toShortGuid it
- /// Parse a string into a skill ID
- let ofString = fromShortGuid >> SkillId
-
-
-/// Support functions for success report IDs
-module SuccessId =
- /// Create a new success report ID
- let create () = (Guid.NewGuid >> SuccessId) ()
- /// A string representation of a success report ID
- let toString = function SuccessId it -> toShortGuid it
- /// Parse a string into a success report ID
- let ofString = fromShortGuid >> SuccessId
diff --git a/src/JobsJobsJobs/Domain/SharedTypes.fs b/src/JobsJobsJobs/Domain/SharedTypes.fs
deleted file mode 100644
index 81a60fa..0000000
--- a/src/JobsJobsJobs/Domain/SharedTypes.fs
+++ /dev/null
@@ -1,287 +0,0 @@
-/// Types intended to be shared between the API and the client application
-module JobsJobsJobs.Domain.SharedTypes
-
-open JobsJobsJobs.Domain.Types
-open Microsoft.Extensions.Options
-open NodaTime
-
-// fsharplint:disable FieldNames
-
-/// The data required to add or edit a job listing
-type ListingForm =
- { /// The ID of the listing
- id : string
- /// The listing title
- title : string
- /// The ID of the continent on which this opportunity exists
- continentId : string
- /// The region in which this opportunity exists
- region : string
- /// Whether this is a remote work opportunity
- remoteWork : bool
- /// The text of the job listing
- text : string
- /// The date by which this job listing is needed
- neededBy : string option
- }
-
-
-/// The data needed to display a listing
-type ListingForView =
- { /// The listing itself
- listing : Listing
- /// The continent for that listing
- continent : Continent
- }
-
-
-/// The form submitted to expire a listing
-type ListingExpireForm =
- { /// Whether the job was filled from here
- fromHere : bool
- /// The success story written by the user
- successStory : string option
- }
-
-
-/// The various ways job listings can be searched
-[]
-type ListingSearch =
- { /// Retrieve job listings for this continent
- continentId : string option
- /// Text for a search within a region
- region : string option
- /// Whether to retrieve job listings for remote work
- remoteWork : string
- /// Text for a search with the job listing description
- text : string option
- }
-
-
-/// A successful logon
-type LogOnSuccess =
- { /// The JSON Web Token (JWT) to use for API access
- jwt : string
- /// The ID of the logged-in citizen (as a string)
- citizenId : string
- /// The name of the logged-in citizen
- name : string
- }
-
-
-/// A count
-type Count =
- { // The count being returned
- count : int64
- }
-
-
-/// An instance of a Mastodon server which is configured to work with Jobs, Jobs, Jobs
-type MastodonInstance () =
- /// The name of the instance
- member val Name = "" with get, set
- /// The URL for this instance
- member val Url = "" with get, set
- /// The abbreviation used in the URL to distinguish this instance's return codes
- member val Abbr = "" with get, set
- /// The client ID (assigned by the Mastodon server)
- member val ClientId = "" with get, set
- /// The cryptographic secret (provided by the Mastodon server)
- member val Secret = "" with get, set
- /// Whether the instance is currently enabled
- member val IsEnabled = true with get, set
- /// If an instance is disabled, the reason for it being disabled
- member val Reason = "" with get, set
-
-
-/// The authorization options for Jobs, Jobs, Jobs
-type AuthOptions () =
- /// The host for the return URL for Mastodon verification
- member val ReturnHost = "" with get, set
- /// The secret with which the server signs the JWTs for auth once we've verified with Mastodon
- member val ServerSecret = "" with get, set
- /// The instances configured for use
- member val Instances = Array.empty with get, set
- interface IOptions with
- override this.Value = this
-
-
-/// The Mastodon instance data provided via the Jobs, Jobs, Jobs API
-type Instance =
- { /// The name of the instance
- name : string
- /// The URL for this instance
- url : string
- /// The abbreviation used in the URL to distinguish this instance's return codes
- abbr : string
- /// The client ID (assigned by the Mastodon server)
- clientId : string
- /// Whether this instance is currently enabled
- isEnabled : bool
- /// If not enabled, the reason the instance is disabled
- reason : string
- }
-
-
-/// The fields required for a skill
-type SkillForm =
- { /// The ID of this skill
- id : string
- /// The description of the skill
- description : string
- /// Notes regarding the skill
- notes : string option
- }
-
-/// The data required to update a profile
-[]
-type ProfileForm =
- { /// Whether the citizen to whom this profile belongs is actively seeking employment
- isSeekingEmployment : bool
- /// Whether this profile should appear in the public search
- isPublic : bool
- /// The user's real name
- realName : string
- /// The ID of the continent on which the citizen is located
- continentId : string
- /// The area within that continent where the citizen is located
- region : string
- /// If the citizen is available for remote work
- remoteWork : bool
- /// If the citizen is seeking full-time employment
- fullTime : bool
- /// The user's professional biography
- biography : string
- /// The user's past experience
- experience : string option
- /// The skills for the user
- skills : SkillForm list
- }
-
-/// Support functions for the ProfileForm type
-module ProfileForm =
- /// Create an instance of this form from the given profile
- let fromProfile (profile : Types.Profile) =
- { isSeekingEmployment = profile.seekingEmployment
- isPublic = profile.isPublic
- realName = ""
- continentId = string profile.continentId
- region = profile.region
- remoteWork = profile.remoteWork
- fullTime = profile.fullTime
- biography = match profile.biography with Text bio -> bio
- experience = profile.experience |> Option.map (fun x -> match x with Text exp -> exp)
- skills = profile.skills
- |> List.map (fun s ->
- { id = string s.id
- description = s.description
- notes = s.notes
- })
- }
-
-
-/// The various ways profiles can be searched
-[]
-type ProfileSearch =
- { /// Retrieve citizens from this continent
- continentId : string option
- /// Text for a search within a citizen's skills
- skill : string option
- /// Text for a search with a citizen's professional biography and experience fields
- bioExperience : string option
- /// Whether to retrieve citizens who do or do not want remote work
- remoteWork : string
- }
-
-
-/// A user matching the profile search
-type ProfileSearchResult =
- { /// The ID of the citizen
- citizenId : CitizenId
- /// The citizen's display name
- displayName : string
- /// Whether this citizen is currently seeking employment
- seekingEmployment : bool
- /// Whether this citizen is looking for remote work
- remoteWork : bool
- /// Whether this citizen is looking for full-time work
- fullTime : bool
- /// When this profile was last updated
- lastUpdatedOn : Instant
- }
-
-
-/// The data required to show a viewable profile
-type ProfileForView =
- { /// The profile itself
- profile : Profile
- /// The citizen to whom the profile belongs
- citizen : Citizen
- /// The continent for the profile
- continent : Continent
- }
-
-
-/// The parameters for a public job search
-[]
-type PublicSearch =
- { /// Retrieve citizens from this continent
- continentId : string option
- /// Retrieve citizens from this region
- region : string option
- /// Text for a search within a citizen's skills
- skill : string option
- /// Whether to retrieve citizens who do or do not want remote work
- remoteWork : string
- }
-
-/// Support functions for public searches
-module PublicSearch =
- /// Is the search empty?
- let isEmptySearch (search : PublicSearch) =
- [ search.continentId
- search.skill
- match search.remoteWork with "" -> Some search.remoteWork | _ -> None
- ]
- |> List.exists Option.isSome
-
-
-/// A public profile search result
-type PublicSearchResult =
- { /// The name of the continent on which the citizen resides
- continent : string
- /// The region in which the citizen resides
- region : string
- /// Whether this citizen is seeking remote work
- remoteWork : bool
- /// The skills this citizen has identified
- skills : string list
- }
-
-
-/// The data required to provide a success story
-type StoryForm =
- { /// The ID of this story
- id : string
- /// Whether the employment was obtained from Jobs, Jobs, Jobs
- fromHere : bool
- /// The success story
- story : string
- }
-
-
-/// An entry in the list of success stories
-type StoryEntry =
- { /// The ID of this success story
- id : SuccessId
- /// The ID of the citizen who recorded this story
- citizenId : CitizenId
- /// The name of the citizen who recorded this story
- citizenName : string
- /// When this story was recorded
- recordedOn : Instant
- /// Whether this story involves an opportunity that arose due to Jobs, Jobs, Jobs
- fromHere : bool
- /// Whether this report has a further story, or if it is simply a "found work" entry
- hasStory : bool
- }
diff --git a/src/JobsJobsJobs/Domain/Types.fs b/src/JobsJobsJobs/Domain/Types.fs
deleted file mode 100644
index eefae0d..0000000
--- a/src/JobsJobsJobs/Domain/Types.fs
+++ /dev/null
@@ -1,143 +0,0 @@
-/// Types within Jobs, Jobs, Jobs
-module JobsJobsJobs.Domain.Types
-
-open NodaTime
-open System
-
-// fsharplint:disable FieldNames
-
-/// The ID of a user (a citizen of Gitmo Nation)
-type CitizenId = CitizenId of Guid
-
-/// A user of Jobs, Jobs, Jobs
-[]
-type Citizen =
- { /// The ID of the user
- id : CitizenId
- /// The Mastodon instance abbreviation from which this citizen is authorized
- instance : string
- /// The handle by which the user is known on Mastodon
- mastodonUser : string
- /// The user's display name from Mastodon (updated every login)
- displayName : string option
- /// The user's real name
- realName : string option
- /// The URL for the user's Mastodon profile
- profileUrl : string
- /// When the user joined Jobs, Jobs, Jobs
- joinedOn : Instant
- /// When the user last logged in
- lastSeenOn : Instant
- }
-
-
-/// The ID of a continent
-type ContinentId = ContinentId of Guid
-
-/// A continent
-[]
-type Continent =
- { /// The ID of the continent
- id : ContinentId
- /// The name of the continent
- name : string
- }
-
-
-/// A string of Markdown text
-type MarkdownString = Text of string
-
-
-/// The ID of a job listing
-type ListingId = ListingId of Guid
-
-/// A job listing
-[]
-type Listing =
- { /// The ID of the job listing
- id : ListingId
- /// The ID of the citizen who posted the job listing
- citizenId : CitizenId
- /// When this job listing was created
- createdOn : Instant
- /// The short title of the job listing
- title : string
- /// The ID of the continent on which the job is located
- continentId : ContinentId
- /// The region in which the job is located
- region : string
- /// Whether this listing is for remote work
- remoteWork : bool
- /// Whether this listing has expired
- isExpired : bool
- /// When this listing was last updated
- updatedOn : Instant
- /// The details of this job
- text : MarkdownString
- /// When this job needs to be filled
- neededBy : LocalDate option
- /// Was this job filled as part of its appearance on Jobs, Jobs, Jobs?
- wasFilledHere : bool option
- }
-
-
-/// The ID of a skill
-type SkillId = SkillId of Guid
-
-/// A skill the job seeker possesses
-type Skill =
- { /// The ID of the skill
- id : SkillId
- /// A description of the skill
- description : string
- /// Notes regarding this skill (level, duration, etc.)
- notes : string option
- }
-
-
-/// A job seeker profile
-[]
-type Profile =
- { /// The ID of the citizen to whom this profile belongs
- id : CitizenId
- /// Whether this citizen is actively seeking employment
- seekingEmployment : bool
- /// Whether this citizen allows their profile to be a part of the publicly-viewable, anonymous data
- isPublic : bool
- /// The ID of the continent on which the citizen resides
- continentId : ContinentId
- /// The region in which the citizen resides
- region : string
- /// Whether the citizen is looking for remote work
- remoteWork : bool
- /// Whether the citizen is looking for full-time work
- fullTime : bool
- /// The citizen's professional biography
- biography : MarkdownString
- /// When the citizen last updated their profile
- lastUpdatedOn : Instant
- /// The citizen's experience (topical / chronological)
- experience : MarkdownString option
- /// Skills this citizen possesses
- skills : Skill list
- }
-
-/// The ID of a success report
-type SuccessId = SuccessId of Guid
-
-/// A record of success finding employment
-[]
-type Success =
- { /// The ID of the success report
- id : SuccessId
- /// The ID of the citizen who wrote this success report
- citizenId : CitizenId
- /// When this success report was recorded
- recordedOn : Instant
- /// Whether the success was due, at least in part, to Jobs, Jobs, Jobs
- fromHere : bool
- /// The source of this success (listing or profile)
- source : string
- /// The success story
- story : MarkdownString option
- }
diff --git a/src/JobsJobsJobs/Home/Handlers.fs b/src/JobsJobsJobs/Home/Handlers.fs
new file mode 100644
index 0000000..797002d
--- /dev/null
+++ b/src/JobsJobsJobs/Home/Handlers.fs
@@ -0,0 +1,53 @@
+/// Handlers for the home page, legal stuff, and help
+module JobsJobsJobs.Home.Handlers
+
+open Giraffe
+open JobsJobsJobs.Common.Handlers
+
+// GET: /
+let home : HttpHandler =
+ renderHandler "Welcome" Views.home
+
+// GET: /privacy-policy
+let privacyPolicy : HttpHandler =
+ renderHandler "Privacy Policy" Views.privacyPolicy
+
+// GET: /terms-of-service
+let termsOfService : HttpHandler =
+ renderHandler "Terms of Service" Views.termsOfService
+
+// GET: /how-it-works
+let howItWorks : HttpHandler =
+ renderHandler "How It Works" Views.Help.index
+
+// GET: /how-it-works/accounts
+let accountHelp : HttpHandler =
+ renderHandler "Accounts | How It Works" Views.Help.accounts
+
+// GET: /how-it-works/listings
+let listingHelp : HttpHandler =
+ renderHandler "Job Listings | How It Works" Views.Help.listings
+
+// GET: /how-it-works/profiles
+let profileHelp : HttpHandler =
+ renderHandler "Employment Profiles | How It Works" Views.Help.profiles
+
+
+open Giraffe.EndpointRouting
+
+/// All endpoints for this feature
+let endpoints =
+ [ GET_HEAD [
+ route "/" home
+ route "/privacy-policy" privacyPolicy
+ route "/terms-of-service" termsOfService
+ ]
+ subRoute "/how-it-works" [
+ GET_HEAD [
+ route "" howItWorks
+ route "/accounts" accountHelp
+ route "/listings" listingHelp
+ route "/profiles" profileHelp
+ ]
+ ]
+ ]
diff --git a/src/JobsJobsJobs/Home/JobsJobsJobs.Home.fsproj b/src/JobsJobsJobs/Home/JobsJobsJobs.Home.fsproj
new file mode 100644
index 0000000..8ea4765
--- /dev/null
+++ b/src/JobsJobsJobs/Home/JobsJobsJobs.Home.fsproj
@@ -0,0 +1,16 @@
+
+
+
+ net7.0
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/src/JobsJobsJobs/Home/Views.fs b/src/JobsJobsJobs/Home/Views.fs
new file mode 100644
index 0000000..b70439f
--- /dev/null
+++ b/src/JobsJobsJobs/Home/Views.fs
@@ -0,0 +1,995 @@
+module JobsJobsJobs.Home.Views
+
+open Giraffe.ViewEngine
+open JobsJobsJobs.Common.Views
+
+/// The home page
+let home =
+ article [] [
+ emptyP
+ p [] [
+ txt "Welcome to Jobs, Jobs, Jobs (AKA No Agenda Careers), where citizens of Gitmo Nation can assist one "
+ txt "another in finding employment. This will enable them to continue providing value-for-value to Adam "
+ txt "and John, as they continue their work deconstructing the misinformation that passes for news on a "
+ txt "day-to-day basis."
+ ]
+ p [] [
+ txt "Do you not understand the terms in the paragraph above? No worries; just head over to "
+ a [ _href "https://noagendashow.net"; _target "_blank"; _rel "noopener" ] [
+ txt "The Best Podcast in the Universe"
+ ]
+ txt " "; em [] [ audioClip "thats-true" (txt "(that’s true!)") ]
+ txt " and find out what you’re missing."
+ ]
+ ]
+
+/// The privacy policy
+let privacyPolicy =
+ let appName = txt "Jobs, Jobs, Jobs"
+ article [] [
+ h3 [] [ txt "Privacy Policy" ]
+ p [ _class "fst-italic" ] [ txt "(as of December 27th, 2022)" ]
+
+ p [] [
+ appName; txt " (“we,” “our,” or “us”) is committed to protecting your "
+ txt "privacy. This Privacy Policy explains how your personal information is collected, used, and disclosed "
+ txt "disclosed by "; appName; txt "."
+ ]
+ p [] [
+ txt "This Privacy Policy applies to our website, and its associated subdomains (collectively, our "
+ txt "“Service”) alongside our application, "; appName; rawText ". By accessing or using our "
+ txt "Service, you signify that you have read, understood, and agree to our collection, storage, use, and "
+ txt "disclosure of your personal information as described in this Privacy Policy and our Terms of Service."
+ ]
+
+ h4 [] [ txt "Definitions and key terms" ]
+ p [] [
+ txt "To help explain things as clearly as possible in this Privacy Policy, every time any of these terms "
+ txt "are referenced, are strictly defined as:"
+ ]
+ ul [] [
+ li [] [
+ txt "Cookie: small amount of data generated by a website and saved by your web browser. It is used to "
+ txt "identify your browser, provide analytics, remember information about you such as your language "
+ txt "preference or login information."
+ ]
+ li [] [
+ txt "Company: when this policy mentions “Company,” “we,” “us,” or "
+ txt "“our,” it refers to "; appName; txt ", that is responsible for your information under "
+ txt "this Privacy Policy."
+ ]
+ li [] [
+ txt "Country: where "; appName; txt " or the owners/founders of "; appName
+ txt " are based, in this case is US."
+ ]
+ li [] [
+ txt "Customer: refers to the company, organization or person that signs up to use the "; appName
+ txt " Service to manage the relationships with your consumers or service users."
+ ]
+ li [] [
+ txt "Device: any internet connected device such as a phone, tablet, computer or any other device that "
+ txt "can be used to visit "; appName; txt " and use the services."
+ ]
+ li [] [
+ txt "IP address: Every device connected to the Internet is assigned a number known as an Internet "
+ txt "protocol (IP) address. These numbers are usually assigned in geographic blocks. An IP address can "
+ txt "often be used to identify the location from which a device is connecting to the Internet."
+ ]
+ li [] [
+ txt "Personnel: refers to those individuals who are employed by "; appName; txt " or are under "
+ txt "contract to perform a service on behalf of one of the parties."
+ ]
+ li [] [
+ txt "Personal Data: any information that directly, indirectly, or in connection with other information "
+ txt "— including a personal identification number — allows for the identification or identifiability "
+ txt "of a natural person."
+ ]
+ li [] [
+ txt "Service: refers to the service provided by "; appName; txt " as described in the relative terms "
+ txt "(if available) and on this platform."
+ ]
+ li [] [
+ txt "Third-party service: refers to advertisers, contest sponsors, promotional and marketing partners, "
+ txt "and others who provide our content or whose products or services we think may interest you."
+ ]
+ li [] [
+ txt "Website: "; appName; txt "’s site, which can be accessed via this URL: "
+ a [ _href "/" ] [ txt "https://noagendacareers.com/" ]
+ ]
+ li [] [
+ txt "You: a person or entity that is registered with "; appName; txt " to use the Services."
+ ]
+ ]
+
+ h4 [] [ txt "What Information Do We Collect?" ]
+ p [] [
+ txt "We collect information from you when you visit our website, register on our site, or fill out a form."
+ ]
+ ul [] [
+ li [] [ txt "Name / Username" ]
+ li [] [ txt "Coarse Geographic Location" ]
+ li [] [ txt "Employment History" ]
+ li [] [ txt "Job Listing Information" ]
+ ]
+
+ h4 [] [ txt "How Do We Use The Information We Collect?" ]
+ p [] [ txt "Any of the information we collect from you may be used in one of the following ways:" ]
+ ul [] [
+ li [] [
+ txt "To personalize your experience (your information helps us to better respond to your individual "
+ txt "needs)"
+ ]
+ li [] [
+ txt "To improve our website (we continually strive to improve our website offerings based on the "
+ txt "information and feedback we receive from you)"
+ ]
+ li [] [
+ txt "To improve customer service (your information helps us to more effectively respond to your "
+ txt "customer service requests and support needs)"
+ ]
+ ]
+
+ h4 [] [ txt "When does "; appName; txt " use end user information from third parties?" ]
+ p [] [
+ appName; txt " will collect End User Data necessary to provide the "; appName
+ txt " services to our customers."
+ ]
+ p [] [
+ txt "End users may voluntarily provide us with information they have made available on social media "
+ txt "websites. If you provide us with any such information, we may collect publicly available information "
+ txt "from the social media websites you have indicated. You can control how much of your information "
+ txt "social media websites make public by visiting these websites and changing your privacy settings."
+ ]
+
+ h4 [] [ txt "When does "; appName; txt " use customer information from third parties?" ]
+ p [] [ txt "We do not utilize third party information apart from the end-user data described above." ]
+
+ h4 [] [ txt "Do we share the information we collect with third parties?" ]
+ p [] [
+ txt "We may disclose personal and non-personal information about you to government or law enforcement "
+ txt "officials or private parties as we, in our sole discretion, believe necessary or appropriate in order "
+ txt "to respond to claims, legal process (including subpoenas), to protect our rights and interests or "
+ txt "those of a third party, the safety of the public or any person, to prevent or stop any illegal, "
+ txt "unethical, or legally actionable activity, or to otherwise comply with applicable court orders, laws, "
+ txt "rules and regulations."
+ ]
+
+ h4 [] [ txt "Where and when is information collected from customers and end users?" ]
+ p [] [
+ appName; txt " will collect personal information that you submit to us. We may also receive personal "
+ txt "information about you from third parties as described above."
+ ]
+
+ h4 [] [ txt "How Do We Use Your E-mail Address?" ]
+ p [] [
+ appName; txt " uses your e-mail address to identify you, along with your password, as an authorized user "
+ txt "of this site. E-mail addresses are verified via a time-sensitive link, and may also be used to send "
+ txt "password reset authorization codes. We do not display this e-mail address to users. If you choose to "
+ txt "add an e-mail address as a contact type, that e-mail address will be visible to other authorized "
+ txt "users."
+ ]
+
+ h4 [] [ txt "How Long Do We Keep Your Information?" ]
+ p [] [
+ txt "We keep your information only so long as we need it to provide "; appName; txt " to you and fulfill "
+ txt "the purposes described in this policy. When we no longer need to use your information and there is no "
+ txt "need for us to keep it to comply with our legal or regulatory obligations, we’ll either remove it "
+ txt "from our systems or depersonalize it so that we can’t identify you."
+ ]
+
+ h4 [] [ txt "How Do We Protect Your Information?" ]
+ p [] [
+ txt "We implement a variety of security measures to maintain the safety of your personal information when "
+ txt "you enter, submit, or access your personal information. We mandate the use of a secure server. We "
+ txt "cannot, however, ensure or warrant the absolute security of any information you transmit to "; appName
+ txt " or guarantee that your information on the Service may not be accessed, disclosed, altered, or "
+ txt "destroyed by a breach of any of our physical, technical, or managerial safeguards."
+ ]
+
+ h4 [] [ txt "Could my information be transferred to other countries?" ]
+ p [] [
+ appName; txt " is hosted in the US. Information collected via our website may be viewed and hosted "
+ txt "anywhere in the world, including countries that may not have laws of general applicability regulating "
+ txt "the use and transfer of such data. To the fullest extent allowed by applicable law, by using any of "
+ txt "the above, you voluntarily consent to the trans-border transfer and hosting of such information."
+ ]
+
+ h4 [] [ txt "Is the information collected through the "; appName; txt " Service secure?" ]
+ p [] [
+ txt "We take precautions to protect the security of your information. We have physical, electronic, and "
+ txt "managerial procedures to help safeguard, prevent unauthorized access, maintain data security, and "
+ txt "correctly use your information. However, neither people nor security systems are foolproof, including "
+ txt "encryption systems. In addition, people can commit intentional crimes, make mistakes, or fail to "
+ txt "follow policies. Therefore, while we use reasonable efforts to protect your personal information, we "
+ txt "cannot guarantee its absolute security. If applicable law imposes any non-disclaimable duty to "
+ txt "protect your personal information, you agree that intentional misconduct will be the standards used "
+ txt "to measure our compliance with that duty."
+ ]
+
+ h4 [] [ txt "Can I update or correct my information?" ]
+ p [] [
+ txt "The rights you have to request updates or corrections to the information "; appName
+ txt " collects depend on your relationship with "; appName; txt "."
+ ]
+ p [] [
+ txt "Customers have the right to request the restriction of certain uses and disclosures of personally "
+ txt "identifiable information as follows. You can contact us in order to (1) update or correct your "
+ txt "personally identifiable information, or (3) delete the personally identifiable information maintained "
+ txt "about you on our systems (subject to the following paragraph), by cancelling your account. Such "
+ txt "updates, corrections, changes and deletions will have no effect on other information that we maintain "
+ txt "in accordance with this Privacy Policy prior to such update, correction, change, or deletion. You are "
+ txt "responsible for maintaining the secrecy of your unique password and account information at all times."
+ ]
+ p [] [
+ appName; txt " also provides ways for users to modify or remove the information we have collected from "
+ txt "them from the application; these actions will have the same effect as contacting us to modify or "
+ txt "remove data."
+ ]
+ p [] [
+ txt "You should be aware that it is not technologically possible to remove each and every record of the "
+ txt "information you have provided to us from our system. The need to back up our systems to protect "
+ txt "information from inadvertent loss means that a copy of your information may exist in a non-erasable "
+ txt "form that will be difficult or impossible for us to locate. Promptly after receiving your request, "
+ txt "all personal information stored in databases we actively use, and other readily searchable media will "
+ txt "be updated, corrected, changed, or deleted, as appropriate, as soon as and to the extent reasonably "
+ txt "and technically practicable."
+ ]
+ p [] [
+ txt "If you are an end user and wish to update, delete, or receive any information we have about you, you "
+ txt "may do so by contacting the organization of which you are a customer."
+ ]
+
+ h4 [] [ txt "Governing Law" ]
+ p [] [
+ txt "This Privacy Policy is governed by the laws of US without regard to its conflict of laws provision. "
+ txt "You consent to the exclusive jurisdiction of the courts in connection with any action or dispute "
+ txt "arising between the parties under or in connection with this Privacy Policy except for those "
+ txt "individuals who may have rights to make claims under Privacy Shield, or the Swiss-US framework."
+ ]
+ p [] [
+ txt "The laws of US, excluding its conflicts of law rules, shall govern this Agreement and your use of the "
+ txt "website. Your use of the website may also be subject to other local, state, national, or "
+ txt "international laws."
+ ]
+ p [] [
+ txt "By using "; appName; txt " or contacting us directly, you signify your acceptance of this Privacy "
+ txt "Policy. If you do not agree to this Privacy Policy, you should not engage with our website, or use "
+ txt "our services. Continued use of the website, direct engagement with us, or following the posting of "
+ txt "changes to this Privacy Policy that do not significantly affect the use or disclosure of your "
+ txt "personal information will mean that you accept those changes."
+ ]
+
+ h4 [] [ txt "Your Consent" ]
+ p [] [
+ txt "We’ve updated our Privacy Policy to provide you with complete transparency into what is being "
+ txt "set when you visit our site and how it’s being used. By using our website, registering an "
+ txt "account, or making a purchase, you hereby consent to our Privacy Policy and agree to its terms."
+ ]
+
+ h4 [] [ txt "Links to Other Websites" ]
+ p [] [
+ txt "This Privacy Policy applies only to the Services. The Services may contain links to other websites "
+ txt "not operated or controlled by "; appName; txt ". We are not responsible for the content, accuracy, or "
+ txt "opinions expressed in such websites, and such websites are not investigated, monitored, or checked "
+ txt "for accuracy or completeness by us. Please remember that when you use a link to from the Services to "
+ txt "another website, our Privacy Policy is no longer in effect. Your browsing and interaction on any "
+ txt "other website, including those that have a link on our platform, is subject to that website’s own "
+ txt "rules and policies. Such third parties may use their own cookies or other methods to collect "
+ txt "information about you."
+ ]
+
+ h4 [] [ txt "Cookies" ]
+ p [] [
+ appName; txt " uses a session Cookie to identify an active, logged-on session. This Cookie is removed when "
+ txt "when You explicitly log off; is not accessible via script; and must be transferred over a secured, "
+ txt "encrypted connection."
+ ]
+ p [] [ appName; txt " uses no persistent or Third-Party Cookies." ]
+
+ h4 [] [ txt "Kids’ Privacy" ]
+ p [] [
+ txt "We do not address anyone under the age of 13. We do not knowingly collect personally identifiable "
+ txt "information from anyone under the age of 13. If You are a parent or guardian and You are aware that "
+ txt "Your child has provided Us with Personal Data, please contact Us. If We become aware that We have "
+ txt "collected Personal Data from anyone under the age of 13 without verification of parental consent, We "
+ txt "take steps to remove that information from Our servers."
+ ]
+
+ h4 [] [ txt "Changes To Our Privacy Policy" ]
+ p [] [
+ txt "We may change our Service and policies, and we may need to make changes to this Privacy Policy so "
+ txt "that they accurately reflect our Service and policies. Unless otherwise required by law, we will "
+ txt "notify you (for example, through our Service) before we make changes to this Privacy Policy and give "
+ txt "you an opportunity to review them before they go into effect. Then, if you continue to use the "
+ txt "Service, you will be bound by the updated Privacy Policy. If you do not want to agree to this or any "
+ txt "updated Privacy Policy, you can delete your account."
+ ]
+
+ h4 [] [ txt "Third-Party Services" ]
+ p [] [
+ txt "We may display, include or make available third-party content (including data, information, "
+ txt "applications and other products services) or provide links to third-party websites or services "
+ txt "(“Third-Party Services”)."
+ ]
+ p [] [
+ txt "You acknowledge and agree that "; appName; txt " shall not be responsible for any Third-Party "
+ txt "Services, including their accuracy, completeness, timeliness, validity, copyright compliance, "
+ txt "legality, decency, quality or any other aspect thereof. "; appName; txt " does not assume and shall "
+ txt "not have any liability or responsibility to you or any other person or entity for any Third-Party "
+ txt "Services."
+ ]
+ p [] [
+ txt "Third-Party Services and links thereto are provided solely as a convenience to you and you access and "
+ txt "use them entirely at your own risk and subject to such third parties’ terms and conditions."
+ ]
+
+ h4 [] [ txt "Tracking Technologies" ]
+ p [] [ appName; txt " does not use any tracking technologies." ]
+
+ h4 [] [ txt "Information about General Data Protection Regulation (GDPR)" ]
+ p [] [
+ txt "We may be collecting and using information from you if you are from the European Economic Area (EEA), "
+ txt "and in this section of our Privacy Policy we are going to explain exactly how and why is this data "
+ txt "collected, and how we maintain this data under protection from being replicated or used in the wrong "
+ txt "way."
+ ]
+
+ h5 [] [ txt "What is GDPR?" ]
+ p [] [
+ txt "GDPR is an EU-wide privacy and data protection law that regulates how EU residents’ data is "
+ txt "protected by companies and enhances the control the EU residents have, over their personal data."
+ ]
+ p [] [
+ txt "The GDPR is relevant to any globally operating company and not just the EU-based businesses and EU "
+ txt "residents. Our customers’ data is important irrespective of where they are located, which is why we "
+ txt "have implemented GDPR controls as our baseline standard for all our operations worldwide."
+ ]
+
+ h5 [] [ txt "What is personal data?" ]
+ p [] [
+ txt "Any data that relates to an identifiable or identified individual. GDPR covers a broad spectrum of "
+ txt "information that could be used on its own, or in combination with other pieces of information, to "
+ txt "identify a person. Personal data extends beyond a person’s name or email address. Some examples "
+ txt "include financial information, political opinions, genetic data, biometric data, IP addresses, "
+ txt "physical address, sexual orientation, and ethnicity."
+ ]
+ p [] [ txt "The Data Protection Principles include requirements such as:" ]
+ ul [] [
+ li [] [
+ txt "Personal data collected must be processed in a fair, legal, and transparent way and should only "
+ txt "be used in a way that a person would reasonably expect."
+ ]
+ li [] [
+ txt "Personal data should only be collected to fulfil a specific purpose and it should only be used "
+ txt "for that purpose. Organizations must specify why they need the personal data when they collect it."
+ ]
+ li [] [ txt "Personal data should be held no longer than necessary to fulfil its purpose." ]
+ li [] [
+ txt "People covered by the GDPR have the right to access their own personal data. They can also "
+ txt "request a copy of their data, and that their data be updated, deleted, restricted, or moved to "
+ txt "another organization."
+ ]
+ ]
+
+ h5 [] [ txt "Why is GDPR important?" ]
+ p [] [
+ txt "GDPR adds some new requirements regarding how companies should protect individuals’ personal "
+ txt "data that they collect and process. It also raises the stakes for compliance by increasing "
+ txt "enforcement and imposing greater fines for breach. Beyond these facts, it’s simply the right "
+ txt "thing to do. At "; appName; txt " we strongly believe that your data privacy is very important and we "
+ txt "already have solid security and privacy practices in place that go beyond the requirements of this "
+ txt "regulation."
+ ]
+
+ h5 [] [ txt "Individual Data Subject’s Rights - Data Access, Portability, and Deletion" ]
+ p [] [
+ txt "We are committed to helping our customers meet the data subject rights requirements of GDPR. "
+ appName; txt " processes or stores all personal data in fully vetted, DPA compliant vendors. We do store "
+ txt "all conversation and personal data for up to 6 years unless your account is deleted. In which case, "
+ txt "we dispose of all data in accordance with our Terms of Service and Privacy Policy, but we will not "
+ txt "hold it longer than 60 days."
+ ]
+ p [] [
+ txt "We are aware that if you are working with EU customers, you need to be able to provide them with the "
+ txt "ability to access, update, retrieve and remove personal data. We got you! We’ve been set up as "
+ txt "self service from the start and have always given you access to your data. Our customer support team "
+ txt "is here for you to answer any questions you might have about working with the API."
+ ]
+
+ h4 [] [ txt "California Residents" ]
+ p [] [
+ txt "The California Consumer Privacy Act (CCPA) requires us to disclose categories of Personal Information "
+ txt "we collect and how we use it, the categories of sources from whom we collect Personal Information, "
+ txt "and the third parties with whom we share it, which we have explained above."
+ ]
+ p [] [
+ txt "We are also required to communicate information about rights California residents have under "
+ txt "California law. You may exercise the following rights:"
+ ]
+ ul [] [
+ li [] [
+ txt "Right to Know and Access. You may submit a verifiable request for information regarding the: (1) "
+ txt "categories of Personal Information we collect, use, or share; (2) purposes for which categories "
+ txt "of Personal Information are collected or used by us; (3) categories of sources from which we "
+ txt "collect Personal Information; and (4) specific pieces of Personal Information we have collected "
+ txt "about you."
+ ]
+ li [] [
+ txt "Right to Equal Service. We will not discriminate against you if you exercise your privacy rights."
+ ]
+ li [] [
+ txt "Right to Delete. You may submit a verifiable request to close your account and we will delete "
+ txt "Personal Information about you that we have collected."
+ ]
+ li [] [
+ txt "Request that a business that sells a consumer’s personal data, not sell the "
+ txt "consumer’s personal data."
+ ]
+ ]
+ p [] [
+ txt "If you make a request, we have one month to respond to you. If you would like to exercise any of "
+ txt "these rights, please contact us."
+ ]
+ p [] [ txt "We do not sell the Personal Information of our users." ]
+ p [] [ txt "For more information about these rights, please contact us." ]
+
+ h5 [] [ txt "California Online Privacy Protection Act (CalOPPA)" ]
+ p [] [
+ txt "CalOPPA requires us to disclose categories of Personal Information we collect and how we use it, the "
+ txt "categories of sources from whom we collect Personal Information, and the third parties with whom we "
+ txt "share it, which we have explained above."
+ ]
+ p [] [ txt "CalOPPA users have the following rights:" ]
+ ul [] [
+ li [] [
+ txt "Right to Know and Access. You may submit a verifiable request for information regarding the: (1) "
+ txt "categories of Personal Information we collect, use, or share; (2) purposes for which categories "
+ txt "of Personal Information are collected or used by us; (3) categories of sources from which we "
+ txt "collect Personal Information; and (4) specific pieces of Personal Information we have collected "
+ txt "about you."
+ ]
+ li [] [
+ txt "Right to Equal Service. We will not discriminate against you if you exercise your privacy rights."
+ ]
+ li [] [
+ txt "Right to Delete. You may submit a verifiable request to close your account and we will delete "
+ txt "Personal Information about you that we have collected."
+ ]
+ li [] [
+ txt "Right to request that a business that sells a consumer’s personal data, not sell the "
+ txt "consumer’s personal data."
+ ]
+ ]
+ p [] [
+ txt "If you make a request, we have one month to respond to you. If you would like to exercise any of "
+ txt "these rights, please contact us."
+ ]
+ p [] [ txt "We do not sell the Personal Information of our users." ]
+ p [] [ txt "For more information about these rights, please contact us." ]
+
+ h4 [] [ txt "Contact Us" ]
+ p [] [ txt "Don’t hesitate to contact us if you have any questions." ]
+ ul [] [
+ li [] [
+ txt "Via this Link: "; a [ _href "/how-it-works" ] [ txt "https://noagendacareers.com/how-it-works" ]
+ ]
+ ]
+
+ hr []
+
+ p [ _class "fst-italic" ] [ txt "Changes for "; appName; txt " v3 (December 27th, 2022)" ]
+ ul [] [
+ li [ _class "fst-italic" ] [ txt "Removed references to Mastodon" ]
+ li [ _class "fst-italic" ] [ txt "Added references to job listings" ]
+ li [ _class "fst-italic" ] [ txt "Changed information regarding e-mail addresses" ]
+ li [ _class "fst-italic" ] [ txt "Updated cookie / tracking sections for new architecture" ]
+ ]
+ p [ _class "fst-italic" ] [
+ txt "Change on September 6th, 2021 – replaced “No Agenda Social” with generic "
+ txt "terms for any authorized Mastodon instance."
+ ]
+ ]
+
+/// The page for terms of service
+let termsOfService =
+ article [] [
+ h3 [] [ txt "Terms of Service" ]
+ p [ _class "fst-italic" ] [ txt "(as of August 30th, 2022)" ]
+ h4 [] [ txt "Acceptance of Terms" ]
+ p [] [
+ txt "By accessing this web site, you are agreeing to be bound by these Terms and Conditions, and that you "
+ txt "are responsible to ensure that your use of this site complies with all applicable laws. Your "
+ txt "continued use of this site implies your acceptance of these terms."
+ ]
+ h4 [] [ txt "Description of Service and Registration" ]
+ p [] [
+ txt "Jobs, Jobs, Jobs is a service that allows individuals to enter and amend employment profiles and job "
+ txt "listings, restricting access to the details of these to other users of this site, unless the "
+ txt "individual specifies that this information should be visible publicly. See our "
+ a [ _href "/privacy-policy" ] [ txt "privacy policy" ]
+ txt " for details on the personal (user) information we maintain."
+ ]
+ h4 [] [ txt "Liability" ]
+ p [] [
+ txt "This service is provided “as is”, and no warranty (express or implied) exists. The "
+ txt "service and its developers may not be held liable for any damages that may arise through the use of "
+ txt "this service."
+ ]
+ h4 [] [ txt "Updates to Terms" ]
+ p [] [
+ txt "These terms and conditions may be updated at any time. When these terms are updated, users will be "
+ txt "notified via a notice on the dashboard page. Additionally, the date at the top of this page will be "
+ txt "updated, and any substantive updates will also be accompanied by a summary of those changes."
+ ]
+ hr []
+ p [] [
+ txt "You may also wish to review our "; a [ _href "/privacy-policy" ] [ txt "privacy policy" ]
+ txt " to learn how we handle your data."
+ ]
+ hr []
+ p [ _class "fst-italic" ] [
+ txt "Change on August 30th, 2022 – added references to job listings, removed references "
+ txt "to Mastodon instances."
+ ]
+ p [ _class "fst-italic" ] [
+ txt "Change on September 6th, 2021 – replaced “No Agenda Social” with a list "
+ txt "of all No Agenda-affiliated Mastodon instances."
+ ]
+ ]
+
+/// Help page templates
+module Help =
+
+ /// CSS classes to indicate a reference to a particular page within Jobs, Jobs, Jobs
+ let private linkedPage = _class "badge text-light bg-success"
+
+ /// CSS classes to indicate a reference to a named button
+ let private actionButton = _class "badge text-light bg-secondary rounded-pill"
+
+ /// CSS classes for main headings within the documentation
+ let private mainHeading = _class "border-top border-2 mt-4 pt-1"
+
+ /// A link to return to the help index
+ let private backToIndex =
+ p [] [ a [ _href "/how-it-works" ] [ txt "« Back to Help Index" ] ]
+
+ /// Account help page
+ let accounts =
+ [ backToIndex
+ p [] [
+ span [ _class "fst-italic" ] [
+ txt "On this page: "; a [ _href "#registration" ] [ txt "Registration" ]; txt " • "
+ a [ _href "#log-on" ] [ txt "Logging On" ]; txt " • "
+ a [ _href "#updating" ] [ txt "Updating Your Account" ]; txt " • "
+ a [ _href "#deleting" ] [ txt "Deleting Your Account" ]
+ ]
+ ]
+
+ h4 [ _id "registration"; mainHeading ] [ txt "Registering for an Account" ]
+ p [] [
+ txt "To register for an account, go to the "; span [ linkedPage ] [ txt "Log On" ]; txt " page; just "
+ txt "below the "; span [ actionButton ] [ txt "Log On" ]; txt " button, there is a link that leads to "
+ txt "the registration page. The first three fields are name fields, the fourth is an e-mail address, "
+ txt "and the final two are for your password. Your password must be at least 8 characters long."
+ ]
+ p [] [
+ txt "As Jobs, Jobs, Jobs is targeted towards "
+ a [ _href "https://noagendashow.net"; _target "_blank"; _rel "noopener" ] [ txt "No Agenda" ]
+ txt " listeners, there are also two questions that test your knowledge of the show. The answers to "
+ txt "these questions are not case-sensitive, and should pose no significant challenge to those who "
+ txt "have listened to an episode or two "; em [] [ txt "(including the donation segments!)" ]; txt "."
+ ]
+ p [] [
+ txt "Once you click the "; span [ actionButton ] [ txt "Register" ]; txt " button, the system will "
+ txt "send an e-mail to you with a confirmation link. This link must be visited within 72 hours, or the "
+ txt "account request will be deleted. Once the account is confirmed, though, you are ready to…"
+ ]
+
+ h4 [ _id "log-on"; mainHeading ] [ txt "Log On" ]
+ p [] [
+ txt "Logging on to Jobs, Jobs, Jobs is a straightforward process; enter your e-mail address and "
+ txt "password. Beside visiting the page directly, you may also be directed to it if you click a link "
+ txt "that requires you to be logged on to view. In these cases, instead of being directed to the "
+ txt "dashboard page, you would instead be directed back to the page you were trying to view."
+ ]
+
+ h4 [ _id "updating"; mainHeading ] [ txt "Updating Your Account and Contact Information" ]
+ p [] [
+ txt "When you are logged on, clicking "; span [ linkedPage ] [ txt "My Account" ]; txt " in the menu "
+ txt "will take you to the Account Profile page. This page allows you to change any of the three name "
+ txt "fields. You can also change your password from this page; if you do not want to change it, "
+ txt "though, leave both of those fields blank."
+ ]
+ p [] [
+ txt "This page is also where you can enter contact information. Clicking the "
+ span [ actionButton ] [ txt "Add a Contact Method" ]; txt " button will add a row to the table, and in "
+ txt "each row, clicking the "; span [ actionButton ] [ txt "−" ]; txt " button will remove that "
+ txt "row. When others view your employment profile, or any job listings you may create, this contact "
+ txt "information is displayed along with it. Each contact can be marked as “Public”; if "
+ txt "you opt to allow public access to your employment profile, the contacts marked as public will be "
+ txt "displayed, but the others will be excluded."
+ ]
+ p [] [
+ txt "For each contact, you may specify a name. For websites and e-mail addresses, this name will be "
+ txt "the text of the link generated for that item; otherwise, the links will be “Website” "
+ txt "and “E-mail”, respectively. For phone numbers, the name will appear in parentheses "
+ txt "after the number."
+ ]
+
+ h4 [ _id "deleting"; mainHeading ] [ txt "Deleting Your Account" ]
+ p [] [
+ txt "Though we hate to see it, we realize that there may come a time when you want to delete either "
+ txt "your employment profile or your complete account. On both the "
+ span [ linkedPage ] [ txt "Account Update" ]; txt " and "; span [ linkedPage ] [ txt "Profile Edit" ]
+ txt " pages, there is a link to a page with deletion options."
+ ]
+ p [] [
+ txt "The first red button will delete your employment profile. This means that no searches for "
+ txt "employment profiles will return your information. If you had shared a direct link to your "
+ txt "profile, it will return a “Not Found” page – unless you take steps to create "
+ txt "your employment profile again, in which case the same link will work again. If you want to "
+ txt "obtain the same effect without deleting your profile, update it and select the "
+ txt "“Invisible” visibility option."
+ ]
+ p [] [
+ txt "The second red button will delete your entire account. In addition to your employment profile "
+ txt "being deleted, it will delete any job listings you may have posted, any success stories you may "
+ txt "have recorded, and your account information. It will make it like you were never a user of this "
+ txt "system. If you re-register, you will be given a different ID, so direct links to your previous "
+ txt "employment profile will not work, even if you create an employment profile for your new account."
+ ]
+ p [] [
+ strong [] [ txt "Use both these options with extreme care!" ]; txt " There is no “undo” "
+ txt "for these actions; if you change your mind, you will have to recreate what you have deleted."
+ ]
+ ]
+ |> pageWithTitle "How It Works: Accounts"
+
+ /// Job listings help page
+ let listings =
+ [ backToIndex
+ p [] [
+ span [ _class "fst-italic" ] [
+ txt "On this page: "
+ a [ _href "#creating" ] [ txt "Creating a Job Listing" ]; txt " • "
+ a [ _href "#maintaining" ] [ txt "Maintaining" ]; txt " • "
+ a [ _href "#searching" ] [ txt "Searching" ]
+ ]
+ ]
+
+ h4 [ _id "creating"; mainHeading ] [ txt "Creating a Job Listing" ]
+ p [] [
+ txt "The "; span [ linkedPage] [ txt "My Job Listings" ]; txt " page shows all of the job listings you "
+ txt "have created. To add a new one, click the "; span [ actionButton] [ txt "Add a New Listing" ]
+ txt " button. This page allows you to specify a title for the listing; the continent and region; "
+ txt "whether it is a remote opportunity; the date by which a job needs to be filled; and a full "
+ txt "description of the position, using "; a [ _href "/how-it-works#markdown" ] [ txt "Markdown" ]
+ txt ". Once you save the listing, it will be visible to the other citizens here."
+ ]
+
+ h4 [ _id "maintaining"; mainHeading ] [ txt "Maintaining and Sharing Your Job Listings" ]
+ p [] [
+ txt "The "; span [ linkedPage] [ txt "My Job Listings" ]; txt " page will show you all of your active "
+ txt "job listings just below the "; span [ actionButton] [ txt "Add a Job Listing" ]; txt " button. "
+ txt "Within this table, you can edit the listing, view it, or expire it (more on that below). The "
+ span [ linkedPage] [ txt "View" ]; txt " link will show you the job listing just as other users will "
+ txt "see it. You can share the link from your browser, and other Jobs, Jobs, Jobs users will be able "
+ txt "to log on and view it."
+ ]
+
+ h5 [] [ txt "Expire a Job Listing" ]
+ p [] [
+ txt "Once the job is filled, or the opportunity has passed, you will want to expire the listing; this "
+ txt "is what the "; span [ linkedPage] [ txt "Expire" ]; txt " link allows you to do. When you click "
+ txt "it, you will be presented with a single question – was the job filled due to its listing "
+ txt "here? If not, leave that blank, click the "; span [ actionButton] [ txt "Expire" ]; txt " button, "
+ txt "and the listing will be expired. If you click that box, though, another Markdown editor will "
+ txt "appear, where you can share a story of the experience. This is not required, but if you put text "
+ txt "there, it will be recorded as a Success Story, and other users will be able to read about your "
+ txt "success."
+ ]
+ p [] [
+ txt "Once you have at least one expired job listing, the "; span [ linkedPage] [ txt "My Job Listing" ]
+ txt " page will have a new section below your active listings, where you can see your expired ones. "
+ txt "You can still view the expired listing, and links that you may have shared will still pull up the "
+ txt "listing; there will be an “expired” label beside the title, so that whoever is "
+ txt "viewing it knows that they are reading about a job that is no longer available."
+ ]
+
+ h4 [ _id "searching"; mainHeading] [ txt "Searching Job Listings" ]
+ p [] [
+ txt "Active job listings are found on the "; span [ linkedPage ] [ txt "Help Wanted!" ]; txt " page. "
+ txt "When you first bring up this page, you will see several criteria by which you can narrow your "
+ txt "results, though none are required. When you click the "; span [ actionButton ] [ txt "Search" ]
+ txt " button, you will see open job listings filtered by whatever criteria you specified. Each job "
+ txt "displays its title, its location, whether it is a remote opportunity, and (if specified) the date "
+ txt "by which the job needs to be filled."
+ ]
+ p [] [
+ txt "Clicking the "; span [ linkedPage] [ txt "View" ]; txt " link on a listing brings up the full "
+ txt "view page for a listing. This page displays all of the information from the search results, along "
+ txt "with the citizen who posted it, and the full details of the job. All the citizen’s contact "
+ txt "information is displayed, and you can use any of these means to get in touch with them to inquire "
+ txt "about the position."
+ ]
+ ]
+ |> pageWithTitle "How It Works: Job Listings"
+
+ /// Profile help page
+ let profiles =
+ [ backToIndex
+ p [] [
+ span [ _class "fst-italic" ] [
+ txt "On this page: "
+ a [ _href "#creating" ] [ txt "Creating and Editing Your Employment Profile" ]
+ txt " • "; a [ _href "#searching" ] [ txt "Searching" ]; txt " • "
+ a [ _href "#viewing" ] [ txt "Viewing, Printing, and Sharing" ]; txt " • "
+ a [ _href "#finding" ] [ txt "Finding Employment" ]
+ ]
+ ]
+
+ h4 [ _id "creating"; mainHeading ] [ txt "Creating and Editing Your Employment Profile" ]
+ p [] [
+ txt "The employment profile is your résumé, visible to other citizens here. On your "
+ txt "dashboard, there we be either a "; span [ actionButton ] [ txt "Create Profile" ]; txt " or an "
+ span [ actionButton ] [ txt "Edit Profile" ]; txt " button, depending on whether you have a profile "
+ txt "established yet. There is also a "; span [ linkedPage ] [ txt "My Employment Profile" ]
+ txt " entry in the menu when you are logged on."
+ ]
+ p [] [
+ txt "The employment profile itself is divided into three sections, and the main edit page serves as a "
+ txt "menu for them. If you have a profile established, there is a button labeled "
+ span [ actionButton ] [ txt "View Your Employment Profile" ]; txt " which will show you your profile "
+ txt "the way other users will see it."
+ ]
+
+ h5 [] [ txt "General Information" ]
+ p [] [
+ txt "The "; span [ linkedPage ] [ txt "General Information" ]; txt " section of the Employment Profile "
+ txt "contains the following fields:"
+ ]
+ ul [] [
+ li [] [
+ strong [] [ txt "Continent" ]; txt " (required): The continent on which you most frequently reside"
+ ]
+ li [] [
+ strong [] [ txt "Region" ]; txt " (required): A smaller geographic area within the continent you "
+ txt "selected. This is free-form text; describe it as narrowly or broadly as you like."
+ ]
+ li [] [
+ strong [] [ txt "Three Yes/No Questions" ]; txt ": If you are actively seeking work, check the "
+ txt "“I am currently seeking employment” box; if you are interested in full-time or "
+ txt "remote work, check those boxes. Leaving them unchecked implies “No”."
+ ]
+ li [] [
+ strong [] [ txt "Professional Biography" ]; txt " (required): Your description of what type of job "
+ txt "you are seeking, an overview of your professional history, etc. This is the main "
+ txt "résumé portion of the profile. It supports "
+ a [ _href "/how-it-works#markdown" ] [ txt "Markdown" ]; txt " formatting, which allows you to add "
+ txt "headings, bold/emphasized text, links, etc."
+ ]
+ li [] [
+ strong [] [ txt "Experience" ]; txt ": This Markdown block will be placed at the bottom of the "
+ txt "employment profile, below your skills and employment history. It is optional (as are skills "
+ txt "and employment history). This area can be omitted; used to display skills or employment "
+ txt "history in a different way than this application provides; or used to provide a closing "
+ txt "appeal, the text “References available upon request”, or any other information "
+ txt "you want displayed at the bottom of your profile."
+ ]
+ li [] [
+ strong [] [ txt "Visibility" ]; txt " (required):"
+ ul [] [
+ li [] [
+ em [] [ txt "Hidden" ]; txt " will restrict your profile to yourself only; this "
+ txt "can be used while you are initially building your profile, or to remove your profile "
+ txt "from search results without deleting it."
+ ]
+ li [] [
+ em [] [ txt "Private" ]; txt " (the default) will restrict your profile to logged-on users "
+ txt "of this community."
+ ]
+ li [] [
+ em [] [ txt "Anonymous"]; txt " will allow your continent, region, and skills to be "
+ txt "displayed in public searches, without linking to your profile or disclosing any "
+ txt "additional information."
+ ]
+ li [] [
+ em [] [ txt "Public" ]; txt " will allow public users to search, view, and print your "
+ txt "profile, just as you or logged-on users can. It also allows you to share the link to "
+ txt "your employment profile with the general public."
+ ]
+ ]
+ ]
+ ]
+
+ h5 [] [ txt "Skills" ]
+ p [] [
+ txt "The "; span [ linkedPage ] [ txt "Skills" ]; txt " section allows you to record skills you have "
+ txt "obtained. Each skill has an associated “Notes” field, which can be used to document "
+ txt "your level of proficiency, years practiced, etc. Skills will be sorted alphabetically, and "
+ txt "displayed in the profile just below the “Professional Biography”."
+ ]
+ p [] [
+ txt "Note that if you select “Anonymous” visibility, what you enter in these fields will "
+ txt "visible in public search results. In this case, be sure to omit any identifying information from "
+ txt "either field."
+ ]
+
+ h5 [] [ txt "Employment History" ]
+ p [] [
+ txt "The "; span [ linkedPage ] [ txt "Employment History" ]; txt " section allows you to record a "
+ txt "chronological listing of your previous or current employment. This section is sorted descendingly "
+ txt "(most recent first) by end date, with ongoing jobs listed first. If any entries are present, "
+ txt "they will be displayed below the list of skills (or below the “Professional "
+ txt "Biography”, if no skills are present)."
+ ]
+ p [] [
+ txt "Each employment history entry consists of the following fields:"
+ ]
+ ul [] [
+ li [] [
+ strong [] [ txt "Employer" ]; txt " (required): The name of the entity by which you were employed"
+ ]
+ li [] [
+ strong [] [ txt "Title or Position" ]; txt " (required): The title or job position you held with "
+ txt "the employer, usually the most recent or senior"
+ ]
+ li [] [
+ strong [] [ txt "Start Date" ]; txt " (required): The date you began this period of employment. "
+ txt "While you will see a full calendar, only the month and year will be displayed on the "
+ txt "employment profile, so you may select any day within the month."
+ ]
+ li [] [
+ strong [] [ txt "End Date" ]; txt ": The date you ended this period of employment. As with the "
+ txt "“Start Date” field, it will only display month and year. Also, if you still have "
+ txt "this job, leave this blank, and “to Present” will be displayed for the end date."
+ ]
+ li [] [
+ strong [] [ txt "Description" ]; txt ": An optional description of your employment. This field "
+ txt "supports Markdown, and will appear below the employer, position, and dates if present."
+ ]
+ ]
+
+ h4 [ _id "searching"; mainHeading ] [ txt "Searching Employment Profiles" ]
+
+ h5 [] [ txt "Search Criteria" ]
+ p [] [
+ txt "The "; span [ linkedPage ] [ txt "Job Seekers" ]; txt " page and its search form is the same "
+ txt "whether there is a user logged on or not; however, the results are different. There are three "
+ txt "sections to the search form. "; strong [] [ txt "Continent" ]; txt " will select profiles from "
+ txt "the selected continent, while "; strong [] [ txt "Seeking Remote Work?" ]; txt " will select "
+ txt "profiles based whether the citizen has selected remote work in their profile. "
+ strong [] [ txt "Text Search" ]; txt " will search several aspects of the employment profile for "
+ txt "matches; it is case-insensitive and will match using English stemming rules (ex. searching for "
+ txt "“force” will match words like “force”, “forced”, or "
+ txt "“forcing”)."
+ ]
+ p [] [
+ txt "If more than one field has a value selected, profiles must match all of those selections to be "
+ txt "returned. Additionally, “Hidden” profiles will never be returned in searches, and "
+ txt "if no user is logged on, only “Public” and “Anonymous” profiles will be "
+ txt "considered as candidates for search results."
+ ]
+
+ h5 [] [ txt "Search Results" ]
+ p [] [
+ txt "If the visibility of the profile allows you to view it, the first column will contain a "
+ span [ linkedPage ] [ txt "View" ]; txt " link. The remaining columns will display other attributes "
+ txt "of the employment profile. In public search results for profiles with “Anonymous” "
+ txt "visibility, the last column of the search results will show the citizen’s skills."
+ ]
+
+ h4 [ _id "viewing"; mainHeading ] [ txt "Viewing, Printing, and Sharing Employment Profiles" ]
+ p [] [
+ txt "An employment profile can be viewed via the "; span [ linkedPage ] [ txt "View" ]; txt " link in "
+ txt "search results, and logged-on users can find this view via the "
+ span [ actionButton ] [ txt "View Your Employment Profile" ]; txt " button on the "
+ span [ linkedPage ] [ txt "My Employment Profile" ]; txt " page. The profile view page displays the "
+ txt "following information in order:"
+ ]
+ ul [] [
+ li [] [
+ txt "Display Name "; em [] [ txt "(with a tag if the citizen is actively seeking employment)" ]
+ ]
+ li [] [ txt "Continent / Region" ]
+ li [] [ txt "Contact Information "; em [] [ txt "(only public items if viewing publicly)" ] ]
+ li [] [ txt "Remote / Full-Time selections" ]
+ li [] [ txt "Professional Biography" ]
+ li [] [ txt "Skill list" ]
+ li [] [ txt "Employment History" ]
+ li [] [ txt "Experience" ]
+ ]
+ p [] [
+ txt "If a user is logged on and is viewing their own profile, there will be an "
+ span [ actionButton ] [ txt "Edit Your Profile" ]; txt " button at the bottom of the page. Either way, "
+ txt "there will also be a "; span [ actionButton ] [ txt "View Print Version" ]; txt " button that "
+ txt "will open a printable version in a new browser tab. This version is constructed the same way as "
+ txt "the previous page; however, contact information will be fully displayed rather than linked. There "
+ txt "will be no menu, header, or footer on the page, but there will be a "
+ span [ actionButton ] [ txt "Print" ]; txt " button at the bottom of the page, which will not show on "
+ txt "the actual printed version."
+ ]
+ p [] [
+ txt "Both the view and print versions may be shared by copying the full URL from the browser’s "
+ txt "address bar. When using this URL, “Public” visibility profiles will display for "
+ txt "anyone, while “Anonymous” and “Private” visibility profiles will require "
+ txt "a citizen to log on first. “Hidden” visibility profiles will return a “page not "
+ txt "found” error for anyone other than the citizen to which they belong."
+ ]
+
+ h4 [ _id "finding"; mainHeading ] [ txt "Finding Employment" ]
+ p [] [
+ txt "If your profile indicates that you are seeking employment, and you secure employment, you will "
+ txt "want to update that (and – congratulations!). From both the "
+ span [ linkedPage ] [ txt "Dashboard" ]; txt " and the "
+ span [ linkedPage ] [ txt "General Information" ]; txt " Employment Profile pages, you will see a link "
+ txt "that encourages you to tell us about it. Click either of those links, and you will be brought to "
+ txt "a page that allows you to indicate whether your employment actually came from hosting your "
+ txt "employment profile on Jobs, Jobs, Jobs, and gives you a place to write about the experience. "
+ txt "These stories are only viewable by logged-on citizens, so feel free to use as much (or as little) "
+ txt "identifying information as you’d like. You can also submit this page with all the fields "
+ txt "blank; in that case, your “Seeking Employment” flag is cleared, and the blank story "
+ txt "is recorded."
+ ]
+ p [] [
+ txt "As a validated user, you can also view others’ success stories from both their employment "
+ txt "profiles or job listings. Clicking "; span [ linkedPage ] [ txt "Success Stories" ]; txt " in the "
+ txt "sidebar will display a list of all the stories that have been recorded. If there is a story to be "
+ txt "read, there will be a link to read it; if you submitted the story, there will also be an "
+ span [ linkedPage ] [ txt "Edit" ]; txt " link."
+ ]
+ ]
+ |> pageWithTitle "How It Works: Employment Profiles"
+
+ /// Online help / documentation index page
+ let index =
+ article [] [
+ h3 [ _class "mb-0" ] [ txt "How It Works" ]
+ h6 [ _class "mb-3 text-muted fst-italic" ] [ txt "Last Updated January 22nd, 2023" ]
+
+ p [ _class "fst-italic" ] [
+ txt "Show me how to "; a [ _href "/how-it-works/listings#searching" ] [ txt "find a job" ]
+ txt " • "; a [ _href "/how-it-works/listings#creating" ] [ txt "list a job opportunity" ]
+ txt " • "; a [ _href "/how-it-works/profiles#searching" ] [ txt "find people to hire" ]
+ txt " • "; a [ _href "/how-it-works/profiles#creating" ] [ txt "create an employment profile" ]
+ ]
+
+ p [] [
+ strong [] [ a [ _href "/how-it-works/accounts" ] [ txt "Accounts" ] ]; br []
+ txt "How to sign up as a user, get logged on, update your information, or remove your account"
+ ]
+ p [] [
+ strong [] [ a [ _href "/how-it-works/listings" ] [ txt "Job Listings" ] ]; br []
+ txt "Creating, maintaining, and sharing job opportunities with fellow citizens"
+ ]
+ p [] [
+ strong [] [ a [ _href "/how-it-works/profiles" ] [ txt "Employment Profiles" ] ]; br []
+ txt "Creating, updating, and sharing your own employment profile; and searching, viewing, and printing "
+ txt "profiles for yourself or your fellow citizens"
+ ]
+
+ h4 [ _id "markdown"; mainHeading ] [ txt "A Bit about Markdown" ]
+ p [] [
+ txt "Markdown is a plain-text way to specify formatting quite similar to that provided by word processors. "
+ txt "The "
+ a [ _href "https://daringfireball.net/projects/markdown/"; _target "_blank"; _rel "noopener" ] [
+ txt "original page"
+ ]; txt " for the project is a good overview of its capabilities, and the pages at "
+ a [ _href "https://www.markdownguide.org/"; _target "_blank"; _rel "noopener" ] [ txt "Markdown Guide" ]
+ txt " give in-depth lessons to make the most of this language. The version of Markdown employed here "
+ txt "supports many popular extensions, include smart quotes (turning "a quote" into “a "
+ txt "quote”), tables, super/subscripts, and more."
+ ]
+
+ h4 [ mainHeading ] [ txt "Help / Suggestions" ]
+ p [] [
+ txt "This is open-source software "
+ a [ _href "https://github.com/bit-badger/jobs-jobs-jobs"; _target "_blank"; _rel "noopener" ] [
+ txt "developed on Github"
+ ]; txt "; feel free to "
+ a [ _href "https://github.com/bit-badger/jobs-jobs-jobs/issues"; _target "_blank"; _rel "noopener" ] [
+ txt "create an issue there"
+ ]; txt ", or look up @danieljsummers on No Agenda Social."
+ ]
+ ]
+
diff --git a/src/JobsJobsJobs/JobsJobsJobs.V3Migration/JobsJobsJobs.V3Migration.fsproj b/src/JobsJobsJobs/JobsJobsJobs.V3Migration/JobsJobsJobs.V3Migration.fsproj
new file mode 100644
index 0000000..c380f67
--- /dev/null
+++ b/src/JobsJobsJobs/JobsJobsJobs.V3Migration/JobsJobsJobs.V3Migration.fsproj
@@ -0,0 +1,23 @@
+
+
+
+ Exe
+ true
+ false
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/src/JobsJobsJobs/JobsJobsJobs.V3Migration/Program.fs b/src/JobsJobsJobs/JobsJobsJobs.V3Migration/Program.fs
new file mode 100644
index 0000000..23dde0d
--- /dev/null
+++ b/src/JobsJobsJobs/JobsJobsJobs.V3Migration/Program.fs
@@ -0,0 +1,217 @@
+
+open System.Text.Json
+open Microsoft.Extensions.Configuration
+
+/// Data access for v2 Jobs, Jobs, Jobs
+module Rethink =
+
+ /// Table names
+ []
+ module Table =
+ /// The user (citizen of Gitmo Nation) table
+ let Citizen = "citizen"
+ /// The continent table
+ let Continent = "continent"
+ /// The job listing table
+ let Listing = "listing"
+ /// The citizen employment profile table
+ let Profile = "profile"
+ /// The success story table
+ let Success = "success"
+ /// All tables
+ let all () = [ Citizen; Continent; Listing; Profile; Success ]
+
+ open RethinkDb.Driver.Net
+
+ /// Functions run at startup
+ []
+ module Startup =
+
+ open NodaTime
+ open NodaTime.Serialization.JsonNet
+ open RethinkDb.Driver.FSharp
+
+ /// Create a RethinkDB connection
+ let createConnection (connStr : string) =
+ // Add all required JSON converters
+ Converter.Serializer.ConfigureForNodaTime DateTimeZoneProviders.Tzdb |> ignore
+ // Connect to the database
+ let config = DataConfig.FromUri connStr
+ config.CreateConnection ()
+
+/// Shorthand for the RethinkDB R variable (how every command starts)
+let r = RethinkDb.Driver.RethinkDB.R
+
+open JobsJobsJobs
+open JobsJobsJobs.Common.Data
+open JobsJobsJobs.Domain
+open Newtonsoft.Json.Linq
+open NodaTime.Text
+open Npgsql.FSharp
+open RethinkDb.Driver.FSharp.Functions
+
+/// Retrieve an instant from a JObject field
+let getInstant (doc : JObject) name =
+ let text = doc[name].Value ()
+ match InstantPattern.General.Parse text with
+ | it when it.Success -> it.Value
+ | _ ->
+ match InstantPattern.ExtendedIso.Parse text with
+ | it when it.Success -> it.Value
+ | it -> raise it.Exception
+
+task {
+ // Establish database connections
+ let cfg = ConfigurationBuilder().AddJsonFile("appsettings.Migration.json").Build ()
+ use rethinkConn = Rethink.Startup.createConnection (cfg.GetConnectionString "RethinkDB")
+ do! setUp cfg
+ let pgConn = dataSource ()
+
+ let getOld table =
+ fromTable table
+ |> runResult
+ |> withRetryOnce
+ |> withConn rethinkConn
+
+ // Migrate citizens
+ let! oldCitizens = getOld Rethink.Table.Citizen
+ let newCitizens =
+ oldCitizens
+ |> List.map (fun c ->
+ let user = c["mastodonUser"].Value ()
+ { Citizen.empty with
+ Id = CitizenId.ofString (c["id"].Value ())
+ JoinedOn = getInstant c "joinedOn"
+ LastSeenOn = getInstant c "lastSeenOn"
+ Email = $"""{user}@{c["instance"].Value ()}"""
+ FirstName = user
+ LastName = user
+ IsLegacy = true
+ })
+ for citizen in newCitizens do
+ do! Citizens.Data.save citizen
+ let! _ =
+ pgConn
+ |> Sql.executeTransactionAsync [
+ $"INSERT INTO {Table.SecurityInfo} VALUES (@id, @data)",
+ newCitizens |> List.map (fun c ->
+ let info = { SecurityInfo.empty with Id = c.Id; AccountLocked = true }
+ [ "@id", Sql.string (CitizenId.toString c.Id)
+ "@data", Sql.jsonb (JsonSerializer.Serialize (info, Json.options))
+ ])
+ ]
+ printfn $"** Migrated {List.length newCitizens} citizens"
+
+ // Migrate continents
+ let! oldContinents = getOld Rethink.Table.Continent
+ let newContinents =
+ oldContinents
+ |> List.map (fun c ->
+ { Continent.empty with
+ Id = ContinentId.ofString (c["id"].Value ())
+ Name = c["name"].Value ()
+ })
+ let! _ =
+ pgConn
+ |> Sql.executeTransactionAsync [
+ $"INSERT INTO {Table.Continent} VALUES (@id, @data)",
+ newContinents |> List.map (fun c -> [
+ "@id", Sql.string (ContinentId.toString c.Id)
+ "@data", Sql.jsonb (JsonSerializer.Serialize (c, Json.options))
+ ])
+ ]
+ printfn $"** Migrated {List.length newContinents} continents"
+
+ // Migrate profiles
+ let! oldProfiles = getOld Rethink.Table.Profile
+ let newProfiles =
+ oldProfiles
+ |> List.map (fun p ->
+ let experience = p["experience"].Value ()
+ { Profile.empty with
+ Id = CitizenId.ofString (p["id"].Value ())
+ ContinentId = ContinentId.ofString (p["continentId"].Value ())
+ Region = p["region"].Value ()
+ IsSeekingEmployment = p["seekingEmployment"].Value ()
+ IsRemote = p["remoteWork"].Value ()
+ IsFullTime = p["fullTime"].Value ()
+ Biography = Text (p["biography"].Value ())
+ Experience = if isNull experience then None else Some (Text experience)
+ Skills = p["skills"].Children()
+ |> Seq.map (fun s ->
+ let notes = s["notes"].Value ()
+ { Description = s["description"].Value ()
+ Notes = if isNull notes then None else Some notes
+ })
+ |> List.ofSeq
+ Visibility = if p["isPublic"].Value () then Anonymous else Private
+ LastUpdatedOn = getInstant p "lastUpdatedOn"
+ IsLegacy = true
+ })
+ for profile in newProfiles do
+ do! Profiles.Data.save profile
+ printfn $"** Migrated {List.length newProfiles} profiles"
+
+ // Migrate listings
+ let! oldListings = getOld Rethink.Table.Listing
+ let newListings =
+ oldListings
+ |> List.map (fun l ->
+ let neededBy = l["neededBy"].Value ()
+ let wasFilledHere = l["wasFilledHere"].Value ()
+ { Listing.empty with
+ Id = ListingId.ofString (l["id"].Value ())
+ CitizenId = CitizenId.ofString (l["citizenId"].Value ())
+ CreatedOn = getInstant l "createdOn"
+ Title = l["title"].Value ()
+ ContinentId = ContinentId.ofString (l["continentId"].Value ())
+ Region = l["region"].Value ()
+ IsRemote = l["remoteWork"].Value ()
+ IsExpired = l["isExpired"].Value ()
+ UpdatedOn = getInstant l "updatedOn"
+ Text = Text (l["text"].Value ())
+ NeededBy = if isNull neededBy then None else
+ match LocalDatePattern.Iso.Parse neededBy with
+ | it when it.Success -> Some it.Value
+ | it ->
+ eprintfn $"Error parsing date - {it.Exception.Message}"
+ None
+ WasFilledHere = if isNull wasFilledHere then None else Some (bool.Parse wasFilledHere)
+ IsLegacy = true
+ })
+ for listing in newListings do
+ do! Listings.Data.save listing
+ printfn $"** Migrated {List.length newListings} listings"
+
+ // Migrate success stories
+ let! oldSuccesses = getOld Rethink.Table.Success
+ let newSuccesses =
+ oldSuccesses
+ |> List.map (fun s ->
+ let story = s["story"].Value ()
+ { Success.empty with
+ Id = SuccessId.ofString (s["id"].Value ())
+ CitizenId = CitizenId.ofString (s["citizenId"].Value ())
+ RecordedOn = getInstant s "recordedOn"
+ Source = s["source"].Value ()
+ Story = if isNull story then None else Some (Text story)
+ })
+ for success in newSuccesses do
+ do! SuccessStories.Data.save success
+ printfn $"** Migrated {List.length newSuccesses} successes"
+
+ // Delete any citizens who have no profile, no listing, and no success story recorded
+ let! deleted =
+ pgConn
+ |> Sql.query $"
+ DELETE FROM {Table.Citizen}
+ WHERE id NOT IN (SELECT id FROM {Table.Profile})
+ AND id NOT IN (SELECT DISTINCT data ->> 'citizenId' FROM {Table.Listing})
+ AND id NOT IN (SELECT DISTINCT data ->> 'citizenId' FROM {Table.Success})"
+ |> Sql.executeNonQueryAsync
+ printfn $"** Deleted {deleted} citizens who had no profile, listings, or success stories"
+
+ printfn ""
+ printfn "Migration complete"
+} |> Async.AwaitTask |> Async.RunSynchronously
+
diff --git a/src/JobsJobsJobs/Listings/Data.fs b/src/JobsJobsJobs/Listings/Data.fs
new file mode 100644
index 0000000..f7f0529
--- /dev/null
+++ b/src/JobsJobsJobs/Listings/Data.fs
@@ -0,0 +1,69 @@
+module JobsJobsJobs.Listings.Data
+
+open JobsJobsJobs.Common.Data
+open JobsJobsJobs.Domain
+open JobsJobsJobs.Listings.Domain
+open Npgsql.FSharp
+
+/// The SQL to select a listing view
+let viewSql =
+ $"SELECT l.*, c.data ->> 'name' AS continent_name, u.data AS cit_data
+ FROM {Table.Listing} l
+ INNER JOIN {Table.Continent} c ON c.id = l.data ->> 'continentId'
+ INNER JOIN {Table.Citizen} u ON u.id = l.data ->> 'citizenId'"
+
+/// Map a result for a listing view
+let private toListingForView row =
+ { Listing = toDocument row
+ ContinentName = row.string "continent_name"
+ Citizen = toDocumentFrom "cit_data" row
+ }
+
+/// Find all job listings posted by the given citizen
+let findByCitizen citizenId =
+ dataSource ()
+ |> Sql.query $"{viewSql} WHERE l.data ->> 'citizenId' = @citizenId AND l.data ->> 'isLegacy' = 'false'"
+ |> Sql.parameters [ "@citizenId", Sql.string (CitizenId.toString citizenId) ]
+ |> Sql.executeAsync toListingForView
+
+/// Find a listing by its ID
+let findById listingId = backgroundTask {
+ match! dataSource () |> getDocument Table.Listing (ListingId.toString listingId) with
+ | Some listing when not listing.IsLegacy -> return Some listing
+ | Some _
+ | None -> return None
+}
+
+/// Find a listing by its ID for viewing (includes continent information)
+let findByIdForView listingId = backgroundTask {
+ let! tryListing =
+ dataSource ()
+ |> Sql.query $"{viewSql} WHERE l.id = @id AND l.data ->> 'isLegacy' = 'false'"
+ |> Sql.parameters [ "@id", Sql.string (ListingId.toString listingId) ]
+ |> Sql.executeAsync toListingForView
+ return List.tryHead tryListing
+}
+
+/// Save a listing
+let save (listing : Listing) =
+ dataSource () |> saveDocument Table.Listing (ListingId.toString listing.Id) <| mkDoc listing
+
+/// Search job listings
+let search (search : ListingSearchForm) =
+ let searches = [
+ if search.ContinentId <> "" then
+ "l.data ->> 'continentId' = @continentId", [ "@continentId", Sql.string search.ContinentId ]
+ if search.Region <> "" then
+ "l.data ->> 'region' ILIKE @region", [ "@region", like search.Region ]
+ if search.RemoteWork <> "" then
+ "l.data ->> 'isRemote' = @remote", [ "@remote", jsonBool (search.RemoteWork = "yes") ]
+ if search.Text <> "" then
+ "l.data ->> 'text' ILIKE @text", [ "@text", like search.Text ]
+ ]
+ dataSource ()
+ |> Sql.query $"
+ {viewSql}
+ WHERE l.data ->> 'isExpired' = 'false' AND l.data ->> 'isLegacy' = 'false'
+ {searchSql searches}"
+ |> Sql.parameters (searches |> List.collect snd)
+ |> Sql.executeAsync toListingForView
diff --git a/src/JobsJobsJobs/Listings/Domain.fs b/src/JobsJobsJobs/Listings/Domain.fs
new file mode 100644
index 0000000..a69d2ad
--- /dev/null
+++ b/src/JobsJobsJobs/Listings/Domain.fs
@@ -0,0 +1,94 @@
+module JobsJobsJobs.Listings.Domain
+
+open JobsJobsJobs.Domain
+
+/// The data required to add or edit a job listing
+[]
+type EditListingForm =
+ { /// The ID of the listing
+ Id : string
+
+ /// The listing title
+ Title : string
+
+ /// The ID of the continent on which this opportunity exists
+ ContinentId : string
+
+ /// The region in which this opportunity exists
+ Region : string
+
+ /// Whether this is a remote work opportunity
+ RemoteWork : bool
+
+ /// The text of the job listing
+ Text : string
+
+ /// The date by which this job listing is needed
+ NeededBy : string
+ }
+
+/// Support functions to support listings
+module EditListingForm =
+
+ open NodaTime.Text
+
+ /// Create a listing form from an existing listing
+ let fromListing (listing : Listing) theId =
+ let neededBy =
+ match listing.NeededBy with
+ | Some dt -> (LocalDatePattern.CreateWithCurrentCulture "yyyy-MM-dd").Format dt
+ | None -> ""
+ { Id = theId
+ Title = listing.Title
+ ContinentId = ContinentId.toString listing.ContinentId
+ Region = listing.Region
+ RemoteWork = listing.IsRemote
+ Text = MarkdownString.toString listing.Text
+ NeededBy = neededBy
+ }
+
+
+/// The form submitted to expire a listing
+[]
+type ExpireListingForm =
+ { /// The ID of the listing to expire
+ Id : string
+
+ /// Whether the job was filled from here
+ FromHere : bool
+
+ /// The success story written by the user
+ SuccessStory : string
+ }
+
+
+/// The data needed to display a listing
+[]
+type ListingForView =
+ { /// The listing itself
+ Listing : Listing
+
+ /// The name of the continent for the listing
+ ContinentName : string
+
+ /// The citizen who owns the listing
+ Citizen : Citizen
+ }
+
+
+/// The various ways job listings can be searched
+[]
+type ListingSearchForm =
+ { /// Retrieve job listings for this continent
+ ContinentId : string
+
+ /// Text for a search within a region
+ Region : string
+
+ /// Whether to retrieve job listings for remote work
+ RemoteWork : string
+
+ /// Text for a search with the job listing description
+ Text : string
+ }
+
diff --git a/src/JobsJobsJobs/Listings/Handlers.fs b/src/JobsJobsJobs/Listings/Handlers.fs
new file mode 100644
index 0000000..5ed3422
--- /dev/null
+++ b/src/JobsJobsJobs/Listings/Handlers.fs
@@ -0,0 +1,163 @@
+module JobsJobsJobs.Listings.Handlers
+
+open System
+open Giraffe
+open JobsJobsJobs
+open JobsJobsJobs.Common.Handlers
+open JobsJobsJobs.Domain
+open JobsJobsJobs.Listings.Domain
+open NodaTime
+
+/// Parse the string we receive from JSON into a NodaTime local date
+let private parseDate = DateTime.Parse >> LocalDate.FromDateTime
+
+// GET: /listing/[id]/edit
+let edit listId : HttpHandler = requireUser >=> fun next ctx -> task {
+ let citizenId = currentCitizenId ctx
+ let! theListing = task {
+ match listId with
+ | "new" -> return Some { Listing.empty with CitizenId = citizenId }
+ | _ -> return! Data.findById (ListingId.ofString listId)
+ }
+ match theListing with
+ | Some listing when listing.CitizenId = citizenId ->
+ let! continents = Common.Data.Continents.all ()
+ return!
+ Views.edit (EditListingForm.fromListing listing listId) continents (listId = "new") (isHtmx ctx) (csrf ctx)
+ |> render $"""{if listId = "new" then "Add a" else "Edit"} Job Listing""" next ctx
+ | Some _ -> return! Error.notAuthorized next ctx
+ | None -> return! Error.notFound next ctx
+}
+
+// GET: /listing/[id]/expire
+let expire listingId : HttpHandler = requireUser >=> fun next ctx -> task {
+ match! Data.findById (ListingId listingId) with
+ | Some listing when listing.CitizenId = currentCitizenId ctx ->
+ if listing.IsExpired then
+ do! addError $"The listing “{listing.Title}” is already expired" ctx
+ return! redirectToGet "/listings/mine" next ctx
+ else
+ let form = { Id = ListingId.toString listing.Id; FromHere = false; SuccessStory = "" }
+ return! Views.expire form listing (isHtmx ctx) (csrf ctx) |> render "Expire Job Listing" next ctx
+ | Some _ -> return! Error.notAuthorized next ctx
+ | None -> return! Error.notFound next ctx
+}
+
+// POST: /listing/expire
+let doExpire : HttpHandler = requireUser >=> validateCsrf >=> fun next ctx -> task {
+ let citizenId = currentCitizenId ctx
+ let now = now ctx
+ let! form = ctx.BindFormAsync ()
+ match! Data.findById (ListingId.ofString form.Id) with
+ | Some listing when listing.CitizenId = citizenId ->
+ if listing.IsExpired then
+ return! RequestErrors.BAD_REQUEST "Request is already expired" next ctx
+ else
+ do! Data.save
+ { listing with
+ IsExpired = true
+ WasFilledHere = Some form.FromHere
+ UpdatedOn = now
+ }
+ if form.SuccessStory <> "" then
+ do! SuccessStories.Data.save
+ { Id = SuccessId.create()
+ CitizenId = citizenId
+ RecordedOn = now
+ IsFromHere = form.FromHere
+ Source = "listing"
+ Story = (Text >> Some) form.SuccessStory
+ }
+ let extraMsg = if form.SuccessStory <> "" then " and success story recorded" else ""
+ do! addSuccess $"Job listing expired{extraMsg} successfully" ctx
+ return! redirectToGet "/listings/mine" next ctx
+ | Some _ -> return! Error.notAuthorized next ctx
+ | None -> return! Error.notFound next ctx
+}
+
+// GET: /listings/mine
+let mine : HttpHandler = requireUser >=> fun next ctx -> task {
+ let! listings = Data.findByCitizen (currentCitizenId ctx)
+ return! Views.mine listings (timeZone ctx) |> render "My Job Listings" next ctx
+}
+
+// POST: /listing/save
+let save : HttpHandler = requireUser >=> validateCsrf >=> fun next ctx -> task {
+ let citizenId = currentCitizenId ctx
+ let now = now ctx
+ let! form = ctx.BindFormAsync ()
+ let! theListing = task {
+ match form.Id with
+ | "new" ->
+ return Some
+ { Listing.empty with
+ Id = ListingId.create ()
+ CitizenId = currentCitizenId ctx
+ CreatedOn = now
+ IsExpired = false
+ WasFilledHere = None
+ IsLegacy = false
+ }
+ | _ -> return! Data.findById (ListingId.ofString form.Id)
+ }
+ match theListing with
+ | Some listing when listing.CitizenId = citizenId ->
+ do! Data.save
+ { listing with
+ Title = form.Title
+ ContinentId = ContinentId.ofString form.ContinentId
+ Region = form.Region
+ IsRemote = form.RemoteWork
+ Text = Text form.Text
+ NeededBy = noneIfEmpty form.NeededBy |> Option.map parseDate
+ UpdatedOn = now
+ }
+ do! addSuccess $"""Job listing {if form.Id = "new" then "add" else "updat"}ed successfully""" ctx
+ return! redirectToGet $"/listing/{ListingId.toString listing.Id}/edit" next ctx
+ | Some _ -> return! Error.notAuthorized next ctx
+ | None -> return! Error.notFound next ctx
+
+}
+
+// GET: /help-wanted
+let search : HttpHandler = requireUser >=> fun next ctx -> task {
+ let! continents = Common.Data.Continents.all ()
+ let form =
+ match ctx.TryBindQueryString () with
+ | Ok f -> f
+ | Error _ -> { ContinentId = ""; Region = ""; RemoteWork = ""; Text = "" }
+ let! results = task {
+ if string ctx.Request.Query["searched"] = "true" then
+ let! it = Data.search form
+ return Some it
+ else return None
+ }
+ return! Views.search form continents results |> render "Help Wanted" next ctx
+}
+
+// GET: /listing/[id]/view
+let view listingId : HttpHandler = requireUser >=> fun next ctx -> task {
+ match! Data.findByIdForView (ListingId listingId) with
+ | Some listing -> return! Views.view listing |> render $"{listing.Listing.Title} | Job Listing" next ctx
+ | None -> return! Error.notFound next ctx
+}
+
+
+open Giraffe.EndpointRouting
+
+/// All endpoints for this feature
+let endpoints = [
+ GET_HEAD [ route "/help-wanted" search ]
+ subRoute "/listing" [
+ GET_HEAD [
+ route "s/mine" mine
+ routef "/%s/edit" edit
+ routef "/%O/expire" expire
+ routef "/%O/view" view
+ ]
+ POST [
+ route "/expire" doExpire
+ route "/save" save
+ ]
+ ]
+]
diff --git a/src/JobsJobsJobs/Listings/JobsJobsJobs.Listings.fsproj b/src/JobsJobsJobs/Listings/JobsJobsJobs.Listings.fsproj
new file mode 100644
index 0000000..d1a4eb8
--- /dev/null
+++ b/src/JobsJobsJobs/Listings/JobsJobsJobs.Listings.fsproj
@@ -0,0 +1,19 @@
+
+
+
+ net7.0
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/src/JobsJobsJobs/Listings/Views.fs b/src/JobsJobsJobs/Listings/Views.fs
new file mode 100644
index 0000000..729e534
--- /dev/null
+++ b/src/JobsJobsJobs/Listings/Views.fs
@@ -0,0 +1,234 @@
+/// Views for /profile URLs
+module JobsJobsJobs.Listings.Views
+
+open Giraffe.ViewEngine
+open JobsJobsJobs.Common.Views
+open JobsJobsJobs.Domain
+open JobsJobsJobs.Listings.Domain
+
+
+/// Job listing edit page
+let edit (m : EditListingForm) continents isNew isHtmx csrf =
+ form [ _class "row g-3"; _method "POST"; _action "/listing/save" ] [
+ antiForgery csrf
+ input [ _type "hidden"; _name (nameof m.Id); _value m.Id ]
+ div [ _class "col-12 col-sm-10 col-md-8 col-lg-6" ] [
+ textBox [ _type "text"; _maxlength "255"; _autofocus ] (nameof m.Title) m.Title "Title" true
+ div [ _class "form-text" ] [
+ txt "No need to put location here; it will always be show to seekers with continent and region"
+ ]
+ ]
+ div [ _class "col-12 col-sm-6 col-md-4" ] [
+ continentList [] (nameof m.ContinentId) continents None m.ContinentId true
+ ]
+ div [ _class "col-12 col-sm-6 col-md-8" ] [
+ textBox [ _type "text"; _maxlength "255" ] (nameof m.Region) m.Region "Region" true
+ div [ _class "form-text" ] [ txt "Country, state, geographic area, etc." ]
+ ]
+ div [ _class "col-12" ] [
+ checkBox [] (nameof m.RemoteWork) m.RemoteWork "This opportunity is for remote work"
+ ]
+ markdownEditor [ _required ] (nameof m.Text) m.Text "Job Description" isHtmx
+ div [ _class "col-12 col-md-4" ] [
+ textBox [ _type "date" ] (nameof m.NeededBy) m.NeededBy "Needed By" false
+ ]
+ div [ _class "col-12" ] [ submitButton "content-save-outline" "Save" ]
+ ]
+ |> List.singleton
+ |> pageWithTitle $"""{if isNew then "Add a" else "Edit"} Job Listing"""
+
+
+open System.Net
+
+/// Page to expire a job listing
+let expire (m : ExpireListingForm) (listing : Listing) isHtmx csrf =
+ [ p [ _class "fst-italic" ] [
+ txt "Expiring this listing will remove it from search results. You will be able to see it via your "
+ txt "“My Job Listings” page, but you will not be able to “un-expire” it."
+ ]
+ form [ _class "row g-3"; _method "POST"; _action "/listing/expire" ] [
+ antiForgery csrf
+ input [ _type "hidden"; _name (nameof m.Id); _value m.Id ]
+ div [ _class "col-12" ] [
+ checkBox [ _onclick "jjj.listing.toggleFromHere()" ] (nameof m.FromHere) m.FromHere
+ "This job was filled due to its listing here"
+ ]
+ div [ _class "col-12"; _id "successRow" ] [
+ p [] [
+ txt "Consider telling your fellow citizens about your experience! Comments entered here will be "
+ txt "visible to logged-on users here, but not to the general public."
+ ]
+ ]
+ markdownEditor [] (nameof m.SuccessStory) m.SuccessStory "Your Success Story" isHtmx
+ div [ _class "col-12" ] [ submitButton "text-box-remove-outline" "Expire Listing" ]
+ ]
+ jsOnLoad "jjj.listing.toggleFromHere()" isHtmx
+ ]
+ |> pageWithTitle $"Expire Job Listing ({WebUtility.HtmlEncode listing.Title})"
+
+
+/// "My Listings" page
+let mine (listings : ListingForView list) tz =
+ let active = listings |> List.filter (fun it -> not it.Listing.IsExpired)
+ let expired = listings |> List.filter (fun it -> it.Listing.IsExpired)
+ [ p [] [ a [ _href "/listing/new/edit"; _class "btn btn-outline-primary" ] [ txt "Add a New Job Listing" ] ]
+ if not (List.isEmpty expired) then h4 [ _class "pb-2" ] [ txt "Active Job Listings" ]
+ if List.isEmpty active then p [ _class "pb-3 fst-italic" ] [ txt "You have no active job listings" ]
+ else
+ table [ _class "pb-3 table table-sm table-hover pt-3" ] [
+ thead [] [
+ [ "Action"; "Title"; "Continent / Region"; "Created"; "Updated" ]
+ |> List.map (fun it -> th [ _scope "col" ] [ txt it ])
+ |> tr []
+ ]
+ active
+ |> List.map (fun it ->
+ let listId = ListingId.toString it.Listing.Id
+ tr [] [
+ td [] [
+ a [ _href $"/listing/{listId}/edit" ] [ txt "Edit" ]; txt " ~ "
+ a [ _href $"/listing/{listId}/view" ] [ txt "View" ]; txt " ~ "
+ a [ _href $"/listing/{listId}/expire" ] [ txt "Expire" ]
+ ]
+ td [] [ str it.Listing.Title ]
+ td [] [ str it.ContinentName; rawText " / "; str it.Listing.Region ]
+ td [] [ str (fullDateTime it.Listing.CreatedOn tz) ]
+ td [] [ str (fullDateTime it.Listing.UpdatedOn tz) ]
+ ])
+ |> tbody []
+ ]
+ if not (List.isEmpty expired) then
+ h4 [ _class "pb-2" ] [ txt "Expired Job Listings" ]
+ table [ _class "table table-sm table-hover pt-3" ] [
+ thead [] [
+ [ "Action"; "Title"; "Filled Here?"; "Expired" ]
+ |> List.map (fun it -> th [ _scope "col" ] [ txt it ])
+ |> tr []
+ ]
+ expired
+ |> List.map (fun it ->
+ tr [] [
+ td [] [ a [ _href $"/listing/{ListingId.toString it.Listing.Id}/view" ] [ txt "View" ] ]
+ td [] [ str it.Listing.Title ]
+ td [] [ str (yesOrNo (defaultArg it.Listing.WasFilledHere false)) ]
+ td [] [ str (fullDateTime it.Listing.UpdatedOn tz) ]
+ ])
+ |> tbody []
+ ]
+ ]
+ |> pageWithTitle "My Job Listings"
+
+open NodaTime.Text
+
+/// Format the needed by date
+let private neededBy dt =
+ (LocalDatePattern.CreateWithCurrentCulture "MMMM d, yyyy").Format dt
+
+let search (m : ListingSearchForm) continents (listings : ListingForView list option) =
+ [ if Option.isNone listings then
+ p [] [
+ txt "Enter relevant criteria to find results, or just click “Search” to see all active job "
+ txt "listings."
+ ]
+ collapsePanel "Search Criteria" (List.isEmpty (defaultArg listings [])) [
+ form [ _class "container"; _method "GET"; _action "/help-wanted" ] [
+ input [ _type "hidden"; _name "searched"; _value "true" ]
+ div [ _class "row" ] [
+ div [ _class "col-12 col-sm-6 col-md-4 col-lg-3" ] [
+ continentList [] "ContinentId" continents (Some "Any") m.ContinentId false
+ ]
+ div [ _class "col-12 col-sm-6 col-md-4 col-lg-3" ] [
+ textBox [ _maxlength "1000" ] (nameof m.Region) m.Region "Region" false
+ div [ _class "form-text" ] [ txt "(free-form text)" ]
+ ]
+ div [ _class "col-12 col-sm-6 col-offset-md-2 col-lg-3 col-offset-lg-0" ] [
+ label [ _class "jjj-label" ] [ txt "Seeking Remote Work?" ]; br []
+ div [ _class "form-check form-check-inline" ] [
+ input [ _type "radio"; _id "remoteNull"; _name (nameof m.RemoteWork); _value ""
+ _class "form-check-input"; if m.RemoteWork = "" then _checked ]
+ label [ _class "form-check-label"; _for "remoteNull" ] [ txt "No Selection" ]
+ ]
+ div [ _class "form-check form-check-inline" ] [
+ input [ _type "radio"; _id "remoteYes"; _name (nameof m.RemoteWork); _value "yes"
+ _class "form-check-input"; if m.RemoteWork = "yes" then _checked ]
+ label [ _class "form-check-label"; _for "remoteYes" ] [ txt "Yes" ]
+ ]
+ div [ _class "form-check form-check-inline" ] [
+ input [ _type "radio"; _id "remoteNo"; _name (nameof m.RemoteWork); _value "no"
+ _class "form-check-input"; if m.RemoteWork = "no" then _checked ]
+ label [ _class "form-check-label"; _for "remoteNo" ] [ txt "No" ]
+ ]
+ ]
+ div [ _class "col-12 col-sm-6 col-lg-3" ] [
+ textBox [ _maxlength "1000" ] (nameof m.Text) m.Text "Job Listing Text" false
+ div [ _class "form-text" ] [ txt "(free-form text)" ]
+ ]
+ ]
+ div [ _class "row" ] [
+ div [ _class "col" ] [
+ br []
+ button [ _type "submit"; _class "btn btn-outline-primary" ] [ txt "Search" ]
+ ]
+ ]
+ ]
+ ]
+ match listings with
+ | Some r when List.isEmpty r ->
+ p [ _class "pt-3" ] [ txt "No job listings found for the specified criteria" ]
+ | Some r ->
+ table [ _class "table table-sm table-hover pt-3" ] [
+ thead [] [
+ tr [] [
+ th [ _scope "col" ] [ txt "Listing" ]
+ th [ _scope "col" ] [ txt "Title" ]
+ th [ _scope "col" ] [ txt "Location" ]
+ th [ _scope "col"; _class "text-center" ] [ txt "Remote?" ]
+ th [ _scope "col"; _class "text-center" ] [ txt "Needed By" ]
+ ]
+ ]
+ r |> List.map (fun it ->
+ tr [] [
+ td [] [ a [ _href $"/listing/{ListingId.toString it.Listing.Id}/view" ] [ txt "View" ] ]
+ td [] [ str it.Listing.Title ]
+ td [] [ str it.ContinentName; rawText " / "; str it.Listing.Region ]
+ td [ _class "text-center" ] [ str (yesOrNo it.Listing.IsRemote) ]
+ td [ _class "text-center" ] [
+ match it.Listing.NeededBy with Some needed -> str (neededBy needed) | None -> txt "N/A"
+ ]
+ ])
+ |> tbody []
+ ]
+ | None -> ()
+ ]
+ |> pageWithTitle "Help Wanted"
+
+/// The job listing view page
+let view (it : ListingForView) =
+ article [] [
+ h3 [ _class "mb-1" ] [
+ str it.Listing.Title
+ if it.Listing.IsExpired then
+ span [ _class "jjj-heading-label" ] [
+ txt " "; span [ _class "badge bg-warning text-dark" ] [ txt "Expired" ]
+ if defaultArg it.Listing.WasFilledHere false then
+ txt " "; span [ _class "badge bg-success" ] [ txt "Filled via Jobs, Jobs, Jobs" ]
+ ]
+ ]
+ h4 [ _class "mb-3 text-muted" ] [
+ str $"{it.ContinentName} / {it.Listing.Region}"
+ if it.Listing.IsRemote then
+ span [ _class "jjj-heading-label" ] [
+ txt " "; span [ _class "badge text-bg-info" ] [ txt "Remote" ]
+ ]
+ ]
+ p [] [
+ match it.Listing.NeededBy with
+ | Some needed ->
+ strong [] [ em [] [ txt "NEEDED BY "; str ((neededBy needed).ToUpperInvariant ()) ] ]; br [] // txt " • "
+ | None -> ()
+ txt "Listed by "; strong [ _class "me-4" ] [ str (Citizen.name it.Citizen) ]; br []
+ span [ _class "ms-3" ] []; yield! contactInfo it.Citizen false
+ ]
+ hr []
+ div [] [ md2html it.Listing.Text ]
+ ]
diff --git a/src/JobsJobsJobs/Profiles/Data.fs b/src/JobsJobsJobs/Profiles/Data.fs
new file mode 100644
index 0000000..ac58848
--- /dev/null
+++ b/src/JobsJobsJobs/Profiles/Data.fs
@@ -0,0 +1,86 @@
+module JobsJobsJobs.Profiles.Data
+
+open JobsJobsJobs.Common.Data
+open JobsJobsJobs.Domain
+open JobsJobsJobs.Profiles.Domain
+open Npgsql.FSharp
+
+/// Count the current profiles
+let count () =
+ dataSource ()
+ |> Sql.query $"SELECT COUNT(id) AS the_count FROM {Table.Profile} WHERE data ->> 'isLegacy' = 'false'"
+ |> Sql.executeRowAsync (fun row -> row.int64 "the_count")
+
+/// Delete a profile by its ID
+let deleteById citizenId = backgroundTask {
+ let! _ =
+ dataSource ()
+ |> Sql.query $"DELETE FROM {Table.Profile} WHERE id = @id"
+ |> Sql.parameters [ "@id", Sql.string (CitizenId.toString citizenId) ]
+ |> Sql.executeNonQueryAsync
+ ()
+}
+
+/// Find a profile by citizen ID
+let findById citizenId = backgroundTask {
+ match! dataSource () |> getDocument Table.Profile (CitizenId.toString citizenId) with
+ | Some profile when not profile.IsLegacy -> return Some profile
+ | Some _
+ | None -> return None
+}
+
+/// Convert a data row to a profile for viewing
+let private toProfileForView row =
+ { Profile = toDocument row
+ Citizen = toDocumentFrom "cit_data" row
+ Continent = toDocumentFrom "cont_data" row
+ }
+
+/// Find a profile by citizen ID for viewing (includes citizen and continent information)
+let findByIdForView citizenId = backgroundTask {
+ let! tryCitizen =
+ dataSource ()
+ |> Sql.query $"
+ SELECT p.*, c.data AS cit_data, o.data AS cont_data
+ FROM {Table.Profile} p
+ INNER JOIN {Table.Citizen} c ON c.id = p.id
+ INNER JOIN {Table.Continent} o ON o.id = p.data ->> 'continentId'
+ WHERE p.id = @id
+ AND p.data ->> 'isLegacy' = 'false'"
+ |> Sql.parameters [ "@id", Sql.string (CitizenId.toString citizenId) ]
+ |> Sql.executeAsync toProfileForView
+ return List.tryHead tryCitizen
+}
+
+/// Save a profile
+let save (profile : Profile) =
+ dataSource () |> saveDocument Table.Profile (CitizenId.toString profile.Id) <| mkDoc profile
+
+/// Search profiles
+let search (search : ProfileSearchForm) isPublic = backgroundTask {
+ let searches = [
+ if search.ContinentId <> "" then
+ "p.data ->> 'continentId' = @continentId", [ "@continentId", Sql.string search.ContinentId ]
+ if search.RemoteWork <> "" then
+ "p.data ->> 'isRemote' = @remote", [ "@remote", jsonBool (search.RemoteWork = "yes") ]
+ if search.Text <> "" then
+ "p.text_search @@ plainto_tsquery(@text_search)", [ "@text_search", Sql.string search.Text ]
+ ]
+ let vizSql =
+ if isPublic then
+ sprintf "IN ('%s', '%s')" (ProfileVisibility.toString Public) (ProfileVisibility.toString Anonymous)
+ else sprintf "<> '%s'" (ProfileVisibility.toString Hidden)
+ let! results =
+ dataSource ()
+ |> Sql.query $"
+ SELECT p.*, c.data AS cit_data, o.data AS cont_data
+ FROM {Table.Profile} p
+ INNER JOIN {Table.Citizen} c ON c.id = p.id
+ INNER JOIN {Table.Continent} o ON o.id = p.data ->> 'continentId'
+ WHERE p.data ->> 'isLegacy' = 'false'
+ AND p.data ->> 'visibility' {vizSql}
+ {searchSql searches}"
+ |> Sql.parameters (searches |> List.collect snd)
+ |> Sql.executeAsync toProfileForView
+ return results |> List.sortBy (fun pfv -> (Citizen.name pfv.Citizen).ToLowerInvariant ())
+}
diff --git a/src/JobsJobsJobs/Profiles/Domain.fs b/src/JobsJobsJobs/Profiles/Domain.fs
new file mode 100644
index 0000000..5c8ff4a
--- /dev/null
+++ b/src/JobsJobsJobs/Profiles/Domain.fs
@@ -0,0 +1,206 @@
+module JobsJobsJobs.Profiles.Domain
+
+open JobsJobsJobs.Domain
+open NodaTime
+
+/// The data required to update a profile
+[]
+type EditProfileForm =
+ { /// The ID of the continent on which the citizen is located
+ ContinentId : string
+
+ /// The area within that continent where the citizen is located
+ Region : string
+
+ /// Whether the citizen to whom this profile belongs is actively seeking employment
+ IsSeekingEmployment : bool
+
+ /// If the citizen is available for remote work
+ RemoteWork : bool
+
+ /// If the citizen is seeking full-time employment
+ FullTime : bool
+
+ /// The user's professional biography
+ Biography : string
+
+ /// The user's past experience
+ Experience : string option
+
+ /// The visibility for this profile
+ Visibility : string
+ }
+
+/// Support functions for the ProfileForm type
+module EditProfileForm =
+
+ /// An empty view model (used for new profiles)
+ let empty =
+ { ContinentId = ""
+ Region = ""
+ IsSeekingEmployment = false
+ RemoteWork = false
+ FullTime = false
+ Biography = ""
+ Experience = None
+ Visibility = ProfileVisibility.toString Private
+ }
+
+ /// Create an instance of this form from the given profile
+ let fromProfile (profile : Profile) =
+ { ContinentId = ContinentId.toString profile.ContinentId
+ Region = profile.Region
+ IsSeekingEmployment = profile.IsSeekingEmployment
+ RemoteWork = profile.IsRemote
+ FullTime = profile.IsFullTime
+ Biography = MarkdownString.toString profile.Biography
+ Experience = profile.Experience |> Option.map MarkdownString.toString
+ Visibility = ProfileVisibility.toString profile.Visibility
+ }
+
+
+/// The form used to add or edit employment history entries
+[]
+type HistoryForm =
+ { /// The name of the employer
+ Employer : string
+
+ StartDate : string
+
+ EndDate : string
+
+ Position : string
+
+ Description : string
+ }
+
+/// Support functions for the employment history form
+module HistoryForm =
+
+ open System
+
+ /// The date format expected by the browser's date input field
+ let dateFormat = Text.LocalDatePattern.CreateWithInvariantCulture "yyyy-MM-dd"
+
+ /// Create an employment history form from an employment history entry
+ let fromHistory (history : EmploymentHistory) =
+ { Employer = history.Employer
+ StartDate = dateFormat.Format history.StartDate
+ EndDate = match history.EndDate with Some dt -> dateFormat.Format dt | None -> ""
+ Position = defaultArg history.Position ""
+ Description = match history.Description with Some d -> MarkdownString.toString d | None -> ""
+ }
+
+ /// Create an employment history entry from an employment history form
+ let toHistory (history : HistoryForm) : EmploymentHistory =
+ { Employer = history.Employer
+ StartDate = (dateFormat.Parse history.StartDate).Value
+ EndDate = if history.EndDate = "" then None else Some (dateFormat.Parse history.EndDate).Value
+ Position = if history.Position = "" then None else Some history.Position
+ Description = if history.Description = "" then None else Some (Text history.Description)
+ }
+
+
+/// The various ways profiles can be searched
+[]
+type ProfileSearchForm =
+ { /// Retrieve citizens from this continent
+ ContinentId : string
+
+ /// Whether to retrieve citizens who do or do not want remote work
+ RemoteWork : string
+
+ /// Text for a search within a citizen's region, professional bio, skills, experience, and employment history
+ Text : string
+ }
+
+
+/// A user matching the profile search
+[]
+type ProfileSearchResult =
+ { /// The ID of the citizen
+ CitizenId : CitizenId
+
+ /// The citizen's display name
+ DisplayName : string
+
+ /// Whether this citizen is currently seeking employment
+ SeekingEmployment : bool
+
+ /// Whether this citizen is looking for remote work
+ RemoteWork : bool
+
+ /// Whether this citizen is looking for full-time work
+ FullTime : bool
+
+ /// When this profile was last updated
+ LastUpdatedOn : Instant
+ }
+
+
+/// The data required to show a viewable profile
+type ProfileForView =
+ { /// The profile itself
+ Profile : Profile
+
+ /// The citizen to whom the profile belongs
+ Citizen : Citizen
+
+ /// The continent for the profile
+ Continent : Continent
+ }
+
+
+/// The parameters for a public job search
+[]
+type PublicSearchForm =
+ { /// Retrieve citizens from this continent
+ ContinentId : string
+
+ /// Retrieve citizens from this region
+ Region : string
+
+ /// Text for a search within a citizen's skills
+ Skill : string
+
+ /// Whether to retrieve citizens who do or do not want remote work
+ RemoteWork : string
+ }
+
+
+/// A public profile search result
+[]
+type PublicSearchResult =
+ { /// The name of the continent on which the citizen resides
+ Continent : string
+
+ /// The region in which the citizen resides
+ Region : string
+
+ /// Whether this citizen is seeking remote work
+ RemoteWork : bool
+
+ /// The skills this citizen has identified
+ Skills : string list
+ }
+
+
+/// The fields required for a skill
+[]
+type SkillForm =
+ { Description : string
+
+ /// Notes regarding the skill
+ Notes : string
+ }
+
+/// Functions to support skill forms
+module SkillForm =
+
+ /// Create a skill form from a skill
+ let fromSkill (skill : Skill) =
+ { SkillForm.Description = skill.Description; Notes = defaultArg skill.Notes "" }
+
+ /// Create a skill from a skill form
+ let toSkill (form : SkillForm) =
+ { Skill.Description = form.Description; Notes = if form.Notes = "" then None else Some form.Notes }
diff --git a/src/JobsJobsJobs/Profiles/Handlers.fs b/src/JobsJobsJobs/Profiles/Handlers.fs
new file mode 100644
index 0000000..3c51d67
--- /dev/null
+++ b/src/JobsJobsJobs/Profiles/Handlers.fs
@@ -0,0 +1,259 @@
+module JobsJobsJobs.Profiles.Handlers
+
+open Giraffe
+open JobsJobsJobs
+open JobsJobsJobs.Common.Handlers
+open JobsJobsJobs.Domain
+open JobsJobsJobs.Profiles.Domain
+
+// POST: /profile/delete
+let delete : HttpHandler = requireUser >=> validateCsrf >=> fun next ctx -> task {
+ do! Data.deleteById (currentCitizenId ctx)
+ do! addSuccess "Profile deleted successfully" ctx
+ return! redirectToGet "/citizen/dashboard" next ctx
+}
+
+// GET: /profile/edit
+let edit : HttpHandler = requireUser >=> fun next ctx -> task {
+ let citizenId = currentCitizenId ctx
+ let! profile = Data.findById citizenId
+ let display = match profile with Some p -> p | None -> { Profile.empty with Id = citizenId }
+ return! Views.edit display |> render "Employment Profile" next ctx
+}
+
+// GET: /profile/edit/general
+let editGeneralInfo : HttpHandler = requireUser >=> fun next ctx -> task {
+ let! profile = Data.findById (currentCitizenId ctx)
+ let! continents = Common.Data.Continents.all ()
+ let form = if Option.isNone profile then EditProfileForm.empty else EditProfileForm.fromProfile profile.Value
+ return!
+ Views.editGeneralInfo form continents (isHtmx ctx) (csrf ctx)
+ |> render "General Information | Employment Profile" next ctx
+}
+
+// POST: /profile/save
+let saveGeneralInfo : HttpHandler = requireUser >=> fun next ctx -> task {
+ let citizenId = currentCitizenId ctx
+ let! form = ctx.BindFormAsync ()
+ let errors = [
+ if form.ContinentId = "" then "Continent is required"
+ if form.Region = "" then "Region is required"
+ if form.Biography = "" then "Professional Biography is required"
+ ]
+ let! profile = task {
+ match! Data.findById citizenId with
+ | Some p -> return p
+ | None -> return { Profile.empty with Id = citizenId }
+ }
+ let isNew = profile.Region = ""
+ if List.isEmpty errors then
+ do! Data.save
+ { profile with
+ ContinentId = ContinentId.ofString form.ContinentId
+ Region = form.Region
+ IsSeekingEmployment = form.IsSeekingEmployment
+ IsRemote = form.RemoteWork
+ IsFullTime = form.FullTime
+ Biography = Text form.Biography
+ LastUpdatedOn = now ctx
+ Experience = noneIfBlank form.Experience |> Option.map Text
+ Visibility = ProfileVisibility.parse form.Visibility
+ }
+ let action = if isNew then "cre" else "upd"
+ do! addSuccess $"Employment Profile {action}ated successfully" ctx
+ return! redirectToGet "/profile/edit" next ctx
+ else
+ do! addErrors errors ctx
+ let! continents = Common.Data.Continents.all ()
+ return!
+ Views.editGeneralInfo form continents (isHtmx ctx) (csrf ctx)
+ |> render "General Information | Employment Profile" next ctx
+}
+
+// GET: /profile/search
+let search : HttpHandler = fun next ctx -> task {
+ let! continents = Common.Data.Continents.all ()
+ let form =
+ match ctx.TryBindQueryString () with
+ | Ok f -> f
+ | Error _ -> { ContinentId = ""; RemoteWork = ""; Text = "" }
+ let isPublic = tryUser ctx |> Option.isNone
+ let! results = task {
+ if string ctx.Request.Query["searched"] = "true" then
+ let! it = Data.search form isPublic
+ return Some it
+ else return None
+ }
+ return! Views.search form continents (timeZone ctx) results isPublic |> render "Profile Search" next ctx
+}
+
+// GET: /profile/edit/skills
+let skills : HttpHandler = requireUser >=> fun next ctx -> task {
+ match! Data.findById (currentCitizenId ctx) with
+ | Some profile -> return! Views.skills profile.Skills (csrf ctx) |> render "Skills | Employment Profile" next ctx
+ | None -> return! notFound ctx
+}
+
+// GET: /profile/edit/skills/list
+let skillList : HttpHandler = requireUser >=> fun next ctx -> task {
+ match! Data.findById (currentCitizenId ctx) with
+ | Some profile -> return! Views.skillTable profile.Skills None (csrf ctx) |> renderBare next ctx
+ | None -> return! notFound ctx
+}
+
+// GET: /profile/edit/skill/[idx]
+let editSkill idx : HttpHandler = requireUser >=> fun next ctx -> task {
+ match! Data.findById (currentCitizenId ctx) with
+ | Some profile ->
+ if idx < -1 || idx >= List.length profile.Skills then return! notFound ctx
+ else return! Views.editSkill profile.Skills idx (csrf ctx) |> renderBare next ctx
+ | None -> return! notFound ctx
+}
+
+// POST: /profile/edit/skill/[idx]
+let saveSkill idx : HttpHandler = requireUser >=> validateCsrf >=> fun next ctx -> task {
+ match! Data.findById (currentCitizenId ctx) with
+ | Some profile ->
+ if idx < -1 || idx >= List.length profile.Skills then return! notFound ctx
+ else
+ let! form = ctx.BindFormAsync ()
+ let skill = SkillForm.toSkill form
+ let skills =
+ if idx = -1 then skill :: profile.Skills
+ else profile.Skills |> List.mapi (fun skillIdx it -> if skillIdx = idx then skill else it)
+ |> List.sortBy (fun it -> it.Description.ToLowerInvariant ())
+ do! Data.save { profile with Skills = skills }
+ return! Views.skillTable skills None (csrf ctx) |> renderBare next ctx
+ | None -> return! notFound ctx
+}
+
+// POST: /profile/edit/skill/[idx]/delete
+let deleteSkill idx : HttpHandler = requireUser >=> validateCsrf >=> fun next ctx -> task {
+ match! Data.findById (currentCitizenId ctx) with
+ | Some profile ->
+ if idx < 0 || idx >= List.length profile.Skills then return! notFound ctx
+ else
+ let skills = profile.Skills |> List.indexed |> List.filter (fun it -> fst it <> idx) |> List.map snd
+ do! Data.save { profile with Skills = skills }
+ return! Views.skillTable skills None (csrf ctx) |> renderBare next ctx
+ | None -> return! notFound ctx
+}
+
+// GET: /profile/edit/history
+let history : HttpHandler = requireUser >=> fun next ctx -> task {
+ match! Data.findById (currentCitizenId ctx) with
+ | Some profile ->
+ return!
+ Views.history profile.History (isHtmx ctx) (csrf ctx)
+ |> render "Employment History | Employment Profile" next ctx
+ | None -> return! notFound ctx
+}
+
+// GET: /profile/edit/history/list
+let historyList : HttpHandler = requireUser >=> fun next ctx -> task {
+ match! Data.findById (currentCitizenId ctx) with
+ | Some profile -> return! Views.historyTable profile.History None (isHtmx ctx) (csrf ctx) |> renderBare next ctx
+ | None -> return! notFound ctx
+}
+
+// GET: /profile/edit/history/[idx]
+let editHistory idx : HttpHandler = requireUser >=> fun next ctx -> task {
+ match! Data.findById (currentCitizenId ctx) with
+ | Some profile ->
+ if idx < -1 || idx >= List.length profile.History then return! notFound ctx
+ else return! Views.editHistory profile.History idx (isHtmx ctx) (csrf ctx) |> renderBare next ctx
+ | None -> return! notFound ctx
+}
+
+// POST: /profile/edit/history/[idx]
+let saveHistory idx : HttpHandler = requireUser >=> validateCsrf >=> fun next ctx -> task {
+ match! Data.findById (currentCitizenId ctx) with
+ | Some profile ->
+ if idx < -1 || idx >= List.length profile.History then return! notFound ctx
+ else
+ let! form = ctx.BindFormAsync ()
+ let entry = HistoryForm.toHistory form
+ let history =
+ if idx = -1 then entry :: profile.History
+ else profile.History |> List.mapi (fun histIdx it -> if histIdx = idx then entry else it)
+ |> List.sortByDescending (fun it -> defaultArg it.EndDate NodaTime.LocalDate.MaxIsoValue)
+ do! Data.save { profile with History = history }
+ return! Views.historyTable history None (isHtmx ctx) (csrf ctx) |> renderBare next ctx
+ | None -> return! notFound ctx
+}
+
+// POST: /profile/edit/history/[idx]/delete
+let deleteHistory idx : HttpHandler = requireUser >=> validateCsrf >=> fun next ctx -> task {
+ match! Data.findById (currentCitizenId ctx) with
+ | Some profile ->
+ if idx < 0 || idx >= List.length profile.History then return! notFound ctx
+ else
+ let history = profile.History |> List.indexed |> List.filter (fun it -> fst it <> idx) |> List.map snd
+ do! Data.save { profile with History = history }
+ return! Views.historyTable history None (isHtmx ctx) (csrf ctx) |> renderBare next ctx
+ | None -> return! notFound ctx
+}
+
+/// Get a profile for view, and enforce visibility restrictions against the current user
+let private getProfileForView citizenId ctx = task {
+ let citId = CitizenId citizenId
+ match! Data.findByIdForView citId with
+ | Some profile ->
+ let currentCitizen = tryUser ctx |> Option.map CitizenId.ofString
+ let canView =
+ match profile.Profile.Visibility, currentCitizen with
+ | Private, Some _
+ | Anonymous, Some _
+ | Public, _ -> true
+ | Hidden, Some citizenId when profile.Citizen.Id = citizenId -> true
+ | _ -> false
+ return if canView then Some (profile, currentCitizen) else None
+ | None -> return None
+}
+
+// GET: /profile/[id]/view
+let view citizenId : HttpHandler = fun next ctx -> task {
+ match! getProfileForView citizenId ctx with
+ | Some (profile, currentCitizen) ->
+ let title = $"Employment Profile for {Citizen.name profile.Citizen}"
+ return! Views.view profile currentCitizen |> render title next ctx
+ | None -> return! notFound ctx
+}
+
+// GET: /profile/[id]/print
+let print citizenId : HttpHandler = fun next ctx -> task {
+ match! getProfileForView citizenId ctx with
+ | Some (profile, currentCitizen) ->
+ let pageTitle = $"Employment Profile for {Citizen.name profile.Citizen}"
+ return! Views.print profile (Option.isNone currentCitizen) |> renderPrint pageTitle next ctx
+ | None -> return! notFound ctx
+}
+
+
+open Giraffe.EndpointRouting
+
+/// All endpoints for this feature
+let endpoints =
+ subRoute "/profile" [
+ GET_HEAD [
+ routef "/%O/view" view
+ routef "/%O/print" print
+ route "/edit" edit
+ route "/edit/general" editGeneralInfo
+ routef "/edit/history/%i" editHistory
+ route "/edit/history" history
+ route "/edit/history/list" historyList
+ routef "/edit/skill/%i" editSkill
+ route "/edit/skills" skills
+ route "/edit/skills/list" skillList
+ route "/search" search
+ ]
+ POST [
+ route "/delete" delete
+ routef "/edit/history/%i" saveHistory
+ routef "/edit/history/%i/delete" deleteHistory
+ routef "/edit/skill/%i" saveSkill
+ routef "/edit/skill/%i/delete" deleteSkill
+ route "/save" saveGeneralInfo
+ ]
+ ]
diff --git a/src/JobsJobsJobs/Profiles/JobsJobsJobs.Profiles.fsproj b/src/JobsJobsJobs/Profiles/JobsJobsJobs.Profiles.fsproj
new file mode 100644
index 0000000..fbbd92f
--- /dev/null
+++ b/src/JobsJobsJobs/Profiles/JobsJobsJobs.Profiles.fsproj
@@ -0,0 +1,18 @@
+
+
+
+ net7.0
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/src/JobsJobsJobs/Profiles/Views.fs b/src/JobsJobsJobs/Profiles/Views.fs
new file mode 100644
index 0000000..827752c
--- /dev/null
+++ b/src/JobsJobsJobs/Profiles/Views.fs
@@ -0,0 +1,566 @@
+/// Views for /profile URLs
+module JobsJobsJobs.Profiles.Views
+
+open Giraffe.Htmx.Common
+open Giraffe.ViewEngine
+open Giraffe.ViewEngine.Htmx
+open JobsJobsJobs.Common.Views
+open JobsJobsJobs.Domain
+open JobsJobsJobs.Profiles.Domain
+
+// ~~~ PROFILE EDIT ~~~ //
+
+/// The profile edit menu page
+let edit (profile : Profile) =
+ let hasProfile = profile.Region <> ""
+ pageWithTitle "Employment Profile" [
+ p [] [ txt "There are three different sections to the employment profile." ]
+ ul [] [
+ li [ _class "mb-2" ] [
+ a [ _href $"/profile/edit/general" ] [ strong [] [ txt "General Information" ] ]; br []
+ txt "contains your location, professional biography, and information about the type of employment you "
+ txt "may be seeking."
+ if not hasProfile then txt " Entering information here will create your profile."
+ ]
+ if hasProfile then
+ li [ _class "mb-2" ] [
+ let skillCount = List.length profile.Skills
+ a [ _href $"/profile/edit/skills" ] [ strong [] [ txt "Skills" ] ]; br []
+ txt "is where you can list skills you have acquired through education or experience."
+ em [] [
+ txt $" (Your profile currently lists {skillCount} skill"; if skillCount <> 1 then txt "s"
+ txt ".)"
+ ]
+ ]
+ li [ _class "mb-2" ] [
+ let historyCount = List.length profile.History
+ a [ _href $"/profile/edit/history" ] [ strong [] [ txt "Employment History" ] ]; br []
+ txt "is where you can record a chronological history of your employment."
+ em [] [
+ txt $" (Your profile contains {historyCount} employment history entr"
+ txt (if historyCount <> 1 then "ies" else "y"); txt ".)"
+ ]
+ ]
+ ]
+ if hasProfile then
+ p [] [
+ a [ _class "btn btn-primary"; _href $"/profile/{CitizenId.toString profile.Id}/view" ] [
+ i [ _class "mdi mdi-file-account-outline" ] []; txt " View Your Employment Profile"
+ ]
+ ]
+ hr []
+ p [ _class "text-muted" ] [
+ txt "If you want to delete your profile, or your entire account, "
+ a [ _href "/citizen/so-long" ] [ txt "see your deletion options here" ]; txt "."
+ ]
+ ]
+
+
+/// A link to allow the user to return to the profile edit menu page
+let backToEdit =
+ p [ _class "mx-3" ] [ a [ _href "/profile/edit" ] [ txt "« Back to Profile Edit Menu" ] ]
+
+
+/// The profile edit page
+let editGeneralInfo (m : EditProfileForm) continents isHtmx csrf =
+ pageWithTitle "Employment Profile: General Information" [
+ backToEdit
+ form [ _class "row g-3"; _action "/profile/save"; _hxPost "/profile/save" ] [
+ antiForgery csrf
+ div [ _class "col-12 col-sm-6 col-md-4" ] [
+ continentList [] (nameof m.ContinentId) continents None m.ContinentId true
+ ]
+ div [ _class "col-12 col-sm-6 col-md-8" ] [
+ textBox [ _type "text"; _maxlength "255" ] (nameof m.Region) m.Region "Region" true
+ div [ _class "form-text" ] [ txt "Country, state, geographic area, etc." ]
+ ]
+ div [ _class "col-12" ] [
+ checkBox [] (nameof m.IsSeekingEmployment) m.IsSeekingEmployment "I am currently seeking employment"
+ if m.IsSeekingEmployment then
+ p [ _class "fst-italic " ] [
+ txt "If you have found employment, consider "
+ a [ _href "/success-story/new/edit" ] [ txt "telling your fellow citizens about it!" ]
+ ]
+ ]
+ div [ _class "col-12 col-offset-md-2 col-md-4" ] [
+ checkBox [] (nameof m.RemoteWork) m.RemoteWork "I am interested in remote work"
+ ]
+ div [ _class "col-12 col-md-4" ] [
+ checkBox [] (nameof m.FullTime) m.FullTime "I am interested in full-time work"
+ ]
+ markdownEditor [ _required ] (nameof m.Biography) m.Biography "Professional Biography" isHtmx
+ div [ _class "col-12" ] [
+ hr []
+ h4 [] [ txt "Experience" ]
+ p [] [
+ txt "The information in this box is displayed after the list of skills and chronological job "
+ txt "history, with no heading; it can be used to highlight your experiences apart from the history "
+ txt "entries, provide closing notes, etc."
+ ]
+ ]
+ markdownEditor [] (nameof m.Experience) (defaultArg m.Experience "") "Experience" isHtmx
+ div [ _class "col-12" ] [
+ hr []
+ h4 [] [ txt "Visibility" ]
+ div [ _class "form-check" ] [
+ let hid = ProfileVisibility.toString Hidden
+ input [ _type "radio"; _id $"{nameof m.Visibility}Hidden"; _name (nameof m.Visibility)
+ _class "form-check-input"; _value hid; if m.Visibility = hid then _checked ]
+ label [ _class "form-check-label"; _for $"{nameof m.Visibility}Hidden" ] [
+ strong [] [ txt "Hidden" ]
+ txt " – do not show my employment profile to anyone else"
+ ]
+ ]
+ div [ _class "form-check" ] [
+ let pvt = ProfileVisibility.toString Private
+ input [ _type "radio"; _id $"{nameof m.Visibility}Private"; _name (nameof m.Visibility)
+ _class "form-check-input"; _value pvt; if m.Visibility = pvt then _checked ]
+ label [ _class "form-check-label"; _for $"{nameof m.Visibility}Private" ] [
+ strong [] [ txt "Private" ]
+ txt " – only show my employment profile to other authenticated users"
+ ]
+ ]
+ div [ _class "form-check" ] [
+ let anon = ProfileVisibility.toString Anonymous
+ input [ _type "radio"; _id $"{nameof m.Visibility}Anonymous"; _name (nameof m.Visibility)
+ _class "form-check-input"; _value anon; if m.Visibility = anon then _checked ]
+ label [ _class "form-check-label"; _for $"{nameof m.Visibility}Anonymous" ] [
+ strong [] [ txt "Anonymous" ]
+ txt " – show my location and skills to public users anonymously"
+ ]
+ ]
+ div [ _class "form-check" ] [
+ let pub = ProfileVisibility.toString Public
+ input [ _type "radio"; _id $"{nameof m.Visibility}Public"; _name (nameof m.Visibility)
+ _class "form-check-input"; _value pub; if m.Visibility = pub then _checked ]
+ label [ _class "form-check-label"; _for $"{nameof m.Visibility}Public" ] [
+ strong [] [ txt "Public" ]; txt " – show my full profile to public users"
+ ]
+ ]
+ ]
+ div [ _class "col-12" ] [ submitButton "content-save-outline" "Save" ]
+ ]
+ ]
+
+
+/// Render the skill edit template
+let skillForm (m : SkillForm) isNew =
+ [ h4 [] [ txt $"""{if isNew then "Add a" else "Edit"} Skill""" ]
+ div [ _class "col-12 col-md-6" ] [
+ textBox [ _type "text"; _maxlength "200"; _autofocus ] (nameof m.Description) m.Description "Skill" true
+ div [ _class "form-text" ] [ txt "A skill (language, design technique, process, etc.)" ]
+ ]
+ div [ _class "col-12 col-md-6" ] [
+ textBox [ _type "text"; _maxlength "1000" ] (nameof m.Notes) m.Notes "Notes" false
+ div [ _class "form-text" ] [ txt "A further description of the skill" ]
+ ]
+ div [ _class "col-12" ] [
+ submitButton "content-save-outline" "Save"; txt " "
+ a [ _href "/profile/edit/skills/list"; _hxGet "/profile/edit/skills/list"; _hxTarget "#skillList"
+ _class "btn btn-secondary" ] [ i [ _class "mdi mdi-cancel"] []; txt " Cancel" ]
+ ]
+ ]
+
+
+/// List the skills for an employment profile
+let skillTable (skills : Skill list) editIdx csrf =
+ let editingIdx = defaultArg editIdx -2
+ let isEditing = editingIdx >= -1
+ let renderTable () =
+ let editSkillForm skill idx =
+ tr [] [
+ td [ _colspan "3" ] [
+ form [ _class "row g-3"; _hxPost $"/profile/edit/skill/{idx}"; _hxTarget "#skillList" ] [
+ antiForgery csrf
+ yield! skillForm (SkillForm.fromSkill skill) (idx = -1)
+ ]
+ ]
+ ]
+ table [ _class "table table-sm table-hover pt-3" ] [
+ thead [] [
+ [ "Action"; "Skill"; "Notes" ]
+ |> List.map (fun it -> th [ _scope "col" ] [ txt it ])
+ |> tr []
+ ]
+ tbody [] [
+ if isEditing && editingIdx = -1 then editSkillForm { Skill.Description = ""; Notes = None } -1
+ yield! skills |> List.mapi (fun idx skill ->
+ if isEditing && editingIdx = idx then editSkillForm skill idx
+ else
+ tr [] [
+ td [ if isEditing then _class "text-muted" ] [
+ if isEditing then txt "Edit ~ Delete"
+ else
+ let link = $"/profile/edit/skill/{idx}"
+ a [ _href link; _hxGet link ] [ txt "Edit" ]; txt " ~ "
+ a [ _href $"{link}/delete"; _hxPost $"{link}/delete"; _class "text-danger"
+ _hxConfirm "Are you sure you want to delete this skill?" ] [ txt "Delete" ]
+ ]
+ td [] [ str skill.Description ]
+ td [ if Option.isNone skill.Notes then _class "text-muted fst-italic" ] [
+ str (defaultArg skill.Notes "None")
+ ]
+ ])
+ ]
+ ]
+
+ if List.isEmpty skills && not isEditing then
+ p [ _id "skillList"; _class "text-muted fst-italic pt-3" ] [ txt "Your profile has no skills defined" ]
+ else if List.isEmpty skills then
+ form [ _id "skillList"; _hxTarget "this"; _hxPost "/profile/edit/skill/-1"; _hxSwap HxSwap.OuterHtml
+ _class "row g-3" ] [
+ antiForgery csrf
+ yield! skillForm { Description = ""; Notes = "" } true
+ ]
+ else if isEditing then div [ _id "skillList" ] [ renderTable () ]
+ else // not editing, there are skills to show
+ form [ _id "skillList"; _hxTarget "this"; _hxSwap HxSwap.OuterHtml ] [
+ antiForgery csrf
+ renderTable ()
+ ]
+
+
+/// The profile skills maintenance page
+let skills (skills : Skill list) csrf =
+ pageWithTitle "Employment Profile: Skills" [
+ backToEdit
+ p [] [
+ a [ _href "/profile/edit/skill/-1"; _hxGet "/profile/edit/skill/-1"; _hxTarget "#skillList"
+ _hxSwap HxSwap.OuterHtml; _class "btn btn-sm btn-outline-primary rounded-pill" ] [ txt "Add a Skill" ]
+ ]
+ skillTable skills None csrf
+ ]
+
+
+/// The skill edit component
+let editSkill (skills : Skill list) idx csrf =
+ skillTable skills (Some idx) csrf
+
+open NodaTime
+
+/// Render the employment history edit template
+let historyForm (m : HistoryForm) isNew isHtmx =
+ let maxDate = HistoryForm.dateFormat.Format (LocalDate.FromDateTime System.DateTime.Today)
+ [ h4 [] [ txt $"""{if isNew then "Add" else "Edit"} Employment History""" ]
+ div [ _class "col-12 col-md-6" ] [
+ textBox [ _type "text"; _maxlength "200"; _autofocus ] (nameof m.Employer) m.Employer "Employer" true
+ ]
+ div [ _class "col-12 col-md-6" ] [
+ textBox [ _type "text"; _maxlength "200" ] (nameof m.Position) m.Position "Title or Position" true
+ ]
+ p [ _class "col-12 text-center mb-0" ] [
+ txt "Select any date within the month; only the month and year will be displayed"
+ ]
+ div [ _class "col-12 col-md-6 col-xl-4 offset-xl-1" ] [
+ textBox [ _type "date"; _max maxDate ] (nameof m.StartDate) m.StartDate "Start Date" true
+ ]
+ div [ _class "col-12 col-md-6 col-xl-4 offset-xl-2" ] [
+ textBox [ _type "date"; _max maxDate ] (nameof m.EndDate) m.EndDate "End Date" false
+ ]
+ markdownEditor [] (nameof m.Description) m.Description "Description" isHtmx
+ div [ _class "col-12" ] [
+ submitButton "content-save-outline" "Save"; txt " "
+ a [ _href "/profile/edit/history/list"; _hxGet "/profile/edit/history/list"; _hxTarget "#historyList"
+ _class "btn btn-secondary" ] [ i [ _class "mdi mdi-cancel"] []; txt " Cancel" ]
+ ]
+ ]
+
+let private monthAndYear = Text.LocalDatePattern.CreateWithInvariantCulture "MMMM yyyy"
+
+/// List the employment history entries for an employment profile
+let historyTable (history : EmploymentHistory list) editIdx isHtmx csrf =
+ let editingIdx = defaultArg editIdx -2
+ let isEditing = editingIdx >= -1
+ let renderTable () =
+ let editHistoryForm entry idx =
+ tr [] [
+ td [ _colspan "4" ] [
+ form [ _class "row g-3"; _hxPost $"/profile/edit/history/{idx}"; _hxTarget "#historyList" ] [
+ antiForgery csrf
+ yield! historyForm (HistoryForm.fromHistory entry) (idx = -1) isHtmx
+ ]
+ ]
+ ]
+ table [ _class "table table-sm table-hover pt-3" ] [
+ thead [] [
+ [ "Action"; "Employer"; "Dates"; "Position" ]
+ |> List.map (fun it -> th [ _scope "col" ] [ txt it ])
+ |> tr []
+ ]
+ tbody [] [
+ if isEditing && editingIdx = -1 then editHistoryForm EmploymentHistory.empty -1
+ yield! history |> List.mapi (fun idx entry ->
+ if isEditing && editingIdx = idx then editHistoryForm entry idx
+ else
+ tr [] [
+ td [ if isEditing then _class "text-muted" ] [
+ if isEditing then txt "Edit ~ Delete"
+ else
+ let link = $"/profile/edit/history/{idx}"
+ a [ _href link; _hxGet link ] [ txt "Edit" ]; txt " ~ "
+ a [ _href $"{link}/delete"; _hxPost $"{link}/delete"; _class "text-danger"
+ _hxConfirm "Are you sure you want to delete this employment history entry?" ] [
+ txt "Delete"
+ ]
+ ]
+ td [] [ str entry.Employer ]
+ td [] [
+ str (monthAndYear.Format entry.StartDate); txt " to "
+ match entry.EndDate with Some dt -> str (monthAndYear.Format dt) | None -> txt "Present"
+ ]
+ td [ if Option.isNone entry.Position then _class "text-muted fst-italic" ] [
+ str (defaultArg entry.Position "None")
+ ]
+ ])
+ ]
+ ]
+
+ if List.isEmpty history && not isEditing then
+ p [ _id "historyList"; _class "text-muted fst-italic pt-3" ] [
+ txt "Your profile has no employment history defined"
+ ]
+ else if List.isEmpty history then
+ form [ _id "historyList"; _hxTarget "this"; _hxPost "/profile/edit/history/-1"; _hxSwap HxSwap.OuterHtml
+ _class "row g-3" ] [
+ antiForgery csrf
+ yield! historyForm (HistoryForm.fromHistory EmploymentHistory.empty) true isHtmx
+ ]
+ else if isEditing then div [ _id "historyList" ] [ renderTable () ]
+ else // not editing, there is history to show
+ form [ _id "historyList"; _hxTarget "this"; _hxSwap HxSwap.OuterHtml ] [
+ antiForgery csrf
+ renderTable ()
+ ]
+
+
+/// The employment history maintenance page
+let history (history : EmploymentHistory list) isHtmx csrf =
+ pageWithTitle "Employment Profile: Employment History" [
+ backToEdit
+ p [] [
+ a [ _href "/profile/edit/history/-1"; _hxGet "/profile/edit/history/-1"; _hxTarget "#historyList"
+ _hxSwap HxSwap.OuterHtml; _class "btn btn-sm btn-outline-primary rounded-pill" ] [
+ txt "Add an Employment History Entry"
+ ]
+ ]
+ historyTable history None isHtmx csrf
+ ]
+
+
+/// The employment history edit component
+let editHistory (history : EmploymentHistory list) idx csrf =
+ historyTable history (Some idx) csrf
+
+// ~~~ PROFILE SEARCH ~~~ //
+
+/// The search form
+let private searchForm (m : ProfileSearchForm) continents isShown =
+ collapsePanel "Search Criteria" isShown [
+ form [ _class "container"; _method "GET"; _action "/profile/search" ] [
+ input [ _type "hidden"; _name "searched"; _value "true" ]
+ div [ _class "row" ] [
+ div [ _class "col-12 col-sm-6 col-md-4 col-lg-3 mb-3" ] [
+ continentList [] "ContinentId" continents (Some "Any") m.ContinentId false
+ ]
+ div [ _class "col-12 col-sm-6 col-offset-md-2 col-lg-3 col-offset-lg-0 mb-3" ] [
+ label [ _class "jjj-label" ] [ txt "Seeking Remote Work?" ]; br []
+ div [ _class "form-check form-check-inline" ] [
+ input [ _type "radio"; _id "remoteNull"; _name (nameof m.RemoteWork); _value ""
+ _class "form-check-input"; if m.RemoteWork = "" then _checked ]
+ label [ _class "form-check-label"; _for "remoteNull" ] [ txt "No Selection" ]
+ ]
+ div [ _class "form-check form-check-inline" ] [
+ input [ _type "radio"; _id "remoteYes"; _name (nameof m.RemoteWork); _value "yes"
+ _class "form-check-input"; if m.RemoteWork = "yes" then _checked ]
+ label [ _class "form-check-label"; _for "remoteYes" ] [ txt "Yes" ]
+ ]
+ div [ _class "form-check form-check-inline" ] [
+ input [ _type "radio"; _id "remoteNo"; _name (nameof m.RemoteWork); _value "no"
+ _class "form-check-input"; if m.RemoteWork = "no" then _checked ]
+ label [ _class "form-check-label"; _for "remoteNo" ] [ txt "No" ]
+ ]
+ ]
+ div [ _class "col-12 col-sm-12 col-lg-6 mb-3" ] [
+ textBox [ _maxlength "1000" ] (nameof m.Text) m.Text "Text Search" false
+ div [ _class "form-text" ] [
+ txt "searches Region, Professional Biography, Skills, Employment History, and Experience"
+ ]
+ ]
+ ]
+ div [ _class "row" ] [
+ div [ _class "col" ] [
+ br []
+ button [ _type "submit"; _class "btn btn-outline-primary" ] [ txt "Search" ]
+ ]
+ ]
+ ]
+ ]
+
+/// Display search results for public users
+let private publicResults (results : ProfileForView list) =
+ [ p [ _class "py-3" ] [
+ txt "These profiles match your search criteria. To learn more about these people, join the merry band "
+ txt "of human resources in the "
+ a [ _href "https://noagendashow.net"; _target "_blank"; _rel "noopener" ] [ txt "No Agenda" ]
+ txt " tribe!"
+ ]
+ table [ _class "table table-sm table-hover" ] [
+ thead [] [
+ tr [] [
+ th [ _scope "col" ] [ txt "Profile" ]
+ th [ _scope "col" ] [ txt "Continent / Region" ]
+ th [ _scope "col"; _class "text-center" ] [ txt "Remote?" ]
+ th [ _scope "col"; _class "text-center" ] [ txt "Skills" ]
+ ]
+ ]
+ results
+ |> List.map (fun it ->
+ tr [] [
+ td [] [
+ match it.Profile.Visibility with
+ | Public -> a [ _href $"/profile/{CitizenId.toString it.Profile.Id}/view" ] [ txt "View" ]
+ | _ -> txt " "
+ ]
+ td [] [ txt $"{it.Continent.Name} / "; str it.Profile.Region ]
+ td [ _class "text-center" ] [ txt (yesOrNo it.Profile.IsRemote) ]
+ match it.Profile.Visibility with
+ | Public -> td [ _class "text-muted fst-italic" ] [ txt "See Profile" ]
+ | _ when List.isEmpty it.Profile.Skills ->
+ td [ _class "text-muted fst-italic" ] [ txt "None Listed" ]
+ | _ ->
+ it.Profile.Skills
+ |> List.collect (fun skill ->
+ let notes = match skill.Notes with Some n -> $" ({n})" | None -> ""
+ [ str $"{skill.Description}{notes}"; br [] ])
+ |> td []
+ ])
+ |> tbody []
+ ]
+ ]
+
+/// Display search results for logged-on users
+let private privateResults (results : ProfileForView list) tz =
+ // Bootstrap utility classes to only show at medium or above
+ let isWide = "d-none d-md-table-cell"
+ table [ _class "table table-sm table-hover pt-3" ] [
+ thead [] [
+ tr [] [
+ th [ _scope "col" ] [ txt "Profile" ]
+ th [ _scope "col" ] [ txt "Name" ]
+ th [ _scope "col"; _class $"{isWide} text-center" ] [ txt "Seeking?" ]
+ th [ _scope "col"; _class "text-center" ] [ txt "Remote?" ]
+ th [ _scope "col"; _class $"{isWide} text-center" ] [ txt "Full-Time?" ]
+ th [ _scope "col"; _class isWide ] [ txt "Last Updated" ]
+ ]
+ ]
+ results
+ |> List.map (fun it ->
+ tr [] [
+ td [] [ a [ _href $"/profile/{CitizenId.toString it.Profile.Id}/view" ] [ txt "View" ] ]
+ td [ if it.Profile.IsSeekingEmployment then _class "fw-bold" ] [ str (Citizen.name it.Citizen) ]
+ td [ _class $"{isWide} text-center" ] [ txt (yesOrNo it.Profile.IsSeekingEmployment) ]
+ td [ _class "text-center" ] [ txt (yesOrNo it.Profile.IsRemote) ]
+ td [ _class $"{isWide} text-center" ] [ txt (yesOrNo it.Profile.IsFullTime) ]
+ td [ _class isWide ] [ str (fullDate it.Profile.LastUpdatedOn tz) ]
+ ])
+ |> tbody []
+ ]
+
+/// Logged-on search page
+let search m continents tz (results : ProfileForView list option) isPublic =
+ [ if Option.isNone results then
+ p [] [
+ txt "Enter one or more criteria to filter results, or just click “Search” to list all "
+ if isPublic then txt "publicly searchable or viewable "
+ txt "profiles."
+ ]
+ searchForm m continents (List.isEmpty (defaultArg results []))
+ match results with
+ | Some r when List.isEmpty r -> p [ _class "pt-3" ] [ txt "No results found for the specified criteria" ]
+ | Some r -> if isPublic then yield! publicResults r else privateResults r tz
+ | None -> ()
+ ]
+ |> pageWithTitle "Search Profiles"
+
+
+/// Display a profile
+let private displayProfile (it : ProfileForView) isPublic isPrint =
+ [ h2 [] [
+ str (Citizen.name it.Citizen)
+ if it.Profile.IsSeekingEmployment then
+ span [ _class "jjj-heading-label" ] [
+ txt " "; span [ _class "badge bg-dark" ] [ txt "Currently Seeking Employment" ]
+ ]
+ ]
+ h4 [] [ str $"{it.Continent.Name}, {it.Profile.Region}" ]
+ (if isPrint then contactInfoPrint else contactInfo) it.Citizen isPublic
+ |> div [ _class "pb-3" ]
+ p [] [
+ txt (if it.Profile.IsFullTime then "I" else "Not i"); txt "nterested in full-time employment • "
+ txt (if it.Profile.IsRemote then "I" else "Not i"); txt "nterested in remote opportunities"
+ ]
+ div [] [ md2html it.Profile.Biography ]
+ if not (List.isEmpty it.Profile.Skills) then
+ h4 [ _class "pb-3 border-top border-3" ] [ txt "Skills" ]
+ it.Profile.Skills
+ |> List.map (fun skill ->
+ li [] [
+ str skill.Description
+ match skill.Notes with Some notes -> txt " ("; str notes; txt ")" | None -> ()
+ ])
+ |> ul []
+ if not (List.isEmpty it.Profile.History) then
+ h4 [ _class "mb-3 border-top border-3" ] [ txt "Employment History" ]
+ yield!
+ it.Profile.History
+ |> List.indexed
+ |> List.collect (fun (idx, entry) -> [
+ let maybeBorder = if idx > 0 then " border-top" else ""
+ div [ _class $"d-flex flex-row flex-wrap justify-content-between align-items-start mt-4 mb-2{maybeBorder}" ] [
+ div [] [
+ strong [] [ str entry.Employer ]
+ match entry.Position with Some pos -> br []; str pos | None -> ()
+ ]
+ div [ _class "text-end" ] [
+ span [ _class "text-nowrap" ] [ str (monthAndYear.Format entry.StartDate) ]
+ span [ _class "text-nowrap" ] [
+ txt " to "
+ match entry.EndDate with
+ | Some dt -> str (monthAndYear.Format dt)
+ | None -> txt "Present"
+ ]
+ ]
+ ]
+ match entry.Description with Some d -> div [] [ md2html d ] | None -> ()
+ ])
+ match it.Profile.Experience with
+ | Some exp -> div [ _class "border-top border-3" ] [ md2html exp ]
+ | None -> ()
+ ]
+
+
+/// Profile view template
+let view (it : ProfileForView) currentId =
+ article [] [
+ yield! displayProfile it (Option.isNone currentId) false
+ if Option.isSome currentId && currentId.Value = it.Citizen.Id then
+ br []; br []
+ a [ _href "/profile/edit"; _class "btn btn-primary" ] [
+ i [ _class "mdi mdi-pencil" ] []; txt " Edit Your Profile"
+ ]
+ txt " "
+ a [ _href $"/profile/{CitizenId.toString it.Profile.Id}/print"; _target "_blank"
+ _class "btn btn-outline-secondary" ] [
+ i [ _class "mdi mdi-printer-outline" ] []; txt " View Print Version"
+ ]
+ ]
+
+
+/// Printable profile view template
+let print (it : ProfileForView) isPublic =
+ article [] [
+ yield! displayProfile it isPublic true
+ button [ _type "button"; _class "btn btn-sm btn-secondary jjj-hide-from-printer"; _onclick "window.print()" ] [
+ i [ _class "mdi mdi-printer-outline" ] []; txt " Print"
+ ]
+ ]
diff --git a/src/JobsJobsJobs/Server/.gitignore b/src/JobsJobsJobs/Server/.gitignore
deleted file mode 100644
index 701678b..0000000
--- a/src/JobsJobsJobs/Server/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-wwwroot
diff --git a/src/JobsJobsJobs/Server/App.fs b/src/JobsJobsJobs/Server/App.fs
deleted file mode 100644
index 6f685b4..0000000
--- a/src/JobsJobsJobs/Server/App.fs
+++ /dev/null
@@ -1,81 +0,0 @@
-/// The main API application for Jobs, Jobs, Jobs
-module JobsJobsJobs.Api.App
-
-open Microsoft.AspNetCore.Builder
-open Microsoft.AspNetCore.Hosting
-open Microsoft.Extensions.DependencyInjection
-open Microsoft.Extensions.Hosting
-open Giraffe
-open Giraffe.EndpointRouting
-
-
-/// Configure the ASP.NET Core pipeline to use Giraffe
-let configureApp (app : IApplicationBuilder) =
- app.UseCors(fun p -> p.AllowAnyOrigin().AllowAnyHeader() |> ignore)
- .UseStaticFiles()
- .UseRouting()
- .UseAuthentication()
- .UseAuthorization()
- .UseGiraffeErrorHandler(Handlers.Error.unexpectedError)
- .UseEndpoints(fun e ->
- e.MapGiraffeEndpoints Handlers.allEndpoints
- e.MapFallbackToFile "index.html" |> ignore)
- |> ignore
-
-open Newtonsoft.Json
-open NodaTime
-open Microsoft.AspNetCore.Authentication.JwtBearer
-open Microsoft.Extensions.Configuration
-open Microsoft.Extensions.Logging
-open Microsoft.IdentityModel.Tokens
-open System.Text
-open JobsJobsJobs.Domain.SharedTypes
-
-/// Configure dependency injection
-let configureServices (svc : IServiceCollection) =
- svc.AddGiraffe () |> ignore
- svc.AddSingleton SystemClock.Instance |> ignore
- svc.AddLogging () |> ignore
- svc.AddCors () |> ignore
-
- let jsonCfg = JsonSerializerSettings ()
- Data.Converters.all () |> List.iter jsonCfg.Converters.Add
- svc.AddSingleton (NewtonsoftJson.Serializer jsonCfg) |> ignore
-
- let svcs = svc.BuildServiceProvider ()
- let cfg = svcs.GetRequiredService ()
-
- svc.AddAuthentication(fun o ->
- o.DefaultAuthenticateScheme <- JwtBearerDefaults.AuthenticationScheme
- o.DefaultChallengeScheme <- JwtBearerDefaults.AuthenticationScheme
- o.DefaultScheme <- JwtBearerDefaults.AuthenticationScheme)
- .AddJwtBearer(fun o ->
- o.RequireHttpsMetadata <- false
- o.TokenValidationParameters <- TokenValidationParameters (
- ValidateIssuer = true,
- ValidateAudience = true,
- ValidAudience = "https://noagendacareers.com",
- ValidIssuer = "https://noagendacareers.com",
- IssuerSigningKey = SymmetricSecurityKey (
- Encoding.UTF8.GetBytes (cfg.GetSection "Auth").["ServerSecret"])))
- |> ignore
- svc.AddAuthorization () |> ignore
- svc.Configure (cfg.GetSection "Auth") |> ignore
-
- let dbCfg = cfg.GetSection "Rethink"
- let log = svcs.GetRequiredService().CreateLogger "JobsJobsJobs.Api.Data.Startup"
- let conn = Data.Startup.createConnection dbCfg log
- svc.AddSingleton conn |> ignore
- Data.Startup.establishEnvironment dbCfg log conn |> Async.AwaitTask |> Async.RunSynchronously
-
-[]
-let main _ =
- Host.CreateDefaultBuilder()
- .ConfigureWebHostDefaults(fun webHostBuilder ->
- webHostBuilder
- .Configure(configureApp)
- .ConfigureServices(configureServices)
- |> ignore)
- .Build()
- .Run ()
- 0
diff --git a/src/JobsJobsJobs/Server/Auth.fs b/src/JobsJobsJobs/Server/Auth.fs
deleted file mode 100644
index e2b8b2a..0000000
--- a/src/JobsJobsJobs/Server/Auth.fs
+++ /dev/null
@@ -1,107 +0,0 @@
-/// Authorization / authentication functions
-module JobsJobsJobs.Api.Auth
-
-open System.Text.Json.Serialization
-
-/// The variables we need from the account information we get from Mastodon
-[]
-type MastodonAccount () =
- /// The user name (what we store as mastodonUser)
- []
- member val Username = "" with get, set
- /// The account name; will generally be the same as username for local accounts, which is all we can verify
- []
- member val AccountName = "" with get, set
- /// The user's display name as it currently shows on Mastodon
- []
- member val DisplayName = "" with get, set
- /// The user's profile URL
- []
- member val Url = "" with get, set
-
-
-open Microsoft.Extensions.Logging
-open System
-open System.Net.Http
-open System.Net.Http.Headers
-open System.Net.Http.Json
-open System.Text.Json
-open JobsJobsJobs.Domain.SharedTypes
-
-/// HTTP client to use to communication with Mastodon
-let private http =
- let h = new HttpClient ()
- h.Timeout <- TimeSpan.FromSeconds 30.
- h
-
-/// Verify the authorization code with Mastodon and get the user's profile
-let verifyWithMastodon (authCode : string) (inst : MastodonInstance) rtnHost (log : ILogger) = task {
-
- // Function to create a URL for the given instance
- let apiUrl = sprintf "%s/api/v1/%s" inst.Url
-
- // Use authorization code to get an access token from Mastodon
- use! codeResult =
- http.PostAsJsonAsync ($"{inst.Url}/oauth/token",
- {| client_id = inst.ClientId
- client_secret = inst.Secret
- redirect_uri = $"{rtnHost}/citizen/{inst.Abbr}/authorized"
- grant_type = "authorization_code"
- code = authCode
- scope = "read"
- |})
- match codeResult.IsSuccessStatusCode with
- | true ->
- let! responseBytes = codeResult.Content.ReadAsByteArrayAsync ()
- use tokenResponse = JsonSerializer.Deserialize (ReadOnlySpan responseBytes)
- match tokenResponse with
- | null -> return Error "Could not parse authorization code result"
- | _ ->
- // Use access token to get profile from NAS
- use req = new HttpRequestMessage (HttpMethod.Get, apiUrl "accounts/verify_credentials")
- req.Headers.Authorization <- AuthenticationHeaderValue
- ("Bearer", tokenResponse.RootElement.GetProperty("access_token").GetString ())
- use! profileResult = http.SendAsync req
-
- match profileResult.IsSuccessStatusCode with
- | true ->
- let! profileBytes = profileResult.Content.ReadAsByteArrayAsync ()
- match JsonSerializer.Deserialize(ReadOnlySpan profileBytes) with
- | null -> return Error "Could not parse profile result"
- | profile -> return Ok profile
- | false -> return Error $"Could not get profile ({profileResult.StatusCode:D}: {profileResult.ReasonPhrase})"
- | false ->
- let! err = codeResult.Content.ReadAsStringAsync ()
- log.LogError $"Could not get token result from Mastodon:\n {err}"
- return Error $"Could not get token ({codeResult.StatusCode:D}: {codeResult.ReasonPhrase})"
- }
-
-
-open JobsJobsJobs.Domain
-open JobsJobsJobs.Domain.Types
-open Microsoft.IdentityModel.Tokens
-open System.IdentityModel.Tokens.Jwt
-open System.Security.Claims
-open System.Text
-
-/// Create a JSON Web Token for this citizen to use for further requests to this API
-let createJwt (citizen : Citizen) (cfg : AuthOptions) =
-
- let tokenHandler = JwtSecurityTokenHandler ()
- let token =
- tokenHandler.CreateToken (
- SecurityTokenDescriptor (
- Subject = ClaimsIdentity [|
- Claim (ClaimTypes.NameIdentifier, CitizenId.toString citizen.id)
- Claim (ClaimTypes.Name, Citizen.name citizen)
- |],
- Expires = DateTime.UtcNow.AddHours 2.,
- Issuer = "https://noagendacareers.com",
- Audience = "https://noagendacareers.com",
- SigningCredentials = SigningCredentials (
- SymmetricSecurityKey (
- Encoding.UTF8.GetBytes cfg.ServerSecret), SecurityAlgorithms.HmacSha256Signature)
- )
- )
- tokenHandler.WriteToken token
-
diff --git a/src/JobsJobsJobs/Server/Data.fs b/src/JobsJobsJobs/Server/Data.fs
deleted file mode 100644
index 772e1b6..0000000
--- a/src/JobsJobsJobs/Server/Data.fs
+++ /dev/null
@@ -1,471 +0,0 @@
-/// Data access functions for Jobs, Jobs, Jobs
-module JobsJobsJobs.Api.Data
-
-open JobsJobsJobs.Domain.Types
-
-/// JSON converters used with RethinkDB persistence
-module Converters =
-
- open JobsJobsJobs.Domain
- open Microsoft.FSharpLu.Json
- open Newtonsoft.Json
- open System
-
- /// JSON converter for citizen IDs
- type CitizenIdJsonConverter() =
- inherit JsonConverter()
- override _.WriteJson(writer : JsonWriter, value : CitizenId, _ : JsonSerializer) =
- writer.WriteValue (CitizenId.toString value)
- override _.ReadJson(reader: JsonReader, _ : Type, _ : CitizenId, _ : bool, _ : JsonSerializer) =
- (string >> CitizenId.ofString) reader.Value
-
- /// JSON converter for continent IDs
- type ContinentIdJsonConverter() =
- inherit JsonConverter()
- override _.WriteJson(writer : JsonWriter, value : ContinentId, _ : JsonSerializer) =
- writer.WriteValue (ContinentId.toString value)
- override _.ReadJson(reader: JsonReader, _ : Type, _ : ContinentId, _ : bool, _ : JsonSerializer) =
- (string >> ContinentId.ofString) reader.Value
-
- /// JSON converter for Markdown strings
- type MarkdownStringJsonConverter() =
- inherit JsonConverter()
- override _.WriteJson(writer : JsonWriter, value : MarkdownString, _ : JsonSerializer) =
- let (Text text) = value
- writer.WriteValue text
- override _.ReadJson(reader: JsonReader, _ : Type, _ : MarkdownString, _ : bool, _ : JsonSerializer) =
- (string >> Text) reader.Value
-
- /// JSON converter for listing IDs
- type ListingIdJsonConverter() =
- inherit JsonConverter()
- override _.WriteJson(writer : JsonWriter, value : ListingId, _ : JsonSerializer) =
- writer.WriteValue (ListingId.toString value)
- override _.ReadJson(reader: JsonReader, _ : Type, _ : ListingId, _ : bool, _ : JsonSerializer) =
- (string >> ListingId.ofString) reader.Value
-
- /// JSON converter for skill IDs
- type SkillIdJsonConverter() =
- inherit JsonConverter()
- override _.WriteJson(writer : JsonWriter, value : SkillId, _ : JsonSerializer) =
- writer.WriteValue (SkillId.toString value)
- override _.ReadJson(reader: JsonReader, _ : Type, _ : SkillId, _ : bool, _ : JsonSerializer) =
- (string >> SkillId.ofString) reader.Value
-
- /// JSON converter for success report IDs
- type SuccessIdJsonConverter() =
- inherit JsonConverter()
- override _.WriteJson(writer : JsonWriter, value : SuccessId, _ : JsonSerializer) =
- writer.WriteValue (SuccessId.toString value)
- override _.ReadJson(reader: JsonReader, _ : Type, _ : SuccessId, _ : bool, _ : JsonSerializer) =
- (string >> SuccessId.ofString) reader.Value
-
- /// All JSON converters needed for the application
- let all () : JsonConverter list =
- [ CitizenIdJsonConverter ()
- ContinentIdJsonConverter ()
- MarkdownStringJsonConverter ()
- ListingIdJsonConverter ()
- SkillIdJsonConverter ()
- SuccessIdJsonConverter ()
- CompactUnionJsonConverter ()
- ]
-
-
-/// Table names
-[]
-module Table =
- /// The user (citizen of Gitmo Nation) table
- let Citizen = "citizen"
- /// The continent table
- let Continent = "continent"
- /// The job listing table
- let Listing = "listing"
- /// The citizen employment profile table
- let Profile = "profile"
- /// The success story table
- let Success = "success"
- /// All tables
- let all () = [ Citizen; Continent; Listing; Profile; Success ]
-
-
-open RethinkDb.Driver.FSharp.Functions
-open RethinkDb.Driver.Net
-
-/// Reconnection functions (if the RethinkDB driver has a network error, it will not reconnect on its own)
-[]
-module private Reconnect =
-
- /// Retrieve a result using the F# driver's default retry policy
- let result<'T> conn expr = runResult<'T> expr |> withRetryDefault |> withConn conn
-
- /// Retrieve an optional result using the F# driver's default retry policy
- let resultOption<'T> conn expr = runResult<'T> expr |> withRetryDefault |> asOption |> withConn conn
-
- /// Write a query using the F# driver's default retry policy, ignoring the result
- let write conn expr = runWrite expr |> withRetryDefault |> ignoreResult |> withConn conn
-
-
-open RethinkDb.Driver.Ast
-
-/// Shorthand for the RethinkDB R variable (how every command starts)
-let private r = RethinkDb.Driver.RethinkDB.R
-
-/// Functions run at startup
-[]
-module Startup =
-
- open Microsoft.Extensions.Configuration
- open Microsoft.Extensions.Logging
- open NodaTime
- open NodaTime.Serialization.JsonNet
- open RethinkDb.Driver.FSharp
-
- /// Create a RethinkDB connection
- let createConnection (cfg : IConfigurationSection) (log : ILogger) =
- // Add all required JSON converters
- Converter.Serializer.ConfigureForNodaTime DateTimeZoneProviders.Tzdb |> ignore
- Converters.all ()
- |> List.iter Converter.Serializer.Converters.Add
- // Connect to the database
- let config = DataConfig.FromConfiguration cfg
- log.LogInformation $"Connecting to rethinkdb://{config.Hostname}:{config.Port}/{config.Database}"
- config.CreateConnection ()
-
- /// Ensure the data, tables, and indexes that are required exist
- let establishEnvironment (cfg : IConfigurationSection) (log : ILogger) conn = task {
- // Ensure the database exists
- match cfg["database"] |> Option.ofObj with
- | Some database ->
- let! dbs = dbList () |> result conn
- match dbs |> List.contains database with
- | true -> ()
- | false ->
- log.LogInformation $"Creating database {database}..."
- do! dbCreate database |> write conn
- ()
- | None -> ()
- // Ensure the tables exist
- let! tables = tableListFromDefault () |> result conn
- for table in Table.all () do
- if not (List.contains table tables) then
- log.LogInformation $"Creating {table} table..."
- do! tableCreateInDefault table |> write conn
- // Ensure the indexes exist
- let ensureIndexes table indexes = task {
- let! tblIndexes = fromTable table |> indexList |> result conn
- for index in indexes do
- if not (List.contains index tblIndexes) then
- log.LogInformation $"Creating \"{index}\" index on {table}"
- do! fromTable table |> indexCreate index |> write conn
- }
- do! ensureIndexes Table.Listing [ "citizenId"; "continentId"; "isExpired" ]
- do! ensureIndexes Table.Profile [ "continentId" ]
- do! ensureIndexes Table.Success [ "citizenId" ]
- // The instance/user is a compound index
- let! userIdx = fromTable Table.Citizen |> indexList |> result conn
- if not (List.contains "instanceUser" userIdx) then
- do! fromTable Table.Citizen
- |> indexCreateFunc "instanceUser" (fun row -> r.Array (row.G "instance", row.G "mastodonUser"))
- |> write conn
- }
-
-
-open JobsJobsJobs.Domain
-open JobsJobsJobs.Domain.SharedTypes
-
-/// Sanitize user input, and create a "contains" pattern for use with RethinkDB queries
-let regexContains = System.Text.RegularExpressions.Regex.Escape >> sprintf "(?i)%s"
-
-/// Profile data access functions
-[]
-module Profile =
-
- /// Count the current profiles
- let count conn =
- fromTable Table.Profile
- |> count
- |> result conn
-
- /// Find a profile by citizen ID
- let findById (citizenId : CitizenId) conn =
- fromTable Table.Profile
- |> get citizenId
- |> resultOption conn
-
- /// Insert or update a profile
- let save (profile : Profile) conn =
- fromTable Table.Profile
- |> get profile.id
- |> replace profile
- |> write conn
-
- /// Delete a citizen's profile
- let delete (citizenId : CitizenId) conn =
- fromTable Table.Profile
- |> get citizenId
- |> delete
- |> write conn
-
- /// Search profiles (logged-on users)
- let search (search : ProfileSearch) conn =
- (seq ReqlExpr> {
- match search.continentId with
- | Some cId -> yield (fun q -> q.Filter (r.HashMap (nameof search.continentId, ContinentId.ofString cId)))
- | None -> ()
- match search.remoteWork with
- | "" -> ()
- | _ -> yield (fun q -> q.Filter (r.HashMap (nameof search.remoteWork, search.remoteWork = "yes")))
- match search.skill with
- | Some skl ->
- yield (fun q -> q.Filter (ReqlFunction1(fun it ->
- it.G("skills").Contains (ReqlFunction1(fun s -> s.G("description").Match (regexContains skl))))))
- | None -> ()
- match search.bioExperience with
- | Some text ->
- let txt = regexContains text
- yield (fun q -> q.Filter (ReqlFunction1(fun it ->
- it.G("biography").Match(txt).Or (it.G("experience").Match txt))))
- | None -> ()
- }
- |> Seq.toList
- |> List.fold
- (fun q f -> f q)
- (r.Table(Table.Profile)
- .EqJoin("id", r.Table Table.Citizen)
- .Without(r.HashMap ("right", "id"))
- .Zip () :> ReqlExpr))
- |> mergeFunc (fun it ->
- r.HashMap("displayName",
- r.Branch (it.G("realName" ).Default_("").Ne "", it.G "realName",
- it.G("displayName").Default_("").Ne "", it.G "displayName",
- it.G "mastodonUser"))
- .With ("citizenId", it.G "id"))
- |> pluck [ "citizenId"; "displayName"; "seekingEmployment"; "remoteWork"; "fullTime"; "lastUpdatedOn" ]
- |> orderByFunc (fun it -> it.G("displayName").Downcase ())
- |> result conn
-
- // Search profiles (public)
- let publicSearch (search : PublicSearch) conn =
- (seq ReqlExpr> {
- match search.continentId with
- | Some cId -> yield (fun q -> q.Filter (r.HashMap (nameof search.continentId, ContinentId.ofString cId)))
- | None -> ()
- match search.region with
- | Some reg ->
- yield (fun q -> q.Filter (ReqlFunction1 (fun it -> upcast it.G("region").Match (regexContains reg))))
- | None -> ()
- match search.remoteWork with
- | "" -> ()
- | _ -> yield (fun q -> q.Filter (r.HashMap (nameof search.remoteWork, search.remoteWork = "yes")))
- match search.skill with
- | Some skl ->
- yield (fun q -> q.Filter (ReqlFunction1 (fun it ->
- it.G("skills").Contains (ReqlFunction1(fun s -> s.G("description").Match (regexContains skl))))))
- | None -> ()
- }
- |> Seq.toList
- |> List.fold
- (fun q f -> f q)
- (r.Table(Table.Profile)
- .EqJoin("continentId", r.Table Table.Continent)
- .Without(r.HashMap ("right", "id"))
- .Zip()
- .Filter(r.HashMap ("isPublic", true))))
- |> mergeFunc (fun it ->
- r.HashMap("skills",
- it.G("skills").Map (ReqlFunction1 (fun skill ->
- r.Branch(skill.G("notes").Default_("").Eq "", skill.G "description",
- skill.G("description").Add(" (").Add(skill.G("notes")).Add ")"))))
- .With("continent", it.G "name"))
- |> pluck [ "continent"; "region"; "skills"; "remoteWork" ]
- |> result conn
-
-/// Citizen data access functions
-[]
-module Citizen =
-
- /// Find a citizen by their ID
- let findById (citizenId : CitizenId) conn =
- fromTable Table.Citizen
- |> get citizenId
- |> resultOption conn
-
- /// Find a citizen by their Mastodon username
- let findByMastodonUser (instance : string) (mastodonUser : string) conn = task {
- let! u =
- fromTable Table.Citizen
- |> getAllWithIndex [ r.Array (instance, mastodonUser) ] "instanceUser"
- |> limit 1
- |> result conn
- return List.tryHead u
- }
-
- /// Add a citizen
- let add (citizen : Citizen) conn =
- fromTable Table.Citizen
- |> insert citizen
- |> write conn
-
- /// Update the display name and last seen on date for a citizen
- let logOnUpdate (citizen : Citizen) conn =
- fromTable Table.Citizen
- |> get citizen.id
- |> update (r.HashMap( nameof citizen.displayName, citizen.displayName)
- .With (nameof citizen.lastSeenOn, citizen.lastSeenOn))
- |> write conn
-
- /// Delete a citizen
- let delete citizenId conn = task {
- do! Profile.delete citizenId conn
- do! fromTable Table.Success
- |> getAllWithIndex [ citizenId ] "citizenId"
- |> delete
- |> write conn
- do! fromTable Table.Listing
- |> getAllWithIndex [ citizenId ] "citizenId"
- |> delete
- |> write conn
- do! fromTable Table.Citizen
- |> get citizenId
- |> delete
- |> write conn
- }
-
- /// Update a citizen's real name
- let realNameUpdate (citizenId : CitizenId) (realName : string option) conn =
- fromTable Table.Citizen
- |> get citizenId
- |> update (r.HashMap (nameof realName, realName))
- |> write conn
-
-
-/// Continent data access functions
-[]
-module Continent =
-
- /// Get all continents
- let all conn =
- fromTable Table.Continent
- |> result conn
-
- /// Get a continent by its ID
- let findById (contId : ContinentId) conn =
- fromTable Table.Continent
- |> get contId
- |> resultOption conn
-
-
-/// Job listing data access functions
-[]
-module Listing =
-
- open NodaTime
-
- /// Find all job listings posted by the given citizen
- let findByCitizen (citizenId : CitizenId) conn =
- fromTable Table.Listing
- |> getAllWithIndex [ citizenId ] (nameof citizenId)
- |> eqJoin "continentId" (fromTable Table.Continent)
- |> mapFunc (fun it -> r.HashMap("listing", it.G "left").With ("continent", it.G "right"))
- |> result conn
-
- /// Find a listing by its ID
- let findById (listingId : ListingId) conn =
- fromTable Table.Listing
- |> get listingId
- |> resultOption conn
-
- /// Find a listing by its ID for viewing (includes continent information)
- let findByIdForView (listingId : ListingId) conn = task {
- let! listing =
- fromTable Table.Listing
- |> filter (r.HashMap ("id", listingId))
- |> eqJoin "continentId" (fromTable Table.Continent)
- |> mapFunc (fun it -> r.HashMap("listing", it.G "left").With ("continent", it.G "right"))
- |> result conn
- return List.tryHead listing
- }
-
- /// Add a listing
- let add (listing : Listing) conn =
- fromTable Table.Listing
- |> insert listing
- |> write conn
-
- /// Update a listing
- let update (listing : Listing) conn =
- fromTable Table.Listing
- |> get listing.id
- |> replace listing
- |> write conn
-
- /// Expire a listing
- let expire (listingId : ListingId) (fromHere : bool) (now : Instant) conn =
- (fromTable Table.Listing
- |> get listingId)
- .Update (r.HashMap("isExpired", true).With("wasFilledHere", fromHere).With ("updatedOn", now))
- |> write conn
-
- /// Search job listings
- let search (search : ListingSearch) conn =
- (seq ReqlExpr> {
- match search.continentId with
- | Some cId -> yield (fun q -> q.Filter (r.HashMap (nameof search.continentId, ContinentId.ofString cId)))
- | None -> ()
- match search.region with
- | Some rgn ->
- yield (fun q ->
- q.Filter (ReqlFunction1 (fun it -> it.G(nameof search.region).Match (regexContains rgn))))
- | None -> ()
- match search.remoteWork with
- | "" -> ()
- | _ -> yield (fun q -> q.Filter (r.HashMap (nameof search.remoteWork, search.remoteWork = "yes")))
- match search.text with
- | Some text ->
- yield (fun q ->
- q.Filter (ReqlFunction1 (fun it -> it.G(nameof search.text).Match (regexContains text))))
- | None -> ()
- }
- |> Seq.toList
- |> List.fold
- (fun q f -> f q)
- (fromTable Table.Listing
- |> getAllWithIndex [ false ] "isExpired" :> ReqlExpr))
- |> eqJoin "continentId" (fromTable Table.Continent)
- |> mapFunc (fun it -> r.HashMap("listing", it.G "left").With ("continent", it.G "right"))
- |> result conn
-
-
-/// Success story data access functions
-[]
-module Success =
-
- /// Find a success report by its ID
- let findById (successId : SuccessId) conn =
- fromTable Table.Success
- |> get successId
- |> resultOption conn
-
- /// Insert or update a success story
- let save (success : Success) conn =
- fromTable Table.Success
- |> get success.id
- |> replace success
- |> write conn
-
- // Retrieve all success stories
- let all conn =
- (fromTable Table.Success
- |> eqJoin "citizenId" (fromTable Table.Citizen))
- .Without(r.HashMap ("right", "id"))
- |> zip
- |> mergeFunc (fun it ->
- r.HashMap("citizenName",
- r.Branch(it.G("realName" ).Default_("").Ne "", it.G "realName",
- it.G("displayName").Default_("").Ne "", it.G "displayName",
- it.G "mastodonUser"))
- .With ("hasStory", it.G("story").Default_("").Gt ""))
- |> pluck [ "id"; "citizenId"; "citizenName"; "recordedOn"; "fromHere"; "hasStory" ]
- |> orderByDescending "recordedOn"
- |> result conn
diff --git a/src/JobsJobsJobs/Server/Handlers.fs b/src/JobsJobsJobs/Server/Handlers.fs
deleted file mode 100644
index 89617e3..0000000
--- a/src/JobsJobsJobs/Server/Handlers.fs
+++ /dev/null
@@ -1,512 +0,0 @@
-/// Route handlers for Giraffe endpoints
-module JobsJobsJobs.Api.Handlers
-
-open Giraffe
-open JobsJobsJobs.Domain
-open JobsJobsJobs.Domain.SharedTypes
-open JobsJobsJobs.Domain.Types
-open Microsoft.AspNetCore.Http
-open Microsoft.Extensions.Logging
-
-/// Handler to return the files required for the Vue client app
-module Vue =
-
- /// Handler that returns index.html (the Vue client app)
- let app = htmlFile "wwwroot/index.html"
-
-
-/// Handlers for error conditions
-module Error =
-
- open System.Threading.Tasks
-
- /// URL prefixes for the Vue app
- let vueUrls =
- [ "/how-it-works"; "/privacy-policy"; "/terms-of-service"; "/citizen"; "/help-wanted"; "/listing"; "/profile"
- "/so-long"; "/success-story"
- ]
-
- /// Handler that will return a status code 404 and the text "Not Found"
- let notFound : HttpHandler = fun next ctx -> task {
- let fac = ctx.GetService ()
- let log = fac.CreateLogger "Handler"
- let path = string ctx.Request.Path
- match [ "GET"; "HEAD" ] |> List.contains ctx.Request.Method with
- | true when path = "/" || vueUrls |> List.exists path.StartsWith ->
- log.LogInformation "Returning Vue app"
- return! Vue.app next ctx
- | _ ->
- log.LogInformation "Returning 404"
- return! RequestErrors.NOT_FOUND $"The URL {path} was not recognized as a valid URL" next ctx
- }
-
- /// Handler that returns a 403 NOT AUTHORIZED response
- let notAuthorized : HttpHandler =
- setStatusCode 403 >=> fun _ _ -> Task.FromResult None
-
- /// Handler to log 500s and return a message we can display in the application
- let unexpectedError (ex: exn) (log : ILogger) =
- log.LogError(ex, "An unexpected error occurred")
- clearResponse >=> ServerErrors.INTERNAL_ERROR ex.Message
-
-
-/// Helper functions
-[]
-module Helpers =
-
- open NodaTime
- open Microsoft.Extensions.Configuration
- open Microsoft.Extensions.Options
- open RethinkDb.Driver.Net
- open System.Security.Claims
-
- /// Get the NodaTime clock from the request context
- let clock (ctx : HttpContext) = ctx.GetService ()
-
- /// Get the application configuration from the request context
- let config (ctx : HttpContext) = ctx.GetService ()
-
- /// Get the authorization configuration from the request context
- let authConfig (ctx : HttpContext) = (ctx.GetService> ()).Value
-
- /// Get the logger factory from the request context
- let logger (ctx : HttpContext) = ctx.GetService ()
-
- /// Get the RethinkDB connection from the request context
- let conn (ctx : HttpContext) = ctx.GetService ()
-
- /// `None` if a `string option` is `None`, whitespace, or empty
- let noneIfBlank (s : string option) =
- s |> Option.map (fun x -> match x.Trim () with "" -> None | _ -> Some x) |> Option.flatten
-
- /// `None` if a `string` is null, empty, or whitespace; otherwise, `Some` and the trimmed string
- let noneIfEmpty = Option.ofObj >> noneIfBlank
-
- /// Try to get the current user
- let tryUser (ctx : HttpContext) =
- ctx.User.FindFirst ClaimTypes.NameIdentifier
- |> Option.ofObj
- |> Option.map (fun x -> x.Value)
-
- /// Require a user to be logged in
- let authorize : HttpHandler =
- fun next ctx -> match tryUser ctx with Some _ -> next ctx | None -> Error.notAuthorized next ctx
-
- /// Get the ID of the currently logged in citizen
- // NOTE: if no one is logged in, this will raise an exception
- let currentCitizenId = tryUser >> Option.get >> CitizenId.ofString
-
- /// Return an empty OK response
- let ok : HttpHandler = Successful.OK ""
-
-
-
-/// Handlers for /api/citizen routes
-[]
-module Citizen =
-
- // GET: /api/citizen/log-on/[code]
- let logOn (abbr, authCode) : HttpHandler = fun next ctx -> task {
- // Step 1 - Verify with Mastodon
- let cfg = authConfig ctx
-
- match cfg.Instances |> Array.tryFind (fun it -> it.Abbr = abbr) with
- | Some instance ->
- let log = (logger ctx).CreateLogger (nameof JobsJobsJobs.Api.Auth)
-
- match! Auth.verifyWithMastodon authCode instance cfg.ReturnHost log with
- | Ok account ->
- // Step 2 - Find / establish Jobs, Jobs, Jobs account
- let now = (clock ctx).GetCurrentInstant ()
- let dbConn = conn ctx
- let! citizen = task {
- match! Data.Citizen.findByMastodonUser instance.Abbr account.Username dbConn with
- | None ->
- let it : Citizen =
- { id = CitizenId.create ()
- instance = instance.Abbr
- mastodonUser = account.Username
- displayName = noneIfEmpty account.DisplayName
- realName = None
- profileUrl = account.Url
- joinedOn = now
- lastSeenOn = now
- }
- do! Data.Citizen.add it dbConn
- return it
- | Some citizen ->
- let it = { citizen with displayName = noneIfEmpty account.DisplayName; lastSeenOn = now }
- do! Data.Citizen.logOnUpdate it dbConn
- return it
- }
-
- // Step 3 - Generate JWT
- return!
- json
- { jwt = Auth.createJwt citizen cfg
- citizenId = CitizenId.toString citizen.id
- name = Citizen.name citizen
- } next ctx
- | Error err -> return! RequestErrors.BAD_REQUEST err next ctx
- | None -> return! Error.notFound next ctx
- }
-
- // GET: /api/citizen/[id]
- let get citizenId : HttpHandler = authorize >=> fun next ctx -> task {
- match! Data.Citizen.findById (CitizenId citizenId) (conn ctx) with
- | Some citizen -> return! json citizen next ctx
- | None -> return! Error.notFound next ctx
- }
-
- // DELETE: /api/citizen
- let delete : HttpHandler = authorize >=> fun next ctx -> task {
- do! Data.Citizen.delete (currentCitizenId ctx) (conn ctx)
- return! ok next ctx
- }
-
-
-/// Handlers for /api/continent routes
-[]
-module Continent =
-
- // GET: /api/continent/all
- let all : HttpHandler = fun next ctx -> task {
- let! continents = Data.Continent.all (conn ctx)
- return! json continents next ctx
- }
-
-
-/// Handlers for /api/instances routes
-[]
-module Instances =
-
- /// Convert a Mastodon instance to the one we use in the API
- let private toInstance (inst : MastodonInstance) =
- { name = inst.Name
- url = inst.Url
- abbr = inst.Abbr
- clientId = inst.ClientId
- isEnabled = inst.IsEnabled
- reason = inst.Reason
- }
-
- // GET: /api/instances
- let all : HttpHandler = fun next ctx -> task {
- return! json ((authConfig ctx).Instances |> Array.map toInstance) next ctx
- }
-
-
-/// Handlers for /api/listing[s] routes
-[]
-module Listing =
-
- open NodaTime
- open System
-
- /// Parse the string we receive from JSON into a NodaTime local date
- let private parseDate = DateTime.Parse >> LocalDate.FromDateTime
-
- // GET: /api/listings/mine
- let mine : HttpHandler = authorize >=> fun next ctx -> task {
- let! listings = Data.Listing.findByCitizen (currentCitizenId ctx) (conn ctx)
- return! json listings next ctx
- }
-
- // GET: /api/listing/[id]
- let get listingId : HttpHandler = authorize >=> fun next ctx -> task {
- match! Data.Listing.findById (ListingId listingId) (conn ctx) with
- | Some listing -> return! json listing next ctx
- | None -> return! Error.notFound next ctx
- }
-
- // GET: /api/listing/view/[id]
- let view listingId : HttpHandler = authorize >=> fun next ctx -> task {
- match! Data.Listing.findByIdForView (ListingId listingId) (conn ctx) with
- | Some listing -> return! json listing next ctx
- | None -> return! Error.notFound next ctx
- }
-
- // POST: /listings
- let add : HttpHandler = authorize >=> fun next ctx -> task {
- let! form = ctx.BindJsonAsync ()
- let now = (clock ctx).GetCurrentInstant ()
- do! Data.Listing.add
- { id = ListingId.create ()
- citizenId = currentCitizenId ctx
- createdOn = now
- title = form.title
- continentId = ContinentId.ofString form.continentId
- region = form.region
- remoteWork = form.remoteWork
- isExpired = false
- updatedOn = now
- text = Text form.text
- neededBy = (form.neededBy |> Option.map parseDate)
- wasFilledHere = None
- } (conn ctx)
- return! ok next ctx
- }
-
- // PUT: /api/listing/[id]
- let update listingId : HttpHandler = authorize >=> fun next ctx -> task {
- let dbConn = conn ctx
- match! Data.Listing.findById (ListingId listingId) dbConn with
- | Some listing when listing.citizenId <> (currentCitizenId ctx) -> return! Error.notAuthorized next ctx
- | Some listing ->
- let! form = ctx.BindJsonAsync ()
- do! Data.Listing.update
- { listing with
- title = form.title
- continentId = ContinentId.ofString form.continentId
- region = form.region
- remoteWork = form.remoteWork
- text = Text form.text
- neededBy = form.neededBy |> Option.map parseDate
- updatedOn = (clock ctx).GetCurrentInstant ()
- } dbConn
- return! ok next ctx
- | None -> return! Error.notFound next ctx
- }
-
- // PATCH: /api/listing/[id]
- let expire listingId : HttpHandler = authorize >=> fun next ctx -> task {
- let dbConn = conn ctx
- let now = clock(ctx).GetCurrentInstant ()
- match! Data.Listing.findById (ListingId listingId) dbConn with
- | Some listing when listing.citizenId <> (currentCitizenId ctx) -> return! Error.notAuthorized next ctx
- | Some listing ->
- let! form = ctx.BindJsonAsync ()
- do! Data.Listing.expire listing.id form.fromHere now dbConn
- match form.successStory with
- | Some storyText ->
- do! Data.Success.save
- { id = SuccessId.create()
- citizenId = currentCitizenId ctx
- recordedOn = now
- fromHere = form.fromHere
- source = "listing"
- story = (Text >> Some) storyText
- } dbConn
- | None -> ()
- return! ok next ctx
- | None -> return! Error.notFound next ctx
- }
-
- // GET: /api/listing/search
- let search : HttpHandler = authorize >=> fun next ctx -> task {
- let search = ctx.BindQueryString ()
- let! results = Data.Listing.search search (conn ctx)
- return! json results next ctx
- }
-
-
-/// Handlers for /api/profile routes
-[]
-module Profile =
-
- // GET: /api/profile
- // This returns the current citizen's profile, or a 204 if it is not found (a citizen not having a profile yet
- // is not an error). The "get" handler returns a 404 if a profile is not found.
- let current : HttpHandler = authorize >=> fun next ctx -> task {
- match! Data.Profile.findById (currentCitizenId ctx) (conn ctx) with
- | Some profile -> return! json profile next ctx
- | None -> return! Successful.NO_CONTENT next ctx
- }
-
- // GET: /api/profile/get/[id]
- let get citizenId : HttpHandler = authorize >=> fun next ctx -> task {
- match! Data.Profile.findById (CitizenId citizenId) (conn ctx) with
- | Some profile -> return! json profile next ctx
- | None -> return! Error.notFound next ctx
- }
-
- // GET: /api/profile/view/[id]
- let view citizenId : HttpHandler = authorize >=> fun next ctx -> task {
- let citId = CitizenId citizenId
- let dbConn = conn ctx
- match! Data.Profile.findById citId dbConn with
- | Some profile ->
- match! Data.Citizen.findById citId dbConn with
- | Some citizen ->
- match! Data.Continent.findById profile.continentId dbConn with
- | Some continent ->
- return!
- json
- { profile = profile
- citizen = citizen
- continent = continent
- } next ctx
- | None -> return! Error.notFound next ctx
- | None -> return! Error.notFound next ctx
- | None -> return! Error.notFound next ctx
- }
-
- // GET: /api/profile/count
- let count : HttpHandler = authorize >=> fun next ctx -> task {
- let! theCount = Data.Profile.count (conn ctx)
- return! json { count = theCount } next ctx
- }
-
- // POST: /api/profile/save
- let save : HttpHandler = authorize >=> fun next ctx -> task {
- let citizenId = currentCitizenId ctx
- let dbConn = conn ctx
- let! form = ctx.BindJsonAsync()
- let! profile = task {
- match! Data.Profile.findById citizenId dbConn with
- | Some p -> return p
- | None -> return { Profile.empty with id = citizenId }
- }
- do! Data.Profile.save
- { profile with
- seekingEmployment = form.isSeekingEmployment
- isPublic = form.isPublic
- continentId = ContinentId.ofString form.continentId
- region = form.region
- remoteWork = form.remoteWork
- fullTime = form.fullTime
- biography = Text form.biography
- lastUpdatedOn = (clock ctx).GetCurrentInstant ()
- experience = noneIfBlank form.experience |> Option.map Text
- skills = form.skills
- |> List.map (fun s ->
- { id = match s.id.StartsWith "new" with
- | true -> SkillId.create ()
- | false -> SkillId.ofString s.id
- description = s.description
- notes = noneIfBlank s.notes
- })
- } dbConn
- do! Data.Citizen.realNameUpdate citizenId (noneIfBlank (Some form.realName)) dbConn
- return! ok next ctx
- }
-
- // PATCH: /api/profile/employment-found
- let employmentFound : HttpHandler = authorize >=> fun next ctx -> task {
- let dbConn = conn ctx
- match! Data.Profile.findById (currentCitizenId ctx) dbConn with
- | Some profile ->
- do! Data.Profile.save { profile with seekingEmployment = false } dbConn
- return! ok next ctx
- | None -> return! Error.notFound next ctx
- }
-
- // DELETE: /api/profile
- let delete : HttpHandler = authorize >=> fun next ctx -> task {
- do! Data.Profile.delete (currentCitizenId ctx) (conn ctx)
- return! ok next ctx
- }
-
- // GET: /api/profile/search
- let search : HttpHandler = authorize >=> fun next ctx -> task {
- let search = ctx.BindQueryString ()
- let! results = Data.Profile.search search (conn ctx)
- return! json results next ctx
- }
-
- // GET: /api/profile/public-search
- let publicSearch : HttpHandler = fun next ctx -> task {
- let search = ctx.BindQueryString ()
- let! results = Data.Profile.publicSearch search (conn ctx)
- return! json results next ctx
- }
-
-
-/// Handlers for /api/success routes
-[]
-module Success =
-
- open System
-
- // GET: /api/success/[id]
- let get successId : HttpHandler = authorize >=> fun next ctx -> task {
- match! Data.Success.findById (SuccessId successId) (conn ctx) with
- | Some story -> return! json story next ctx
- | None -> return! Error.notFound next ctx
- }
-
- // GET: /api/success/list
- let all : HttpHandler = authorize >=> fun next ctx -> task {
- let! stories = Data.Success.all (conn ctx)
- return! json stories next ctx
- }
-
- // POST: /api/success/save
- let save : HttpHandler = authorize >=> fun next ctx -> task {
- let citizenId = currentCitizenId ctx
- let dbConn = conn ctx
- let now = (clock ctx).GetCurrentInstant ()
- let! form = ctx.BindJsonAsync ()
- let! success = task {
- match form.id with
- | "new" ->
- return Some { id = SuccessId.create ()
- citizenId = citizenId
- recordedOn = now
- fromHere = form.fromHere
- source = "profile"
- story = noneIfEmpty form.story |> Option.map Text
- }
- | successId ->
- match! Data.Success.findById (SuccessId.ofString successId) dbConn with
- | Some story when story.citizenId = citizenId ->
- return Some { story with
- fromHere = form.fromHere
- story = noneIfEmpty form.story |> Option.map Text
- }
- | Some _ | None -> return None
- }
- match success with
- | Some story ->
- do! Data.Success.save story dbConn
- return! ok next ctx
- | None -> return! Error.notFound next ctx
- }
-
-
-open Giraffe.EndpointRouting
-
-/// All available endpoints for the application
-let allEndpoints = [
- subRoute "/api" [
- subRoute "/citizen" [
- GET_HEAD [
- routef "/log-on/%s/%s" Citizen.logOn
- routef "/%O" Citizen.get
- ]
- DELETE [ route "" Citizen.delete ]
- ]
- GET_HEAD [ route "/continents" Continent.all ]
- GET_HEAD [ route "/instances" Instances.all ]
- subRoute "/listing" [
- GET_HEAD [
- routef "/%O" Listing.get
- route "/search" Listing.search
- routef "/%O/view" Listing.view
- route "s/mine" Listing.mine
- ]
- PATCH [ routef "/%O" Listing.expire ]
- POST [ route "s" Listing.add ]
- PUT [ routef "/%O" Listing.update ]
- ]
- subRoute "/profile" [
- GET_HEAD [
- route "" Profile.current
- route "/count" Profile.count
- routef "/%O" Profile.get
- routef "/%O/view" Profile.view
- route "/public-search" Profile.publicSearch
- route "/search" Profile.search
- ]
- PATCH [ route "/employment-found" Profile.employmentFound ]
- POST [ route "" Profile.save ]
- ]
- subRoute "/success" [
- GET_HEAD [
- routef "/%O" Success.get
- route "es" Success.all
- ]
- POST [ route "" Success.save ]
- ]
- ]
-]
diff --git a/src/JobsJobsJobs/Server/JobsJobsJobs.Server.fsproj b/src/JobsJobsJobs/Server/JobsJobsJobs.Server.fsproj
deleted file mode 100644
index 071dae9..0000000
--- a/src/JobsJobsJobs/Server/JobsJobsJobs.Server.fsproj
+++ /dev/null
@@ -1,36 +0,0 @@
-
-
-