ollama-haskell
Industry-grade Haskell client for Ollama local LLMs
https://github.com/tusharad/ollama-haskell
| LTS Haskell 24.56: | 0.2.1.0@rev:2 |
| Stackage Nightly 2026-08-25: | 0.4.1.0 |
| Latest on Hackage: | 0.4.1.0 |
ollama-haskell-0.4.1.0@sha256:d53663656b6de7fc13b42e51a656c843a99b1ab4f60b8beda43a756fb3ff9bfe,5871Module documentation for 0.4.1.0
ollama-haskell
Modern Haskell client library for the Ollama local LLM engine.
Features
- Client-Centric Architecture: Thread-safe
OllamaClienthandle with connection pooling and resource management (newClient,defaultClient,clientFromEnv,withClient). - First-Class Streaming:
conduit-based response streaming (chatStream,generateStream,pullStream,pushStream,createModelStream). - Model Context Protocol (MCP) Bridge: Bidirectional integration with
mcp-serverfor converting between Ollama tools and MCP tools, running MCP servers via stdio or HTTP (Ollama.MCP). - Generic JSON Schema Derivation: Automatically derive JSON schemas from Haskell data types via
GHC.GenericswithToSchemaandformatFor. - Complete API Surface: Text generation, chat completions, vector embeddings, model management (list, show, copy, delete, pull, push, create), and system endpoints.
- Structured Outputs DSL: Powerful
SchemaBuilderDSL (|+,|++,|!,|!!) for type-safe JSON Schema structured responses. - Function / Tool Calling: Full support for tool definitions (
Tool), tool calls (ToolCall), and execution results (toolResultMessage). - Thinking Models Support: Native support for reasoning models (
qwen3.5,deepseek-r1) withThink/ThinkingLeveltypes. - Environment & Auth Integration: Robust URL normalization for
OLLAMA_HOSTand bearer token support forOLLAMA_API_KEY. - Configurable Resilience: Flexible retry policies (
NoRetry,ConstantRetry,ExponentialRetry), custom timeouts, lifecycle callbacks, and structured logging. - Conversation Store: Transactional STM-backed
InMemoryStoreandConversationStoretypeclass for managing multi-turn chat sessions. - SDK Comparison Matrix: Detailed feature comparison against Python, JS/TS, and Go SDKs in COMPARISON.md.
Installation
Add ollama-haskell to your .cabal file:
build-depends:
base >= 4.17 && < 5
, ollama-haskell >= 0.4.1.0
Or using Stack in package.yaml:
dependencies:
- ollama-haskell >= 0.4.1.0
Quick Start (5 Lines)
import Data.List.NonEmpty (NonEmpty ((:|)))
import Data.Text.IO qualified as TIO
import Ollama
main :: IO ()
main = do
client <- defaultClient
res <- chat client $ chatRequest "qwen3.5:2b" (userMessage "Why is the sky blue?" :| [])
case res of
Left err -> print err
Right resp -> mapM_ (TIO.putStrLn . messageContent) (crMessage resp)
Streaming Responses with Conduit
Stream LLM responses token-by-token in real time:
import Conduit (mapM_C, runConduit, (.|))
import Control.Monad.IO.Class (liftIO)
import Data.List.NonEmpty (NonEmpty ((:|)))
import Data.Text.IO qualified as TIO
import Ollama
import System.IO (hFlush, stdout)
main :: IO ()
main = do
client <- defaultClient
let req = chatRequest "qwen3.5:2b" (userMessage "Count from 1 to 5." :| [])
-- Stream tokens to stdout as they arrive
runConduit $
chatStream client req .| mapM_C (\chunk -> liftIO $ do
mapM_ (TIO.putStr . messageContent) (crMessage chunk)
hFlush stdout
)
putStrLn ""
You can also accumulate all chunks at once with collectStream, or fold text with foldStream:
-- Collect all chunks:
chunks <- collectStream (chatStream client req)
-- Or fold into a single Text value:
fullText <- foldStream (\acc c -> acc <> maybe "" messageContent (crMessage c)) "" (chatStream client req)
Function & Tool Calling
Define function signatures and let the LLM execute structured tool calls:
import Data.List.NonEmpty (NonEmpty ((:|)))
import Ollama
calculatorTool :: Tool
calculatorTool = Tool "function" $ FunctionDef
{ fnName = "add"
, fnDescription = Just "Add two numbers"
, fnParameters = Just (FunctionParameters "object" Nothing (Just ["a", "b"]) Nothing Nothing Nothing)
, fnStrict = Just True
}
main :: IO ()
main = do
client <- defaultClient
let req = (chatRequest "qwen3.5:2b" (userMessage "What is 40 + 2?" :| []))
{ chatTools = Just [calculatorTool] }
res <- chat client req
case res of
Left err -> print err
Right resp -> print (crMessage resp)
Structured Outputs (JSON Schema DSL)
Enforce structured JSON output formats using SchemaBuilder (re-exported directly from Ollama):
import Data.Text.IO qualified as TIO
import Ollama
personSchema :: Schema
personSchema = buildSchema $ emptyObject
|+ ("name", JString)
|+ ("age", JInteger)
|! "name"
main :: IO ()
main = do
client <- defaultClient
let req = (generateRequest "qwen3.5:2b" "Generate a person profile.")
{ genFormat = Just (SchemaFormat personSchema) }
res <- generate client req
case res of
Left err -> print err
Right resp -> TIO.putStrLn (grResponse resp)
Environment Variables & Configuration
Construct a client using environment variables (OLLAMA_HOST, OLLAMA_API_KEY):
main :: IO ()
main = do
client <- clientFromEnv
-- Automatically connects to OLLAMA_HOST with optional Authorization: Bearer header
...
Or configure custom retry policies and loggers:
customConfig :: OllamaClientConfig
customConfig = defaultConfig
{ configBaseUrl = "http://my-ollama-server:11434"
, configTimeout = 120
, configRetry = ExponentialRetry 3 1000000 -- 3 retries with exponential backoff
, configLogger = Just (\level msg -> putStrLn $ "[" <> show level <> "] " <> show msg)
}
main :: IO ()
main = withClient customConfig $ \client -> do
...
Feature Matrix
| Feature | Haskell (ollama-haskell) |
Official Python (ollama-python) |
Official JS/TS (ollama-js) |
Community Go (ollama/ollama) |
|---|---|---|---|---|
| Strict Type Safety | ✅ Compile-time (PVP, Smart Constructors) | ⚠️ Type hints (Runtime) | ⚠️ TypeScript (Erased at runtime) | ✅ Go Structs |
| Response Streaming | ✅ conduit ($O(1)$ constant memory) |
⚠️ Python Generator | ⚠️ Async Iterator | ⚠️ Go Channels |
| Structured Output Derivation | ✅ GHC.Generics (ToSchema) |
⚠️ Pydantic BaseModel | ⚠️ Zod / JSON Schema | ⚠️ Manual JSON Schema |
| Model Context Protocol (MCP) | ✅ Native mcp-server Bridge |
❌ Manual | ❌ Manual | ❌ Manual |
| Thinking / Reasoning Models | ✅ Dedicated Think ADT |
⚠️ Dict parameters | ⚠️ Object properties | ⚠️ Raw parameters |
| Transactional Chat Store | ✅ STM InMemoryStore |
❌ None | ❌ None | ❌ None |
| Built-in Mock Testing | ✅ Ollama.Testing (Pure) |
❌ None | ❌ None | ❌ None |
| Configurable Retry & Backoff | ✅ Exponential & Constant ADT | ❌ Manual | ❌ Manual | ❌ Manual |
| Token Throughput Metrics | ✅ Native Calculation Helpers | ⚠️ Raw nanoseconds | ⚠️ Raw nanoseconds | ⚠️ Raw nanoseconds |
| Environment Auto-Discovery | ✅ clientFromEnv |
✅ Default client | ✅ Default client | ✅ Default client |
Documentation & References
- Comparison Deep Dive — Detailed architectural comparison across language ecosystems.
- CONTRIBUTING.md — Development setup, testing guidelines, and code style.
- CHANGELOG.md — Release notes and version changelog.
- Hackage Documentation — Full Haddock API reference.
License
MIT © 2024–2026 Tushar Adhatrao
Changes
Changelog
All notable changes to ollama-haskell will be documented in this file.
The format is based on Keep a Changelog,
and this project adheres to PVP (Haskell Package Versioning Policy).
[0.4.1.0] - 2026-08-25
Fixed
- Conduit Streaming Socket Lifetime (
Ollama.Client.Internal):- Fixed premature connection closure in
requestStreamingby replacingtransPipe runResourceTwith exception-safe generator cleanup, ensuring streaming responses stream token-by-token across the full response without truncation.
- Fixed premature connection closure in
- Documentation & Tutorial Code Snippets:
- Corrected STM conversation storage documentation in
docs/tutorials/chat.markdownanddocs/motivation.markdownto align with the actualConversationAPI. - Replaced
runConduitReswithrunConduitin streaming examples. - Fixed missing
toolNameparameter intoolResultMessageindocs/tutorials/tool-calling.markdown. - Corrected field names (
models/runningModels) indocs/tutorials/model-management.markdown. - Fixed lazy/strict text encoding in
docs/tutorials/structured-outputs.markdown. - Corrected
newMockClientserializedByteStringusage indocs/tutorials/testing.markdown. - Replaced
collectStreamwith genuine real-time Conduit streaming inREADME.md.
- Corrected STM conversation storage documentation in
Added
- Model Capabilities Field (
Ollama.Types.Model):- Added
capabilities :: !(Maybe [Text])toModelInfoand updatedFromJSON/ToJSONinstances to support capability discovery from/api/tags(e.g.["completion", "tools", "thinking"]).
- Added
- Direct SchemaBuilder Re-export (
Ollama):- Re-exported the full
SchemaBuilderDSL (buildSchema,emptyObject,|+,|++,|!,|!!,JsonType(..),Property,Schema,objectOf,arrayOf,printSchema) directly from the top-levelOllamaumbrella module.
- Re-exported the full
- End-to-End Live LLM Integration Test Suite:
- 15 comprehensive live test cases in
test-integration/Main.hscovering version, model inspection, non-streaming & streaming chat, structured JSON verification, tool calling round-trip, thinking models, embeddings, model lifecycle, and multi-turn STM memory persistence.
- 15 comprehensive live test cases in
- SDK Feature Matrix:
- Multi-language SDK feature matrix embedded directly in
README.md.
- Multi-language SDK feature matrix embedded directly in
Changed
- Dependency Cleanliness:
- Removed unused
resourcetpackage from librarybuild-depends.
- Removed unused
- Documentation Redesign:
- Completely restyled Hakyll documentation site with a minimal, restrained engineering aesthetic.
[0.4.0.0] - 2026-08-20
Added
- Model Context Protocol (MCP) Integration (
Ollama.MCP):- Full bidirectional integration with the Hackage
mcp-serverpackage (mcp-server >= 0.2 && < 0.3). - Seamless conversion between Ollama function calling definitions (
Tool,ToolCall) and MCP definitions (ToolDefinition,ArgumentDefinition,Content,McpSchema). - Bridge functions:
toolToMcpDefinition,mcpDefinitionToTool,toolCallToMcpArgs,mcpContentToToolOutput. - Re-exported MCP server runners (
runMcpServerStdio,runMcpServerHttp,runMcpServerHttpWithConfig). - Dedicated unit test suite in
Test.Ollama.Unit.MCP.
- Full bidirectional integration with the Hackage
- Automatic JSON Schema Derivation (
Ollama.Types.Format.SchemaDerive):- Typeclasses
ToSchemaandToJsonTypeenabling generic derivation of JSON schemas directly from Haskell record types viaGHC.Generics. - Smart handling of optional fields (
Maybe aomitted fromrequired), nested records (JObject), lists (JArray), and simple sum enums (stringenum). - Helper functions
schemaForandformatForfor effortless integration withchat/generatestructured outputs. - Dedicated unit test suite in
Test.Ollama.Unit.SchemaDerive.
- Typeclasses
- Configurable Client Timeout:
- Support for custom request timeout intervals in
OllamaClientConfig(configTimeout).
- Support for custom request timeout intervals in
Changed
- PVP Compliance & Upper Bounds:
- Added strict upper bounds for
network-uri(>= 2.6 && < 2.8) andmcp-server(>= 0.2 && < 0.3). - Upgraded Stack resolvers and snapshot dependencies (
lts-21.25,lts-22.44,lts-23.28,lts-24.52,nightly).
- Added strict upper bounds for
[0.3.0.0] - 2026-08-04
Added
OllamaClientCore: Thread-safe client handle with automatic connection manager lifecycle management (newClient,defaultClient,clientFromEnv,withClient).- First-Class Streaming Pipeline:
conduit-based response streaming (chatStream,generateStream,pullStream,pushStream,createModelStream). - Stream Combinators:
collectStreamandfoldStreaminOllama.Streaming. - Structured Output DSL: Type-safe
SchemaBuilderDSL inOllama.Types.Format.SchemaBuilder(|+,|++,|!,|!!) for constructing JSON Schemas. - Thinking / Reasoning Models Support:
ThinkADT (ThinkEnabled,ThinkDisabled,ThinkLevel) andThinkingLevel(ThinkLow,ThinkMedium,ThinkHigh,ThinkMax) supporting models such asqwen3.5anddeepseek-r1. - Function / Tool Calling:
Tool,FunctionDef,FunctionParameters,ToolCall, andtoolResultMessagehelper. - Environment Resolution: Automatic
OLLAMA_HOSTparsing and normalization inclientFromEnvsupportinghost:port,http://host:port, and barehost. - Authorization & Headers: Support for
OLLAMA_API_KEYbearer tokens and customconfigHeaders. - Configurable Resilience:
RetryPolicyADT (NoRetry,ConstantRetry,ExponentialRetry), lifecycle callbacks (configOnStart,configOnSuccess,configOnError), and structured loggerconfigLogger. - Token Throughput Metrics: Metrics helpers
chatEvalTokensPerSecond,chatPromptEvalTokensPerSecond,evalTokensPerSecond,promptEvalTokensPerSecond,tokensPerSecond. - Testing Infrastructure: Built-in mock testing module
Ollama.Testing(newMockClient,withMockClient,mockGenerateResponse,mockChatResponse,mockEmbedResponse,mockListModelsResponse). - Conversation Store: Transactional STM-backed
InMemoryStoreandConversationStoretypeclass. - New API Endpoints:
Ollama.API.Embed(/api/embed),Ollama.API.Blobs(/api/blobs),Ollama.API.Ps(/api/ps),Ollama.API.Version(/api/version). - Benchmark Suite: Criterion/tasty-bench suite in
bench/Main.hsmeasuring serialization and throughput.
Changed
- MonadIO / MonadUnliftIO Polymorphism: All API functions use
MonadIO m =>/MonadUnliftIO m =>signatures instead of dual*Mvariants. - Typed Newtypes:
ModelName,Digest,Base64Image,Duration,Versionreplace primitive string types. - Unified Error Type:
OllamaErrorsum type with structured constructors andExceptioninstance.
Deprecated
embeddingsendpoint (/api/embeddings) marked deprecated in favor of/api/embed.