Go to file
Gabriel Gonzalez dfd9822e77
Add new "Type" and "YAML" output tabs to live demo (#753)
This moves the type annotation into a separate tab, both to avoid
the type cluttering the default output tab and to allow a display
mode that focuses on highlighting just the type.

This also adds a "YAML" output tab to gently suggest to the user
that Dhall is intended to be an alternative to YAML.  Unfortunately,
we can't use the Haskell `yaml` package to render to YAML when
building with GHCJS, but we can still perform the JSON-to-YAML
conversion in JavaScript.
2018-12-12 16:53:24 -08:00
dhall Expand "Try dhall" into dhall-lang.org home page (#747) 2018-12-10 12:28:19 -08:00
dhall-bash Expand "Try dhall" into dhall-lang.org home page (#747) 2018-12-10 12:28:19 -08:00
dhall-json Expand "Try dhall" into dhall-lang.org home page (#747) 2018-12-10 12:28:19 -08:00
dhall-text Expand "Try dhall" into dhall-lang.org home page (#747) 2018-12-10 12:28:19 -08:00
dhall-try Add new "Type" and "YAML" output tabs to live demo (#753) 2018-12-12 16:53:24 -08:00
nix Add new "Type" and "YAML" output tabs to live demo (#753) 2018-12-12 16:53:24 -08:00
.gitignore Replace .gitigore with one from github/gitignore (#264) 2018-02-14 10:03:39 -08:00
.travis.yml Make format and dhall subcommands of dhall executable (#452) 2018-06-10 19:54:22 +02:00
cabal.project Update stack/cabal config to sync with new structure (#671) 2018-11-06 05:42:23 -08:00
default.nix Remove the try-dhall-server build product (#752) 2018-12-11 05:20:54 -08:00
LICENSE Migrate dhall-{bash,json,text} into this repository (#661) 2018-10-28 17:32:51 -07:00
README.md Remove the try-dhall-server build product (#752) 2018-12-11 05:20:54 -08:00
release.nix Add "Try Dhall" project (#739) 2018-12-06 18:00:03 -08:00
stack-lts-6.yaml Update stack/cabal config to sync with new structure (#671) 2018-11-06 05:42:23 -08:00
stack-lts-11.yaml Update stack/cabal config to sync with new structure (#671) 2018-11-06 05:42:23 -08:00
stack.yaml Add cborg-json to the stack.yaml (#720) 2018-11-29 17:18:25 -08:00

dhall-haskell

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

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 and Linux on the release page:

For OS X, use brew to install the desired package. For example:

$ brew install dhall-json

Building from source

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.

nix

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.

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

Build the "Try Dhall" website

Building the website from source is currently only supported for Nix on Linux.

You can build the static assets by running:

$ nix-build --attr try-dhall-static

... then open ./result/index.html in your browser.

You can also download archive containing the pre-built website from CI using this link:

Contributing

Read the following guide if you would like to contribute: