type Rep InitializedNotification
Instance details Defined in MCP.Server.Protocol type Rep InitializedNotification = D1 ('MetaData "InitializedNotification" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "InitializedNotification" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: InitializedNotification -> Rep InitializedNotification x #

to :: Rep InitializedNotification x -> InitializedNotification #

Show InitializedNotification Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> InitializedNotification -> ShowS #

show :: InitializedNotification -> String #

showList :: [InitializedNotification] -> ShowS #

Eq InitializedNotification Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: InitializedNotification -> InitializedNotification -> Bool #

(/=) :: InitializedNotification -> InitializedNotification -> Bool #

FromJSON InitializedNotification Source #

Instance details

Defined in MCP.Server.Protocol

Methods

parseJSON :: Value -> Parser InitializedNotification #

parseJSONList :: Value -> Parser [InitializedNotification] #

omittedField :: Maybe InitializedNotification #

type Rep InitializedNotification Source #

Instance details

Defined in MCP.Server.Protocol

type Rep InitializedNotification = D1 ('MetaData "InitializedNotification" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "InitializedNotification" 'PrefixI 'False) (U1 :: Type -> Type))

data PingRequest Source #

Ping request (no parameters)

Constructors

PingRequest

Instances

Instances details

Generic PingRequest Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep PingRequest
Instance details Defined in MCP.Server.Protocol type Rep PingRequest = D1 ('MetaData "PingRequest" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PingRequest" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: PingRequest -> Rep PingRequest x #

to :: Rep PingRequest x -> PingRequest #

Show PingRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> PingRequest -> ShowS #

show :: PingRequest -> String #

showList :: [PingRequest] -> ShowS #

Eq PingRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: PingRequest -> PingRequest -> Bool #

(/=) :: PingRequest -> PingRequest -> Bool #

FromJSON PingRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

parseJSON :: Value -> Parser PingRequest #

parseJSONList :: Value -> Parser [PingRequest] #

omittedField :: Maybe PingRequest #

type Rep PingRequest Source #

Instance details

Defined in MCP.Server.Protocol

type Rep PingRequest = D1 ('MetaData "PingRequest" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PingRequest" 'PrefixI 'False) (U1 :: Type -> Type))

data PongResponse Source #

Pong response (empty object)

Constructors

PongResponse

Instances

Instances details

Generic PongResponse Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep PongResponse
Instance details Defined in MCP.Server.Protocol type Rep PongResponse = D1 ('MetaData "PongResponse" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PongResponse" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: PongResponse -> Rep PongResponse x #

to :: Rep PongResponse x -> PongResponse #

Show PongResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> PongResponse -> ShowS #

show :: PongResponse -> String #

showList :: [PongResponse] -> ShowS #

Eq PongResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: PongResponse -> PongResponse -> Bool #

(/=) :: PongResponse -> PongResponse -> Bool #

ToJSON PongResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

toJSON :: PongResponse -> Value #

toEncoding :: PongResponse -> Encoding #

toJSONList :: [PongResponse] -> Value #

toEncodingList :: [PongResponse] -> Encoding #

omitField :: PongResponse -> Bool #

type Rep PongResponse Source #

Instance details

Defined in MCP.Server.Protocol

type Rep PongResponse = D1 ('MetaData "PongResponse" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PongResponse" 'PrefixI 'False) (U1 :: Type -> Type))

Prompts Protocol

data PromptsListRequest Source #

Prompts list request

Constructors

PromptsListRequest

Instances

Instances details

Generic PromptsListRequest Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep PromptsListRequest
Instance details Defined in MCP.Server.Protocol type Rep PromptsListRequest = D1 ('MetaData "PromptsListRequest" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PromptsListRequest" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: PromptsListRequest -> Rep PromptsListRequest x #

to :: Rep PromptsListRequest x -> PromptsListRequest #

Show PromptsListRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> PromptsListRequest -> ShowS #

show :: PromptsListRequest -> String #

showList :: [PromptsListRequest] -> ShowS #

Eq PromptsListRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: PromptsListRequest -> PromptsListRequest -> Bool #

(/=) :: PromptsListRequest -> PromptsListRequest -> Bool #

FromJSON PromptsListRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

parseJSON :: Value -> Parser PromptsListRequest #

parseJSONList :: Value -> Parser [PromptsListRequest] #

omittedField :: Maybe PromptsListRequest #

type Rep PromptsListRequest Source #

Instance details

Defined in MCP.Server.Protocol

type Rep PromptsListRequest = D1 ('MetaData "PromptsListRequest" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PromptsListRequest" 'PrefixI 'False) (U1 :: Type -> Type))

data PromptsListResponse Source #

Prompts list response

Constructors

PromptsListResponse
Fields promptsListPrompts :: [PromptDefinition]

Instances

Instances details

Generic PromptsListResponse Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep PromptsListResponse
Instance details Defined in MCP.Server.Protocol type Rep PromptsListResponse = D1 ('MetaData "PromptsListResponse" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PromptsListResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptsListPrompts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PromptDefinition])))

Methods

from :: PromptsListResponse -> Rep PromptsListResponse x #

to :: Rep PromptsListResponse x -> PromptsListResponse #

Show PromptsListResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> PromptsListResponse -> ShowS #

show :: PromptsListResponse -> String #

showList :: [PromptsListResponse] -> ShowS #

Eq PromptsListResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: PromptsListResponse -> PromptsListResponse -> Bool #

(/=) :: PromptsListResponse -> PromptsListResponse -> Bool #

ToJSON PromptsListResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

toJSON :: PromptsListResponse -> Value #

toEncoding :: PromptsListResponse -> Encoding #

toJSONList :: [PromptsListResponse] -> Value #

toEncodingList :: [PromptsListResponse] -> Encoding #

omitField :: PromptsListResponse -> Bool #

type Rep PromptsListResponse Source #

Instance details

Defined in MCP.Server.Protocol

type Rep PromptsListResponse = D1 ('MetaData "PromptsListResponse" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PromptsListResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptsListPrompts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PromptDefinition])))

data PromptsGetRequest Source #

Prompts get request

Constructors

PromptsGetRequest
Fields promptsGetName :: Text promptsGetArguments :: Maybe (Map Text Value)

Instances

Instances details

Generic PromptsGetRequest Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep PromptsGetRequest

Instance details

Defined in MCP.Server.Protocol

type Rep PromptsGetRequest = D1 ('MetaData "PromptsGetRequest" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PromptsGetRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptsGetName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "promptsGetArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Text Value)))))

Methods

from :: PromptsGetRequest -> Rep PromptsGetRequest x #

to :: Rep PromptsGetRequest x -> PromptsGetRequest #

Show PromptsGetRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> PromptsGetRequest -> ShowS #

show :: PromptsGetRequest -> String #

showList :: [PromptsGetRequest] -> ShowS #

Eq PromptsGetRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: PromptsGetRequest -> PromptsGetRequest -> Bool #

(/=) :: PromptsGetRequest -> PromptsGetRequest -> Bool #

FromJSON PromptsGetRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

parseJSON :: Value -> Parser PromptsGetRequest #

parseJSONList :: Value -> Parser [PromptsGetRequest] #

omittedField :: Maybe PromptsGetRequest #

type Rep PromptsGetRequest Source #

Instance details

Defined in MCP.Server.Protocol

type Rep PromptsGetRequest = D1 ('MetaData "PromptsGetRequest" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PromptsGetRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptsGetName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "promptsGetArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Text Value)))))

data PromptsGetResponse Source #

Prompts get response

Constructors

PromptsGetResponse
Fields promptsGetDescription :: Maybe Text promptsGetMessages :: [PromptMessage]

Instances

Instances details

Generic PromptsGetResponse Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep PromptsGetResponse

Instance details

Defined in MCP.Server.Protocol

type Rep PromptsGetResponse = D1 ('MetaData "PromptsGetResponse" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PromptsGetResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptsGetDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "promptsGetMessages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PromptMessage])))

Methods

from :: PromptsGetResponse -> Rep PromptsGetResponse x #

to :: Rep PromptsGetResponse x -> PromptsGetResponse #

Show PromptsGetResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> PromptsGetResponse -> ShowS #

show :: PromptsGetResponse -> String #

showList :: [PromptsGetResponse] -> ShowS #

Eq PromptsGetResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: PromptsGetResponse -> PromptsGetResponse -> Bool #

(/=) :: PromptsGetResponse -> PromptsGetResponse -> Bool #

ToJSON PromptsGetResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

toJSON :: PromptsGetResponse -> Value #

toEncoding :: PromptsGetResponse -> Encoding #

toJSONList :: [PromptsGetResponse] -> Value #

toEncodingList :: [PromptsGetResponse] -> Encoding #

omitField :: PromptsGetResponse -> Bool #

type Rep PromptsGetResponse Source #

Instance details

Defined in MCP.Server.Protocol

type Rep PromptsGetResponse = D1 ('MetaData "PromptsGetResponse" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PromptsGetResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptsGetDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "promptsGetMessages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PromptMessage])))

data PromptMessage Source #

Prompt message

Constructors

PromptMessage
Fields promptMessageRole :: MessageRole promptMessageContent :: Content

Instances

Instances details

Generic PromptMessage Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep PromptMessage

Instance details

Defined in MCP.Server.Protocol

type Rep PromptMessage = D1 ('MetaData "PromptMessage" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PromptMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptMessageRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MessageRole) :*: S1 ('MetaSel ('Just "promptMessageContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Content)))

Methods

from :: PromptMessage -> Rep PromptMessage x #

to :: Rep PromptMessage x -> PromptMessage #

Show PromptMessage Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> PromptMessage -> ShowS #

show :: PromptMessage -> String #

showList :: [PromptMessage] -> ShowS #

Eq PromptMessage Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: PromptMessage -> PromptMessage -> Bool #

(/=) :: PromptMessage -> PromptMessage -> Bool #

ToJSON PromptMessage Source #

Instance details

Defined in MCP.Server.Protocol

Methods

toJSON :: PromptMessage -> Value #

toEncoding :: PromptMessage -> Encoding #

toJSONList :: [PromptMessage] -> Value #

toEncodingList :: [PromptMessage] -> Encoding #

omitField :: PromptMessage -> Bool #

type Rep PromptMessage Source #

Instance details

Defined in MCP.Server.Protocol

type Rep PromptMessage = D1 ('MetaData "PromptMessage" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PromptMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptMessageRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MessageRole) :*: S1 ('MetaSel ('Just "promptMessageContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Content)))

data MessageRole Source #

Message role for prompts

Constructors

RoleUser
RoleAssistant

Instances

Instances details

Generic MessageRole Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep MessageRole
Instance details Defined in MCP.Server.Protocol type Rep MessageRole = D1 ('MetaData "MessageRole" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "RoleUser" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RoleAssistant" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: MessageRole -> Rep MessageRole x #

to :: Rep MessageRole x -> MessageRole #

Show MessageRole Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> MessageRole -> ShowS #

show :: MessageRole -> String #

showList :: [MessageRole] -> ShowS #

Eq MessageRole Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: MessageRole -> MessageRole -> Bool #

(/=) :: MessageRole -> MessageRole -> Bool #

ToJSON MessageRole Source #

Instance details

Defined in MCP.Server.Protocol

Methods

toJSON :: MessageRole -> Value #

toEncoding :: MessageRole -> Encoding #

toJSONList :: [MessageRole] -> Value #

toEncodingList :: [MessageRole] -> Encoding #

omitField :: MessageRole -> Bool #

type Rep MessageRole Source #

Instance details

Defined in MCP.Server.Protocol

type Rep MessageRole = D1 ('MetaData "MessageRole" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "RoleUser" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RoleAssistant" 'PrefixI 'False) (U1 :: Type -> Type))

Resources Protocol

data ResourcesListRequest Source #

Resources list request

Constructors

ResourcesListRequest

Instances

Instances details

Generic ResourcesListRequest Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep ResourcesListRequest
Instance details Defined in MCP.Server.Protocol type Rep ResourcesListRequest = D1 ('MetaData "ResourcesListRequest" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ResourcesListRequest" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ResourcesListRequest -> Rep ResourcesListRequest x #

to :: Rep ResourcesListRequest x -> ResourcesListRequest #

Show ResourcesListRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> ResourcesListRequest -> ShowS #

show :: ResourcesListRequest -> String #

showList :: [ResourcesListRequest] -> ShowS #

Eq ResourcesListRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: ResourcesListRequest -> ResourcesListRequest -> Bool #

(/=) :: ResourcesListRequest -> ResourcesListRequest -> Bool #

FromJSON ResourcesListRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

parseJSON :: Value -> Parser ResourcesListRequest #

parseJSONList :: Value -> Parser [ResourcesListRequest] #

omittedField :: Maybe ResourcesListRequest #

type Rep ResourcesListRequest Source #

Instance details

Defined in MCP.Server.Protocol

type Rep ResourcesListRequest = D1 ('MetaData "ResourcesListRequest" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ResourcesListRequest" 'PrefixI 'False) (U1 :: Type -> Type))

data ResourcesListResponse Source #

Resources list response

Constructors

ResourcesListResponse
Fields resourcesListResources :: [ResourceDefinition]

Instances

Instances details

Generic ResourcesListResponse Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep ResourcesListResponse
Instance details Defined in MCP.Server.Protocol type Rep ResourcesListResponse = D1 ('MetaData "ResourcesListResponse" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ResourcesListResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourcesListResources") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ResourceDefinition])))

Methods

from :: ResourcesListResponse -> Rep ResourcesListResponse x #

to :: Rep ResourcesListResponse x -> ResourcesListResponse #

Show ResourcesListResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> ResourcesListResponse -> ShowS #

show :: ResourcesListResponse -> String #

showList :: [ResourcesListResponse] -> ShowS #

Eq ResourcesListResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: ResourcesListResponse -> ResourcesListResponse -> Bool #

(/=) :: ResourcesListResponse -> ResourcesListResponse -> Bool #

ToJSON ResourcesListResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

toJSON :: ResourcesListResponse -> Value #

toEncoding :: ResourcesListResponse -> Encoding #

toJSONList :: [ResourcesListResponse] -> Value #

toEncodingList :: [ResourcesListResponse] -> Encoding #

omitField :: ResourcesListResponse -> Bool #

type Rep ResourcesListResponse Source #

Instance details

Defined in MCP.Server.Protocol

type Rep ResourcesListResponse = D1 ('MetaData "ResourcesListResponse" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ResourcesListResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourcesListResources") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ResourceDefinition])))

data ResourcesReadRequest Source #

Resources read request

Constructors

ResourcesReadRequest
Fields resourcesReadUri :: URI

Instances

Instances details

Generic ResourcesReadRequest Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep ResourcesReadRequest
Instance details Defined in MCP.Server.Protocol type Rep ResourcesReadRequest = D1 ('MetaData "ResourcesReadRequest" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ResourcesReadRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourcesReadUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 URI)))

Methods

from :: ResourcesReadRequest -> Rep ResourcesReadRequest x #

to :: Rep ResourcesReadRequest x -> ResourcesReadRequest #

Show ResourcesReadRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> ResourcesReadRequest -> ShowS #

show :: ResourcesReadRequest -> String #

showList :: [ResourcesReadRequest] -> ShowS #

Eq ResourcesReadRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: ResourcesReadRequest -> ResourcesReadRequest -> Bool #

(/=) :: ResourcesReadRequest -> ResourcesReadRequest -> Bool #

FromJSON ResourcesReadRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

parseJSON :: Value -> Parser ResourcesReadRequest #

parseJSONList :: Value -> Parser [ResourcesReadRequest] #

omittedField :: Maybe ResourcesReadRequest #

type Rep ResourcesReadRequest Source #

Instance details

Defined in MCP.Server.Protocol

type Rep ResourcesReadRequest = D1 ('MetaData "ResourcesReadRequest" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ResourcesReadRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourcesReadUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 URI)))

data ResourcesReadResponse Source #

Resources read response

Constructors

ResourcesReadResponse
Fields resourcesReadContents :: [Content]

Instances

Instances details

Generic ResourcesReadResponse Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep ResourcesReadResponse
Instance details Defined in MCP.Server.Protocol type Rep ResourcesReadResponse = D1 ('MetaData "ResourcesReadResponse" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ResourcesReadResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourcesReadContents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Content])))

Methods

from :: ResourcesReadResponse -> Rep ResourcesReadResponse x #

to :: Rep ResourcesReadResponse x -> ResourcesReadResponse #

Show ResourcesReadResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> ResourcesReadResponse -> ShowS #

show :: ResourcesReadResponse -> String #

showList :: [ResourcesReadResponse] -> ShowS #

Eq ResourcesReadResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: ResourcesReadResponse -> ResourcesReadResponse -> Bool #

(/=) :: ResourcesReadResponse -> ResourcesReadResponse -> Bool #

ToJSON ResourcesReadResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

toJSON :: ResourcesReadResponse -> Value #

toEncoding :: ResourcesReadResponse -> Encoding #

toJSONList :: [ResourcesReadResponse] -> Value #

toEncodingList :: [ResourcesReadResponse] -> Encoding #

omitField :: ResourcesReadResponse -> Bool #

type Rep ResourcesReadResponse Source #

Instance details

Defined in MCP.Server.Protocol

type Rep ResourcesReadResponse = D1 ('MetaData "ResourcesReadResponse" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ResourcesReadResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourcesReadContents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Content])))

Tools Protocol

data ToolsListRequest Source #

Tools list request

Constructors

ToolsListRequest

Instances

Instances details

Generic ToolsListRequest Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep ToolsListRequest
Instance details Defined in MCP.Server.Protocol type Rep ToolsListRequest = D1 ('MetaData "ToolsListRequest" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ToolsListRequest" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ToolsListRequest -> Rep ToolsListRequest x #

to :: Rep ToolsListRequest x -> ToolsListRequest #

Show ToolsListRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> ToolsListRequest -> ShowS #

show :: ToolsListRequest -> String #

showList :: [ToolsListRequest] -> ShowS #

Eq ToolsListRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: ToolsListRequest -> ToolsListRequest -> Bool #

(/=) :: ToolsListRequest -> ToolsListRequest -> Bool #

FromJSON ToolsListRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

parseJSON :: Value -> Parser ToolsListRequest #

parseJSONList :: Value -> Parser [ToolsListRequest] #

omittedField :: Maybe ToolsListRequest #

type Rep ToolsListRequest Source #

Instance details

Defined in MCP.Server.Protocol

type Rep ToolsListRequest = D1 ('MetaData "ToolsListRequest" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ToolsListRequest" 'PrefixI 'False) (U1 :: Type -> Type))

data ToolsListResponse Source #

Tools list response

Constructors

ToolsListResponse
Fields toolsListTools :: [ToolDefinition]

Instances

Instances details

Generic ToolsListResponse Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep ToolsListResponse
Instance details Defined in MCP.Server.Protocol type Rep ToolsListResponse = D1 ('MetaData "ToolsListResponse" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ToolsListResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolsListTools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ToolDefinition])))

Methods

from :: ToolsListResponse -> Rep ToolsListResponse x #

to :: Rep ToolsListResponse x -> ToolsListResponse #

Show ToolsListResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> ToolsListResponse -> ShowS #

show :: ToolsListResponse -> String #

showList :: [ToolsListResponse] -> ShowS #

Eq ToolsListResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: ToolsListResponse -> ToolsListResponse -> Bool #

(/=) :: ToolsListResponse -> ToolsListResponse -> Bool #

ToJSON ToolsListResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

toJSON :: ToolsListResponse -> Value #

toEncoding :: ToolsListResponse -> Encoding #

toJSONList :: [ToolsListResponse] -> Value #

toEncodingList :: [ToolsListResponse] -> Encoding #

omitField :: ToolsListResponse -> Bool #

type Rep ToolsListResponse Source #

Instance details

Defined in MCP.Server.Protocol

type Rep ToolsListResponse = D1 ('MetaData "ToolsListResponse" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ToolsListResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolsListTools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ToolDefinition])))

data ToolsCallRequest Source #

Tools call request

Constructors

ToolsCallRequest
Fields toolsCallName :: Text toolsCallArguments :: Maybe (Map Text Value)

Instances

Instances details

Generic ToolsCallRequest Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep ToolsCallRequest

Instance details

Defined in MCP.Server.Protocol

type Rep ToolsCallRequest = D1 ('MetaData "ToolsCallRequest" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ToolsCallRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolsCallName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "toolsCallArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Text Value)))))

Methods

from :: ToolsCallRequest -> Rep ToolsCallRequest x #

to :: Rep ToolsCallRequest x -> ToolsCallRequest #

Show ToolsCallRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> ToolsCallRequest -> ShowS #

show :: ToolsCallRequest -> String #

showList :: [ToolsCallRequest] -> ShowS #

Eq ToolsCallRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: ToolsCallRequest -> ToolsCallRequest -> Bool #

(/=) :: ToolsCallRequest -> ToolsCallRequest -> Bool #

FromJSON ToolsCallRequest Source #

Instance details

Defined in MCP.Server.Protocol

Methods

parseJSON :: Value -> Parser ToolsCallRequest #

parseJSONList :: Value -> Parser [ToolsCallRequest] #

omittedField :: Maybe ToolsCallRequest #

type Rep ToolsCallRequest Source #

Instance details

Defined in MCP.Server.Protocol

type Rep ToolsCallRequest = D1 ('MetaData "ToolsCallRequest" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ToolsCallRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolsCallName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "toolsCallArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Map Text Value)))))

data ToolsCallResponse Source #

Tools call response

Constructors

ToolsCallResponse
Fields toolsCallContent :: [Content] toolsCallIsError :: Maybe Bool

Instances

Instances details

Generic ToolsCallResponse Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep ToolsCallResponse

Instance details

Defined in MCP.Server.Protocol

type Rep ToolsCallResponse = D1 ('MetaData "ToolsCallResponse" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ToolsCallResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolsCallContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Content]) :*: S1 ('MetaSel ('Just "toolsCallIsError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))

Methods

from :: ToolsCallResponse -> Rep ToolsCallResponse x #

to :: Rep ToolsCallResponse x -> ToolsCallResponse #

Show ToolsCallResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> ToolsCallResponse -> ShowS #

show :: ToolsCallResponse -> String #

showList :: [ToolsCallResponse] -> ShowS #

Eq ToolsCallResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: ToolsCallResponse -> ToolsCallResponse -> Bool #

(/=) :: ToolsCallResponse -> ToolsCallResponse -> Bool #

ToJSON ToolsCallResponse Source #

Instance details

Defined in MCP.Server.Protocol

Methods

toJSON :: ToolsCallResponse -> Value #

toEncoding :: ToolsCallResponse -> Encoding #

toJSONList :: [ToolsCallResponse] -> Value #

toEncodingList :: [ToolsCallResponse] -> Encoding #

omitField :: ToolsCallResponse -> Bool #

type Rep ToolsCallResponse Source #

Instance details

Defined in MCP.Server.Protocol

type Rep ToolsCallResponse = D1 ('MetaData "ToolsCallResponse" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ToolsCallResponse" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolsCallContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Content]) :*: S1 ('MetaSel ('Just "toolsCallIsError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))

Common Types

data ListChangedNotification Source #

List changed notification

Constructors

ListChangedNotification

Instances

Instances details

Generic ListChangedNotification Source #

Instance details

Defined in MCP.Server.Protocol

Associated Types

type Rep ListChangedNotification
Instance details Defined in MCP.Server.Protocol type Rep ListChangedNotification = D1 ('MetaData "ListChangedNotification" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ListChangedNotification" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ListChangedNotification -> Rep ListChangedNotification x #

to :: Rep ListChangedNotification x -> ListChangedNotification #

Show ListChangedNotification Source #

Instance details

Defined in MCP.Server.Protocol

Methods

showsPrec :: Int -> ListChangedNotification -> ShowS #

show :: ListChangedNotification -> String #

showList :: [ListChangedNotification] -> ShowS #

Eq ListChangedNotification Source #

Instance details

Defined in MCP.Server.Protocol

Methods

(==) :: ListChangedNotification -> ListChangedNotification -> Bool #

(/=) :: ListChangedNotification -> ListChangedNotification -> Bool #

ToJSON ListChangedNotification Source #

Instance details

Defined in MCP.Server.Protocol

Methods

toJSON :: ListChangedNotification -> Value #

toEncoding :: ListChangedNotification -> Encoding #

toJSONList :: [ListChangedNotification] -> Value #

toEncodingList :: [ListChangedNotification] -> Encoding #

omitField :: ListChangedNotification -> Bool #

type Rep ListChangedNotification Source #

Instance details

Defined in MCP.Server.Protocol

type Rep ListChangedNotification = D1 ('MetaData "ListChangedNotification" "MCP.Server.Protocol" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ListChangedNotification" 'PrefixI 'False) (U1 :: Type -> Type))

Protocol Functions

protocolVersion :: Text Source #