aide

Types

ClientNotification

pub type ClientNotification {
  Cancelled(definitions.CancelledNotification)
  Initialized(definitions.InitializedNotification)
  Progress(definitions.ProgressNotification)
  RootsListChanged(definitions.RootsListChangedNotification)
}

Constructors

Cancelled(definitions.CancelledNotification)

Initialized(definitions.InitializedNotification)

Progress(definitions.ProgressNotification)

RootsListChanged(definitions.RootsListChangedNotification)

ClientRequest

</>

pub type ClientRequest {
  Initialize(definitions.InitializeRequest)
  Ping(definitions.PingRequest)
  ListResources(definitions.ListResourcesRequest)
  ListResourceTemplates(definitions.ListResourceTemplatesRequest)
  ReadResource(definitions.ReadResourceRequest)
  Subscribe(definitions.SubscribeRequest)
  Unsubscribe(definitions.UnsubscribeRequest)
  ListPrompts(definitions.ListPromptsRequest)
  GetPrompt(definitions.GetPromptRequest)
  ListTools(definitions.ListToolsRequest)
  CallTool(definitions.CallToolRequest)
  SetLevel(definitions.SetLevelRequest)
  Complete(definitions.CompleteRequest)
}

Constructors

Initialize(definitions.InitializeRequest)

```
Ping(definitions.PingRequest)
```

ListResources(definitions.ListResourcesRequest)

ListResourceTemplates(definitions.ListResourceTemplatesRequest)

ReadResource(definitions.ReadResourceRequest)

```
Subscribe(definitions.SubscribeRequest)
```

Unsubscribe(definitions.UnsubscribeRequest)

ListPrompts(definitions.ListPromptsRequest)

```
GetPrompt(definitions.GetPromptRequest)
```
```
ListTools(definitions.ListToolsRequest)
```
```
CallTool(definitions.CallToolRequest)
```
```
SetLevel(definitions.SetLevelRequest)
```
```
Complete(definitions.CompleteRequest)
```

Server

</>

pub type Server(tool, prompt) {
  Server(
    implementation: definitions.Implementation,
    tools: List(#(definitions.Tool, decode.Decoder(tool))),
    resources: List(definitions.Resource),
    resource_templates: List(definitions.ResourceTemplate),
    prompts: List(#(definitions.Prompt, decode.Decoder(prompt))),
  )
}

Constructors

Server(
  implementation: definitions.Implementation,
  tools: List(#(definitions.Tool, decode.Decoder(tool))),
  resources: List(definitions.Resource),
  resource_templates: List(definitions.ResourceTemplate),
  prompts: List(#(definitions.Prompt, decode.Decoder(prompt))),
)

ServerResult

</>

pub type ServerResult {
  InitializeResult(definitions.InitializeResult)
  PingResponse
  ListResourcesResult(definitions.ListResourcesResult)
  ListResourceTemplatesResult(
    definitions.ListResourceTemplatesResult,
  )
  ReadResourceResult(definitions.ReadResourceResult)
  ListPromptsResult(definitions.ListPromptsResult)
  GetPromptResult(definitions.GetPromptResult)
  ListToolsResult(definitions.ListToolsResult)
  CallToolResult(definitions.CallToolResult)
  CompleteResult(definitions.CompleteResult)
}

Constructors

InitializeResult(definitions.InitializeResult)

```
PingResponse
```

ListResourcesResult(definitions.ListResourcesResult)

ListResourceTemplatesResult(
  definitions.ListResourceTemplatesResult,
)

ReadResourceResult(definitions.ReadResourceResult)

ListPromptsResult(definitions.ListPromptsResult)

GetPromptResult(definitions.GetPromptResult)

ListToolsResult(definitions.ListToolsResult)

CallToolResult(definitions.CallToolResult)

CompleteResult(definitions.CompleteResult)

Values

get_prompt_by_name

</>

pub fn get_prompt_by_name(
  server: Server(a, b),
  name: String,
) -> Result(#(definitions.Prompt, decode.Decoder(b)), Nil)

get_tool_by_name

</>

pub fn get_tool_by_name(
  server: Server(a, b),
  name: String,
) -> Result(#(definitions.Tool, decode.Decoder(a)), Nil)

handle_notification

</>

pub fn handle_notification(
  notification: ClientNotification,
  server: a,
) -> Nil

handle_request

</>

pub fn handle_request(
  of: ClientRequest,
  server: Server(a, b),
) -> effect.Effect(
  Result(ServerResult, json_rpc.ErrorObject),
  a,
  b,
)

handle_rpc

</>

pub fn handle_rpc(
  request: json_rpc.Request(ClientRequest, ClientNotification),
  server: Server(a, b),
) -> effect.Effect(
  option.Option(json_rpc.Response(ServerResult)),
  a,
  b,
)

notification_method

</>

pub fn notification_method(
  notification: ClientNotification,
) -> String

request_decoder

</>

pub fn request_decoder() -> decode.Decoder(
  json_rpc.Request(ClientRequest, ClientNotification),
)

request_encode

</>

pub fn request_encode(
  request: json_rpc.Request(ClientRequest, ClientNotification),
) -> json.Json

request_method

</>

pub fn request_method(request: ClientRequest) -> String

response_encode

</>

pub fn response_encode(
  response: json_rpc.Response(ServerResult),
) -> json.Json