$# This file is part of Vervis. $# $# Written in 2016, 2018 by fr33domlover <fr33domlover@riseup.net>. $# $# ♡ Copying is an act of love. Please copy, reuse and share. $# $# The author(s) have dedicated all copyright and related and neighboring $# rights to this software to the public domain worldwide. This software is $# distributed without any warranty. $# $# You should have received a copy of the CC0 Public Domain Dedication along $# with this software. If not, see $# <http://creativecommons.org/publicdomain/zero/1.0/>. $maybe desc <- repoDesc repository <p>#{desc} <p> ^{buttonW DELETE "Delete this repo" (RepoR user repo)} <p> <a href=@{RepoDevsR user repo}>Collaborators <p> <a href=@{RepoHeadChangesR user repo}>Changes <h2>Branches <p>TODO <h2>Tags <p>TODO <div> $forall (piece, piecePath) <- dirs <a href=@{RepoSourceR user repo piecePath}>#{piece} / # $case sv $of SourceFile (FileView name body) <h2>#{name} ^{body} $of SourceDir (DirectoryView mname ents mreadme) <h2>#{fromMaybe "Files" mname} $if null ents <p>No files! $else <table> $forall DirEntry type' name <- ents <tr> <td> $case type' $of TypeBlob 🗎 $of TypeTree 🗀 <td> <a href=@{RepoSourceR user repo (dir ++ [name])}> #{name} $maybe (readmeName, readmeWidget) <- mreadme <h2>#{readmeName} ^{readmeWidget}