NOTE: This package is DEPRECATED. You can now do the exact same thing using the dhall text command (i.e. the text sub-command of the dhall executable). This package will no longer be updated to support new releases of the language.
This image lets you run the dhall-to-text executable built from the dhall-text Haskell package:
$ docker run --interactive --rm dhallhaskell/dhall-text dhall-to-text <<< 'let name = "John" in "Hello, ${name}!"'
Hello, John!
$ docker run --interactive --rm dhallhaskell/dhall-text dhall-to-text <<< 'https://prelude.dhall-lang.org/Text/concatSep ", " [ "John", "Alice", "Mary" ]'
John, Alice, Mary
Remember to mount any directories that contain files you need to import:
$ docker run --interactive --rm --volume /path/to/config/directory:/data dhallhaskell/dhall-text dhall-to-text <<< '/data/example.dhall'
This image is a minimized image containing only the dhall-to-text executable and its dependencies.
Content type
Image
Digest
Size
2.3 MB
Last updated
over 7 years ago
docker pull dhallhaskell/dhall-text