alanz/haskell-hie-ci

alanz/haskell-hie-ci镜像说明

镜像概述

本镜像基于Haskell生态构建，集成Stack构建工具与Liquid Haskell静态分析工具，为Haskell开发者提供开箱即用的可靠开发环境，可用于项目构建、测试及代码安全验证。

核心功能

1. Stack工具支持：提供Haskell项目的依赖管理、编译、测试及打包能力，简化项目构建流程。
2. Liquid Haskell分析：实现对Haskell代码的静态类型细化检查，通过逻辑断言提升代码安全性与正确性。

使用场景

• Haskell项目的日常开发与本地构建
• 代码静态分析与类型安全验证
• 持续集成（CI）环境中的自动化构建与测试流程

配置说明

镜像默认包含Stack和Liquid Haskell的基础配置，可通过以下方式自定义：

• 挂载本地项目目录至容器内工作目录（如/app）
• 调整环境变量（如STACK_ROOT指定Stack缓存路径）

部署示例

Docker Run命令

bash
# 启动容器并运行Stack构建
docker run -it --rm -v $(pwd):/app alanz/haskell-hie-ci stack build

Docker Compose示例

yaml
version: '3'
services:
  haskell-dev:
    image: alanz/haskell-hie-ci
    volumes:
      - ./your-haskell-project:/app
    command: stack test