void-linux / void-linux/void-packages

Package request: dhall

Open
#38,831 0 comments 1 reaction 0 assignees View on GitHub

Nobody has claimed this yet.

request
Dominant language
Shell
Stars
3.4k
Forks
2.8k
Avg merge
2d 5h
Merged PRs (30d)
299

Description

Package name

dhall

Package homepage

https://dhall-lang.org

Description

Dhall is a programmable configuration language that you can think of as: JSON + functions + types + imports.

dhall, dhall-json, dhall-yaml are the main attractions, in which you can do dynamic stuffs like import other dhall files merely through http or local path, along with sha verification

let Prelude =
      https://prelude.dhall-lang.org/v15.0.0/package.dhall sha256:6b90326dc39ab738d7ed87b970ba675c496bed0194071b332840a87261649dcd

let mapper = λ(v: Text) -> "Hi " ++ v
let values = [ "a", "b" ]

in
{ val = Prelude.List.map Text Text mapper values }

-- ./dhall --file thisfile
-- { val = [ "Hi a", "Hi b" ] }

-- ./dhall-to-json --file thisfile
-- { "val": [ "Hi a", "Hi b" ] }
Does the requested package meet the package requirements?

Compiled

Is the requested package released?

Yes

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with the package name and homepage in the request, then inspect how this repository packages compiled tools and handles released sources. Confirm the dhall package and its related commands are available from the declared release, and verify the resulting package through the repository's normal build and installation checks.

Written by the indexing model from the issue text.

Assessment

Domain
build-system
Issue type
Feature
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
42/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.