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) {
  Server(
    implementation: definitions.Implementation,
    tools: List(
      #(
        definitions.Tool,
        fn(dict.Dict(String, utils.Any)) -> Result(tool, String),
      ),
    ),
    resources: List(definitions.Resource),
  )
}

Constructors

Server(
  implementation: definitions.Implementation,
  tools: List(
    #(
      definitions.Tool,
      fn(dict.Dict(String, utils.Any)) -> Result(tool, String),
    ),
  ),
  resources: List(definitions.Resource),
)

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)

ToolError

</>

pub type ToolError {
  UnknownTool
  BadArguments
}

Constructors

```
UnknownTool
```
```
BadArguments
```

Values

encode_response

</>

pub fn encode_response(result: ServerResult) -> json.Json

handle_notification

</>

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

handle_request

</>

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

handle_rpc

</>

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

request_decoder

</>

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