dhallhaskell/dhall Docker 镜像 - 轩辕镜像 | Docker 镜像高效稳定拉取服务

镜像概述

该镜像用于运行dhall可执行文件，该可执行文件基于Dhall配置语言的Haskell实现构建，旨在提供可维护的配置文件解决方案。

核心功能和特性

• 最小化镜像：仅包含dhall可执行文件及其运行依赖，体积精简
• Dhall命令支持：可直接执行dhall命令，处理配置表达式和文件
• 本地文件导入：支持通过挂载目录导入本地Dhall配置文件

使用场景

• 需要创建和管理可维护配置文件的场景
• 处理Dhall格式的配置表达式、函数调用及文件导入

使用方法和配置说明

基本使用

通过docker run命令直接运行dhall命令，执行简单的Dhall表达式：

bash
# 计算表达式"2 + 2"
$ docker run --interactive --rm dhallhaskell/dhall dhall <<< '2 + 2'
4

# 执行远程函数调用（生成列表函数）
$ docker run --interactive --rm dhallhaskell/dhall dhall <<< '[***] 5'
λ(a : Type) → λ(f : Natural → a) → [ f 0, f 1, f 2, f 3, f 4 ]

导入本地文件

若需导入本地Dhall文件，需将包含配置文件的目录挂载到容器中，格式为--volume /本地路径:/容器内路径：

bash
# 导入本地/data/example.dhall文件（假设本地目录为/path/to/config/directory）
$ docker run --interactive --rm --volume /path/to/config/directory:/data dhallhaskell/dhall dhall <<< '/data/example.dhall'