dhallhaskell/dhall-json

dhallhaskell/dhall-json 镜像文档

镜像概述和主要用途

该镜像用于运行从dhall-json Haskell包构建的可执行文件，提供Dhall格式与JSON、YAML格式之间的转换功能。包含dhall-to-json、dhall-to-yaml和json-to-dhall三个工具，可满足不同格式间的数据转换需求。

核心功能和特性

• 提供三个核心可执行文件：dhall-to-json（Dhall转JSON）、dhall-to-yaml（Dhall转YAML）、json-to-dhall（JSON转Dhall）
• 最小化镜像设计，仅包含必要的可执行文件及其依赖项，体积精简

使用场景和适用范围

适用于需要在Dhall格式与JSON或YAML格式之间进行数据转换的场景，例如配置文件格式转换、跨系统数据交换、数据格式标准化处理等。

使用方法和配置说明

基本转换示例

Dhall转JSON

bash
$ docker run --interactive --rm dhallhaskell/dhall-json dhall-to-json <<< '{ x = 1, y = True }'
{"x":1,"y":true}

Dhall转YAML

bash
$ docker run --interactive --rm dhallhaskell/dhall-json dhall-to-yaml <<< 'https://prelude.dhall-lang.org/List/generate 5 Bool Natural/even'
- true
- false
- true
- false
- true

挂载导入文件目录

若需转换包含外部导入文件的Dhall文档，需挂载包含这些文件的本地目录到容器中：

bash
$ docker run --interactive --rm --volume /path/to/config/directory:/data dhallhaskell/dhall-json dhall-to-json <<< '/data/example.dhall'

镜像特点

该镜像是最小化镜像，仅包含dhall-to-json、dhall-to-yaml、json-to-dhall可执行文件及其运行依赖，确保精简的体积和高效的运行。