exomonad-core 0.1.0

ExoMonad core: effect system, WASM hosting, MCP server, built-in handlers, shared types
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83

//! Protocol types for the control envelope.
//!
//! Defines message types for hook events and MCP tool calls that flow
//! between exomonad subcommands and the Haskell control socket server.
//!
//! ## Message Flow
//!
//! ```text
//! Claude Code hooks       exomonad hook <event>      Control Socket
//!      (stdin JSON)  -->   (parse & forward)   -->   (Haskell server)
//!                    <--   (response JSON)     <--
//! ```
//!
//! Message formats match Claude Code's hook stdin/stdout schemas exactly
//! to allow passthrough with minimal transformation.

pub mod hook;
pub mod mcp;
pub mod service;

use clap::ValueEnum;
use serde::{Deserialize, Serialize};

// Re-export commonly used types
pub use hook::{
    ClaudePreToolUseOutput, ClaudeStopHookOutput, GeminiStopDecision, GeminiStopHookOutput,
    HookInput, HookSpecificOutput, InternalStopHookOutput, PermissionDecision, StopDecision,
};
pub use mcp::{McpError, ToolDefinition};
pub use service::{
    ChatMessage, ContentBlock, GitHubAuthorRef, GitHubDiscussionComment, GitHubIssueRef,
    GitHubLabelRef, GitHubPRRef, GitHubReviewComment, IssueState, ServiceRequest, ServiceResponse,
    StopReason, Tool, Usage,
};

// ============================================================================
// Protocol-level types
// ============================================================================

/// The runtime environment for the agent.
#[derive(
    Debug, Clone, Copy, Serialize, Deserialize, PartialEq, Eq, ValueEnum, Default, strum::Display,
)]
#[serde(rename_all = "lowercase")]
#[strum(serialize_all = "lowercase")]
pub enum Runtime {
    /// Anthropic's Claude Code CLI.
    #[default]
    Claude,
    /// Google's Gemini CLI.
    Gemini,
}

/// Hook event type for CLI hooks.
/// Includes both Claude-specific and Gemini-specific hook types.
#[derive(Debug, Clone, Copy, PartialEq, Eq, ValueEnum, strum::Display)]
#[strum(serialize_all = "kebab-case")]
pub enum HookEventType {
    /// Before tool execution (can allow/deny/modify)
    PreToolUse,
    /// After tool completion
    PostToolUse,
    /// When a notification is shown
    Notification,
    /// When Claude Code wants to stop (main agent)
    Stop,
    /// When a subagent (Task tool) starts
    SubagentStart,
    /// When a subagent (Task tool) finishes
    SubagentStop,
    /// Before a compact operation
    PreCompact,
    /// When a session starts or resumes
    SessionStart,
    /// When a session ends
    SessionEnd,
    /// When permission dialog is shown
    PermissionRequest,
    /// When user submits a prompt
    UserPromptSubmit,
    /// Gemini: After agent finishes (equivalent to Claude's Stop for main agent)
    AfterAgent,
}