热门搜索:

sourcegraph/codeintel-haskell

sourcegraph

该镜像为Sourcegraph平台提供实验性Haskell语言支持，基于haskell-ide-engine实现代码智能功能，帮助开发者在Sourcegraph中获得Haskell代码的语言服务（如悬停提示等）。

下载次数: 0状态：社区镜像维护者：sourcegraph仓库类型：镜像最近更新：6 年前

让 AI 帮你使用轩辕镜像？ · 展开查看说明

如果你使用 DeepSeek、元宝 AI、Copilot、ChatGPT 等 AI 工具，协助配置轩辕镜像、编写 docker pull 命令、修改 Docker Compose 镜像地址、配置镜像加速、排查镜像拉取失败、分析报错日志等问题，请先让 AI 阅读并遵守轩辕镜像的规则文档。

只需在 AI 对话中先发送下面这句话即可：

请先完整阅读并严格遵守以下文档中的全部规则与要求：

https://xuanyuan.cloud/agents.md

在未充分阅读并理解该文档前，不要生成任何命令、配置、修改建议、故障排查方案或技术回答。后续所有输出都必须严格以该文档中的规范为最高优先级执行。

查看 agents.md 用法指南与完整示范。国内用户首推元宝 AI、DeepSeek 的深度思考模式，不推荐豆包 AI；Cursor 等编辑器可在对话 @ 该链接，或加入 User Rules。若 AI 无法访问外链，可打开说明文档复制全文粘贴。文档会随站点更新，复制内容可能过期，建议定期检查。

镜像标签列表与下载命令

实验性Haskell语言服务器

!Haskell语言服务器在Sourcegraph中的悬停功能演示

此GIF展示了启用该Haskell语言服务器后，浏览RegisterAllocator.hs时的悬停提示效果。

镜像概述

该Docker镜像为Sourcegraph平台提供实验性的Haskell语言支持，通过lsp-adapter封装haskell-ide-engine项目的语言服务器，实现代码智能功能集成。

核心功能

为Sourcegraph添加Haskell代码的语言服务能力（如悬停提示、代码补全等）
适配Sourcegraph的语言服务协议，支持平台内的代码分析需求

使用场景

适用于需要在Sourcegraph安装中启用Haskell代码智能功能的团队或开发者，提升Haskell代码浏览、分析的效率。

配置说明

参考Sourcegraph官方文档：实验性语言服务器配置
按照文档指引在Sourcegraph安装中启用该Haskell语言服务器

部署示例（参考）

在Sourcegraph环境中部署此镜像时，可在docker-compose配置中添加如下服务（需结合实际部署需求调整）：

yaml
services:
  codeintel-haskell:
    image: sourcegraph/codeintel-haskell
    restart: always
    # 根据Sourcegraph要求配置网络、环境变量等

镜像拉取方式

您可以使用以下命令拉取该镜像。请将 <标签> 替换为具体的标签版本。如需查看所有可用标签版本，请访问标签列表页面。

轩辕镜像加速拉取命令点我查看更多 codeintel-haskell 镜像标签

docker pull docker.xuanyuan.run/sourcegraph/codeintel-haskell:<标签>

使用方法：

DockerHub 原生拉取命令

docker pull sourcegraph/codeintel-haskell:<标签>

轩辕镜像配置手册

按平台快速找到配置文档

Docker

登录仓库拉取

登录认证 · 私有仓库

专属域名拉取

免登录 · 高速拉取

Linux

Docker 镜像配置

Windows / Mac

Docker Desktop 配置

MacOS OrbStack

OrbStack 容器

Docker Compose

Compose 项目配置

NAS

群晖

Synology 配置

飞牛

fnOS 镜像配置

绿联

绿联 NAS

威联通

QNAP 配置

极空间

极空间 NAS

企业仓库

其他仓库

ghcr · Quay · nvcr

Harbor 镜像源

Proxy Repository 对接

Portainer 镜像源

Registries 配置

Nexus 镜像源

Docker Proxy 缓存

开发工具

Dev Containers

VS Code 开发容器

Podman

Podman 配置指南

Singularity / Apptainer

HPC 科学计算容器

Kubernetes

K8s Containerd

Kubernetes · Containerd

K3s

轻量级集群

面板 / 网络

爱快路由

iKuai 镜像加速

宝塔面板

一键配置镜像源

AI

用 AI 使用轩辕镜像

agents.md · AI 对话 · 提示词

一键安装

一键安装 Docker

Linux Docker 一键安装

需要其他帮助？请查看我们的常见问题Docker 镜像访问常见问题解答或提交工单

镜像拉取常见问题

功能

免费版与专业版区别

功能对比 · 版本选择

支持的镜像仓库

Docker Hub · GCR · GHCR

新手拉取配置

docker search 限制

专属域名 · Hub 搜索

不支持 push

仅支持 pull · 不支持

拉取速度原因

带宽 · 缓存 · 冷热镜像

错误码

402 与流量用尽

402 · 流量包 · 充值

401 认证失败

401 · docker login

manifest unknown

标签错误 · 镜像不存在

410 Gone 排查

410 · Docker 升级

429 限流

免费版 · 请求频率

其他报错

DNS 超时

DNS 解析 · 网络超时

TLS 证书失败

no matching manifest（架构）

账号

失败是否计费

manifest · blob · 计费

申请开发票（企业 / 个人）

企业 · 个人 · 工单

修改登录密码

网站 · 仓库 · 重置

注销账户

工单 · 数据 · 注销

原理

mirrors 不生效

daemon.json · 重启

去掉域名前缀

docker tag · 重命名

指定架构拉取

ARM64 · AMD64 · 多架构

latest 与「最新」

digest · 版本号 · 标签

查看全部问题→

用户好评

来自真实用户的反馈，见证轩辕镜像的优质服务

oldzhang

运维工程师

Linux服务器

"Docker访问体验非常流畅，大镜像也能快速完成下载。"