`dhall-haskell`

You will probably want to read the language-agnostic README here:

dhall-lang README

This repository focuses on the Haskell bindings to Dhall and contains
the following packages:

Navigate to each package's directory for their respective READMEs

Pre-built binaries

You can download pre-built binaries for Windows, OS X and Linux on the release page:

dhall-haskell - Releases

You can also install binaries for OS X using brew, like this:

$ brew install dhall-json

You can also install pre-built Linux binaries for master using Nix using
Nix's channel mechanism by following the instructions at this link:

https://hydra.dhall-lang.org/jobset/dhall-haskell/master/channel/latest

To install the Nix build products without a channel, configure your machine to
use cache.dhall-lang.org, as described in the nix section and then
visit one of the following links:

You can then click the "Help" button in the bottom right corner, which will
show you a nix-env command that you can run to install the prebuilt
executable.

If you have the jq command-line tool installed then you can do this in one
command by running:

$ nix-env -i "$(curl -L https://hydra.dhall-lang.org/job/dhall-haskell/master/linux-dhall/latest/api/get-info, jq -r .outPath)"

These instructions also work for any pull request, too, by replacing master
with the pull request number for any of the above URLs.

Pre-built containers

Prebuilt containers for the latest release available from Docker Hub:

Docker Hub - dhallhaskell

... but if you want to obtain containers for bleeding-edge builds, you can
download image archives for each package using the following URLs:

You can then load and run one of these archives like so:

$ NAME="dhall"

$ curl --location --remote-name "https://hydra.dhall-lang.org/job/dhall-haskell/master/image-${NAME}/latest/download/1/docker-image-${NAME}.tar.gz"

$ docker load < "docker-image-${NAME}.tar.gz"
...
Loaded image: dhall:vx95jiijmp2i07f5ynl8h6sllf34jggz

$ docker run -i dhall:vx95jiijmp2i07f5ynl8h6sllf34jggz dhall <<< '2 + 2'
4

These instructions also work for any pull request, too, by replacing master
with the pull request number for any of the above URLs.

Building from source

For all of the following instructions, make sure to first check out the
dhall-lang submodule:

$ git submodule init
$ git submodule update

cabal

You can build all of the packages by running:

$ cabal new-build all

And each of them with cabal new-build <package-name>, for example:

$ cabal new-build dhall

... or you can run cabal new-build within each package directory.

You will probably want to use the shared cache hosted at cache.dhall-lang.org
when doing Nix development. This is not required, but this will save you a lot
of time so that you don't have to build as many dependencies from scratch the
first time.

If your operating system is NixOS then you can add the cache using these NixOS
configuration options to access dhall packages from your declarative configuration file:

  nix = {
    binaryCaches = [
      "https://cache.nixos.org"
      "https://cache.dhall-lang.org"
      "https://dhall.cachix.org"
    ];

    binaryCachePublicKeys = [
      "cache.dhall-lang.org:I9/H18WHd60olG5GsIjolp7CtepSgJmM2CsO813VTmM="
      "dhall.cachix.org-1:8laGciue2JBwD49ICFtg+cIF8ddDaW7OFBjDb/dHEAo="
    ];
  };

If you want to install these packages imperatively using nix-env,
regardless of whether you use NixOS, set the following options in your
/etc/nix/nix.conf file.

Using Nix 2.0 or later:

trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= cache.dhall-lang.org:I9/H18WHd60olG5GsIjolp7CtepSgJmM2CsO813VTmM= dhall.cachix.org-1:8laGciue2JBwD49ICFtg+cIF8ddDaW7OFBjDb/dHEAo=
substituters = https://cache.nixos.org https://cache.dhall-lang.org https://dhall.cachix.org

Using earlier Nix versions (i.e. Nix 1.*):

binary-cache-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= cache.dhall-lang.org:I9/H18WHd60olG5GsIjolp7CtepSgJmM2CsO813VTmM= dhall.cachix.org-1:8laGciue2JBwD49ICFtg+cIF8ddDaW7OFBjDb/dHEAo=
binary-caches = https://cache.nixos.org https://cache.dhall-lang.org https://dhall.cachix.org

You can build all of the packages by running:

$ nix-build

... or you can run nix-build within each package's respective directory to
build just that one package.

You can install all of the packages by running:

$ nix-env --install --file default.nix

... or you can run the same command within each package's respective directory
to install just that one package.

If you prefer installing the binaries locally in a nix shell environment instead, just run nix-shell in the top-level directory.
This option provides additional flexibility with respect to overriding some of the default parameters e.g. the compiler version, which makes it particularly useful for developers.

You can develop any package by navigating to that package's directory and
running:

$ nix-shell
[nix-shell]$ cabal configure
[nix-shell]$ cabal build
[nix-shell]$ cabal test

... or you can add nix: True to your ~/.cabal/config file and then you can
run the same cabal commands without an explicit nix-shell:

$ cabal configure
$ cabal build
$ cabal test

stack

You can build all of the packages with

$ stack build

And each of them with stack build <package-name>, for example:

$ stack build dhall-json

Profiling

Say you want to profile the dhall-to-json executable.

Build the containing package with profiling options:

$ stack build --profile --library-profiling dhall-json

Run the executable on your input. For example:

$ stack exec --profile --rts-options -p -- dhall-to-json <<< 'True && False'

This generates a dhall-to-json.prof file in your current directory.

Build the website

If you don't need to change the GHCJS code, then switch to the dhall-lang
repository and follow these instructions instead:

dhall-lang - Build the website

If you do need to test changes to the GHCJS code (i.e. the
./dhall-try subdirectory) then stay within this repository, but
edit the dhall/dhall-lang submodule to make the following change:

diff --git a/release.nix b/release.nix
--- a/dhall/dhall-lang/release.nix
+++ b/dhall/dhall-lang/release.nix
       let
         json = builtins.fromJSON (builtins.readFile ./nixops/dhall-haskell.json);
 
-        dhall-haskell =
-          pkgs.fetchFromGitHub {
-            owner = "dhall-lang";
-
-            repo = "dhall-haskell";
-
-            inherit (json) rev sha256 fetchSubmodules;
-          };
+        dhall-haskell = ../..;
 
       in
         import "${dhall-haskell}/default.nix";

... and then build the website by running:

$ nix build --file dhall/dhall-lang/release.nix website

... which will incorporate any GHCJS-related changes you make

Contributing

Read the following guide if you would like to contribute:

Contributing to Dhall

名称与所有者	Fody/Fody
主编程语言	C#
编程语言	Haskell (语言数: 1)
平台
许可证	Other

创建于	2012-07-07 01:15:56
推送于	2025-04-13 13:59:12
最后一次提交	2025-04-13 15:59:12
发布数	140
最新版本名称	6.9.2 (发布于 )
第一版名称	1.0.0 (发布于 2012-08-15 21:14:49)

星数	4.4k
关注者数	169
派生数	470
提交数	2.3k
已启用问题?
问题数	572
打开的问题数	1
拉请求数	537
打开的拉请求数	4
关闭的拉请求数	197

已启用Wiki?
已存档?
是复刻?
已锁定?
是镜像?
是私有?

dhall-haskell

Github星跟踪图