Skip to content

Files

Latest commit

7982475 · Feb 20, 2025

History

History

dhall-json

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Jan 1, 2022
Nov 7, 2019
Jul 14, 2019
Sep 2, 2021
Feb 20, 2025
Sep 2, 2021
Oct 29, 2018
Jan 17, 2025
Sep 5, 2022
Nov 7, 2019
Oct 29, 2018
Mar 5, 2019
Feb 20, 2025
Oct 29, 2018

README.md

dhall-json

For installation or development instructions, see:

Full documentation here:

Introduction

This dhall-json package provides a Dhall to JSON compiler, and a Dhall to YAML compiler based on that. The dhall-to-yaml executable is a "basic" version of the dhall-to-yaml-ng executable in the dhall-yaml package.

Example

$ dhall-to-json <<< "{ foo = 1, bar = True }"
{"foo":1,"bar":true}
$ dhall-to-json <<< "List/head Natural ([] : List Natural)"
null
$ dhall-to-yaml <<< "{ foo = [1, 2, 3], bar = { baz = True } }"
foo:
- 1
- 2
- 3
bar:
  baz: true

Development

This package's dhall-to-yaml and dhall-yaml's dhall-to-yaml-ng should be kept as closely in sync as possible. Common code for these executables lives in this package, tests live in dhall-yaml.