1 (* The path values carry format types that are inferred and checked at each use. 2 Writing an interface for them would add noise without adding safety. *) 3 4 let%path home = "/" 5 let%path register = "/register" 6 let%path login = "/login" 7 let%path logout = "/logout" 8 let%path routines = "/routines" 9 let%path select_routine = "/routines/%s/select" 10 let%path routine = "/routine" 11 let%path workout = "/workout" 12 let%path workout_slot = "/workout/slots/%d" 13 let%path workout_slot_edit = "/workout/slots/%d/edit" 14 let%path finish_workout = "/workout/finish" 15 let%path cancel_workout = "/workout/cancel" 16 let%path logbook = "/logbook" 17 let%path profile = "/profile" 18 let%path settings = "/settings" 19 let%path settings_theme = "/settings/theme" 20 let%path profile_username = "/profile/username" 21 let%path profile_password = "/profile/password" 22 let%path import_upload = "/profile/import" 23 let%path import_review = "/profile/import/%s" 24 let%path import_map = "/profile/import/%s/workouts/%s/map" 25 let%path import_confirm = "/profile/import/%s/workouts/%s/confirm" 26 let%path import_promote_workout = "/profile/import/%s/workouts/%s/promote" 27 let%path import_promote_batch = "/profile/import/%s/promote" 28 let%path app_feedback = "/app-feedback" 29 let%path submit_app_feedback = "/app-feedback/submit" 30 let%path upvote_app_feedback = "/app-feedback/%s/upvote" 31 let%path edit_app_feedback = "/app-feedback/%s/edit" 32 let%path remove_app_feedback = "/app-feedback/%s/remove" 33 let%path feedback = "/feedback" 34 let%path cancel_feedback = "/feedback/cancel" 35 let%path record = "/logbook/%s" 36 let%path record_slot = "/logbook/%s/slots/%d" 37 let%path record_slot_edit = "/logbook/%s/slots/%d/edit" 38 let%path stylesheet = "/assets/hito.css" 39 let%path workout_client = "/assets/workout-client.js" 40