Copyright	(C) 2025 Matthias Pall Gissurarson
License	MIT
Maintainer	mpg@mpg.is
Stability	experimental
Portability	GHC
Safe Haskell	Safe-Inferred
Language	GHC2021

MCP.Protocol

Contents

JSON-RPC Types
Client Request Types
Server Request Types
Response Types
Notification Types
Union Types

Description

This module implements the JSON-RPC 2.0 protocol layer for MCP, including request/response handling, message parsing and encoding, and protocol-level error handling.

Synopsis

data JSONRPCRequest = JSONRPCRequest {
- jsonrpc :: Text
- id :: RequestId
- method :: Text
- params :: Maybe Value
}
data JSONRPCResponse = JSONRPCResponse {
- jsonrpc :: Text
- id :: RequestId
- result :: Value
}
data JSONRPCError = JSONRPCError {
- jsonrpc :: Text
- id :: RequestId
- error :: JSONRPCErrorInfo
}
data JSONRPCNotification = JSONRPCNotification {
- jsonrpc :: Text
- method :: Text
- params :: Maybe Value
}
data JSONRPCMessage
- = RequestMessage JSONRPCRequest
- | ResponseMessage JSONRPCResponse
- | ErrorMessage JSONRPCError
- | NotificationMessage JSONRPCNotification
data JSONRPCErrorInfo = JSONRPCErrorInfo {
- code :: Int
- message :: Text
- errorData :: Maybe Value
}
data InitializeRequest = InitializeRequest {
- method :: Text
- params :: InitializeParams
}
data InitializeParams = InitializeParams {
- protocolVersion :: Text
- capabilities :: ClientCapabilities
- clientInfo :: Implementation
}
data PingRequest = PingRequest {
- method :: Text
- params :: Maybe PingParams
}
data PingParams = PingParams {
- _meta :: Maybe Metadata
}
data ListResourcesRequest = ListResourcesRequest {
- method :: Text
- params :: Maybe ListResourcesParams
}
data ListResourcesParams = ListResourcesParams {
- cursor :: Maybe Cursor
}
data ListResourceTemplatesRequest = ListResourceTemplatesRequest {
- method :: Text
- params :: Maybe ListResourceTemplatesParams
}
data ListResourceTemplatesParams = ListResourceTemplatesParams {
- cursor :: Maybe Cursor
}
data ReadResourceRequest = ReadResourceRequest {
- method :: Text
- params :: ReadResourceParams
}
data ReadResourceParams = ReadResourceParams {
- uri :: Text
}
data SubscribeRequest = SubscribeRequest {
- method :: Text
- params :: SubscribeParams
}
data SubscribeParams = SubscribeParams {
- uri :: Text
}
data UnsubscribeRequest = UnsubscribeRequest {
- method :: Text
- params :: UnsubscribeParams
}
data UnsubscribeParams = UnsubscribeParams {
- uri :: Text
}
data ListPromptsRequest = ListPromptsRequest {
- method :: Text
- params :: Maybe ListPromptsParams
}
data ListPromptsParams = ListPromptsParams {
- cursor :: Maybe Cursor
}
data GetPromptRequest = GetPromptRequest {
- method :: Text
- params :: GetPromptParams
}
data GetPromptParams = GetPromptParams {
- name :: Text
- arguments :: Maybe (Map Text Text)
}
data ListToolsRequest = ListToolsRequest {
- method :: Text
- params :: Maybe ListToolsParams
}
data ListToolsParams = ListToolsParams {
- cursor :: Maybe Cursor
}
data CallToolRequest = CallToolRequest {
- method :: Text
- params :: CallToolParams
}
data CallToolParams = CallToolParams {
- name :: Text
- arguments :: Maybe (Map Text Value)
}
data SetLevelRequest = SetLevelRequest {
- method :: Text
- params :: SetLevelParams
}
data SetLevelParams = SetLevelParams {
- level :: LoggingLevel
}
data CompleteRequest = CompleteRequest {
- method :: Text
- params :: CompleteParams
}
data CompleteParams = CompleteParams {
- ref :: Reference
- argument :: CompletionArgument
}
data CompletionArgument = CompletionArgument {
- name :: Text
- value :: Text
}
data Reference
- = PromptRef PromptReference
- | ResourceRef ResourceReference
data CreateMessageRequest = CreateMessageRequest {
- method :: Text
- params :: CreateMessageParams
}
data CreateMessageParams = CreateMessageParams {
- maxTokens :: Int
- messages :: [SamplingMessage]
- modelPreferences :: Maybe ModelPreferences
- systemPrompt :: Maybe Text
- includeContext :: Maybe IncludeContext
- temperature :: Maybe Double
- stopSequences :: Maybe [Text]
- metadata :: Maybe (Map Text Value)
}
data ListRootsRequest = ListRootsRequest {
- method :: Text
- params :: Maybe ListRootsParams
}
data ListRootsParams = ListRootsParams {
- _meta :: Maybe Metadata
}
data InitializeResult = InitializeResult {
- protocolVersion :: Text
- capabilities :: ServerCapabilities
- serverInfo :: Implementation
- instructions :: Maybe Text
- _meta :: Maybe Metadata
}
data ListResourcesResult = ListResourcesResult {
- resources :: [Resource]
- nextCursor :: Maybe Cursor
- _meta :: Maybe Metadata
}
data ListResourceTemplatesResult = ListResourceTemplatesResult {
- resourceTemplates :: [ResourceTemplate]
- nextCursor :: Maybe Cursor
- _meta :: Maybe Metadata
}
data ReadResourceResult = ReadResourceResult {
- contents :: [ResourceContents]
- _meta :: Maybe Metadata
}
data ListPromptsResult = ListPromptsResult {
- prompts :: [Prompt]
- nextCursor :: Maybe Cursor
- _meta :: Maybe Metadata
}
data GetPromptResult = GetPromptResult {
- description :: Maybe Text
- messages :: [PromptMessage]
- _meta :: Maybe Metadata
}
data ListToolsResult = ListToolsResult {
- tools :: [Tool]
- nextCursor :: Maybe Cursor
- _meta :: Maybe Metadata
}
data CallToolResult = CallToolResult {
- content :: [Content]
- isError :: Maybe Bool
- _meta :: Maybe Metadata
}
data CompleteResult = CompleteResult {
- completion :: CompletionResult
- _meta :: Maybe Metadata
}
data CompletionResult = CompletionResult {
- values :: [Text]
- total :: Maybe Int
- hasMore :: Maybe Bool
}
data CreateMessageResult = CreateMessageResult {
- role :: Role
- content :: Content
- model :: Text
- stopReason :: Maybe Text
- _meta :: Maybe Metadata
}
data ListRootsResult = ListRootsResult {
- roots :: [Root]
- _meta :: Maybe Metadata
}
data CancelledNotification = CancelledNotification {
- method :: Text
- params :: CancelledParams
}
data CancelledParams = CancelledParams {
- requestId :: RequestId
- reason :: Maybe Text
}
data InitializedNotification = InitializedNotification {
- method :: Text
- params :: Maybe InitializedParams
}
data InitializedParams = InitializedParams {
- _meta :: Maybe Metadata
}
data ProgressNotification = ProgressNotification {
- method :: Text
- params :: ProgressParams
}
data ProgressParams = ProgressParams {
- progressToken :: ProgressToken
- progress :: Double
- total :: Maybe Double
- message :: Maybe Text
}
data ResourceListChangedNotification = ResourceListChangedNotification {
- method :: Text
- params :: Maybe InitializedParams
}
data ResourceUpdatedNotification = ResourceUpdatedNotification {
- method :: Text
- params :: ResourceUpdatedParams
}
data ResourceUpdatedParams = ResourceUpdatedParams {
- uri :: Text
}
data PromptListChangedNotification = PromptListChangedNotification {
- method :: Text
- params :: Maybe InitializedParams
}
data ToolListChangedNotification = ToolListChangedNotification {
- method :: Text
- params :: Maybe InitializedParams
}
data LoggingMessageNotification = LoggingMessageNotification {
- method :: Text
- params :: LoggingMessageParams
}
data LoggingMessageParams = LoggingMessageParams {
- level :: LoggingLevel
- data' :: Value
- logger :: Maybe Text
}
data RootsListChangedNotification = RootsListChangedNotification {
- method :: Text
- params :: Maybe InitializedParams
}
data ClientRequest
- = InitializeReq InitializeRequest
- | PingReq PingRequest
- | ListResourcesReq ListResourcesRequest
- | ListResourceTemplatesReq ListResourceTemplatesRequest
- | ReadResourceReq ReadResourceRequest
- | SubscribeReq SubscribeRequest
- | UnsubscribeReq UnsubscribeRequest
- | ListPromptsReq ListPromptsRequest
- | GetPromptReq GetPromptRequest
- | ListToolsReq ListToolsRequest
- | CallToolReq CallToolRequest
- | SetLevelReq SetLevelRequest
- | CompleteReq CompleteRequest
data ServerRequest
- = PingServerReq PingRequest
- | CreateMessageReq CreateMessageRequest
- | ListRootsReq ListRootsRequest
data ClientNotification
- = CancelledNotif CancelledNotification
- | InitializedNotif InitializedNotification
- | ProgressNotif ProgressNotification
- | RootsListChangedNotif RootsListChangedNotification
data ServerNotification
- = CancelledServerNotif CancelledNotification
- | ProgressServerNotif ProgressNotification
- | ResourceListChangedNotif ResourceListChangedNotification
- | ResourceUpdatedNotif ResourceUpdatedNotification
- | PromptListChangedNotif PromptListChangedNotification
- | ToolListChangedNotif ToolListChangedNotification
- | LoggingMessageNotif LoggingMessageNotification

JSON-RPC Types

data JSONRPCRequest Source #

A JSON-RPC request that expects a response

Constructors

JSONRPCRequest
Fields jsonrpc :: Text id :: RequestId method :: Text params :: Maybe Value

Instances

Instances details

FromJSON JSONRPCRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser JSONRPCRequest # parseJSONList :: Value -> Parser [JSONRPCRequest] # omittedField :: Maybe JSONRPCRequest #
ToJSON JSONRPCRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: JSONRPCRequest -> Value # toEncoding :: JSONRPCRequest -> Encoding # toJSONList :: [JSONRPCRequest] -> Value # toEncodingList :: [JSONRPCRequest] -> Encoding # omitField :: JSONRPCRequest -> Bool #
Generic JSONRPCRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep JSONRPCRequest :: Type -> Type # Methods from :: JSONRPCRequest -> Rep JSONRPCRequest x # to :: Rep JSONRPCRequest x -> JSONRPCRequest #
Show JSONRPCRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> JSONRPCRequest -> ShowS # show :: JSONRPCRequest -> String # showList :: [JSONRPCRequest] -> ShowS #
Eq JSONRPCRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: JSONRPCRequest -> JSONRPCRequest -> Bool # (/=) :: JSONRPCRequest -> JSONRPCRequest -> Bool #
type Rep JSONRPCRequest Source #
Instance details Defined in MCP.Protocol type Rep JSONRPCRequest = D1 ('MetaData "JSONRPCRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "JSONRPCRequest" 'PrefixI 'True) ((S1 ('MetaSel ('Just "jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RequestId)) :: (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))))

data JSONRPCResponse Source #

A successful JSON-RPC response

Constructors

JSONRPCResponse
Fields jsonrpc :: Text id :: RequestId result :: Value

Instances

Instances details

FromJSON JSONRPCResponse Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser JSONRPCResponse # parseJSONList :: Value -> Parser [JSONRPCResponse] # omittedField :: Maybe JSONRPCResponse #
ToJSON JSONRPCResponse Source #
Instance details Defined in MCP.Protocol Methods toJSON :: JSONRPCResponse -> Value # toEncoding :: JSONRPCResponse -> Encoding # toJSONList :: [JSONRPCResponse] -> Value # toEncodingList :: [JSONRPCResponse] -> Encoding # omitField :: JSONRPCResponse -> Bool #
Generic JSONRPCResponse Source #
Instance details Defined in MCP.Protocol Associated Types type Rep JSONRPCResponse :: Type -> Type # Methods from :: JSONRPCResponse -> Rep JSONRPCResponse x # to :: Rep JSONRPCResponse x -> JSONRPCResponse #
Show JSONRPCResponse Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> JSONRPCResponse -> ShowS # show :: JSONRPCResponse -> String # showList :: [JSONRPCResponse] -> ShowS #
Eq JSONRPCResponse Source #
Instance details Defined in MCP.Protocol Methods (==) :: JSONRPCResponse -> JSONRPCResponse -> Bool # (/=) :: JSONRPCResponse -> JSONRPCResponse -> Bool #
type Rep JSONRPCResponse Source #
Instance details Defined in MCP.Protocol type Rep JSONRPCResponse = D1 ('MetaData "JSONRPCResponse" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "JSONRPCResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RequestId) :: S1 ('MetaSel ('Just "result") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))))

data JSONRPCError Source #

A JSON-RPC error response

Constructors

JSONRPCError
Fields jsonrpc :: Text id :: RequestId error :: JSONRPCErrorInfo

Instances

Instances details

FromJSON JSONRPCError Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser JSONRPCError # parseJSONList :: Value -> Parser [JSONRPCError] # omittedField :: Maybe JSONRPCError #
ToJSON JSONRPCError Source #
Instance details Defined in MCP.Protocol Methods toJSON :: JSONRPCError -> Value # toEncoding :: JSONRPCError -> Encoding # toJSONList :: [JSONRPCError] -> Value # toEncodingList :: [JSONRPCError] -> Encoding # omitField :: JSONRPCError -> Bool #
Generic JSONRPCError Source #
Instance details Defined in MCP.Protocol Associated Types type Rep JSONRPCError :: Type -> Type # Methods from :: JSONRPCError -> Rep JSONRPCError x # to :: Rep JSONRPCError x -> JSONRPCError #
Show JSONRPCError Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> JSONRPCError -> ShowS # show :: JSONRPCError -> String # showList :: [JSONRPCError] -> ShowS #
Eq JSONRPCError Source #
Instance details Defined in MCP.Protocol Methods (==) :: JSONRPCError -> JSONRPCError -> Bool # (/=) :: JSONRPCError -> JSONRPCError -> Bool #
type Rep JSONRPCError Source #
Instance details Defined in MCP.Protocol type Rep JSONRPCError = D1 ('MetaData "JSONRPCError" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "JSONRPCError" 'PrefixI 'True) (S1 ('MetaSel ('Just "jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RequestId) :: S1 ('MetaSel ('Just "error") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JSONRPCErrorInfo))))

data JSONRPCNotification Source #

A JSON-RPC notification (no response expected)

Constructors

JSONRPCNotification
Fields jsonrpc :: Text method :: Text params :: Maybe Value

Instances

Instances details

FromJSON JSONRPCNotification Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser JSONRPCNotification # parseJSONList :: Value -> Parser [JSONRPCNotification] # omittedField :: Maybe JSONRPCNotification #
ToJSON JSONRPCNotification Source #
Instance details Defined in MCP.Protocol Methods toJSON :: JSONRPCNotification -> Value # toEncoding :: JSONRPCNotification -> Encoding # toJSONList :: [JSONRPCNotification] -> Value # toEncodingList :: [JSONRPCNotification] -> Encoding # omitField :: JSONRPCNotification -> Bool #
Generic JSONRPCNotification Source #
Instance details Defined in MCP.Protocol Associated Types type Rep JSONRPCNotification :: Type -> Type # Methods from :: JSONRPCNotification -> Rep JSONRPCNotification x # to :: Rep JSONRPCNotification x -> JSONRPCNotification #
Show JSONRPCNotification Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> JSONRPCNotification -> ShowS # show :: JSONRPCNotification -> String # showList :: [JSONRPCNotification] -> ShowS #
Eq JSONRPCNotification Source #
Instance details Defined in MCP.Protocol Methods (==) :: JSONRPCNotification -> JSONRPCNotification -> Bool # (/=) :: JSONRPCNotification -> JSONRPCNotification -> Bool #
type Rep JSONRPCNotification Source #
Instance details Defined in MCP.Protocol type Rep JSONRPCNotification = D1 ('MetaData "JSONRPCNotification" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "JSONRPCNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "jsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))))

data JSONRPCMessage Source #

Any JSON-RPC message

Constructors

RequestMessage JSONRPCRequest
ResponseMessage JSONRPCResponse
ErrorMessage JSONRPCError
NotificationMessage JSONRPCNotification

Instances

Instances details

FromJSON JSONRPCMessage Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser JSONRPCMessage # parseJSONList :: Value -> Parser [JSONRPCMessage] # omittedField :: Maybe JSONRPCMessage #
ToJSON JSONRPCMessage Source #
Instance details Defined in MCP.Protocol Methods toJSON :: JSONRPCMessage -> Value # toEncoding :: JSONRPCMessage -> Encoding # toJSONList :: [JSONRPCMessage] -> Value # toEncodingList :: [JSONRPCMessage] -> Encoding # omitField :: JSONRPCMessage -> Bool #
Generic JSONRPCMessage Source #
Instance details Defined in MCP.Protocol Associated Types type Rep JSONRPCMessage :: Type -> Type # Methods from :: JSONRPCMessage -> Rep JSONRPCMessage x # to :: Rep JSONRPCMessage x -> JSONRPCMessage #
Show JSONRPCMessage Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> JSONRPCMessage -> ShowS # show :: JSONRPCMessage -> String # showList :: [JSONRPCMessage] -> ShowS #
Eq JSONRPCMessage Source #
Instance details Defined in MCP.Protocol Methods (==) :: JSONRPCMessage -> JSONRPCMessage -> Bool # (/=) :: JSONRPCMessage -> JSONRPCMessage -> Bool #
type Rep JSONRPCMessage Source #
Instance details Defined in MCP.Protocol type Rep JSONRPCMessage = D1 ('MetaData "JSONRPCMessage" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) ((C1 ('MetaCons "RequestMessage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JSONRPCRequest)) :+: C1 ('MetaCons "ResponseMessage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JSONRPCResponse))) :+: (C1 ('MetaCons "ErrorMessage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JSONRPCError)) :+: C1 ('MetaCons "NotificationMessage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JSONRPCNotification))))

data JSONRPCErrorInfo Source #

JSON-RPC error information

Constructors

JSONRPCErrorInfo
Fields code :: Int message :: Text errorData :: Maybe Value

Instances

Instances details

FromJSON JSONRPCErrorInfo Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser JSONRPCErrorInfo # parseJSONList :: Value -> Parser [JSONRPCErrorInfo] # omittedField :: Maybe JSONRPCErrorInfo #
ToJSON JSONRPCErrorInfo Source #
Instance details Defined in MCP.Protocol Methods toJSON :: JSONRPCErrorInfo -> Value # toEncoding :: JSONRPCErrorInfo -> Encoding # toJSONList :: [JSONRPCErrorInfo] -> Value # toEncodingList :: [JSONRPCErrorInfo] -> Encoding # omitField :: JSONRPCErrorInfo -> Bool #
Generic JSONRPCErrorInfo Source #
Instance details Defined in MCP.Protocol Associated Types type Rep JSONRPCErrorInfo :: Type -> Type # Methods from :: JSONRPCErrorInfo -> Rep JSONRPCErrorInfo x # to :: Rep JSONRPCErrorInfo x -> JSONRPCErrorInfo #
Show JSONRPCErrorInfo Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> JSONRPCErrorInfo -> ShowS # show :: JSONRPCErrorInfo -> String # showList :: [JSONRPCErrorInfo] -> ShowS #
Eq JSONRPCErrorInfo Source #
Instance details Defined in MCP.Protocol Methods (==) :: JSONRPCErrorInfo -> JSONRPCErrorInfo -> Bool # (/=) :: JSONRPCErrorInfo -> JSONRPCErrorInfo -> Bool #
type Rep JSONRPCErrorInfo Source #
Instance details Defined in MCP.Protocol type Rep JSONRPCErrorInfo = D1 ('MetaData "JSONRPCErrorInfo" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "JSONRPCErrorInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: (S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "errorData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))))

Client Request Types

data InitializeRequest Source #

Initialize request

Constructors

InitializeRequest
Fields method :: Text params :: InitializeParams

Instances

Instances details

FromJSON InitializeRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser InitializeRequest # parseJSONList :: Value -> Parser [InitializeRequest] # omittedField :: Maybe InitializeRequest #
ToJSON InitializeRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: InitializeRequest -> Value # toEncoding :: InitializeRequest -> Encoding # toJSONList :: [InitializeRequest] -> Value # toEncodingList :: [InitializeRequest] -> Encoding # omitField :: InitializeRequest -> Bool #
Generic InitializeRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep InitializeRequest :: Type -> Type # Methods from :: InitializeRequest -> Rep InitializeRequest x # to :: Rep InitializeRequest x -> InitializeRequest #
Show InitializeRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> InitializeRequest -> ShowS # show :: InitializeRequest -> String # showList :: [InitializeRequest] -> ShowS #
Eq InitializeRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: InitializeRequest -> InitializeRequest -> Bool # (/=) :: InitializeRequest -> InitializeRequest -> Bool #
type Rep InitializeRequest Source #
Instance details Defined in MCP.Protocol type Rep InitializeRequest = D1 ('MetaData "InitializeRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "InitializeRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InitializeParams)))

data InitializeParams Source #

Initialize request parameters

Constructors

InitializeParams
Fields protocolVersion :: Text capabilities :: ClientCapabilities clientInfo :: Implementation

Instances

Instances details

FromJSON InitializeParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser InitializeParams # parseJSONList :: Value -> Parser [InitializeParams] # omittedField :: Maybe InitializeParams #
ToJSON InitializeParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: InitializeParams -> Value # toEncoding :: InitializeParams -> Encoding # toJSONList :: [InitializeParams] -> Value # toEncodingList :: [InitializeParams] -> Encoding # omitField :: InitializeParams -> Bool #
Generic InitializeParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep InitializeParams :: Type -> Type # Methods from :: InitializeParams -> Rep InitializeParams x # to :: Rep InitializeParams x -> InitializeParams #
Show InitializeParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> InitializeParams -> ShowS # show :: InitializeParams -> String # showList :: [InitializeParams] -> ShowS #
Eq InitializeParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: InitializeParams -> InitializeParams -> Bool # (/=) :: InitializeParams -> InitializeParams -> Bool #
type Rep InitializeParams Source #
Instance details Defined in MCP.Protocol type Rep InitializeParams = D1 ('MetaData "InitializeParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "InitializeParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "protocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "capabilities") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ClientCapabilities) :: S1 ('MetaSel ('Just "clientInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Implementation))))

data PingRequest Source #

Ping request

Constructors

PingRequest
Fields method :: Text params :: Maybe PingParams

Instances

Instances details

FromJSON PingRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser PingRequest # parseJSONList :: Value -> Parser [PingRequest] # omittedField :: Maybe PingRequest #
ToJSON PingRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: PingRequest -> Value # toEncoding :: PingRequest -> Encoding # toJSONList :: [PingRequest] -> Value # toEncodingList :: [PingRequest] -> Encoding # omitField :: PingRequest -> Bool #
Generic PingRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep PingRequest :: Type -> Type # Methods from :: PingRequest -> Rep PingRequest x # to :: Rep PingRequest x -> PingRequest #
Show PingRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> PingRequest -> ShowS # show :: PingRequest -> String # showList :: [PingRequest] -> ShowS #
Eq PingRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: PingRequest -> PingRequest -> Bool # (/=) :: PingRequest -> PingRequest -> Bool #
type Rep PingRequest Source #
Instance details Defined in MCP.Protocol type Rep PingRequest = D1 ('MetaData "PingRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PingRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe PingParams))))

data PingParams Source #

Ping request parameters

Constructors

PingParams
Fields _meta :: Maybe Metadata

Instances

Instances details

FromJSON PingParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser PingParams # parseJSONList :: Value -> Parser [PingParams] # omittedField :: Maybe PingParams #
ToJSON PingParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: PingParams -> Value # toEncoding :: PingParams -> Encoding # toJSONList :: [PingParams] -> Value # toEncodingList :: [PingParams] -> Encoding # omitField :: PingParams -> Bool #
Generic PingParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep PingParams :: Type -> Type # Methods from :: PingParams -> Rep PingParams x # to :: Rep PingParams x -> PingParams #
Show PingParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> PingParams -> ShowS # show :: PingParams -> String # showList :: [PingParams] -> ShowS #
Eq PingParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: PingParams -> PingParams -> Bool # (/=) :: PingParams -> PingParams -> Bool #
type Rep PingParams Source #
Instance details Defined in MCP.Protocol type Rep PingParams = D1 ('MetaData "PingParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PingParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata))))

data ListResourcesRequest Source #

List resources request

Constructors

ListResourcesRequest
Fields method :: Text params :: Maybe ListResourcesParams

Instances

Instances details

FromJSON ListResourcesRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ListResourcesRequest # parseJSONList :: Value -> Parser [ListResourcesRequest] # omittedField :: Maybe ListResourcesRequest #
ToJSON ListResourcesRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ListResourcesRequest -> Value # toEncoding :: ListResourcesRequest -> Encoding # toJSONList :: [ListResourcesRequest] -> Value # toEncodingList :: [ListResourcesRequest] -> Encoding # omitField :: ListResourcesRequest -> Bool #
Generic ListResourcesRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ListResourcesRequest :: Type -> Type # Methods from :: ListResourcesRequest -> Rep ListResourcesRequest x # to :: Rep ListResourcesRequest x -> ListResourcesRequest #
Show ListResourcesRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ListResourcesRequest -> ShowS # show :: ListResourcesRequest -> String # showList :: [ListResourcesRequest] -> ShowS #
Eq ListResourcesRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: ListResourcesRequest -> ListResourcesRequest -> Bool # (/=) :: ListResourcesRequest -> ListResourcesRequest -> Bool #
type Rep ListResourcesRequest Source #
Instance details Defined in MCP.Protocol type Rep ListResourcesRequest = D1 ('MetaData "ListResourcesRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListResourcesRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ListResourcesParams))))

data ListResourcesParams Source #

List resources request parameters

Constructors

ListResourcesParams
Fields cursor :: Maybe Cursor

Instances

Instances details

FromJSON ListResourcesParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ListResourcesParams # parseJSONList :: Value -> Parser [ListResourcesParams] # omittedField :: Maybe ListResourcesParams #
ToJSON ListResourcesParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ListResourcesParams -> Value # toEncoding :: ListResourcesParams -> Encoding # toJSONList :: [ListResourcesParams] -> Value # toEncodingList :: [ListResourcesParams] -> Encoding # omitField :: ListResourcesParams -> Bool #
Generic ListResourcesParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ListResourcesParams :: Type -> Type # Methods from :: ListResourcesParams -> Rep ListResourcesParams x # to :: Rep ListResourcesParams x -> ListResourcesParams #
Show ListResourcesParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ListResourcesParams -> ShowS # show :: ListResourcesParams -> String # showList :: [ListResourcesParams] -> ShowS #
Eq ListResourcesParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: ListResourcesParams -> ListResourcesParams -> Bool # (/=) :: ListResourcesParams -> ListResourcesParams -> Bool #
type Rep ListResourcesParams Source #
Instance details Defined in MCP.Protocol type Rep ListResourcesParams = D1 ('MetaData "ListResourcesParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListResourcesParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "cursor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Cursor))))

data ListResourceTemplatesRequest Source #

List resource templates request

Constructors

ListResourceTemplatesRequest
Fields method :: Text params :: Maybe ListResourceTemplatesParams

Instances

Instances details

FromJSON ListResourceTemplatesRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ListResourceTemplatesRequest # parseJSONList :: Value -> Parser [ListResourceTemplatesRequest] # omittedField :: Maybe ListResourceTemplatesRequest #
ToJSON ListResourceTemplatesRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ListResourceTemplatesRequest -> Value # toEncoding :: ListResourceTemplatesRequest -> Encoding # toJSONList :: [ListResourceTemplatesRequest] -> Value # toEncodingList :: [ListResourceTemplatesRequest] -> Encoding # omitField :: ListResourceTemplatesRequest -> Bool #
Generic ListResourceTemplatesRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ListResourceTemplatesRequest :: Type -> Type # Methods from :: ListResourceTemplatesRequest -> Rep ListResourceTemplatesRequest x # to :: Rep ListResourceTemplatesRequest x -> ListResourceTemplatesRequest #
Show ListResourceTemplatesRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ListResourceTemplatesRequest -> ShowS # show :: ListResourceTemplatesRequest -> String # showList :: [ListResourceTemplatesRequest] -> ShowS #
Eq ListResourceTemplatesRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: ListResourceTemplatesRequest -> ListResourceTemplatesRequest -> Bool # (/=) :: ListResourceTemplatesRequest -> ListResourceTemplatesRequest -> Bool #
type Rep ListResourceTemplatesRequest Source #
Instance details Defined in MCP.Protocol type Rep ListResourceTemplatesRequest = D1 ('MetaData "ListResourceTemplatesRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListResourceTemplatesRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ListResourceTemplatesParams))))

data ListResourceTemplatesParams Source #

List resource templates request parameters

Constructors

ListResourceTemplatesParams
Fields cursor :: Maybe Cursor

Instances

Instances details

FromJSON ListResourceTemplatesParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ListResourceTemplatesParams # parseJSONList :: Value -> Parser [ListResourceTemplatesParams] # omittedField :: Maybe ListResourceTemplatesParams #
ToJSON ListResourceTemplatesParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ListResourceTemplatesParams -> Value # toEncoding :: ListResourceTemplatesParams -> Encoding # toJSONList :: [ListResourceTemplatesParams] -> Value # toEncodingList :: [ListResourceTemplatesParams] -> Encoding # omitField :: ListResourceTemplatesParams -> Bool #
Generic ListResourceTemplatesParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ListResourceTemplatesParams :: Type -> Type # Methods from :: ListResourceTemplatesParams -> Rep ListResourceTemplatesParams x # to :: Rep ListResourceTemplatesParams x -> ListResourceTemplatesParams #
Show ListResourceTemplatesParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ListResourceTemplatesParams -> ShowS # show :: ListResourceTemplatesParams -> String # showList :: [ListResourceTemplatesParams] -> ShowS #
Eq ListResourceTemplatesParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: ListResourceTemplatesParams -> ListResourceTemplatesParams -> Bool # (/=) :: ListResourceTemplatesParams -> ListResourceTemplatesParams -> Bool #
type Rep ListResourceTemplatesParams Source #
Instance details Defined in MCP.Protocol type Rep ListResourceTemplatesParams = D1 ('MetaData "ListResourceTemplatesParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListResourceTemplatesParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "cursor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Cursor))))

data ReadResourceRequest Source #

Read resource request

Constructors

ReadResourceRequest
Fields method :: Text params :: ReadResourceParams

Instances

Instances details

FromJSON ReadResourceRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ReadResourceRequest # parseJSONList :: Value -> Parser [ReadResourceRequest] # omittedField :: Maybe ReadResourceRequest #
ToJSON ReadResourceRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ReadResourceRequest -> Value # toEncoding :: ReadResourceRequest -> Encoding # toJSONList :: [ReadResourceRequest] -> Value # toEncodingList :: [ReadResourceRequest] -> Encoding # omitField :: ReadResourceRequest -> Bool #
Generic ReadResourceRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ReadResourceRequest :: Type -> Type # Methods from :: ReadResourceRequest -> Rep ReadResourceRequest x # to :: Rep ReadResourceRequest x -> ReadResourceRequest #
Show ReadResourceRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ReadResourceRequest -> ShowS # show :: ReadResourceRequest -> String # showList :: [ReadResourceRequest] -> ShowS #
Eq ReadResourceRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: ReadResourceRequest -> ReadResourceRequest -> Bool # (/=) :: ReadResourceRequest -> ReadResourceRequest -> Bool #
type Rep ReadResourceRequest Source #
Instance details Defined in MCP.Protocol type Rep ReadResourceRequest = D1 ('MetaData "ReadResourceRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ReadResourceRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ReadResourceParams)))

data ReadResourceParams Source #

Read resource request parameters

Constructors

ReadResourceParams
Fields uri :: Text

Instances

Instances details

FromJSON ReadResourceParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ReadResourceParams # parseJSONList :: Value -> Parser [ReadResourceParams] # omittedField :: Maybe ReadResourceParams #
ToJSON ReadResourceParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ReadResourceParams -> Value # toEncoding :: ReadResourceParams -> Encoding # toJSONList :: [ReadResourceParams] -> Value # toEncodingList :: [ReadResourceParams] -> Encoding # omitField :: ReadResourceParams -> Bool #
Generic ReadResourceParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ReadResourceParams :: Type -> Type # Methods from :: ReadResourceParams -> Rep ReadResourceParams x # to :: Rep ReadResourceParams x -> ReadResourceParams #
Show ReadResourceParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ReadResourceParams -> ShowS # show :: ReadResourceParams -> String # showList :: [ReadResourceParams] -> ShowS #
Eq ReadResourceParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: ReadResourceParams -> ReadResourceParams -> Bool # (/=) :: ReadResourceParams -> ReadResourceParams -> Bool #
type Rep ReadResourceParams Source #
Instance details Defined in MCP.Protocol type Rep ReadResourceParams = D1 ('MetaData "ReadResourceParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ReadResourceParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "uri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data SubscribeRequest Source #

Subscribe request

Constructors

SubscribeRequest
Fields method :: Text params :: SubscribeParams

Instances

Instances details

FromJSON SubscribeRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser SubscribeRequest # parseJSONList :: Value -> Parser [SubscribeRequest] # omittedField :: Maybe SubscribeRequest #
ToJSON SubscribeRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: SubscribeRequest -> Value # toEncoding :: SubscribeRequest -> Encoding # toJSONList :: [SubscribeRequest] -> Value # toEncodingList :: [SubscribeRequest] -> Encoding # omitField :: SubscribeRequest -> Bool #
Generic SubscribeRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep SubscribeRequest :: Type -> Type # Methods from :: SubscribeRequest -> Rep SubscribeRequest x # to :: Rep SubscribeRequest x -> SubscribeRequest #
Show SubscribeRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> SubscribeRequest -> ShowS # show :: SubscribeRequest -> String # showList :: [SubscribeRequest] -> ShowS #
Eq SubscribeRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: SubscribeRequest -> SubscribeRequest -> Bool # (/=) :: SubscribeRequest -> SubscribeRequest -> Bool #
type Rep SubscribeRequest Source #
Instance details Defined in MCP.Protocol type Rep SubscribeRequest = D1 ('MetaData "SubscribeRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SubscribeRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubscribeParams)))

data SubscribeParams Source #

Subscribe request parameters

Constructors

SubscribeParams
Fields uri :: Text

Instances

Instances details

FromJSON SubscribeParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser SubscribeParams # parseJSONList :: Value -> Parser [SubscribeParams] # omittedField :: Maybe SubscribeParams #
ToJSON SubscribeParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: SubscribeParams -> Value # toEncoding :: SubscribeParams -> Encoding # toJSONList :: [SubscribeParams] -> Value # toEncodingList :: [SubscribeParams] -> Encoding # omitField :: SubscribeParams -> Bool #
Generic SubscribeParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep SubscribeParams :: Type -> Type # Methods from :: SubscribeParams -> Rep SubscribeParams x # to :: Rep SubscribeParams x -> SubscribeParams #
Show SubscribeParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> SubscribeParams -> ShowS # show :: SubscribeParams -> String # showList :: [SubscribeParams] -> ShowS #
Eq SubscribeParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: SubscribeParams -> SubscribeParams -> Bool # (/=) :: SubscribeParams -> SubscribeParams -> Bool #
type Rep SubscribeParams Source #
Instance details Defined in MCP.Protocol type Rep SubscribeParams = D1 ('MetaData "SubscribeParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SubscribeParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "uri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data UnsubscribeRequest Source #

Unsubscribe request

Constructors

UnsubscribeRequest
Fields method :: Text params :: UnsubscribeParams

Instances

Instances details

FromJSON UnsubscribeRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser UnsubscribeRequest # parseJSONList :: Value -> Parser [UnsubscribeRequest] # omittedField :: Maybe UnsubscribeRequest #
ToJSON UnsubscribeRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: UnsubscribeRequest -> Value # toEncoding :: UnsubscribeRequest -> Encoding # toJSONList :: [UnsubscribeRequest] -> Value # toEncodingList :: [UnsubscribeRequest] -> Encoding # omitField :: UnsubscribeRequest -> Bool #
Generic UnsubscribeRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep UnsubscribeRequest :: Type -> Type # Methods from :: UnsubscribeRequest -> Rep UnsubscribeRequest x # to :: Rep UnsubscribeRequest x -> UnsubscribeRequest #
Show UnsubscribeRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> UnsubscribeRequest -> ShowS # show :: UnsubscribeRequest -> String # showList :: [UnsubscribeRequest] -> ShowS #
Eq UnsubscribeRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: UnsubscribeRequest -> UnsubscribeRequest -> Bool # (/=) :: UnsubscribeRequest -> UnsubscribeRequest -> Bool #
type Rep UnsubscribeRequest Source #
Instance details Defined in MCP.Protocol type Rep UnsubscribeRequest = D1 ('MetaData "UnsubscribeRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "UnsubscribeRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnsubscribeParams)))

data UnsubscribeParams Source #

Unsubscribe request parameters

Constructors

UnsubscribeParams
Fields uri :: Text

Instances

Instances details

FromJSON UnsubscribeParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser UnsubscribeParams # parseJSONList :: Value -> Parser [UnsubscribeParams] # omittedField :: Maybe UnsubscribeParams #
ToJSON UnsubscribeParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: UnsubscribeParams -> Value # toEncoding :: UnsubscribeParams -> Encoding # toJSONList :: [UnsubscribeParams] -> Value # toEncodingList :: [UnsubscribeParams] -> Encoding # omitField :: UnsubscribeParams -> Bool #
Generic UnsubscribeParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep UnsubscribeParams :: Type -> Type # Methods from :: UnsubscribeParams -> Rep UnsubscribeParams x # to :: Rep UnsubscribeParams x -> UnsubscribeParams #
Show UnsubscribeParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> UnsubscribeParams -> ShowS # show :: UnsubscribeParams -> String # showList :: [UnsubscribeParams] -> ShowS #
Eq UnsubscribeParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: UnsubscribeParams -> UnsubscribeParams -> Bool # (/=) :: UnsubscribeParams -> UnsubscribeParams -> Bool #
type Rep UnsubscribeParams Source #
Instance details Defined in MCP.Protocol type Rep UnsubscribeParams = D1 ('MetaData "UnsubscribeParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "UnsubscribeParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "uri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data ListPromptsRequest Source #

List prompts request

Constructors

ListPromptsRequest
Fields method :: Text params :: Maybe ListPromptsParams

Instances

Instances details

FromJSON ListPromptsRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ListPromptsRequest # parseJSONList :: Value -> Parser [ListPromptsRequest] # omittedField :: Maybe ListPromptsRequest #
ToJSON ListPromptsRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ListPromptsRequest -> Value # toEncoding :: ListPromptsRequest -> Encoding # toJSONList :: [ListPromptsRequest] -> Value # toEncodingList :: [ListPromptsRequest] -> Encoding # omitField :: ListPromptsRequest -> Bool #
Generic ListPromptsRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ListPromptsRequest :: Type -> Type # Methods from :: ListPromptsRequest -> Rep ListPromptsRequest x # to :: Rep ListPromptsRequest x -> ListPromptsRequest #
Show ListPromptsRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ListPromptsRequest -> ShowS # show :: ListPromptsRequest -> String # showList :: [ListPromptsRequest] -> ShowS #
Eq ListPromptsRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: ListPromptsRequest -> ListPromptsRequest -> Bool # (/=) :: ListPromptsRequest -> ListPromptsRequest -> Bool #
type Rep ListPromptsRequest Source #
Instance details Defined in MCP.Protocol type Rep ListPromptsRequest = D1 ('MetaData "ListPromptsRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListPromptsRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ListPromptsParams))))

data ListPromptsParams Source #

List prompts request parameters

Constructors

ListPromptsParams
Fields cursor :: Maybe Cursor

Instances

Instances details

FromJSON ListPromptsParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ListPromptsParams # parseJSONList :: Value -> Parser [ListPromptsParams] # omittedField :: Maybe ListPromptsParams #
ToJSON ListPromptsParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ListPromptsParams -> Value # toEncoding :: ListPromptsParams -> Encoding # toJSONList :: [ListPromptsParams] -> Value # toEncodingList :: [ListPromptsParams] -> Encoding # omitField :: ListPromptsParams -> Bool #
Generic ListPromptsParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ListPromptsParams :: Type -> Type # Methods from :: ListPromptsParams -> Rep ListPromptsParams x # to :: Rep ListPromptsParams x -> ListPromptsParams #
Show ListPromptsParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ListPromptsParams -> ShowS # show :: ListPromptsParams -> String # showList :: [ListPromptsParams] -> ShowS #
Eq ListPromptsParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: ListPromptsParams -> ListPromptsParams -> Bool # (/=) :: ListPromptsParams -> ListPromptsParams -> Bool #
type Rep ListPromptsParams Source #
Instance details Defined in MCP.Protocol type Rep ListPromptsParams = D1 ('MetaData "ListPromptsParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListPromptsParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "cursor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Cursor))))

data GetPromptRequest Source #

Get prompt request

Constructors

GetPromptRequest
Fields method :: Text params :: GetPromptParams

Instances

Instances details

FromJSON GetPromptRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser GetPromptRequest # parseJSONList :: Value -> Parser [GetPromptRequest] # omittedField :: Maybe GetPromptRequest #
ToJSON GetPromptRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: GetPromptRequest -> Value # toEncoding :: GetPromptRequest -> Encoding # toJSONList :: [GetPromptRequest] -> Value # toEncodingList :: [GetPromptRequest] -> Encoding # omitField :: GetPromptRequest -> Bool #
Generic GetPromptRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep GetPromptRequest :: Type -> Type # Methods from :: GetPromptRequest -> Rep GetPromptRequest x # to :: Rep GetPromptRequest x -> GetPromptRequest #
Show GetPromptRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> GetPromptRequest -> ShowS # show :: GetPromptRequest -> String # showList :: [GetPromptRequest] -> ShowS #
Eq GetPromptRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: GetPromptRequest -> GetPromptRequest -> Bool # (/=) :: GetPromptRequest -> GetPromptRequest -> Bool #
type Rep GetPromptRequest Source #
Instance details Defined in MCP.Protocol type Rep GetPromptRequest = D1 ('MetaData "GetPromptRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "GetPromptRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GetPromptParams)))

data GetPromptParams Source #

Get prompt request parameters

Constructors

GetPromptParams
Fields name :: Text arguments :: Maybe (Map Text Text)

Instances

Instances details

FromJSON GetPromptParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser GetPromptParams # parseJSONList :: Value -> Parser [GetPromptParams] # omittedField :: Maybe GetPromptParams #
ToJSON GetPromptParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: GetPromptParams -> Value # toEncoding :: GetPromptParams -> Encoding # toJSONList :: [GetPromptParams] -> Value # toEncodingList :: [GetPromptParams] -> Encoding # omitField :: GetPromptParams -> Bool #
Generic GetPromptParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep GetPromptParams :: Type -> Type # Methods from :: GetPromptParams -> Rep GetPromptParams x # to :: Rep GetPromptParams x -> GetPromptParams #
Show GetPromptParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> GetPromptParams -> ShowS # show :: GetPromptParams -> String # showList :: [GetPromptParams] -> ShowS #
Eq GetPromptParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: GetPromptParams -> GetPromptParams -> Bool # (/=) :: GetPromptParams -> GetPromptParams -> Bool #
type Rep GetPromptParams Source #
Instance details Defined in MCP.Protocol type Rep GetPromptParams = D1 ('MetaData "GetPromptParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "GetPromptParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "arguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Text Text)))))

data ListToolsRequest Source #

List tools request

Constructors

ListToolsRequest
Fields method :: Text params :: Maybe ListToolsParams

Instances

Instances details

FromJSON ListToolsRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ListToolsRequest # parseJSONList :: Value -> Parser [ListToolsRequest] # omittedField :: Maybe ListToolsRequest #
ToJSON ListToolsRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ListToolsRequest -> Value # toEncoding :: ListToolsRequest -> Encoding # toJSONList :: [ListToolsRequest] -> Value # toEncodingList :: [ListToolsRequest] -> Encoding # omitField :: ListToolsRequest -> Bool #
Generic ListToolsRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ListToolsRequest :: Type -> Type # Methods from :: ListToolsRequest -> Rep ListToolsRequest x # to :: Rep ListToolsRequest x -> ListToolsRequest #
Show ListToolsRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ListToolsRequest -> ShowS # show :: ListToolsRequest -> String # showList :: [ListToolsRequest] -> ShowS #
Eq ListToolsRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: ListToolsRequest -> ListToolsRequest -> Bool # (/=) :: ListToolsRequest -> ListToolsRequest -> Bool #
type Rep ListToolsRequest Source #
Instance details Defined in MCP.Protocol type Rep ListToolsRequest = D1 ('MetaData "ListToolsRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListToolsRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ListToolsParams))))

data ListToolsParams Source #

List tools request parameters

Constructors

ListToolsParams
Fields cursor :: Maybe Cursor

Instances

Instances details

FromJSON ListToolsParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ListToolsParams # parseJSONList :: Value -> Parser [ListToolsParams] # omittedField :: Maybe ListToolsParams #
ToJSON ListToolsParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ListToolsParams -> Value # toEncoding :: ListToolsParams -> Encoding # toJSONList :: [ListToolsParams] -> Value # toEncodingList :: [ListToolsParams] -> Encoding # omitField :: ListToolsParams -> Bool #
Generic ListToolsParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ListToolsParams :: Type -> Type # Methods from :: ListToolsParams -> Rep ListToolsParams x # to :: Rep ListToolsParams x -> ListToolsParams #
Show ListToolsParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ListToolsParams -> ShowS # show :: ListToolsParams -> String # showList :: [ListToolsParams] -> ShowS #
Eq ListToolsParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: ListToolsParams -> ListToolsParams -> Bool # (/=) :: ListToolsParams -> ListToolsParams -> Bool #
type Rep ListToolsParams Source #
Instance details Defined in MCP.Protocol type Rep ListToolsParams = D1 ('MetaData "ListToolsParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListToolsParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "cursor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Cursor))))

data CallToolRequest Source #

Call tool request

Constructors

CallToolRequest
Fields method :: Text params :: CallToolParams

Instances

Instances details

FromJSON CallToolRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser CallToolRequest # parseJSONList :: Value -> Parser [CallToolRequest] # omittedField :: Maybe CallToolRequest #
ToJSON CallToolRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: CallToolRequest -> Value # toEncoding :: CallToolRequest -> Encoding # toJSONList :: [CallToolRequest] -> Value # toEncodingList :: [CallToolRequest] -> Encoding # omitField :: CallToolRequest -> Bool #
Generic CallToolRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep CallToolRequest :: Type -> Type # Methods from :: CallToolRequest -> Rep CallToolRequest x # to :: Rep CallToolRequest x -> CallToolRequest #
Show CallToolRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> CallToolRequest -> ShowS # show :: CallToolRequest -> String # showList :: [CallToolRequest] -> ShowS #
Eq CallToolRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: CallToolRequest -> CallToolRequest -> Bool # (/=) :: CallToolRequest -> CallToolRequest -> Bool #
type Rep CallToolRequest Source #
Instance details Defined in MCP.Protocol type Rep CallToolRequest = D1 ('MetaData "CallToolRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CallToolRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CallToolParams)))

data CallToolParams Source #

Call tool request parameters

Constructors

CallToolParams
Fields name :: Text arguments :: Maybe (Map Text Value)

Instances

Instances details

FromJSON CallToolParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser CallToolParams # parseJSONList :: Value -> Parser [CallToolParams] # omittedField :: Maybe CallToolParams #
ToJSON CallToolParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: CallToolParams -> Value # toEncoding :: CallToolParams -> Encoding # toJSONList :: [CallToolParams] -> Value # toEncodingList :: [CallToolParams] -> Encoding # omitField :: CallToolParams -> Bool #
Generic CallToolParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep CallToolParams :: Type -> Type # Methods from :: CallToolParams -> Rep CallToolParams x # to :: Rep CallToolParams x -> CallToolParams #
Show CallToolParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> CallToolParams -> ShowS # show :: CallToolParams -> String # showList :: [CallToolParams] -> ShowS #
Eq CallToolParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: CallToolParams -> CallToolParams -> Bool # (/=) :: CallToolParams -> CallToolParams -> Bool #
type Rep CallToolParams Source #
Instance details Defined in MCP.Protocol type Rep CallToolParams = D1 ('MetaData "CallToolParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CallToolParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "arguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Text Value)))))

data SetLevelRequest Source #

Set level request

Constructors

SetLevelRequest
Fields method :: Text params :: SetLevelParams

Instances

Instances details

FromJSON SetLevelRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser SetLevelRequest # parseJSONList :: Value -> Parser [SetLevelRequest] # omittedField :: Maybe SetLevelRequest #
ToJSON SetLevelRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: SetLevelRequest -> Value # toEncoding :: SetLevelRequest -> Encoding # toJSONList :: [SetLevelRequest] -> Value # toEncodingList :: [SetLevelRequest] -> Encoding # omitField :: SetLevelRequest -> Bool #
Generic SetLevelRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep SetLevelRequest :: Type -> Type # Methods from :: SetLevelRequest -> Rep SetLevelRequest x # to :: Rep SetLevelRequest x -> SetLevelRequest #
Show SetLevelRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> SetLevelRequest -> ShowS # show :: SetLevelRequest -> String # showList :: [SetLevelRequest] -> ShowS #
Eq SetLevelRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: SetLevelRequest -> SetLevelRequest -> Bool # (/=) :: SetLevelRequest -> SetLevelRequest -> Bool #
type Rep SetLevelRequest Source #
Instance details Defined in MCP.Protocol type Rep SetLevelRequest = D1 ('MetaData "SetLevelRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SetLevelRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SetLevelParams)))

data SetLevelParams Source #

Set level request parameters

Constructors

SetLevelParams
Fields level :: LoggingLevel

Instances

Instances details

FromJSON SetLevelParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser SetLevelParams # parseJSONList :: Value -> Parser [SetLevelParams] # omittedField :: Maybe SetLevelParams #
ToJSON SetLevelParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: SetLevelParams -> Value # toEncoding :: SetLevelParams -> Encoding # toJSONList :: [SetLevelParams] -> Value # toEncodingList :: [SetLevelParams] -> Encoding # omitField :: SetLevelParams -> Bool #
Generic SetLevelParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep SetLevelParams :: Type -> Type # Methods from :: SetLevelParams -> Rep SetLevelParams x # to :: Rep SetLevelParams x -> SetLevelParams #
Show SetLevelParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> SetLevelParams -> ShowS # show :: SetLevelParams -> String # showList :: [SetLevelParams] -> ShowS #
Eq SetLevelParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: SetLevelParams -> SetLevelParams -> Bool # (/=) :: SetLevelParams -> SetLevelParams -> Bool #
type Rep SetLevelParams Source #
Instance details Defined in MCP.Protocol type Rep SetLevelParams = D1 ('MetaData "SetLevelParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SetLevelParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "level") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LoggingLevel)))

data CompleteRequest Source #

Complete request

Constructors

CompleteRequest
Fields method :: Text params :: CompleteParams

Instances

Instances details

FromJSON CompleteRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser CompleteRequest # parseJSONList :: Value -> Parser [CompleteRequest] # omittedField :: Maybe CompleteRequest #
ToJSON CompleteRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: CompleteRequest -> Value # toEncoding :: CompleteRequest -> Encoding # toJSONList :: [CompleteRequest] -> Value # toEncodingList :: [CompleteRequest] -> Encoding # omitField :: CompleteRequest -> Bool #
Generic CompleteRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep CompleteRequest :: Type -> Type # Methods from :: CompleteRequest -> Rep CompleteRequest x # to :: Rep CompleteRequest x -> CompleteRequest #
Show CompleteRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> CompleteRequest -> ShowS # show :: CompleteRequest -> String # showList :: [CompleteRequest] -> ShowS #
Eq CompleteRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: CompleteRequest -> CompleteRequest -> Bool # (/=) :: CompleteRequest -> CompleteRequest -> Bool #
type Rep CompleteRequest Source #
Instance details Defined in MCP.Protocol type Rep CompleteRequest = D1 ('MetaData "CompleteRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CompleteRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CompleteParams)))

data CompleteParams Source #

Complete request parameters

Constructors

CompleteParams
Fields ref :: Reference argument :: CompletionArgument

Instances

Instances details

FromJSON CompleteParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser CompleteParams # parseJSONList :: Value -> Parser [CompleteParams] # omittedField :: Maybe CompleteParams #
ToJSON CompleteParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: CompleteParams -> Value # toEncoding :: CompleteParams -> Encoding # toJSONList :: [CompleteParams] -> Value # toEncodingList :: [CompleteParams] -> Encoding # omitField :: CompleteParams -> Bool #
Generic CompleteParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep CompleteParams :: Type -> Type # Methods from :: CompleteParams -> Rep CompleteParams x # to :: Rep CompleteParams x -> CompleteParams #
Show CompleteParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> CompleteParams -> ShowS # show :: CompleteParams -> String # showList :: [CompleteParams] -> ShowS #
Eq CompleteParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: CompleteParams -> CompleteParams -> Bool # (/=) :: CompleteParams -> CompleteParams -> Bool #
type Rep CompleteParams Source #
Instance details Defined in MCP.Protocol type Rep CompleteParams = D1 ('MetaData "CompleteParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CompleteParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "ref") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Reference) :*: S1 ('MetaSel ('Just "argument") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CompletionArgument)))

data CompletionArgument Source #

Completion argument

Constructors

CompletionArgument
Fields name :: Text value :: Text

Instances

Instances details

FromJSON CompletionArgument Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser CompletionArgument # parseJSONList :: Value -> Parser [CompletionArgument] # omittedField :: Maybe CompletionArgument #
ToJSON CompletionArgument Source #
Instance details Defined in MCP.Protocol Methods toJSON :: CompletionArgument -> Value # toEncoding :: CompletionArgument -> Encoding # toJSONList :: [CompletionArgument] -> Value # toEncodingList :: [CompletionArgument] -> Encoding # omitField :: CompletionArgument -> Bool #
Generic CompletionArgument Source #
Instance details Defined in MCP.Protocol Associated Types type Rep CompletionArgument :: Type -> Type # Methods from :: CompletionArgument -> Rep CompletionArgument x # to :: Rep CompletionArgument x -> CompletionArgument #
Show CompletionArgument Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> CompletionArgument -> ShowS # show :: CompletionArgument -> String # showList :: [CompletionArgument] -> ShowS #
Eq CompletionArgument Source #
Instance details Defined in MCP.Protocol Methods (==) :: CompletionArgument -> CompletionArgument -> Bool # (/=) :: CompletionArgument -> CompletionArgument -> Bool #
type Rep CompletionArgument Source #
Instance details Defined in MCP.Protocol type Rep CompletionArgument = D1 ('MetaData "CompletionArgument" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CompletionArgument" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data Reference Source #

Reference (prompt or resource)

Constructors

PromptRef PromptReference
ResourceRef ResourceReference

Instances

Instances details

FromJSON Reference Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser Reference # parseJSONList :: Value -> Parser [Reference] # omittedField :: Maybe Reference #
ToJSON Reference Source #
Instance details Defined in MCP.Protocol Methods toJSON :: Reference -> Value # toEncoding :: Reference -> Encoding # toJSONList :: [Reference] -> Value # toEncodingList :: [Reference] -> Encoding # omitField :: Reference -> Bool #
Generic Reference Source #
Instance details Defined in MCP.Protocol Associated Types type Rep Reference :: Type -> Type # Methods from :: Reference -> Rep Reference x # to :: Rep Reference x -> Reference #
Show Reference Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> Reference -> ShowS # show :: Reference -> String # showList :: [Reference] -> ShowS #
Eq Reference Source #
Instance details Defined in MCP.Protocol Methods (==) :: Reference -> Reference -> Bool # (/=) :: Reference -> Reference -> Bool #
type Rep Reference Source #
Instance details Defined in MCP.Protocol type Rep Reference = D1 ('MetaData "Reference" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PromptRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PromptReference)) :+: C1 ('MetaCons "ResourceRef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ResourceReference)))

Server Request Types

data CreateMessageRequest Source #

Create message request

Constructors

CreateMessageRequest
Fields method :: Text params :: CreateMessageParams

Instances

Instances details

FromJSON CreateMessageRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser CreateMessageRequest # parseJSONList :: Value -> Parser [CreateMessageRequest] # omittedField :: Maybe CreateMessageRequest #
ToJSON CreateMessageRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: CreateMessageRequest -> Value # toEncoding :: CreateMessageRequest -> Encoding # toJSONList :: [CreateMessageRequest] -> Value # toEncodingList :: [CreateMessageRequest] -> Encoding # omitField :: CreateMessageRequest -> Bool #
Generic CreateMessageRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep CreateMessageRequest :: Type -> Type # Methods from :: CreateMessageRequest -> Rep CreateMessageRequest x # to :: Rep CreateMessageRequest x -> CreateMessageRequest #
Show CreateMessageRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> CreateMessageRequest -> ShowS # show :: CreateMessageRequest -> String # showList :: [CreateMessageRequest] -> ShowS #
Eq CreateMessageRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: CreateMessageRequest -> CreateMessageRequest -> Bool # (/=) :: CreateMessageRequest -> CreateMessageRequest -> Bool #
type Rep CreateMessageRequest Source #
Instance details Defined in MCP.Protocol type Rep CreateMessageRequest = D1 ('MetaData "CreateMessageRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CreateMessageRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CreateMessageParams)))

data CreateMessageParams Source #

Create message request parameters

Constructors

CreateMessageParams
Fields maxTokens :: Int messages :: [SamplingMessage] modelPreferences :: Maybe ModelPreferences systemPrompt :: Maybe Text includeContext :: Maybe IncludeContext temperature :: Maybe Double stopSequences :: Maybe [Text] metadata :: Maybe (Map Text Value)

Instances

Instances details

FromJSON CreateMessageParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser CreateMessageParams # parseJSONList :: Value -> Parser [CreateMessageParams] # omittedField :: Maybe CreateMessageParams #
ToJSON CreateMessageParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: CreateMessageParams -> Value # toEncoding :: CreateMessageParams -> Encoding # toJSONList :: [CreateMessageParams] -> Value # toEncodingList :: [CreateMessageParams] -> Encoding # omitField :: CreateMessageParams -> Bool #
Generic CreateMessageParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep CreateMessageParams :: Type -> Type # Methods from :: CreateMessageParams -> Rep CreateMessageParams x # to :: Rep CreateMessageParams x -> CreateMessageParams #
Show CreateMessageParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> CreateMessageParams -> ShowS # show :: CreateMessageParams -> String # showList :: [CreateMessageParams] -> ShowS #
Eq CreateMessageParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: CreateMessageParams -> CreateMessageParams -> Bool # (/=) :: CreateMessageParams -> CreateMessageParams -> Bool #
type Rep CreateMessageParams Source #
Instance details Defined in MCP.Protocol type Rep CreateMessageParams = D1 ('MetaData "CreateMessageParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CreateMessageParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "maxTokens") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: S1 ('MetaSel ('Just "messages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SamplingMessage])) :: (S1 ('MetaSel ('Just "modelPreferences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModelPreferences)) :: S1 ('MetaSel ('Just "systemPrompt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))) :: ((S1 ('MetaSel ('Just "includeContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe IncludeContext)) :: S1 ('MetaSel ('Just "temperature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Double))) :: (S1 ('MetaSel ('Just "stopSequences") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Text])) :*: S1 ('MetaSel ('Just "metadata") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Text Value)))))))

data ListRootsRequest Source #

List roots request

Constructors

ListRootsRequest
Fields method :: Text params :: Maybe ListRootsParams

Instances

Instances details

FromJSON ListRootsRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ListRootsRequest # parseJSONList :: Value -> Parser [ListRootsRequest] # omittedField :: Maybe ListRootsRequest #
ToJSON ListRootsRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ListRootsRequest -> Value # toEncoding :: ListRootsRequest -> Encoding # toJSONList :: [ListRootsRequest] -> Value # toEncodingList :: [ListRootsRequest] -> Encoding # omitField :: ListRootsRequest -> Bool #
Generic ListRootsRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ListRootsRequest :: Type -> Type # Methods from :: ListRootsRequest -> Rep ListRootsRequest x # to :: Rep ListRootsRequest x -> ListRootsRequest #
Show ListRootsRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ListRootsRequest -> ShowS # show :: ListRootsRequest -> String # showList :: [ListRootsRequest] -> ShowS #
Eq ListRootsRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: ListRootsRequest -> ListRootsRequest -> Bool # (/=) :: ListRootsRequest -> ListRootsRequest -> Bool #
type Rep ListRootsRequest Source #
Instance details Defined in MCP.Protocol type Rep ListRootsRequest = D1 ('MetaData "ListRootsRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListRootsRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ListRootsParams))))

data ListRootsParams Source #

List roots request parameters

Constructors

ListRootsParams
Fields _meta :: Maybe Metadata

Instances

Instances details

FromJSON ListRootsParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ListRootsParams # parseJSONList :: Value -> Parser [ListRootsParams] # omittedField :: Maybe ListRootsParams #
ToJSON ListRootsParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ListRootsParams -> Value # toEncoding :: ListRootsParams -> Encoding # toJSONList :: [ListRootsParams] -> Value # toEncodingList :: [ListRootsParams] -> Encoding # omitField :: ListRootsParams -> Bool #
Generic ListRootsParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ListRootsParams :: Type -> Type # Methods from :: ListRootsParams -> Rep ListRootsParams x # to :: Rep ListRootsParams x -> ListRootsParams #
Show ListRootsParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ListRootsParams -> ShowS # show :: ListRootsParams -> String # showList :: [ListRootsParams] -> ShowS #
Eq ListRootsParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: ListRootsParams -> ListRootsParams -> Bool # (/=) :: ListRootsParams -> ListRootsParams -> Bool #
type Rep ListRootsParams Source #
Instance details Defined in MCP.Protocol type Rep ListRootsParams = D1 ('MetaData "ListRootsParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListRootsParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata))))

Response Types

data InitializeResult Source #

Initialize result

Constructors

InitializeResult
Fields protocolVersion :: Text capabilities :: ServerCapabilities serverInfo :: Implementation instructions :: Maybe Text _meta :: Maybe Metadata

Instances

Instances details

FromJSON InitializeResult Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser InitializeResult # parseJSONList :: Value -> Parser [InitializeResult] # omittedField :: Maybe InitializeResult #
ToJSON InitializeResult Source #
Instance details Defined in MCP.Protocol Methods toJSON :: InitializeResult -> Value # toEncoding :: InitializeResult -> Encoding # toJSONList :: [InitializeResult] -> Value # toEncodingList :: [InitializeResult] -> Encoding # omitField :: InitializeResult -> Bool #
Generic InitializeResult Source #
Instance details Defined in MCP.Protocol Associated Types type Rep InitializeResult :: Type -> Type # Methods from :: InitializeResult -> Rep InitializeResult x # to :: Rep InitializeResult x -> InitializeResult #
Show InitializeResult Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> InitializeResult -> ShowS # show :: InitializeResult -> String # showList :: [InitializeResult] -> ShowS #
Eq InitializeResult Source #
Instance details Defined in MCP.Protocol Methods (==) :: InitializeResult -> InitializeResult -> Bool # (/=) :: InitializeResult -> InitializeResult -> Bool #
type Rep InitializeResult Source #
Instance details Defined in MCP.Protocol type Rep InitializeResult = D1 ('MetaData "InitializeResult" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "InitializeResult" 'PrefixI 'True) ((S1 ('MetaSel ('Just "protocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "capabilities") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ServerCapabilities)) :: (S1 ('MetaSel ('Just "serverInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Implementation) :: (S1 ('MetaSel ('Just "instructions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata))))))

data ListResourcesResult Source #

List resources result

Constructors

ListResourcesResult
Fields resources :: [Resource] nextCursor :: Maybe Cursor _meta :: Maybe Metadata

Instances

Instances details

FromJSON ListResourcesResult Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ListResourcesResult # parseJSONList :: Value -> Parser [ListResourcesResult] # omittedField :: Maybe ListResourcesResult #
ToJSON ListResourcesResult Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ListResourcesResult -> Value # toEncoding :: ListResourcesResult -> Encoding # toJSONList :: [ListResourcesResult] -> Value # toEncodingList :: [ListResourcesResult] -> Encoding # omitField :: ListResourcesResult -> Bool #
Generic ListResourcesResult Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ListResourcesResult :: Type -> Type # Methods from :: ListResourcesResult -> Rep ListResourcesResult x # to :: Rep ListResourcesResult x -> ListResourcesResult #
Show ListResourcesResult Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ListResourcesResult -> ShowS # show :: ListResourcesResult -> String # showList :: [ListResourcesResult] -> ShowS #
Eq ListResourcesResult Source #
Instance details Defined in MCP.Protocol Methods (==) :: ListResourcesResult -> ListResourcesResult -> Bool # (/=) :: ListResourcesResult -> ListResourcesResult -> Bool #
type Rep ListResourcesResult Source #
Instance details Defined in MCP.Protocol type Rep ListResourcesResult = D1 ('MetaData "ListResourcesResult" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListResourcesResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "resources") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Resource]) :: (S1 ('MetaSel ('Just "nextCursor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Cursor)) :: S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata)))))

data ListResourceTemplatesResult Source #

List resource templates result

Constructors

ListResourceTemplatesResult
Fields resourceTemplates :: [ResourceTemplate] nextCursor :: Maybe Cursor _meta :: Maybe Metadata

Instances

Instances details

FromJSON ListResourceTemplatesResult Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ListResourceTemplatesResult # parseJSONList :: Value -> Parser [ListResourceTemplatesResult] # omittedField :: Maybe ListResourceTemplatesResult #
ToJSON ListResourceTemplatesResult Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ListResourceTemplatesResult -> Value # toEncoding :: ListResourceTemplatesResult -> Encoding # toJSONList :: [ListResourceTemplatesResult] -> Value # toEncodingList :: [ListResourceTemplatesResult] -> Encoding # omitField :: ListResourceTemplatesResult -> Bool #
Generic ListResourceTemplatesResult Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ListResourceTemplatesResult :: Type -> Type # Methods from :: ListResourceTemplatesResult -> Rep ListResourceTemplatesResult x # to :: Rep ListResourceTemplatesResult x -> ListResourceTemplatesResult #
Show ListResourceTemplatesResult Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ListResourceTemplatesResult -> ShowS # show :: ListResourceTemplatesResult -> String # showList :: [ListResourceTemplatesResult] -> ShowS #
Eq ListResourceTemplatesResult Source #
Instance details Defined in MCP.Protocol Methods (==) :: ListResourceTemplatesResult -> ListResourceTemplatesResult -> Bool # (/=) :: ListResourceTemplatesResult -> ListResourceTemplatesResult -> Bool #
type Rep ListResourceTemplatesResult Source #
Instance details Defined in MCP.Protocol type Rep ListResourceTemplatesResult = D1 ('MetaData "ListResourceTemplatesResult" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListResourceTemplatesResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourceTemplates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ResourceTemplate]) :: (S1 ('MetaSel ('Just "nextCursor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Cursor)) :: S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata)))))

data ReadResourceResult Source #

Read resource result

Constructors

ReadResourceResult
Fields contents :: [ResourceContents] _meta :: Maybe Metadata

Instances

Instances details

FromJSON ReadResourceResult Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ReadResourceResult # parseJSONList :: Value -> Parser [ReadResourceResult] # omittedField :: Maybe ReadResourceResult #
ToJSON ReadResourceResult Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ReadResourceResult -> Value # toEncoding :: ReadResourceResult -> Encoding # toJSONList :: [ReadResourceResult] -> Value # toEncodingList :: [ReadResourceResult] -> Encoding # omitField :: ReadResourceResult -> Bool #
Generic ReadResourceResult Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ReadResourceResult :: Type -> Type # Methods from :: ReadResourceResult -> Rep ReadResourceResult x # to :: Rep ReadResourceResult x -> ReadResourceResult #
Show ReadResourceResult Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ReadResourceResult -> ShowS # show :: ReadResourceResult -> String # showList :: [ReadResourceResult] -> ShowS #
Eq ReadResourceResult Source #
Instance details Defined in MCP.Protocol Methods (==) :: ReadResourceResult -> ReadResourceResult -> Bool # (/=) :: ReadResourceResult -> ReadResourceResult -> Bool #
type Rep ReadResourceResult Source #
Instance details Defined in MCP.Protocol type Rep ReadResourceResult = D1 ('MetaData "ReadResourceResult" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ReadResourceResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "contents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ResourceContents]) :*: S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata))))

data ListPromptsResult Source #

List prompts result

Constructors

ListPromptsResult
Fields prompts :: [Prompt] nextCursor :: Maybe Cursor _meta :: Maybe Metadata

Instances

Instances details

FromJSON ListPromptsResult Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ListPromptsResult # parseJSONList :: Value -> Parser [ListPromptsResult] # omittedField :: Maybe ListPromptsResult #
ToJSON ListPromptsResult Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ListPromptsResult -> Value # toEncoding :: ListPromptsResult -> Encoding # toJSONList :: [ListPromptsResult] -> Value # toEncodingList :: [ListPromptsResult] -> Encoding # omitField :: ListPromptsResult -> Bool #
Generic ListPromptsResult Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ListPromptsResult :: Type -> Type # Methods from :: ListPromptsResult -> Rep ListPromptsResult x # to :: Rep ListPromptsResult x -> ListPromptsResult #
Show ListPromptsResult Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ListPromptsResult -> ShowS # show :: ListPromptsResult -> String # showList :: [ListPromptsResult] -> ShowS #
Eq ListPromptsResult Source #
Instance details Defined in MCP.Protocol Methods (==) :: ListPromptsResult -> ListPromptsResult -> Bool # (/=) :: ListPromptsResult -> ListPromptsResult -> Bool #
type Rep ListPromptsResult Source #
Instance details Defined in MCP.Protocol type Rep ListPromptsResult = D1 ('MetaData "ListPromptsResult" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListPromptsResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "prompts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Prompt]) :: (S1 ('MetaSel ('Just "nextCursor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Cursor)) :: S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata)))))

data GetPromptResult Source #

Get prompt result

Constructors

GetPromptResult
Fields description :: Maybe Text messages :: [PromptMessage] _meta :: Maybe Metadata

Instances

Instances details

FromJSON GetPromptResult Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser GetPromptResult # parseJSONList :: Value -> Parser [GetPromptResult] # omittedField :: Maybe GetPromptResult #
ToJSON GetPromptResult Source #
Instance details Defined in MCP.Protocol Methods toJSON :: GetPromptResult -> Value # toEncoding :: GetPromptResult -> Encoding # toJSONList :: [GetPromptResult] -> Value # toEncodingList :: [GetPromptResult] -> Encoding # omitField :: GetPromptResult -> Bool #
Generic GetPromptResult Source #
Instance details Defined in MCP.Protocol Associated Types type Rep GetPromptResult :: Type -> Type # Methods from :: GetPromptResult -> Rep GetPromptResult x # to :: Rep GetPromptResult x -> GetPromptResult #
Show GetPromptResult Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> GetPromptResult -> ShowS # show :: GetPromptResult -> String # showList :: [GetPromptResult] -> ShowS #
Eq GetPromptResult Source #
Instance details Defined in MCP.Protocol Methods (==) :: GetPromptResult -> GetPromptResult -> Bool # (/=) :: GetPromptResult -> GetPromptResult -> Bool #
type Rep GetPromptResult Source #
Instance details Defined in MCP.Protocol type Rep GetPromptResult = D1 ('MetaData "GetPromptResult" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "GetPromptResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: (S1 ('MetaSel ('Just "messages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PromptMessage]) :: S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata)))))

data ListToolsResult Source #

List tools result

Constructors

ListToolsResult
Fields tools :: [Tool] nextCursor :: Maybe Cursor _meta :: Maybe Metadata

Instances

Instances details

FromJSON ListToolsResult Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ListToolsResult # parseJSONList :: Value -> Parser [ListToolsResult] # omittedField :: Maybe ListToolsResult #
ToJSON ListToolsResult Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ListToolsResult -> Value # toEncoding :: ListToolsResult -> Encoding # toJSONList :: [ListToolsResult] -> Value # toEncodingList :: [ListToolsResult] -> Encoding # omitField :: ListToolsResult -> Bool #
Generic ListToolsResult Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ListToolsResult :: Type -> Type # Methods from :: ListToolsResult -> Rep ListToolsResult x # to :: Rep ListToolsResult x -> ListToolsResult #
Show ListToolsResult Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ListToolsResult -> ShowS # show :: ListToolsResult -> String # showList :: [ListToolsResult] -> ShowS #
Eq ListToolsResult Source #
Instance details Defined in MCP.Protocol Methods (==) :: ListToolsResult -> ListToolsResult -> Bool # (/=) :: ListToolsResult -> ListToolsResult -> Bool #
type Rep ListToolsResult Source #
Instance details Defined in MCP.Protocol type Rep ListToolsResult = D1 ('MetaData "ListToolsResult" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListToolsResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "tools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Tool]) :: (S1 ('MetaSel ('Just "nextCursor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Cursor)) :: S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata)))))

data CallToolResult Source #

Call tool result

Constructors

CallToolResult
Fields content :: [Content] isError :: Maybe Bool _meta :: Maybe Metadata

Instances

Instances details

FromJSON CallToolResult Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser CallToolResult # parseJSONList :: Value -> Parser [CallToolResult] # omittedField :: Maybe CallToolResult #
ToJSON CallToolResult Source #
Instance details Defined in MCP.Protocol Methods toJSON :: CallToolResult -> Value # toEncoding :: CallToolResult -> Encoding # toJSONList :: [CallToolResult] -> Value # toEncodingList :: [CallToolResult] -> Encoding # omitField :: CallToolResult -> Bool #
Generic CallToolResult Source #
Instance details Defined in MCP.Protocol Associated Types type Rep CallToolResult :: Type -> Type # Methods from :: CallToolResult -> Rep CallToolResult x # to :: Rep CallToolResult x -> CallToolResult #
Show CallToolResult Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> CallToolResult -> ShowS # show :: CallToolResult -> String # showList :: [CallToolResult] -> ShowS #
Eq CallToolResult Source #
Instance details Defined in MCP.Protocol Methods (==) :: CallToolResult -> CallToolResult -> Bool # (/=) :: CallToolResult -> CallToolResult -> Bool #
type Rep CallToolResult Source #
Instance details Defined in MCP.Protocol type Rep CallToolResult = D1 ('MetaData "CallToolResult" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CallToolResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "content") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Content]) :: (S1 ('MetaSel ('Just "isError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :: S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata)))))

data CompleteResult Source #

Complete result

Constructors

CompleteResult
Fields completion :: CompletionResult _meta :: Maybe Metadata

Instances

Instances details

FromJSON CompleteResult Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser CompleteResult # parseJSONList :: Value -> Parser [CompleteResult] # omittedField :: Maybe CompleteResult #
ToJSON CompleteResult Source #
Instance details Defined in MCP.Protocol Methods toJSON :: CompleteResult -> Value # toEncoding :: CompleteResult -> Encoding # toJSONList :: [CompleteResult] -> Value # toEncodingList :: [CompleteResult] -> Encoding # omitField :: CompleteResult -> Bool #
Generic CompleteResult Source #
Instance details Defined in MCP.Protocol Associated Types type Rep CompleteResult :: Type -> Type # Methods from :: CompleteResult -> Rep CompleteResult x # to :: Rep CompleteResult x -> CompleteResult #
Show CompleteResult Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> CompleteResult -> ShowS # show :: CompleteResult -> String # showList :: [CompleteResult] -> ShowS #
Eq CompleteResult Source #
Instance details Defined in MCP.Protocol Methods (==) :: CompleteResult -> CompleteResult -> Bool # (/=) :: CompleteResult -> CompleteResult -> Bool #
type Rep CompleteResult Source #
Instance details Defined in MCP.Protocol type Rep CompleteResult = D1 ('MetaData "CompleteResult" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CompleteResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "completion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CompletionResult) :*: S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata))))

data CompletionResult Source #

Completion result inner type

Constructors

CompletionResult
Fields values :: [Text] total :: Maybe Int hasMore :: Maybe Bool

Instances

Instances details

FromJSON CompletionResult Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser CompletionResult # parseJSONList :: Value -> Parser [CompletionResult] # omittedField :: Maybe CompletionResult #
ToJSON CompletionResult Source #
Instance details Defined in MCP.Protocol Methods toJSON :: CompletionResult -> Value # toEncoding :: CompletionResult -> Encoding # toJSONList :: [CompletionResult] -> Value # toEncodingList :: [CompletionResult] -> Encoding # omitField :: CompletionResult -> Bool #
Generic CompletionResult Source #
Instance details Defined in MCP.Protocol Associated Types type Rep CompletionResult :: Type -> Type # Methods from :: CompletionResult -> Rep CompletionResult x # to :: Rep CompletionResult x -> CompletionResult #
Show CompletionResult Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> CompletionResult -> ShowS # show :: CompletionResult -> String # showList :: [CompletionResult] -> ShowS #
Eq CompletionResult Source #
Instance details Defined in MCP.Protocol Methods (==) :: CompletionResult -> CompletionResult -> Bool # (/=) :: CompletionResult -> CompletionResult -> Bool #
type Rep CompletionResult Source #
Instance details Defined in MCP.Protocol type Rep CompletionResult = D1 ('MetaData "CompletionResult" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CompletionResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "values") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text]) :: (S1 ('MetaSel ('Just "total") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :: S1 ('MetaSel ('Just "hasMore") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)))))

data CreateMessageResult Source #

Create message result

Constructors

CreateMessageResult
Fields role :: Role content :: Content model :: Text stopReason :: Maybe Text _meta :: Maybe Metadata

Instances

Instances details

FromJSON CreateMessageResult Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser CreateMessageResult # parseJSONList :: Value -> Parser [CreateMessageResult] # omittedField :: Maybe CreateMessageResult #
ToJSON CreateMessageResult Source #
Instance details Defined in MCP.Protocol Methods toJSON :: CreateMessageResult -> Value # toEncoding :: CreateMessageResult -> Encoding # toJSONList :: [CreateMessageResult] -> Value # toEncodingList :: [CreateMessageResult] -> Encoding # omitField :: CreateMessageResult -> Bool #
Generic CreateMessageResult Source #
Instance details Defined in MCP.Protocol Associated Types type Rep CreateMessageResult :: Type -> Type # Methods from :: CreateMessageResult -> Rep CreateMessageResult x # to :: Rep CreateMessageResult x -> CreateMessageResult #
Show CreateMessageResult Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> CreateMessageResult -> ShowS # show :: CreateMessageResult -> String # showList :: [CreateMessageResult] -> ShowS #
Eq CreateMessageResult Source #
Instance details Defined in MCP.Protocol Methods (==) :: CreateMessageResult -> CreateMessageResult -> Bool # (/=) :: CreateMessageResult -> CreateMessageResult -> Bool #
type Rep CreateMessageResult Source #
Instance details Defined in MCP.Protocol type Rep CreateMessageResult = D1 ('MetaData "CreateMessageResult" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CreateMessageResult" 'PrefixI 'True) ((S1 ('MetaSel ('Just "role") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Role) :: S1 ('MetaSel ('Just "content") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Content)) :: (S1 ('MetaSel ('Just "model") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "stopReason") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata))))))

data ListRootsResult Source #

List roots result

Constructors

ListRootsResult
Fields roots :: [Root] _meta :: Maybe Metadata

Instances

Instances details

FromJSON ListRootsResult Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ListRootsResult # parseJSONList :: Value -> Parser [ListRootsResult] # omittedField :: Maybe ListRootsResult #
ToJSON ListRootsResult Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ListRootsResult -> Value # toEncoding :: ListRootsResult -> Encoding # toJSONList :: [ListRootsResult] -> Value # toEncodingList :: [ListRootsResult] -> Encoding # omitField :: ListRootsResult -> Bool #
Generic ListRootsResult Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ListRootsResult :: Type -> Type # Methods from :: ListRootsResult -> Rep ListRootsResult x # to :: Rep ListRootsResult x -> ListRootsResult #
Show ListRootsResult Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ListRootsResult -> ShowS # show :: ListRootsResult -> String # showList :: [ListRootsResult] -> ShowS #
Eq ListRootsResult Source #
Instance details Defined in MCP.Protocol Methods (==) :: ListRootsResult -> ListRootsResult -> Bool # (/=) :: ListRootsResult -> ListRootsResult -> Bool #
type Rep ListRootsResult Source #
Instance details Defined in MCP.Protocol type Rep ListRootsResult = D1 ('MetaData "ListRootsResult" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ListRootsResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "roots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Root]) :*: S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata))))

Notification Types

data CancelledNotification Source #

Cancelled notification

Constructors

CancelledNotification
Fields method :: Text params :: CancelledParams

Instances

Instances details

FromJSON CancelledNotification Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser CancelledNotification # parseJSONList :: Value -> Parser [CancelledNotification] # omittedField :: Maybe CancelledNotification #
ToJSON CancelledNotification Source #
Instance details Defined in MCP.Protocol Methods toJSON :: CancelledNotification -> Value # toEncoding :: CancelledNotification -> Encoding # toJSONList :: [CancelledNotification] -> Value # toEncodingList :: [CancelledNotification] -> Encoding # omitField :: CancelledNotification -> Bool #
Generic CancelledNotification Source #
Instance details Defined in MCP.Protocol Associated Types type Rep CancelledNotification :: Type -> Type # Methods from :: CancelledNotification -> Rep CancelledNotification x # to :: Rep CancelledNotification x -> CancelledNotification #
Show CancelledNotification Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> CancelledNotification -> ShowS # show :: CancelledNotification -> String # showList :: [CancelledNotification] -> ShowS #
Eq CancelledNotification Source #
Instance details Defined in MCP.Protocol Methods (==) :: CancelledNotification -> CancelledNotification -> Bool # (/=) :: CancelledNotification -> CancelledNotification -> Bool #
type Rep CancelledNotification Source #
Instance details Defined in MCP.Protocol type Rep CancelledNotification = D1 ('MetaData "CancelledNotification" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CancelledNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CancelledParams)))

data CancelledParams Source #

Cancelled notification parameters

Constructors

CancelledParams
Fields requestId :: RequestId reason :: Maybe Text

Instances

Instances details

FromJSON CancelledParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser CancelledParams # parseJSONList :: Value -> Parser [CancelledParams] # omittedField :: Maybe CancelledParams #
ToJSON CancelledParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: CancelledParams -> Value # toEncoding :: CancelledParams -> Encoding # toJSONList :: [CancelledParams] -> Value # toEncodingList :: [CancelledParams] -> Encoding # omitField :: CancelledParams -> Bool #
Generic CancelledParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep CancelledParams :: Type -> Type # Methods from :: CancelledParams -> Rep CancelledParams x # to :: Rep CancelledParams x -> CancelledParams #
Show CancelledParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> CancelledParams -> ShowS # show :: CancelledParams -> String # showList :: [CancelledParams] -> ShowS #
Eq CancelledParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: CancelledParams -> CancelledParams -> Bool # (/=) :: CancelledParams -> CancelledParams -> Bool #
type Rep CancelledParams Source #
Instance details Defined in MCP.Protocol type Rep CancelledParams = D1 ('MetaData "CancelledParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "CancelledParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RequestId) :*: S1 ('MetaSel ('Just "reason") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))

data InitializedNotification Source #

Initialized notification

Constructors

InitializedNotification
Fields method :: Text params :: Maybe InitializedParams

Instances

Instances details

FromJSON InitializedNotification Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser InitializedNotification # parseJSONList :: Value -> Parser [InitializedNotification] # omittedField :: Maybe InitializedNotification #
ToJSON InitializedNotification Source #
Instance details Defined in MCP.Protocol Methods toJSON :: InitializedNotification -> Value # toEncoding :: InitializedNotification -> Encoding # toJSONList :: [InitializedNotification] -> Value # toEncodingList :: [InitializedNotification] -> Encoding # omitField :: InitializedNotification -> Bool #
Generic InitializedNotification Source #
Instance details Defined in MCP.Protocol Associated Types type Rep InitializedNotification :: Type -> Type # Methods from :: InitializedNotification -> Rep InitializedNotification x # to :: Rep InitializedNotification x -> InitializedNotification #
Show InitializedNotification Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> InitializedNotification -> ShowS # show :: InitializedNotification -> String # showList :: [InitializedNotification] -> ShowS #
Eq InitializedNotification Source #
Instance details Defined in MCP.Protocol Methods (==) :: InitializedNotification -> InitializedNotification -> Bool # (/=) :: InitializedNotification -> InitializedNotification -> Bool #
type Rep InitializedNotification Source #
Instance details Defined in MCP.Protocol type Rep InitializedNotification = D1 ('MetaData "InitializedNotification" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "InitializedNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe InitializedParams))))

data InitializedParams Source #

Initialized notification parameters

Constructors

InitializedParams
Fields _meta :: Maybe Metadata

Instances

Instances details

FromJSON InitializedParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser InitializedParams # parseJSONList :: Value -> Parser [InitializedParams] # omittedField :: Maybe InitializedParams #
ToJSON InitializedParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: InitializedParams -> Value # toEncoding :: InitializedParams -> Encoding # toJSONList :: [InitializedParams] -> Value # toEncodingList :: [InitializedParams] -> Encoding # omitField :: InitializedParams -> Bool #
Generic InitializedParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep InitializedParams :: Type -> Type # Methods from :: InitializedParams -> Rep InitializedParams x # to :: Rep InitializedParams x -> InitializedParams #
Show InitializedParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> InitializedParams -> ShowS # show :: InitializedParams -> String # showList :: [InitializedParams] -> ShowS #
Eq InitializedParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: InitializedParams -> InitializedParams -> Bool # (/=) :: InitializedParams -> InitializedParams -> Bool #
type Rep InitializedParams Source #
Instance details Defined in MCP.Protocol type Rep InitializedParams = D1 ('MetaData "InitializedParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "InitializedParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata))))

data ProgressNotification Source #

Progress notification

Constructors

ProgressNotification
Fields method :: Text params :: ProgressParams

Instances

Instances details

FromJSON ProgressNotification Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ProgressNotification # parseJSONList :: Value -> Parser [ProgressNotification] # omittedField :: Maybe ProgressNotification #
ToJSON ProgressNotification Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ProgressNotification -> Value # toEncoding :: ProgressNotification -> Encoding # toJSONList :: [ProgressNotification] -> Value # toEncodingList :: [ProgressNotification] -> Encoding # omitField :: ProgressNotification -> Bool #
Generic ProgressNotification Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ProgressNotification :: Type -> Type # Methods from :: ProgressNotification -> Rep ProgressNotification x # to :: Rep ProgressNotification x -> ProgressNotification #
Show ProgressNotification Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ProgressNotification -> ShowS # show :: ProgressNotification -> String # showList :: [ProgressNotification] -> ShowS #
Eq ProgressNotification Source #
Instance details Defined in MCP.Protocol Methods (==) :: ProgressNotification -> ProgressNotification -> Bool # (/=) :: ProgressNotification -> ProgressNotification -> Bool #
type Rep ProgressNotification Source #
Instance details Defined in MCP.Protocol type Rep ProgressNotification = D1 ('MetaData "ProgressNotification" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ProgressNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProgressParams)))

data ProgressParams Source #

Progress notification parameters

Constructors

ProgressParams
Fields progressToken :: ProgressToken progress :: Double total :: Maybe Double message :: Maybe Text

Instances

Instances details

FromJSON ProgressParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ProgressParams # parseJSONList :: Value -> Parser [ProgressParams] # omittedField :: Maybe ProgressParams #
ToJSON ProgressParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ProgressParams -> Value # toEncoding :: ProgressParams -> Encoding # toJSONList :: [ProgressParams] -> Value # toEncodingList :: [ProgressParams] -> Encoding # omitField :: ProgressParams -> Bool #
Generic ProgressParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ProgressParams :: Type -> Type # Methods from :: ProgressParams -> Rep ProgressParams x # to :: Rep ProgressParams x -> ProgressParams #
Show ProgressParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ProgressParams -> ShowS # show :: ProgressParams -> String # showList :: [ProgressParams] -> ShowS #
Eq ProgressParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: ProgressParams -> ProgressParams -> Bool # (/=) :: ProgressParams -> ProgressParams -> Bool #
type Rep ProgressParams Source #
Instance details Defined in MCP.Protocol type Rep ProgressParams = D1 ('MetaData "ProgressParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ProgressParams" 'PrefixI 'True) ((S1 ('MetaSel ('Just "progressToken") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProgressToken) :: S1 ('MetaSel ('Just "progress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :: (S1 ('MetaSel ('Just "total") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Double)) :*: S1 ('MetaSel ('Just "message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

data ResourceListChangedNotification Source #

Resource list changed notification

Constructors

ResourceListChangedNotification
Fields method :: Text params :: Maybe InitializedParams

Instances

Instances details

FromJSON ResourceListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ResourceListChangedNotification # parseJSONList :: Value -> Parser [ResourceListChangedNotification] # omittedField :: Maybe ResourceListChangedNotification #
ToJSON ResourceListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ResourceListChangedNotification -> Value # toEncoding :: ResourceListChangedNotification -> Encoding # toJSONList :: [ResourceListChangedNotification] -> Value # toEncodingList :: [ResourceListChangedNotification] -> Encoding # omitField :: ResourceListChangedNotification -> Bool #
Generic ResourceListChangedNotification Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ResourceListChangedNotification :: Type -> Type # Methods from :: ResourceListChangedNotification -> Rep ResourceListChangedNotification x # to :: Rep ResourceListChangedNotification x -> ResourceListChangedNotification #
Show ResourceListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ResourceListChangedNotification -> ShowS # show :: ResourceListChangedNotification -> String # showList :: [ResourceListChangedNotification] -> ShowS #
Eq ResourceListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods (==) :: ResourceListChangedNotification -> ResourceListChangedNotification -> Bool # (/=) :: ResourceListChangedNotification -> ResourceListChangedNotification -> Bool #
type Rep ResourceListChangedNotification Source #
Instance details Defined in MCP.Protocol type Rep ResourceListChangedNotification = D1 ('MetaData "ResourceListChangedNotification" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ResourceListChangedNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe InitializedParams))))

data ResourceUpdatedNotification Source #

Resource updated notification

Constructors

ResourceUpdatedNotification
Fields method :: Text params :: ResourceUpdatedParams

Instances

Instances details

FromJSON ResourceUpdatedNotification Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ResourceUpdatedNotification # parseJSONList :: Value -> Parser [ResourceUpdatedNotification] # omittedField :: Maybe ResourceUpdatedNotification #
ToJSON ResourceUpdatedNotification Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ResourceUpdatedNotification -> Value # toEncoding :: ResourceUpdatedNotification -> Encoding # toJSONList :: [ResourceUpdatedNotification] -> Value # toEncodingList :: [ResourceUpdatedNotification] -> Encoding # omitField :: ResourceUpdatedNotification -> Bool #
Generic ResourceUpdatedNotification Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ResourceUpdatedNotification :: Type -> Type # Methods from :: ResourceUpdatedNotification -> Rep ResourceUpdatedNotification x # to :: Rep ResourceUpdatedNotification x -> ResourceUpdatedNotification #
Show ResourceUpdatedNotification Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ResourceUpdatedNotification -> ShowS # show :: ResourceUpdatedNotification -> String # showList :: [ResourceUpdatedNotification] -> ShowS #
Eq ResourceUpdatedNotification Source #
Instance details Defined in MCP.Protocol Methods (==) :: ResourceUpdatedNotification -> ResourceUpdatedNotification -> Bool # (/=) :: ResourceUpdatedNotification -> ResourceUpdatedNotification -> Bool #
type Rep ResourceUpdatedNotification Source #
Instance details Defined in MCP.Protocol type Rep ResourceUpdatedNotification = D1 ('MetaData "ResourceUpdatedNotification" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ResourceUpdatedNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ResourceUpdatedParams)))

data ResourceUpdatedParams Source #

Resource updated notification parameters

Constructors

ResourceUpdatedParams
Fields uri :: Text

Instances

Instances details

FromJSON ResourceUpdatedParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ResourceUpdatedParams # parseJSONList :: Value -> Parser [ResourceUpdatedParams] # omittedField :: Maybe ResourceUpdatedParams #
ToJSON ResourceUpdatedParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ResourceUpdatedParams -> Value # toEncoding :: ResourceUpdatedParams -> Encoding # toJSONList :: [ResourceUpdatedParams] -> Value # toEncodingList :: [ResourceUpdatedParams] -> Encoding # omitField :: ResourceUpdatedParams -> Bool #
Generic ResourceUpdatedParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ResourceUpdatedParams :: Type -> Type # Methods from :: ResourceUpdatedParams -> Rep ResourceUpdatedParams x # to :: Rep ResourceUpdatedParams x -> ResourceUpdatedParams #
Show ResourceUpdatedParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ResourceUpdatedParams -> ShowS # show :: ResourceUpdatedParams -> String # showList :: [ResourceUpdatedParams] -> ShowS #
Eq ResourceUpdatedParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: ResourceUpdatedParams -> ResourceUpdatedParams -> Bool # (/=) :: ResourceUpdatedParams -> ResourceUpdatedParams -> Bool #
type Rep ResourceUpdatedParams Source #
Instance details Defined in MCP.Protocol type Rep ResourceUpdatedParams = D1 ('MetaData "ResourceUpdatedParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ResourceUpdatedParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "uri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data PromptListChangedNotification Source #

Prompt list changed notification

Constructors

PromptListChangedNotification
Fields method :: Text params :: Maybe InitializedParams

Instances

Instances details

FromJSON PromptListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser PromptListChangedNotification # parseJSONList :: Value -> Parser [PromptListChangedNotification] # omittedField :: Maybe PromptListChangedNotification #
ToJSON PromptListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods toJSON :: PromptListChangedNotification -> Value # toEncoding :: PromptListChangedNotification -> Encoding # toJSONList :: [PromptListChangedNotification] -> Value # toEncodingList :: [PromptListChangedNotification] -> Encoding # omitField :: PromptListChangedNotification -> Bool #
Generic PromptListChangedNotification Source #
Instance details Defined in MCP.Protocol Associated Types type Rep PromptListChangedNotification :: Type -> Type # Methods from :: PromptListChangedNotification -> Rep PromptListChangedNotification x # to :: Rep PromptListChangedNotification x -> PromptListChangedNotification #
Show PromptListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> PromptListChangedNotification -> ShowS # show :: PromptListChangedNotification -> String # showList :: [PromptListChangedNotification] -> ShowS #
Eq PromptListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods (==) :: PromptListChangedNotification -> PromptListChangedNotification -> Bool # (/=) :: PromptListChangedNotification -> PromptListChangedNotification -> Bool #
type Rep PromptListChangedNotification Source #
Instance details Defined in MCP.Protocol type Rep PromptListChangedNotification = D1 ('MetaData "PromptListChangedNotification" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PromptListChangedNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe InitializedParams))))

data ToolListChangedNotification Source #

Tool list changed notification

Constructors

ToolListChangedNotification
Fields method :: Text params :: Maybe InitializedParams

Instances

Instances details

FromJSON ToolListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ToolListChangedNotification # parseJSONList :: Value -> Parser [ToolListChangedNotification] # omittedField :: Maybe ToolListChangedNotification #
ToJSON ToolListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ToolListChangedNotification -> Value # toEncoding :: ToolListChangedNotification -> Encoding # toJSONList :: [ToolListChangedNotification] -> Value # toEncodingList :: [ToolListChangedNotification] -> Encoding # omitField :: ToolListChangedNotification -> Bool #
Generic ToolListChangedNotification Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ToolListChangedNotification :: Type -> Type # Methods from :: ToolListChangedNotification -> Rep ToolListChangedNotification x # to :: Rep ToolListChangedNotification x -> ToolListChangedNotification #
Show ToolListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ToolListChangedNotification -> ShowS # show :: ToolListChangedNotification -> String # showList :: [ToolListChangedNotification] -> ShowS #
Eq ToolListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods (==) :: ToolListChangedNotification -> ToolListChangedNotification -> Bool # (/=) :: ToolListChangedNotification -> ToolListChangedNotification -> Bool #
type Rep ToolListChangedNotification Source #
Instance details Defined in MCP.Protocol type Rep ToolListChangedNotification = D1 ('MetaData "ToolListChangedNotification" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ToolListChangedNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe InitializedParams))))

data LoggingMessageNotification Source #

Logging message notification

Constructors

LoggingMessageNotification
Fields method :: Text params :: LoggingMessageParams

Instances

Instances details

FromJSON LoggingMessageNotification Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser LoggingMessageNotification # parseJSONList :: Value -> Parser [LoggingMessageNotification] # omittedField :: Maybe LoggingMessageNotification #
ToJSON LoggingMessageNotification Source #
Instance details Defined in MCP.Protocol Methods toJSON :: LoggingMessageNotification -> Value # toEncoding :: LoggingMessageNotification -> Encoding # toJSONList :: [LoggingMessageNotification] -> Value # toEncodingList :: [LoggingMessageNotification] -> Encoding # omitField :: LoggingMessageNotification -> Bool #
Generic LoggingMessageNotification Source #
Instance details Defined in MCP.Protocol Associated Types type Rep LoggingMessageNotification :: Type -> Type # Methods from :: LoggingMessageNotification -> Rep LoggingMessageNotification x # to :: Rep LoggingMessageNotification x -> LoggingMessageNotification #
Show LoggingMessageNotification Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> LoggingMessageNotification -> ShowS # show :: LoggingMessageNotification -> String # showList :: [LoggingMessageNotification] -> ShowS #
Eq LoggingMessageNotification Source #
Instance details Defined in MCP.Protocol Methods (==) :: LoggingMessageNotification -> LoggingMessageNotification -> Bool # (/=) :: LoggingMessageNotification -> LoggingMessageNotification -> Bool #
type Rep LoggingMessageNotification Source #
Instance details Defined in MCP.Protocol type Rep LoggingMessageNotification = D1 ('MetaData "LoggingMessageNotification" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "LoggingMessageNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LoggingMessageParams)))

data LoggingMessageParams Source #

Logging message notification parameters

Constructors

LoggingMessageParams
Fields level :: LoggingLevel data' :: Value logger :: Maybe Text

Instances

Instances details

FromJSON LoggingMessageParams Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser LoggingMessageParams # parseJSONList :: Value -> Parser [LoggingMessageParams] # omittedField :: Maybe LoggingMessageParams #
ToJSON LoggingMessageParams Source #
Instance details Defined in MCP.Protocol Methods toJSON :: LoggingMessageParams -> Value # toEncoding :: LoggingMessageParams -> Encoding # toJSONList :: [LoggingMessageParams] -> Value # toEncodingList :: [LoggingMessageParams] -> Encoding # omitField :: LoggingMessageParams -> Bool #
Generic LoggingMessageParams Source #
Instance details Defined in MCP.Protocol Associated Types type Rep LoggingMessageParams :: Type -> Type # Methods from :: LoggingMessageParams -> Rep LoggingMessageParams x # to :: Rep LoggingMessageParams x -> LoggingMessageParams #
Show LoggingMessageParams Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> LoggingMessageParams -> ShowS # show :: LoggingMessageParams -> String # showList :: [LoggingMessageParams] -> ShowS #
Eq LoggingMessageParams Source #
Instance details Defined in MCP.Protocol Methods (==) :: LoggingMessageParams -> LoggingMessageParams -> Bool # (/=) :: LoggingMessageParams -> LoggingMessageParams -> Bool #
type Rep LoggingMessageParams Source #
Instance details Defined in MCP.Protocol type Rep LoggingMessageParams = D1 ('MetaData "LoggingMessageParams" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "LoggingMessageParams" 'PrefixI 'True) (S1 ('MetaSel ('Just "level") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LoggingLevel) :: (S1 ('MetaSel ('Just "data'") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :: S1 ('MetaSel ('Just "logger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

data RootsListChangedNotification Source #

Roots list changed notification

Constructors

RootsListChangedNotification
Fields method :: Text params :: Maybe InitializedParams

Instances

Instances details

FromJSON RootsListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser RootsListChangedNotification # parseJSONList :: Value -> Parser [RootsListChangedNotification] # omittedField :: Maybe RootsListChangedNotification #
ToJSON RootsListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods toJSON :: RootsListChangedNotification -> Value # toEncoding :: RootsListChangedNotification -> Encoding # toJSONList :: [RootsListChangedNotification] -> Value # toEncodingList :: [RootsListChangedNotification] -> Encoding # omitField :: RootsListChangedNotification -> Bool #
Generic RootsListChangedNotification Source #
Instance details Defined in MCP.Protocol Associated Types type Rep RootsListChangedNotification :: Type -> Type # Methods from :: RootsListChangedNotification -> Rep RootsListChangedNotification x # to :: Rep RootsListChangedNotification x -> RootsListChangedNotification #
Show RootsListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> RootsListChangedNotification -> ShowS # show :: RootsListChangedNotification -> String # showList :: [RootsListChangedNotification] -> ShowS #
Eq RootsListChangedNotification Source #
Instance details Defined in MCP.Protocol Methods (==) :: RootsListChangedNotification -> RootsListChangedNotification -> Bool # (/=) :: RootsListChangedNotification -> RootsListChangedNotification -> Bool #
type Rep RootsListChangedNotification Source #
Instance details Defined in MCP.Protocol type Rep RootsListChangedNotification = D1 ('MetaData "RootsListChangedNotification" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "RootsListChangedNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe InitializedParams))))

Union Types

data ClientRequest Source #

Any client request

Instances

Instances details

FromJSON ClientRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ClientRequest # parseJSONList :: Value -> Parser [ClientRequest] # omittedField :: Maybe ClientRequest #
ToJSON ClientRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ClientRequest -> Value # toEncoding :: ClientRequest -> Encoding # toJSONList :: [ClientRequest] -> Value # toEncodingList :: [ClientRequest] -> Encoding # omitField :: ClientRequest -> Bool #
Generic ClientRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ClientRequest :: Type -> Type # Methods from :: ClientRequest -> Rep ClientRequest x # to :: Rep ClientRequest x -> ClientRequest #
Show ClientRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ClientRequest -> ShowS # show :: ClientRequest -> String # showList :: [ClientRequest] -> ShowS #
Eq ClientRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: ClientRequest -> ClientRequest -> Bool # (/=) :: ClientRequest -> ClientRequest -> Bool #
type Rep ClientRequest Source #
Instance details Defined in MCP.Protocol type Rep ClientRequest = D1 ('MetaData "ClientRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (((C1 ('MetaCons "InitializeReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InitializeRequest)) :+: (C1 ('MetaCons "PingReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PingRequest)) :+: C1 ('MetaCons "ListResourcesReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ListResourcesRequest)))) :+: (C1 ('MetaCons "ListResourceTemplatesReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ListResourceTemplatesRequest)) :+: (C1 ('MetaCons "ReadResourceReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ReadResourceRequest)) :+: C1 ('MetaCons "SubscribeReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SubscribeRequest))))) :+: ((C1 ('MetaCons "UnsubscribeReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnsubscribeRequest)) :+: (C1 ('MetaCons "ListPromptsReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ListPromptsRequest)) :+: C1 ('MetaCons "GetPromptReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GetPromptRequest)))) :+: ((C1 ('MetaCons "ListToolsReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ListToolsRequest)) :+: C1 ('MetaCons "CallToolReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CallToolRequest))) :+: (C1 ('MetaCons "SetLevelReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SetLevelRequest)) :+: C1 ('MetaCons "CompleteReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CompleteRequest))))))

data ServerRequest Source #

Any server request

Constructors

PingServerReq PingRequest
CreateMessageReq CreateMessageRequest
ListRootsReq ListRootsRequest

Instances

Instances details

FromJSON ServerRequest Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ServerRequest # parseJSONList :: Value -> Parser [ServerRequest] # omittedField :: Maybe ServerRequest #
ToJSON ServerRequest Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ServerRequest -> Value # toEncoding :: ServerRequest -> Encoding # toJSONList :: [ServerRequest] -> Value # toEncodingList :: [ServerRequest] -> Encoding # omitField :: ServerRequest -> Bool #
Generic ServerRequest Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ServerRequest :: Type -> Type # Methods from :: ServerRequest -> Rep ServerRequest x # to :: Rep ServerRequest x -> ServerRequest #
Show ServerRequest Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ServerRequest -> ShowS # show :: ServerRequest -> String # showList :: [ServerRequest] -> ShowS #
Eq ServerRequest Source #
Instance details Defined in MCP.Protocol Methods (==) :: ServerRequest -> ServerRequest -> Bool # (/=) :: ServerRequest -> ServerRequest -> Bool #
type Rep ServerRequest Source #
Instance details Defined in MCP.Protocol type Rep ServerRequest = D1 ('MetaData "ServerRequest" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PingServerReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PingRequest)) :+: (C1 ('MetaCons "CreateMessageReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CreateMessageRequest)) :+: C1 ('MetaCons "ListRootsReq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ListRootsRequest))))

data ClientNotification Source #

Any client notification

Constructors

CancelledNotif CancelledNotification
InitializedNotif InitializedNotification
ProgressNotif ProgressNotification
RootsListChangedNotif RootsListChangedNotification

Instances

Instances details

FromJSON ClientNotification Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ClientNotification # parseJSONList :: Value -> Parser [ClientNotification] # omittedField :: Maybe ClientNotification #
ToJSON ClientNotification Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ClientNotification -> Value # toEncoding :: ClientNotification -> Encoding # toJSONList :: [ClientNotification] -> Value # toEncodingList :: [ClientNotification] -> Encoding # omitField :: ClientNotification -> Bool #
Generic ClientNotification Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ClientNotification :: Type -> Type # Methods from :: ClientNotification -> Rep ClientNotification x # to :: Rep ClientNotification x -> ClientNotification #
Show ClientNotification Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ClientNotification -> ShowS # show :: ClientNotification -> String # showList :: [ClientNotification] -> ShowS #
Eq ClientNotification Source #
Instance details Defined in MCP.Protocol Methods (==) :: ClientNotification -> ClientNotification -> Bool # (/=) :: ClientNotification -> ClientNotification -> Bool #
type Rep ClientNotification Source #
Instance details Defined in MCP.Protocol type Rep ClientNotification = D1 ('MetaData "ClientNotification" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) ((C1 ('MetaCons "CancelledNotif" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CancelledNotification)) :+: C1 ('MetaCons "InitializedNotif" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InitializedNotification))) :+: (C1 ('MetaCons "ProgressNotif" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProgressNotification)) :+: C1 ('MetaCons "RootsListChangedNotif" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RootsListChangedNotification))))

data ServerNotification Source #

Any server notification

Constructors

CancelledServerNotif CancelledNotification
ProgressServerNotif ProgressNotification
ResourceListChangedNotif ResourceListChangedNotification
ResourceUpdatedNotif ResourceUpdatedNotification
PromptListChangedNotif PromptListChangedNotification
ToolListChangedNotif ToolListChangedNotification
LoggingMessageNotif LoggingMessageNotification

Instances

Instances details

FromJSON ServerNotification Source #
Instance details Defined in MCP.Protocol Methods parseJSON :: Value -> Parser ServerNotification # parseJSONList :: Value -> Parser [ServerNotification] # omittedField :: Maybe ServerNotification #
ToJSON ServerNotification Source #
Instance details Defined in MCP.Protocol Methods toJSON :: ServerNotification -> Value # toEncoding :: ServerNotification -> Encoding # toJSONList :: [ServerNotification] -> Value # toEncodingList :: [ServerNotification] -> Encoding # omitField :: ServerNotification -> Bool #
Generic ServerNotification Source #
Instance details Defined in MCP.Protocol Associated Types type Rep ServerNotification :: Type -> Type # Methods from :: ServerNotification -> Rep ServerNotification x # to :: Rep ServerNotification x -> ServerNotification #
Show ServerNotification Source #
Instance details Defined in MCP.Protocol Methods showsPrec :: Int -> ServerNotification -> ShowS # show :: ServerNotification -> String # showList :: [ServerNotification] -> ShowS #
Eq ServerNotification Source #
Instance details Defined in MCP.Protocol Methods (==) :: ServerNotification -> ServerNotification -> Bool # (/=) :: ServerNotification -> ServerNotification -> Bool #
type Rep ServerNotification Source #
Instance details Defined in MCP.Protocol type Rep ServerNotification = D1 ('MetaData "ServerNotification" "MCP.Protocol" "mcp-0.1.0.0-inplace" 'False) ((C1 ('MetaCons "CancelledServerNotif" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CancelledNotification)) :+: (C1 ('MetaCons "ProgressServerNotif" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProgressNotification)) :+: C1 ('MetaCons "ResourceListChangedNotif" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ResourceListChangedNotification)))) :+: ((C1 ('MetaCons "ResourceUpdatedNotif" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ResourceUpdatedNotification)) :+: C1 ('MetaCons "PromptListChangedNotif" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PromptListChangedNotification))) :+: (C1 ('MetaCons "ToolListChangedNotif" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ToolListChangedNotification)) :+: C1 ('MetaCons "LoggingMessageNotif" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LoggingMessageNotification)))))

InitializeReq InitializeRequest
PingReq PingRequest
ListResourcesReq ListResourcesRequest
ListResourceTemplatesReq ListResourceTemplatesRequest
ReadResourceReq ReadResourceRequest
SubscribeReq SubscribeRequest
UnsubscribeReq UnsubscribeRequest
ListPromptsReq ListPromptsRequest
GetPromptReq GetPromptRequest
ListToolsReq ListToolsRequest
CallToolReq CallToolRequest
SetLevelReq SetLevelRequest
CompleteReq CompleteRequest