summaryrefslogtreecommitdiff
path: root/lib/views.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/views.ml')
-rw-r--r--lib/views.ml56
1 files changed, 33 insertions, 23 deletions
diff --git a/lib/views.ml b/lib/views.ml
index 9345bf0..74e8e7a 100644
--- a/lib/views.ml
+++ b/lib/views.ml
@@ -10,7 +10,7 @@ type body_data = {
repo : string option;
subtitle : string;
active : page;
- content : Dream_html.node list;
+ content : node list;
}
let page_to_nav_item repo = function
@@ -155,28 +155,6 @@ module Repo = struct
];
}
- let branches repo branches =
- respond
- @@ Page.render ~page_title:(page_title repo)
- {
- repo = Some repo;
- title = repo;
- subtitle = Resolvers.repo_description repo;
- active = Branches;
- content = HTML.[ ul [] @@ List.map (li_of_branch repo) branches ];
- }
-
- let tags repo tags =
- respond
- @@ Page.render ~page_title:(page_title repo)
- {
- repo = Some repo;
- title = repo;
- subtitle = Resolvers.repo_description repo;
- active = Tags;
- content = HTML.[ ul [] @@ List.map (li_of_tag repo) tags ];
- }
-
let commits repo commits =
respond
@@ Page.render ~page_title:(page_title repo)
@@ -234,6 +212,38 @@ module Repo = struct
active = Summary;
content = HTML.[ h3 [] [ txt "%s" message ] ];
}
+
+ let branches repo branches =
+ let content =
+ match branches with
+ | [] -> HTML.[ p [] [ txt "No branches for repo %s" repo ] ]
+ | branches -> HTML.[ ul [] @@ List.map (li_of_branch repo) branches ]
+ in
+ respond
+ @@ Page.render ~page_title:(page_title repo)
+ {
+ repo = Some repo;
+ title = repo;
+ subtitle = Resolvers.repo_description repo;
+ active = Branches;
+ content;
+ }
+
+ let tags repo tags =
+ let content =
+ match tags with
+ | [] -> HTML.[ p [] [ txt "No tags for repo %s" repo ] ]
+ | tags -> HTML.[ ul [] @@ List.map (li_of_tag repo) tags ]
+ in
+ respond
+ @@ Page.render ~page_title:(page_title repo)
+ {
+ repo = Some repo;
+ title = repo;
+ subtitle = Resolvers.repo_description repo;
+ active = Tags;
+ content;
+ }
end
let error_page message =
Copyright 2019--2025 Marius PETER