dhall-to-cabal-1.3.2.0: dhall/utils/GitHub-project.dhall
let GitHubProject : Type = { owner : Text, repo : Text }
let gitHubProject =
λ(github : GitHubProject)
→ let gitHubRoot = "https://github.com/${github.owner}/${github.repo}"
in ../defaults/Package.dhall
⫽ { name =
github.repo
, bug-reports =
"${gitHubRoot}/issues"
, homepage =
gitHubRoot
, source-repos =
[ ../defaults/SourceRepo.dhall
⫽ { location =
Some gitHubRoot
, type =
Some ((../types/RepoType.dhall).Git {=})
}
]
}
in gitHubProject