blob: 0778c18fa5ebb57ed912754890856a0f2e001746 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
(* -*- mode: tuareg; -*- *)
open Dream_html
open HTML
type t =
| Root
| Repo of string
| Tag of string * string
| Commit of string * string
| Tree of string * string * string
| Blob of string * string * string
let%path root_path = "/"
let%path repo_path = "/%s"
let%path tag_path = "/%s/refs/%s"
let%path commit_path = "/%s/commit/%s"
let%path tree_path = "/%s/tree/%s/%s"
let%path blob_path = "/%s/blob/%s/%s"
let path_attr = function
| Root -> path_attr href root_path
| Repo repo -> path_attr href repo_path repo
| Tag (repo, branch) -> path_attr href tag_path repo branch
| Commit (repo, commit) -> path_attr href commit_path repo commit
| Tree (repo, commit, path) -> path_attr href tree_path repo commit path
| Blob (repo, commit, path) -> path_attr href blob_path repo commit path
let link_to label route = a [ path_attr route ] [ txt "%s" label ]
let li_of_repo repo = li [] [ link_to repo (Repo repo) ]
|
