Safe Haskell	Safe-Inferred
Language	Haskell2010

Network.MCP.Types

Contents

Server Information
Capabilities
Resources
Tools
Prompts
Roots
Protocol Versions
Initialization
Resource Requests
Tool Requests
Prompt Requests
Roots Requests
Notifications

Synopsis

type ServerInfo = Implementation
type ClientInfo = Implementation
data Implementation = Implementation {
- serverName :: Text
- serverVersion :: Text
}
data ServerCapabilities = ServerCapabilities {
- resourcesCapability :: Maybe ResourcesCapability
- toolsCapability :: Maybe ToolsCapability
- promptsCapability :: Maybe PromptsCapability
}
data ClientCapabilities = ClientCapabilities {
- clientRootsCapability :: Maybe RootsCapability
- clientSamplingCapability :: Maybe SamplingCapability
}
data ResourcesCapability = ResourcesCapability {
- resourcesListChanged :: Bool
}
data ToolsCapability = ToolsCapability {
- toolsListChanged :: Bool
}
data PromptsCapability = PromptsCapability {
- promptsListChanged :: Bool
}
data SamplingCapability = SamplingCapability
data RootsCapability = RootsCapability
data Resource = Resource {
- resourceUri :: Text
- resourceName :: Text
- resourceDescription :: Maybe Text
- resourceMimeType :: Maybe Text
- resourceTemplate :: Maybe Text
}
data ResourceContent = ResourceContent {
- resourceContentUri :: Text
- resourceContentMimeType :: Maybe Text
- resourceContentText :: Maybe Text
- resourceContentBlob :: Maybe Text
}
data ResourceContentType
- = TextContent
- | BlobContent
data Tool = Tool {
- toolName :: Text
- toolDescription :: Maybe Text
- toolInputSchema :: Value
- toolAnnotations :: Maybe ToolAnnotations
}
data ToolContent = ToolContent {
- toolContentType :: ToolContentType
- toolContentText :: Maybe Text
}
data ToolContentType
- = TextualContent
- | ImageContent
- | EmbeddedResource
data ToolAnnotations = ToolAnnotations {
- title :: Maybe Text
- readOnlyHint :: Maybe Bool
- destructiveHint :: Maybe Bool
- idempotentHint :: Maybe Bool
- openWorldHint :: Maybe Bool
}
data Prompt = Prompt {
- promptName :: Text
- promptDescription :: Maybe Text
- promptArguments :: [PromptArgument]
}
data PromptArgument = PromptArgument {
- promptArgumentName :: Text
- promptArgumentDescription :: Maybe Text
- promptArgumentRequired :: Bool
}
data PromptMessage = PromptMessage {
- promptMessageRole :: Text
- promptMessageContent :: PromptContent
}
data PromptContentType
- = TextPromptContent
- | ResourcePromptContent
data PromptContent = PromptContent {
- promptContentType :: PromptContentType
- promptContentText :: Text
}
data Root = Root {
- rootUri :: Text
- rootName :: Text
}
type ProtocolVersion = Text
supportedVersions :: [ProtocolVersion]
data ServerInitializeOptions = ServerInitializeOptions {
- serverInitProtocolVersion :: ProtocolVersion
- serverInitInfo :: Implementation
- serverInitCapabilities :: ServerCapabilities
- serverInitInstructions :: Text
}
data ClientInitializeOptions = ClientInitializeOptions {
- clientInitProtocolVersion :: ProtocolVersion
- clientInitInfo :: Implementation
- clientInitCapabilities :: ClientCapabilities
}
type ServerInitializeResult = ClientInitializeOptions
type ClientInitializeResult = ServerInitializeOptions
data ListResourcesRequest = ListResourcesRequest
data ListResourcesResult = ListResourcesResult {
- listResourcesResult :: [Resource]
}
data ReadResourceRequest = ReadResourceRequest {
- resourceReadUri :: Text
}
data ReadResourceResult = ReadResourceResult {
- readResourceContents :: [ResourceContent]
}
data SubscribeResourceRequest = SubscribeResourceRequest {
- subscribeResourceUri :: Text
}
data SubscribeResourceResult = SubscribeResourceResult
data UnsubscribeResourceRequest = UnsubscribeResourceRequest {
- unsubscribeResourceUri :: Text
}
data UnsubscribeResourceResult = UnsubscribeResourceResult
data ListToolsRequest = ListToolsRequest
data ListToolsResult = ListToolsResult {
- listToolsResult :: [Tool]
}
data CallToolRequest = CallToolRequest {
- callToolName :: Text
- callToolArguments :: Value
}
data CallToolResult = CallToolResult {
- callToolContent :: [ToolContent]
- callToolIsError :: Bool
}
data ListPromptsRequest = ListPromptsRequest
data ListPromptsResult = ListPromptsResult {
- listPromptsResult :: [Prompt]
}
data GetPromptRequest = GetPromptRequest {
- getPromptName :: Text
- getPromptArguments :: Map Text Text
}
data GetPromptResult = GetPromptResult {
- getPromptDescription :: Maybe Text
- getPromptMessages :: [PromptMessage]
}
data ListRootsRequest = ListRootsRequest
data ListRootsResult = ListRootsResult {
- listRootsResult :: [Root]
}
data ResourcesListChangedNotification = ResourcesListChangedNotification
data ResourceUpdatedNotification = ResourceUpdatedNotification {
- resourceUpdatedUri :: Text
}
data ToolsListChangedNotification = ToolsListChangedNotification
data PromptsListChangedNotification = PromptsListChangedNotification

Server Information

type ServerInfo = Implementation Source #

Server information sent during initialization

type ClientInfo = Implementation Source #

Client information sent during initialization

data Implementation Source #

Implementation information

Constructors

Implementation
Fields serverName :: Text Name of the implementation serverVersion :: Text Version of the implementation

Instances

Instances details

FromJSON Implementation Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser Implementation # parseJSONList :: Value -> Parser [Implementation] #
ToJSON Implementation Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: Implementation -> Value # toEncoding :: Implementation -> Encoding # toJSONList :: [Implementation] -> Value # toEncodingList :: [Implementation] -> Encoding #
Generic Implementation Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep Implementation :: Type -> Type # Methods from :: Implementation -> Rep Implementation x # to :: Rep Implementation x -> Implementation #
Show Implementation Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> Implementation -> ShowS # show :: Implementation -> String # showList :: [Implementation] -> ShowS #
Eq Implementation Source #
Instance details Defined in Network.MCP.Types Methods (==) :: Implementation -> Implementation -> Bool # (/=) :: Implementation -> Implementation -> Bool #
type Rep Implementation Source #
Instance details Defined in Network.MCP.Types type Rep Implementation = D1 ('MetaData "Implementation" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "Implementation" 'PrefixI 'True) (S1 ('MetaSel ('Just "serverName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "serverVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

Capabilities

data ServerCapabilities Source #

Server capabilities

Constructors

ServerCapabilities
Fields resourcesCapability :: Maybe ResourcesCapability Resources support toolsCapability :: Maybe ToolsCapability Tools support promptsCapability :: Maybe PromptsCapability Prompts support

Instances

Instances details

FromJSON ServerCapabilities Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ServerCapabilities # parseJSONList :: Value -> Parser [ServerCapabilities] #
ToJSON ServerCapabilities Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ServerCapabilities -> Value # toEncoding :: ServerCapabilities -> Encoding # toJSONList :: [ServerCapabilities] -> Value # toEncodingList :: [ServerCapabilities] -> Encoding #
Generic ServerCapabilities Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep ServerCapabilities :: Type -> Type # Methods from :: ServerCapabilities -> Rep ServerCapabilities x # to :: Rep ServerCapabilities x -> ServerCapabilities #
Show ServerCapabilities Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> ServerCapabilities -> ShowS # show :: ServerCapabilities -> String # showList :: [ServerCapabilities] -> ShowS #
Eq ServerCapabilities Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ServerCapabilities -> ServerCapabilities -> Bool # (/=) :: ServerCapabilities -> ServerCapabilities -> Bool #
type Rep ServerCapabilities Source #
Instance details Defined in Network.MCP.Types type Rep ServerCapabilities = D1 ('MetaData "ServerCapabilities" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ServerCapabilities" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourcesCapability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ResourcesCapability)) :: (S1 ('MetaSel ('Just "toolsCapability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ToolsCapability)) :: S1 ('MetaSel ('Just "promptsCapability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe PromptsCapability)))))

data ClientCapabilities Source #

Client capabilities

Constructors

ClientCapabilities
Fields clientRootsCapability :: Maybe RootsCapability Roots support clientSamplingCapability :: Maybe SamplingCapability Sampling support

Instances

Instances details

FromJSON ClientCapabilities Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ClientCapabilities # parseJSONList :: Value -> Parser [ClientCapabilities] #
ToJSON ClientCapabilities Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ClientCapabilities -> Value # toEncoding :: ClientCapabilities -> Encoding # toJSONList :: [ClientCapabilities] -> Value # toEncodingList :: [ClientCapabilities] -> Encoding #
Generic ClientCapabilities Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep ClientCapabilities :: Type -> Type # Methods from :: ClientCapabilities -> Rep ClientCapabilities x # to :: Rep ClientCapabilities x -> ClientCapabilities #
Show ClientCapabilities Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> ClientCapabilities -> ShowS # show :: ClientCapabilities -> String # showList :: [ClientCapabilities] -> ShowS #
Eq ClientCapabilities Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ClientCapabilities -> ClientCapabilities -> Bool # (/=) :: ClientCapabilities -> ClientCapabilities -> Bool #
type Rep ClientCapabilities Source #
Instance details Defined in Network.MCP.Types type Rep ClientCapabilities = D1 ('MetaData "ClientCapabilities" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ClientCapabilities" 'PrefixI 'True) (S1 ('MetaSel ('Just "clientRootsCapability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe RootsCapability)) :*: S1 ('MetaSel ('Just "clientSamplingCapability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe SamplingCapability))))

data ResourcesCapability Source #

Resources capability configuration

Constructors

ResourcesCapability
Fields resourcesListChanged :: Bool Server can notify when resources list changes

Instances

Instances details

FromJSON ResourcesCapability Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ResourcesCapability # parseJSONList :: Value -> Parser [ResourcesCapability] #
ToJSON ResourcesCapability Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ResourcesCapability -> Value # toEncoding :: ResourcesCapability -> Encoding # toJSONList :: [ResourcesCapability] -> Value # toEncodingList :: [ResourcesCapability] -> Encoding #
Generic ResourcesCapability Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep ResourcesCapability :: Type -> Type # Methods from :: ResourcesCapability -> Rep ResourcesCapability x # to :: Rep ResourcesCapability x -> ResourcesCapability #
Show ResourcesCapability Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> ResourcesCapability -> ShowS # show :: ResourcesCapability -> String # showList :: [ResourcesCapability] -> ShowS #
Eq ResourcesCapability Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ResourcesCapability -> ResourcesCapability -> Bool # (/=) :: ResourcesCapability -> ResourcesCapability -> Bool #
type Rep ResourcesCapability Source #
Instance details Defined in Network.MCP.Types type Rep ResourcesCapability = D1 ('MetaData "ResourcesCapability" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ResourcesCapability" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourcesListChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

data ToolsCapability Source #

Tools capability configuration

Constructors

ToolsCapability
Fields toolsListChanged :: Bool Server can notify when tools list changes

Instances

Instances details

FromJSON ToolsCapability Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ToolsCapability # parseJSONList :: Value -> Parser [ToolsCapability] #
ToJSON ToolsCapability Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ToolsCapability -> Value # toEncoding :: ToolsCapability -> Encoding # toJSONList :: [ToolsCapability] -> Value # toEncodingList :: [ToolsCapability] -> Encoding #
Generic ToolsCapability Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep ToolsCapability :: Type -> Type # Methods from :: ToolsCapability -> Rep ToolsCapability x # to :: Rep ToolsCapability x -> ToolsCapability #
Show ToolsCapability Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> ToolsCapability -> ShowS # show :: ToolsCapability -> String # showList :: [ToolsCapability] -> ShowS #
Eq ToolsCapability Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ToolsCapability -> ToolsCapability -> Bool # (/=) :: ToolsCapability -> ToolsCapability -> Bool #
type Rep ToolsCapability Source #
Instance details Defined in Network.MCP.Types type Rep ToolsCapability = D1 ('MetaData "ToolsCapability" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ToolsCapability" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolsListChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

data PromptsCapability Source #

Prompts capability configuration

Constructors

PromptsCapability
Fields promptsListChanged :: Bool Server can notify when prompts list changes

Instances

Instances details

FromJSON PromptsCapability Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser PromptsCapability # parseJSONList :: Value -> Parser [PromptsCapability] #
ToJSON PromptsCapability Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: PromptsCapability -> Value # toEncoding :: PromptsCapability -> Encoding # toJSONList :: [PromptsCapability] -> Value # toEncodingList :: [PromptsCapability] -> Encoding #
Generic PromptsCapability Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep PromptsCapability :: Type -> Type # Methods from :: PromptsCapability -> Rep PromptsCapability x # to :: Rep PromptsCapability x -> PromptsCapability #
Show PromptsCapability Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> PromptsCapability -> ShowS # show :: PromptsCapability -> String # showList :: [PromptsCapability] -> ShowS #
Eq PromptsCapability Source #
Instance details Defined in Network.MCP.Types Methods (==) :: PromptsCapability -> PromptsCapability -> Bool # (/=) :: PromptsCapability -> PromptsCapability -> Bool #
type Rep PromptsCapability Source #
Instance details Defined in Network.MCP.Types type Rep PromptsCapability = D1 ('MetaData "PromptsCapability" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "PromptsCapability" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptsListChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

data SamplingCapability Source #

Sampling capability configuration

Constructors

SamplingCapability

Instances

Instances details

FromJSON SamplingCapability Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser SamplingCapability # parseJSONList :: Value -> Parser [SamplingCapability] #
ToJSON SamplingCapability Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: SamplingCapability -> Value # toEncoding :: SamplingCapability -> Encoding # toJSONList :: [SamplingCapability] -> Value # toEncodingList :: [SamplingCapability] -> Encoding #
Generic SamplingCapability Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep SamplingCapability :: Type -> Type # Methods from :: SamplingCapability -> Rep SamplingCapability x # to :: Rep SamplingCapability x -> SamplingCapability #
Show SamplingCapability Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> SamplingCapability -> ShowS # show :: SamplingCapability -> String # showList :: [SamplingCapability] -> ShowS #
Eq SamplingCapability Source #
Instance details Defined in Network.MCP.Types Methods (==) :: SamplingCapability -> SamplingCapability -> Bool # (/=) :: SamplingCapability -> SamplingCapability -> Bool #
type Rep SamplingCapability Source #
Instance details Defined in Network.MCP.Types type Rep SamplingCapability = D1 ('MetaData "SamplingCapability" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "SamplingCapability" 'PrefixI 'False) (U1 :: Type -> Type))

data RootsCapability Source #

Roots capability configuration

Constructors

RootsCapability

Instances

Instances details

FromJSON RootsCapability Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser RootsCapability # parseJSONList :: Value -> Parser [RootsCapability] #
ToJSON RootsCapability Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: RootsCapability -> Value # toEncoding :: RootsCapability -> Encoding # toJSONList :: [RootsCapability] -> Value # toEncodingList :: [RootsCapability] -> Encoding #
Generic RootsCapability Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep RootsCapability :: Type -> Type # Methods from :: RootsCapability -> Rep RootsCapability x # to :: Rep RootsCapability x -> RootsCapability #
Show RootsCapability Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> RootsCapability -> ShowS # show :: RootsCapability -> String # showList :: [RootsCapability] -> ShowS #
Eq RootsCapability Source #
Instance details Defined in Network.MCP.Types Methods (==) :: RootsCapability -> RootsCapability -> Bool # (/=) :: RootsCapability -> RootsCapability -> Bool #
type Rep RootsCapability Source #
Instance details Defined in Network.MCP.Types type Rep RootsCapability = D1 ('MetaData "RootsCapability" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "RootsCapability" 'PrefixI 'False) (U1 :: Type -> Type))

Resources

data Resource Source #

Resource definition

Constructors

Resource
Fields resourceUri :: Text URI of the resource resourceName :: Text Human-readable name resourceDescription :: Maybe Text Optional description resourceMimeType :: Maybe Text Optional MIME type resourceTemplate :: Maybe Text Optional URI template definition

Instances

Instances details

FromJSON Resource Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser Resource # parseJSONList :: Value -> Parser [Resource] #
ToJSON Resource Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: Resource -> Value # toEncoding :: Resource -> Encoding # toJSONList :: [Resource] -> Value # toEncodingList :: [Resource] -> Encoding #
Generic Resource Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep Resource :: Type -> Type # Methods from :: Resource -> Rep Resource x # to :: Rep Resource x -> Resource #
Show Resource Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> Resource -> ShowS # show :: Resource -> String # showList :: [Resource] -> ShowS #
Eq Resource Source #
Instance details Defined in Network.MCP.Types Methods (==) :: Resource -> Resource -> Bool # (/=) :: Resource -> Resource -> Bool #
type Rep Resource Source #
Instance details Defined in Network.MCP.Types type Rep Resource = D1 ('MetaData "Resource" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "Resource" 'PrefixI 'True) ((S1 ('MetaSel ('Just "resourceUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "resourceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :: (S1 ('MetaSel ('Just "resourceDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :: (S1 ('MetaSel ('Just "resourceMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "resourceTemplate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))))))

data ResourceContent Source #

Resource content

Constructors

ResourceContent
Fields resourceContentUri :: Text URI of the resource resourceContentMimeType :: Maybe Text Optional MIME type resourceContentText :: Maybe Text Text content (if TextContent) resourceContentBlob :: Maybe Text Blob content (base64 encoded, if BlobContent)

Instances

Instances details

FromJSON ResourceContent Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ResourceContent # parseJSONList :: Value -> Parser [ResourceContent] #
ToJSON ResourceContent Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ResourceContent -> Value # toEncoding :: ResourceContent -> Encoding # toJSONList :: [ResourceContent] -> Value # toEncodingList :: [ResourceContent] -> Encoding #
Generic ResourceContent Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep ResourceContent :: Type -> Type # Methods from :: ResourceContent -> Rep ResourceContent x # to :: Rep ResourceContent x -> ResourceContent #
Show ResourceContent Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> ResourceContent -> ShowS # show :: ResourceContent -> String # showList :: [ResourceContent] -> ShowS #
Eq ResourceContent Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ResourceContent -> ResourceContent -> Bool # (/=) :: ResourceContent -> ResourceContent -> Bool #
type Rep ResourceContent Source #
Instance details Defined in Network.MCP.Types type Rep ResourceContent = D1 ('MetaData "ResourceContent" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ResourceContent" 'PrefixI 'True) ((S1 ('MetaSel ('Just "resourceContentUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "resourceContentMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))) :: (S1 ('MetaSel ('Just "resourceContentText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "resourceContentBlob") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)))))

data ResourceContentType Source #

Resource content type

Constructors

TextContent
BlobContent

Instances

Instances details

Generic ResourceContentType Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep ResourceContentType :: Type -> Type # Methods from :: ResourceContentType -> Rep ResourceContentType x # to :: Rep ResourceContentType x -> ResourceContentType #
Show ResourceContentType Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> ResourceContentType -> ShowS # show :: ResourceContentType -> String # showList :: [ResourceContentType] -> ShowS #
Eq ResourceContentType Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ResourceContentType -> ResourceContentType -> Bool # (/=) :: ResourceContentType -> ResourceContentType -> Bool #
type Rep ResourceContentType Source #
Instance details Defined in Network.MCP.Types type Rep ResourceContentType = D1 ('MetaData "ResourceContentType" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "TextContent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BlobContent" 'PrefixI 'False) (U1 :: Type -> Type))

Tools

data Tool Source #

Tool definition

Constructors

Tool
Fields toolName :: Text Name of the tool toolDescription :: Maybe Text Optional description toolInputSchema :: Value JSON schema for tool parameters toolAnnotations :: Maybe ToolAnnotations Optional annotations

Instances

Instances details

FromJSON Tool Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser Tool # parseJSONList :: Value -> Parser [Tool] #
ToJSON Tool Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: Tool -> Value # toEncoding :: Tool -> Encoding # toJSONList :: [Tool] -> Value # toEncodingList :: [Tool] -> Encoding #
Generic Tool Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep Tool :: Type -> Type # Methods from :: Tool -> Rep Tool x # to :: Rep Tool x -> Tool #
Show Tool Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> Tool -> ShowS # show :: Tool -> String # showList :: [Tool] -> ShowS #
Eq Tool Source #
Instance details Defined in Network.MCP.Types Methods (==) :: Tool -> Tool -> Bool # (/=) :: Tool -> Tool -> Bool #
type Rep Tool Source #
Instance details Defined in Network.MCP.Types type Rep Tool = D1 ('MetaData "Tool" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "Tool" 'PrefixI 'True) ((S1 ('MetaSel ('Just "toolName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "toolDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))) :: (S1 ('MetaSel ('Just "toolInputSchema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Value) :*: S1 ('MetaSel ('Just "toolAnnotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ToolAnnotations)))))

data ToolContent Source #

Tool content

Constructors

ToolContent
Fields toolContentType :: ToolContentType Type of content toolContentText :: Maybe Text Text content (if TextContent) More fields would be here for image and resource, simplified for brevity

Instances

Instances details

FromJSON ToolContent Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ToolContent # parseJSONList :: Value -> Parser [ToolContent] #
ToJSON ToolContent Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ToolContent -> Value # toEncoding :: ToolContent -> Encoding # toJSONList :: [ToolContent] -> Value # toEncodingList :: [ToolContent] -> Encoding #
Generic ToolContent Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep ToolContent :: Type -> Type # Methods from :: ToolContent -> Rep ToolContent x # to :: Rep ToolContent x -> ToolContent #
Show ToolContent Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> ToolContent -> ShowS # show :: ToolContent -> String # showList :: [ToolContent] -> ShowS #
Eq ToolContent Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ToolContent -> ToolContent -> Bool # (/=) :: ToolContent -> ToolContent -> Bool #
type Rep ToolContent Source #
Instance details Defined in Network.MCP.Types type Rep ToolContent = D1 ('MetaData "ToolContent" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ToolContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolContentType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ToolContentType) :*: S1 ('MetaSel ('Just "toolContentText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))))

data ToolContentType Source #

Tool content type

Constructors

TextualContent
ImageContent
EmbeddedResource

Instances

Instances details

FromJSON ToolContentType Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ToolContentType # parseJSONList :: Value -> Parser [ToolContentType] #
ToJSON ToolContentType Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ToolContentType -> Value # toEncoding :: ToolContentType -> Encoding # toJSONList :: [ToolContentType] -> Value # toEncodingList :: [ToolContentType] -> Encoding #
Generic ToolContentType Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep ToolContentType :: Type -> Type # Methods from :: ToolContentType -> Rep ToolContentType x # to :: Rep ToolContentType x -> ToolContentType #
Show ToolContentType Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> ToolContentType -> ShowS # show :: ToolContentType -> String # showList :: [ToolContentType] -> ShowS #
Eq ToolContentType Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ToolContentType -> ToolContentType -> Bool # (/=) :: ToolContentType -> ToolContentType -> Bool #
type Rep ToolContentType Source #
Instance details Defined in Network.MCP.Types type Rep ToolContentType = D1 ('MetaData "ToolContentType" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "TextualContent" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ImageContent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EmbeddedResource" 'PrefixI 'False) (U1 :: Type -> Type)))

data ToolAnnotations Source #

Constructors

ToolAnnotations
Fields title :: Maybe Text Human-readable title for the tool readOnlyHint :: Maybe Bool If true, the tool does not modify its environment destructiveHint :: Maybe Bool If true, the tool may perform destructive updates idempotentHint :: Maybe Bool If true, repeated calls with same args have no additional effect openWorldHint :: Maybe Bool If true, tool interacts with external entities

Instances

Instances details

FromJSON ToolAnnotations Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ToolAnnotations # parseJSONList :: Value -> Parser [ToolAnnotations] #
ToJSON ToolAnnotations Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ToolAnnotations -> Value # toEncoding :: ToolAnnotations -> Encoding # toJSONList :: [ToolAnnotations] -> Value # toEncodingList :: [ToolAnnotations] -> Encoding #
Generic ToolAnnotations Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep ToolAnnotations :: Type -> Type # Methods from :: ToolAnnotations -> Rep ToolAnnotations x # to :: Rep ToolAnnotations x -> ToolAnnotations #
Show ToolAnnotations Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> ToolAnnotations -> ShowS # show :: ToolAnnotations -> String # showList :: [ToolAnnotations] -> ShowS #
Eq ToolAnnotations Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ToolAnnotations -> ToolAnnotations -> Bool # (/=) :: ToolAnnotations -> ToolAnnotations -> Bool #
type Rep ToolAnnotations Source #
Instance details Defined in Network.MCP.Types type Rep ToolAnnotations = D1 ('MetaData "ToolAnnotations" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ToolAnnotations" 'PrefixI 'True) ((S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "readOnlyHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool))) :: (S1 ('MetaSel ('Just "destructiveHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool)) :: (S1 ('MetaSel ('Just "idempotentHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool)) :: S1 ('MetaSel ('Just "openWorldHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool))))))

Prompts

data Prompt Source #

Prompt definition

Constructors

Prompt
Fields promptName :: Text Name of the prompt promptDescription :: Maybe Text Optional description promptArguments :: [PromptArgument] Arguments for the prompt

Instances

Instances details

FromJSON Prompt Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser Prompt # parseJSONList :: Value -> Parser [Prompt] #
ToJSON Prompt Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: Prompt -> Value # toEncoding :: Prompt -> Encoding # toJSONList :: [Prompt] -> Value # toEncodingList :: [Prompt] -> Encoding #
Generic Prompt Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep Prompt :: Type -> Type # Methods from :: Prompt -> Rep Prompt x # to :: Rep Prompt x -> Prompt #
Show Prompt Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> Prompt -> ShowS # show :: Prompt -> String # showList :: [Prompt] -> ShowS #
Eq Prompt Source #
Instance details Defined in Network.MCP.Types Methods (==) :: Prompt -> Prompt -> Bool # (/=) :: Prompt -> Prompt -> Bool #
type Rep Prompt Source #
Instance details Defined in Network.MCP.Types type Rep Prompt = D1 ('MetaData "Prompt" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "Prompt" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: (S1 ('MetaSel ('Just "promptDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "promptArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [PromptArgument]))))

data PromptArgument Source #

Prompt argument definition

Constructors

PromptArgument
Fields promptArgumentName :: Text Argument name promptArgumentDescription :: Maybe Text Optional description promptArgumentRequired :: Bool Whether the argument is required

Instances

Instances details

FromJSON PromptArgument Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser PromptArgument # parseJSONList :: Value -> Parser [PromptArgument] #
ToJSON PromptArgument Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: PromptArgument -> Value # toEncoding :: PromptArgument -> Encoding # toJSONList :: [PromptArgument] -> Value # toEncodingList :: [PromptArgument] -> Encoding #
Generic PromptArgument Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep PromptArgument :: Type -> Type # Methods from :: PromptArgument -> Rep PromptArgument x # to :: Rep PromptArgument x -> PromptArgument #
Show PromptArgument Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> PromptArgument -> ShowS # show :: PromptArgument -> String # showList :: [PromptArgument] -> ShowS #
Eq PromptArgument Source #
Instance details Defined in Network.MCP.Types Methods (==) :: PromptArgument -> PromptArgument -> Bool # (/=) :: PromptArgument -> PromptArgument -> Bool #
type Rep PromptArgument Source #
Instance details Defined in Network.MCP.Types type Rep PromptArgument = D1 ('MetaData "PromptArgument" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "PromptArgument" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptArgumentName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: (S1 ('MetaSel ('Just "promptArgumentDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "promptArgumentRequired") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool))))

data PromptMessage Source #

Prompt message

Constructors

PromptMessage
Fields promptMessageRole :: Text Message role (user/assistant) promptMessageContent :: PromptContent Message content

Instances

Instances details

FromJSON PromptMessage Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser PromptMessage # parseJSONList :: Value -> Parser [PromptMessage] #
ToJSON PromptMessage Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: PromptMessage -> Value # toEncoding :: PromptMessage -> Encoding # toJSONList :: [PromptMessage] -> Value # toEncodingList :: [PromptMessage] -> Encoding #
Generic PromptMessage Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep PromptMessage :: Type -> Type # Methods from :: PromptMessage -> Rep PromptMessage x # to :: Rep PromptMessage x -> PromptMessage #
Show PromptMessage Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> PromptMessage -> ShowS # show :: PromptMessage -> String # showList :: [PromptMessage] -> ShowS #
Eq PromptMessage Source #
Instance details Defined in Network.MCP.Types Methods (==) :: PromptMessage -> PromptMessage -> Bool # (/=) :: PromptMessage -> PromptMessage -> Bool #
type Rep PromptMessage Source #
Instance details Defined in Network.MCP.Types type Rep PromptMessage = D1 ('MetaData "PromptMessage" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "PromptMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptMessageRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "promptMessageContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PromptContent)))

data PromptContentType Source #

Prompt content type

Constructors

TextPromptContent
ResourcePromptContent

Instances

Instances details

FromJSON PromptContentType Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser PromptContentType # parseJSONList :: Value -> Parser [PromptContentType] #
ToJSON PromptContentType Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: PromptContentType -> Value # toEncoding :: PromptContentType -> Encoding # toJSONList :: [PromptContentType] -> Value # toEncodingList :: [PromptContentType] -> Encoding #
Generic PromptContentType Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep PromptContentType :: Type -> Type # Methods from :: PromptContentType -> Rep PromptContentType x # to :: Rep PromptContentType x -> PromptContentType #
Show PromptContentType Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> PromptContentType -> ShowS # show :: PromptContentType -> String # showList :: [PromptContentType] -> ShowS #
Eq PromptContentType Source #
Instance details Defined in Network.MCP.Types Methods (==) :: PromptContentType -> PromptContentType -> Bool # (/=) :: PromptContentType -> PromptContentType -> Bool #
type Rep PromptContentType Source #
Instance details Defined in Network.MCP.Types type Rep PromptContentType = D1 ('MetaData "PromptContentType" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "TextPromptContent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ResourcePromptContent" 'PrefixI 'False) (U1 :: Type -> Type))

data PromptContent Source #

Prompt content

Constructors

PromptContent
Fields promptContentType :: PromptContentType Type of content promptContentText :: Text Content text

Instances

Instances details

FromJSON PromptContent Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser PromptContent # parseJSONList :: Value -> Parser [PromptContent] #
ToJSON PromptContent Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: PromptContent -> Value # toEncoding :: PromptContent -> Encoding # toJSONList :: [PromptContent] -> Value # toEncodingList :: [PromptContent] -> Encoding #
Generic PromptContent Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep PromptContent :: Type -> Type # Methods from :: PromptContent -> Rep PromptContent x # to :: Rep PromptContent x -> PromptContent #
Show PromptContent Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> PromptContent -> ShowS # show :: PromptContent -> String # showList :: [PromptContent] -> ShowS #
Eq PromptContent Source #
Instance details Defined in Network.MCP.Types Methods (==) :: PromptContent -> PromptContent -> Bool # (/=) :: PromptContent -> PromptContent -> Bool #
type Rep PromptContent Source #
Instance details Defined in Network.MCP.Types type Rep PromptContent = D1 ('MetaData "PromptContent" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "PromptContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptContentType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PromptContentType) :*: S1 ('MetaSel ('Just "promptContentText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

Roots

data Root Source #

Root definition

Constructors

Root
Fields rootUri :: Text URI for the root rootName :: Text Human-readable name

Instances

Instances details

FromJSON Root Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser Root # parseJSONList :: Value -> Parser [Root] #
ToJSON Root Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: Root -> Value # toEncoding :: Root -> Encoding # toJSONList :: [Root] -> Value # toEncodingList :: [Root] -> Encoding #
Generic Root Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep Root :: Type -> Type # Methods from :: Root -> Rep Root x # to :: Rep Root x -> Root #
Show Root Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> Root -> ShowS # show :: Root -> String # showList :: [Root] -> ShowS #
Eq Root Source #
Instance details Defined in Network.MCP.Types Methods (==) :: Root -> Root -> Bool # (/=) :: Root -> Root -> Bool #
type Rep Root Source #
Instance details Defined in Network.MCP.Types type Rep Root = D1 ('MetaData "Root" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "Root" 'PrefixI 'True) (S1 ('MetaSel ('Just "rootUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "rootName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

Protocol Versions

type ProtocolVersion = Text Source #

Protocol version

supportedVersions :: [ProtocolVersion] Source #

Supported protocol versions

Initialization

data ServerInitializeOptions Source #

Server initialize options

Constructors

ServerInitializeOptions
Fields serverInitProtocolVersion :: ProtocolVersion Protocol version serverInitInfo :: Implementation Server info serverInitCapabilities :: ServerCapabilities Server capabilities serverInitInstructions :: Text

Instances

Instances details

FromJSON ServerInitializeOptions Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ServerInitializeOptions # parseJSONList :: Value -> Parser [ServerInitializeOptions] #
ToJSON ServerInitializeOptions Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ServerInitializeOptions -> Value # toEncoding :: ServerInitializeOptions -> Encoding # toJSONList :: [ServerInitializeOptions] -> Value # toEncodingList :: [ServerInitializeOptions] -> Encoding #
Generic ServerInitializeOptions Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep ServerInitializeOptions :: Type -> Type # Methods from :: ServerInitializeOptions -> Rep ServerInitializeOptions x # to :: Rep ServerInitializeOptions x -> ServerInitializeOptions #
Show ServerInitializeOptions Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> ServerInitializeOptions -> ShowS # show :: ServerInitializeOptions -> String # showList :: [ServerInitializeOptions] -> ShowS #
Eq ServerInitializeOptions Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ServerInitializeOptions -> ServerInitializeOptions -> Bool # (/=) :: ServerInitializeOptions -> ServerInitializeOptions -> Bool #
type Rep ServerInitializeOptions Source #
Instance details Defined in Network.MCP.Types type Rep ServerInitializeOptions = D1 ('MetaData "ServerInitializeOptions" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ServerInitializeOptions" 'PrefixI 'True) ((S1 ('MetaSel ('Just "serverInitProtocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProtocolVersion) :: S1 ('MetaSel ('Just "serverInitInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Implementation)) :: (S1 ('MetaSel ('Just "serverInitCapabilities") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ServerCapabilities) :*: S1 ('MetaSel ('Just "serverInitInstructions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))

data ClientInitializeOptions Source #

Client initialize options

Constructors

ClientInitializeOptions
Fields clientInitProtocolVersion :: ProtocolVersion Protocol version clientInitInfo :: Implementation Client info clientInitCapabilities :: ClientCapabilities Client capabilities

Instances

Instances details

FromJSON ClientInitializeOptions Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ClientInitializeOptions # parseJSONList :: Value -> Parser [ClientInitializeOptions] #
ToJSON ClientInitializeOptions Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ClientInitializeOptions -> Value # toEncoding :: ClientInitializeOptions -> Encoding # toJSONList :: [ClientInitializeOptions] -> Value # toEncodingList :: [ClientInitializeOptions] -> Encoding #
Generic ClientInitializeOptions Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep ClientInitializeOptions :: Type -> Type # Methods from :: ClientInitializeOptions -> Rep ClientInitializeOptions x # to :: Rep ClientInitializeOptions x -> ClientInitializeOptions #
Show ClientInitializeOptions Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> ClientInitializeOptions -> ShowS # show :: ClientInitializeOptions -> String # showList :: [ClientInitializeOptions] -> ShowS #
Eq ClientInitializeOptions Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ClientInitializeOptions -> ClientInitializeOptions -> Bool # (/=) :: ClientInitializeOptions -> ClientInitializeOptions -> Bool #
type Rep ClientInitializeOptions Source #
Instance details Defined in Network.MCP.Types type Rep ClientInitializeOptions = D1 ('MetaData "ClientInitializeOptions" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ClientInitializeOptions" 'PrefixI 'True) (S1 ('MetaSel ('Just "clientInitProtocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProtocolVersion) :: (S1 ('MetaSel ('Just "clientInitInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Implementation) :: S1 ('MetaSel ('Just "clientInitCapabilities") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ClientCapabilities))))

type ServerInitializeResult = ClientInitializeOptions Source #

Server initialize result

type ClientInitializeResult = ServerInitializeOptions Source #

Client initialize result

Resource Requests

data ListResourcesRequest Source #

List resources request

Constructors

ListResourcesRequest

Instances

Instances details

FromJSON ListResourcesRequest Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ListResourcesRequest # parseJSONList :: Value -> Parser [ListResourcesRequest] #
ToJSON ListResourcesRequest Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ListResourcesRequest -> Value # toEncoding :: ListResourcesRequest -> Encoding # toJSONList :: [ListResourcesRequest] -> Value # toEncodingList :: [ListResourcesRequest] -> Encoding #
Generic ListResourcesRequest Source #
Instance details Defined in Network.MCP.Types 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 Network.MCP.Types Methods showsPrec :: Int -> ListResourcesRequest -> ShowS # show :: ListResourcesRequest -> String # showList :: [ListResourcesRequest] -> ShowS #
Eq ListResourcesRequest Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ListResourcesRequest -> ListResourcesRequest -> Bool # (/=) :: ListResourcesRequest -> ListResourcesRequest -> Bool #
type Rep ListResourcesRequest Source #
Instance details Defined in Network.MCP.Types type Rep ListResourcesRequest = D1 ('MetaData "ListResourcesRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ListResourcesRequest" 'PrefixI 'False) (U1 :: Type -> Type))

data ListResourcesResult Source #

List resources result

Constructors

ListResourcesResult
Fields listResourcesResult :: [Resource] Available resources

Instances

Instances details

FromJSON ListResourcesResult Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ListResourcesResult # parseJSONList :: Value -> Parser [ListResourcesResult] #
ToJSON ListResourcesResult Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ListResourcesResult -> Value # toEncoding :: ListResourcesResult -> Encoding # toJSONList :: [ListResourcesResult] -> Value # toEncodingList :: [ListResourcesResult] -> Encoding #
Generic ListResourcesResult Source #
Instance details Defined in Network.MCP.Types 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 Network.MCP.Types Methods showsPrec :: Int -> ListResourcesResult -> ShowS # show :: ListResourcesResult -> String # showList :: [ListResourcesResult] -> ShowS #
Eq ListResourcesResult Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ListResourcesResult -> ListResourcesResult -> Bool # (/=) :: ListResourcesResult -> ListResourcesResult -> Bool #
type Rep ListResourcesResult Source #
Instance details Defined in Network.MCP.Types type Rep ListResourcesResult = D1 ('MetaData "ListResourcesResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ListResourcesResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "listResourcesResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Resource])))

data ReadResourceRequest Source #

Read resource request

Constructors

ReadResourceRequest
Fields resourceReadUri :: Text URI of the resource to read

Instances

Instances details

FromJSON ReadResourceRequest Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ReadResourceRequest # parseJSONList :: Value -> Parser [ReadResourceRequest] #
ToJSON ReadResourceRequest Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ReadResourceRequest -> Value # toEncoding :: ReadResourceRequest -> Encoding # toJSONList :: [ReadResourceRequest] -> Value # toEncodingList :: [ReadResourceRequest] -> Encoding #
Generic ReadResourceRequest Source #
Instance details Defined in Network.MCP.Types 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 Network.MCP.Types Methods showsPrec :: Int -> ReadResourceRequest -> ShowS # show :: ReadResourceRequest -> String # showList :: [ReadResourceRequest] -> ShowS #
Eq ReadResourceRequest Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ReadResourceRequest -> ReadResourceRequest -> Bool # (/=) :: ReadResourceRequest -> ReadResourceRequest -> Bool #
type Rep ReadResourceRequest Source #
Instance details Defined in Network.MCP.Types type Rep ReadResourceRequest = D1 ('MetaData "ReadResourceRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ReadResourceRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourceReadUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

data ReadResourceResult Source #

Read resource result

Constructors

ReadResourceResult
Fields readResourceContents :: [ResourceContent] Resource contents

Instances

Instances details

FromJSON ReadResourceResult Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ReadResourceResult # parseJSONList :: Value -> Parser [ReadResourceResult] #
ToJSON ReadResourceResult Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ReadResourceResult -> Value # toEncoding :: ReadResourceResult -> Encoding # toJSONList :: [ReadResourceResult] -> Value # toEncodingList :: [ReadResourceResult] -> Encoding #
Generic ReadResourceResult Source #
Instance details Defined in Network.MCP.Types 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 Network.MCP.Types Methods showsPrec :: Int -> ReadResourceResult -> ShowS # show :: ReadResourceResult -> String # showList :: [ReadResourceResult] -> ShowS #
Eq ReadResourceResult Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ReadResourceResult -> ReadResourceResult -> Bool # (/=) :: ReadResourceResult -> ReadResourceResult -> Bool #
type Rep ReadResourceResult Source #
Instance details Defined in Network.MCP.Types type Rep ReadResourceResult = D1 ('MetaData "ReadResourceResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ReadResourceResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "readResourceContents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ResourceContent])))

data SubscribeResourceRequest Source #

Subscribe resource request

Constructors

SubscribeResourceRequest
Fields subscribeResourceUri :: Text URI of the resource to subscribe to

Instances

Instances details

FromJSON SubscribeResourceRequest Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser SubscribeResourceRequest # parseJSONList :: Value -> Parser [SubscribeResourceRequest] #
ToJSON SubscribeResourceRequest Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: SubscribeResourceRequest -> Value # toEncoding :: SubscribeResourceRequest -> Encoding # toJSONList :: [SubscribeResourceRequest] -> Value # toEncodingList :: [SubscribeResourceRequest] -> Encoding #
Generic SubscribeResourceRequest Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep SubscribeResourceRequest :: Type -> Type # Methods from :: SubscribeResourceRequest -> Rep SubscribeResourceRequest x # to :: Rep SubscribeResourceRequest x -> SubscribeResourceRequest #
Show SubscribeResourceRequest Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> SubscribeResourceRequest -> ShowS # show :: SubscribeResourceRequest -> String # showList :: [SubscribeResourceRequest] -> ShowS #
Eq SubscribeResourceRequest Source #
Instance details Defined in Network.MCP.Types Methods (==) :: SubscribeResourceRequest -> SubscribeResourceRequest -> Bool # (/=) :: SubscribeResourceRequest -> SubscribeResourceRequest -> Bool #
type Rep SubscribeResourceRequest Source #
Instance details Defined in Network.MCP.Types type Rep SubscribeResourceRequest = D1 ('MetaData "SubscribeResourceRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "SubscribeResourceRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "subscribeResourceUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

data SubscribeResourceResult Source #

Subscribe resource result

Constructors

SubscribeResourceResult

Instances

Instances details

FromJSON SubscribeResourceResult Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser SubscribeResourceResult # parseJSONList :: Value -> Parser [SubscribeResourceResult] #
ToJSON SubscribeResourceResult Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: SubscribeResourceResult -> Value # toEncoding :: SubscribeResourceResult -> Encoding # toJSONList :: [SubscribeResourceResult] -> Value # toEncodingList :: [SubscribeResourceResult] -> Encoding #
Generic SubscribeResourceResult Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep SubscribeResourceResult :: Type -> Type # Methods from :: SubscribeResourceResult -> Rep SubscribeResourceResult x # to :: Rep SubscribeResourceResult x -> SubscribeResourceResult #
Show SubscribeResourceResult Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> SubscribeResourceResult -> ShowS # show :: SubscribeResourceResult -> String # showList :: [SubscribeResourceResult] -> ShowS #
Eq SubscribeResourceResult Source #
Instance details Defined in Network.MCP.Types Methods (==) :: SubscribeResourceResult -> SubscribeResourceResult -> Bool # (/=) :: SubscribeResourceResult -> SubscribeResourceResult -> Bool #
type Rep SubscribeResourceResult Source #
Instance details Defined in Network.MCP.Types type Rep SubscribeResourceResult = D1 ('MetaData "SubscribeResourceResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "SubscribeResourceResult" 'PrefixI 'False) (U1 :: Type -> Type))

data UnsubscribeResourceRequest Source #

Unsubscribe resource request

Constructors

UnsubscribeResourceRequest
Fields unsubscribeResourceUri :: Text URI of the resource to unsubscribe from

Instances

Instances details

FromJSON UnsubscribeResourceRequest Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser UnsubscribeResourceRequest # parseJSONList :: Value -> Parser [UnsubscribeResourceRequest] #
ToJSON UnsubscribeResourceRequest Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: UnsubscribeResourceRequest -> Value # toEncoding :: UnsubscribeResourceRequest -> Encoding # toJSONList :: [UnsubscribeResourceRequest] -> Value # toEncodingList :: [UnsubscribeResourceRequest] -> Encoding #
Generic UnsubscribeResourceRequest Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep UnsubscribeResourceRequest :: Type -> Type # Methods from :: UnsubscribeResourceRequest -> Rep UnsubscribeResourceRequest x # to :: Rep UnsubscribeResourceRequest x -> UnsubscribeResourceRequest #
Show UnsubscribeResourceRequest Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> UnsubscribeResourceRequest -> ShowS # show :: UnsubscribeResourceRequest -> String # showList :: [UnsubscribeResourceRequest] -> ShowS #
Eq UnsubscribeResourceRequest Source #
Instance details Defined in Network.MCP.Types Methods (==) :: UnsubscribeResourceRequest -> UnsubscribeResourceRequest -> Bool # (/=) :: UnsubscribeResourceRequest -> UnsubscribeResourceRequest -> Bool #
type Rep UnsubscribeResourceRequest Source #
Instance details Defined in Network.MCP.Types type Rep UnsubscribeResourceRequest = D1 ('MetaData "UnsubscribeResourceRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "UnsubscribeResourceRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "unsubscribeResourceUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

data UnsubscribeResourceResult Source #

Unsubscribe resource result

Constructors

UnsubscribeResourceResult

Instances

Instances details

FromJSON UnsubscribeResourceResult Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser UnsubscribeResourceResult # parseJSONList :: Value -> Parser [UnsubscribeResourceResult] #
ToJSON UnsubscribeResourceResult Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: UnsubscribeResourceResult -> Value # toEncoding :: UnsubscribeResourceResult -> Encoding # toJSONList :: [UnsubscribeResourceResult] -> Value # toEncodingList :: [UnsubscribeResourceResult] -> Encoding #
Generic UnsubscribeResourceResult Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep UnsubscribeResourceResult :: Type -> Type # Methods from :: UnsubscribeResourceResult -> Rep UnsubscribeResourceResult x # to :: Rep UnsubscribeResourceResult x -> UnsubscribeResourceResult #
Show UnsubscribeResourceResult Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> UnsubscribeResourceResult -> ShowS # show :: UnsubscribeResourceResult -> String # showList :: [UnsubscribeResourceResult] -> ShowS #
Eq UnsubscribeResourceResult Source #
Instance details Defined in Network.MCP.Types Methods (==) :: UnsubscribeResourceResult -> UnsubscribeResourceResult -> Bool # (/=) :: UnsubscribeResourceResult -> UnsubscribeResourceResult -> Bool #
type Rep UnsubscribeResourceResult Source #
Instance details Defined in Network.MCP.Types type Rep UnsubscribeResourceResult = D1 ('MetaData "UnsubscribeResourceResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "UnsubscribeResourceResult" 'PrefixI 'False) (U1 :: Type -> Type))

Tool Requests

data ListToolsRequest Source #

List tools request

Constructors

ListToolsRequest

Instances

Instances details

FromJSON ListToolsRequest Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ListToolsRequest # parseJSONList :: Value -> Parser [ListToolsRequest] #
ToJSON ListToolsRequest Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ListToolsRequest -> Value # toEncoding :: ListToolsRequest -> Encoding # toJSONList :: [ListToolsRequest] -> Value # toEncodingList :: [ListToolsRequest] -> Encoding #
Generic ListToolsRequest Source #
Instance details Defined in Network.MCP.Types 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 Network.MCP.Types Methods showsPrec :: Int -> ListToolsRequest -> ShowS # show :: ListToolsRequest -> String # showList :: [ListToolsRequest] -> ShowS #
Eq ListToolsRequest Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ListToolsRequest -> ListToolsRequest -> Bool # (/=) :: ListToolsRequest -> ListToolsRequest -> Bool #
type Rep ListToolsRequest Source #
Instance details Defined in Network.MCP.Types type Rep ListToolsRequest = D1 ('MetaData "ListToolsRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ListToolsRequest" 'PrefixI 'False) (U1 :: Type -> Type))

data ListToolsResult Source #

List tools result

Constructors

ListToolsResult
Fields listToolsResult :: [Tool] Available tools

Instances

Instances details

FromJSON ListToolsResult Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ListToolsResult # parseJSONList :: Value -> Parser [ListToolsResult] #
ToJSON ListToolsResult Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ListToolsResult -> Value # toEncoding :: ListToolsResult -> Encoding # toJSONList :: [ListToolsResult] -> Value # toEncodingList :: [ListToolsResult] -> Encoding #
Generic ListToolsResult Source #
Instance details Defined in Network.MCP.Types 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 Network.MCP.Types Methods showsPrec :: Int -> ListToolsResult -> ShowS # show :: ListToolsResult -> String # showList :: [ListToolsResult] -> ShowS #
Eq ListToolsResult Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ListToolsResult -> ListToolsResult -> Bool # (/=) :: ListToolsResult -> ListToolsResult -> Bool #
type Rep ListToolsResult Source #
Instance details Defined in Network.MCP.Types type Rep ListToolsResult = D1 ('MetaData "ListToolsResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ListToolsResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "listToolsResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Tool])))

data CallToolRequest Source #

Call tool request

Constructors

CallToolRequest
Fields callToolName :: Text Name of the tool to call callToolArguments :: Value Tool arguments

Instances

Instances details

FromJSON CallToolRequest Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser CallToolRequest # parseJSONList :: Value -> Parser [CallToolRequest] #
ToJSON CallToolRequest Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: CallToolRequest -> Value # toEncoding :: CallToolRequest -> Encoding # toJSONList :: [CallToolRequest] -> Value # toEncodingList :: [CallToolRequest] -> Encoding #
Generic CallToolRequest Source #
Instance details Defined in Network.MCP.Types 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 Network.MCP.Types Methods showsPrec :: Int -> CallToolRequest -> ShowS # show :: CallToolRequest -> String # showList :: [CallToolRequest] -> ShowS #
Eq CallToolRequest Source #
Instance details Defined in Network.MCP.Types Methods (==) :: CallToolRequest -> CallToolRequest -> Bool # (/=) :: CallToolRequest -> CallToolRequest -> Bool #
type Rep CallToolRequest Source #
Instance details Defined in Network.MCP.Types type Rep CallToolRequest = D1 ('MetaData "CallToolRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "CallToolRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "callToolName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "callToolArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Value)))

data CallToolResult Source #

Call tool result

Constructors

CallToolResult
Fields callToolContent :: [ToolContent] Tool execution result content callToolIsError :: Bool Whether the result is an error

Instances

Instances details

FromJSON CallToolResult Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser CallToolResult # parseJSONList :: Value -> Parser [CallToolResult] #
ToJSON CallToolResult Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: CallToolResult -> Value # toEncoding :: CallToolResult -> Encoding # toJSONList :: [CallToolResult] -> Value # toEncodingList :: [CallToolResult] -> Encoding #
Generic CallToolResult Source #
Instance details Defined in Network.MCP.Types 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 Network.MCP.Types Methods showsPrec :: Int -> CallToolResult -> ShowS # show :: CallToolResult -> String # showList :: [CallToolResult] -> ShowS #
Eq CallToolResult Source #
Instance details Defined in Network.MCP.Types Methods (==) :: CallToolResult -> CallToolResult -> Bool # (/=) :: CallToolResult -> CallToolResult -> Bool #
type Rep CallToolResult Source #
Instance details Defined in Network.MCP.Types type Rep CallToolResult = D1 ('MetaData "CallToolResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "CallToolResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "callToolContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ToolContent]) :*: S1 ('MetaSel ('Just "callToolIsError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

Prompt Requests

data ListPromptsRequest Source #

List prompts request

Constructors

ListPromptsRequest

Instances

Instances details

FromJSON ListPromptsRequest Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ListPromptsRequest # parseJSONList :: Value -> Parser [ListPromptsRequest] #
ToJSON ListPromptsRequest Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ListPromptsRequest -> Value # toEncoding :: ListPromptsRequest -> Encoding # toJSONList :: [ListPromptsRequest] -> Value # toEncodingList :: [ListPromptsRequest] -> Encoding #
Generic ListPromptsRequest Source #
Instance details Defined in Network.MCP.Types 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 Network.MCP.Types Methods showsPrec :: Int -> ListPromptsRequest -> ShowS # show :: ListPromptsRequest -> String # showList :: [ListPromptsRequest] -> ShowS #
Eq ListPromptsRequest Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ListPromptsRequest -> ListPromptsRequest -> Bool # (/=) :: ListPromptsRequest -> ListPromptsRequest -> Bool #
type Rep ListPromptsRequest Source #
Instance details Defined in Network.MCP.Types type Rep ListPromptsRequest = D1 ('MetaData "ListPromptsRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ListPromptsRequest" 'PrefixI 'False) (U1 :: Type -> Type))

data ListPromptsResult Source #

List prompts result

Constructors

ListPromptsResult
Fields listPromptsResult :: [Prompt] Available prompts

Instances

Instances details

FromJSON ListPromptsResult Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ListPromptsResult # parseJSONList :: Value -> Parser [ListPromptsResult] #
ToJSON ListPromptsResult Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ListPromptsResult -> Value # toEncoding :: ListPromptsResult -> Encoding # toJSONList :: [ListPromptsResult] -> Value # toEncodingList :: [ListPromptsResult] -> Encoding #
Generic ListPromptsResult Source #
Instance details Defined in Network.MCP.Types 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 Network.MCP.Types Methods showsPrec :: Int -> ListPromptsResult -> ShowS # show :: ListPromptsResult -> String # showList :: [ListPromptsResult] -> ShowS #
Eq ListPromptsResult Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ListPromptsResult -> ListPromptsResult -> Bool # (/=) :: ListPromptsResult -> ListPromptsResult -> Bool #
type Rep ListPromptsResult Source #
Instance details Defined in Network.MCP.Types type Rep ListPromptsResult = D1 ('MetaData "ListPromptsResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ListPromptsResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "listPromptsResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Prompt])))

data GetPromptRequest Source #

Get prompt request

Constructors

GetPromptRequest
Fields getPromptName :: Text Name of the prompt to get getPromptArguments :: Map Text Text Prompt arguments

Instances

Instances details

FromJSON GetPromptRequest Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser GetPromptRequest # parseJSONList :: Value -> Parser [GetPromptRequest] #
ToJSON GetPromptRequest Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: GetPromptRequest -> Value # toEncoding :: GetPromptRequest -> Encoding # toJSONList :: [GetPromptRequest] -> Value # toEncodingList :: [GetPromptRequest] -> Encoding #
Generic GetPromptRequest Source #
Instance details Defined in Network.MCP.Types 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 Network.MCP.Types Methods showsPrec :: Int -> GetPromptRequest -> ShowS # show :: GetPromptRequest -> String # showList :: [GetPromptRequest] -> ShowS #
Eq GetPromptRequest Source #
Instance details Defined in Network.MCP.Types Methods (==) :: GetPromptRequest -> GetPromptRequest -> Bool # (/=) :: GetPromptRequest -> GetPromptRequest -> Bool #
type Rep GetPromptRequest Source #
Instance details Defined in Network.MCP.Types type Rep GetPromptRequest = D1 ('MetaData "GetPromptRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "GetPromptRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPromptName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "getPromptArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Map Text Text))))

data GetPromptResult Source #

Get prompt result

Constructors

GetPromptResult
Fields getPromptDescription :: Maybe Text Optional description getPromptMessages :: [PromptMessage] Prompt messages

Instances

Instances details

FromJSON GetPromptResult Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser GetPromptResult # parseJSONList :: Value -> Parser [GetPromptResult] #
ToJSON GetPromptResult Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: GetPromptResult -> Value # toEncoding :: GetPromptResult -> Encoding # toJSONList :: [GetPromptResult] -> Value # toEncodingList :: [GetPromptResult] -> Encoding #
Generic GetPromptResult Source #
Instance details Defined in Network.MCP.Types 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 Network.MCP.Types Methods showsPrec :: Int -> GetPromptResult -> ShowS # show :: GetPromptResult -> String # showList :: [GetPromptResult] -> ShowS #
Eq GetPromptResult Source #
Instance details Defined in Network.MCP.Types Methods (==) :: GetPromptResult -> GetPromptResult -> Bool # (/=) :: GetPromptResult -> GetPromptResult -> Bool #
type Rep GetPromptResult Source #
Instance details Defined in Network.MCP.Types type Rep GetPromptResult = D1 ('MetaData "GetPromptResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "GetPromptResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPromptDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "getPromptMessages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [PromptMessage])))

Roots Requests

data ListRootsRequest Source #

List roots request

Constructors

ListRootsRequest

Instances

Instances details

FromJSON ListRootsRequest Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ListRootsRequest # parseJSONList :: Value -> Parser [ListRootsRequest] #
ToJSON ListRootsRequest Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ListRootsRequest -> Value # toEncoding :: ListRootsRequest -> Encoding # toJSONList :: [ListRootsRequest] -> Value # toEncodingList :: [ListRootsRequest] -> Encoding #
Generic ListRootsRequest Source #
Instance details Defined in Network.MCP.Types 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 Network.MCP.Types Methods showsPrec :: Int -> ListRootsRequest -> ShowS # show :: ListRootsRequest -> String # showList :: [ListRootsRequest] -> ShowS #
Eq ListRootsRequest Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ListRootsRequest -> ListRootsRequest -> Bool # (/=) :: ListRootsRequest -> ListRootsRequest -> Bool #
type Rep ListRootsRequest Source #
Instance details Defined in Network.MCP.Types type Rep ListRootsRequest = D1 ('MetaData "ListRootsRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ListRootsRequest" 'PrefixI 'False) (U1 :: Type -> Type))

data ListRootsResult Source #

List roots result

Constructors

ListRootsResult
Fields listRootsResult :: [Root] Available roots

Instances

Instances details

FromJSON ListRootsResult Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ListRootsResult # parseJSONList :: Value -> Parser [ListRootsResult] #
ToJSON ListRootsResult Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ListRootsResult -> Value # toEncoding :: ListRootsResult -> Encoding # toJSONList :: [ListRootsResult] -> Value # toEncodingList :: [ListRootsResult] -> Encoding #
Generic ListRootsResult Source #
Instance details Defined in Network.MCP.Types 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 Network.MCP.Types Methods showsPrec :: Int -> ListRootsResult -> ShowS # show :: ListRootsResult -> String # showList :: [ListRootsResult] -> ShowS #
Eq ListRootsResult Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ListRootsResult -> ListRootsResult -> Bool # (/=) :: ListRootsResult -> ListRootsResult -> Bool #
type Rep ListRootsResult Source #
Instance details Defined in Network.MCP.Types type Rep ListRootsResult = D1 ('MetaData "ListRootsResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ListRootsResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "listRootsResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Root])))

Notifications

data ResourcesListChangedNotification Source #

Resources list changed notification

Constructors

ResourcesListChangedNotification

Instances

Instances details

FromJSON ResourcesListChangedNotification Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ResourcesListChangedNotification # parseJSONList :: Value -> Parser [ResourcesListChangedNotification] #
ToJSON ResourcesListChangedNotification Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ResourcesListChangedNotification -> Value # toEncoding :: ResourcesListChangedNotification -> Encoding # toJSONList :: [ResourcesListChangedNotification] -> Value # toEncodingList :: [ResourcesListChangedNotification] -> Encoding #
Generic ResourcesListChangedNotification Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep ResourcesListChangedNotification :: Type -> Type # Methods from :: ResourcesListChangedNotification -> Rep ResourcesListChangedNotification x # to :: Rep ResourcesListChangedNotification x -> ResourcesListChangedNotification #
Show ResourcesListChangedNotification Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> ResourcesListChangedNotification -> ShowS # show :: ResourcesListChangedNotification -> String # showList :: [ResourcesListChangedNotification] -> ShowS #
Eq ResourcesListChangedNotification Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ResourcesListChangedNotification -> ResourcesListChangedNotification -> Bool # (/=) :: ResourcesListChangedNotification -> ResourcesListChangedNotification -> Bool #
type Rep ResourcesListChangedNotification Source #
Instance details Defined in Network.MCP.Types type Rep ResourcesListChangedNotification = D1 ('MetaData "ResourcesListChangedNotification" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ResourcesListChangedNotification" 'PrefixI 'False) (U1 :: Type -> Type))

data ResourceUpdatedNotification Source #

Resource updated notification

Constructors

ResourceUpdatedNotification
Fields resourceUpdatedUri :: Text URI of the updated resource

Instances

Instances details

FromJSON ResourceUpdatedNotification Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ResourceUpdatedNotification # parseJSONList :: Value -> Parser [ResourceUpdatedNotification] #
ToJSON ResourceUpdatedNotification Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ResourceUpdatedNotification -> Value # toEncoding :: ResourceUpdatedNotification -> Encoding # toJSONList :: [ResourceUpdatedNotification] -> Value # toEncodingList :: [ResourceUpdatedNotification] -> Encoding #
Generic ResourceUpdatedNotification Source #
Instance details Defined in Network.MCP.Types 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 Network.MCP.Types Methods showsPrec :: Int -> ResourceUpdatedNotification -> ShowS # show :: ResourceUpdatedNotification -> String # showList :: [ResourceUpdatedNotification] -> ShowS #
Eq ResourceUpdatedNotification Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ResourceUpdatedNotification -> ResourceUpdatedNotification -> Bool # (/=) :: ResourceUpdatedNotification -> ResourceUpdatedNotification -> Bool #
type Rep ResourceUpdatedNotification Source #
Instance details Defined in Network.MCP.Types type Rep ResourceUpdatedNotification = D1 ('MetaData "ResourceUpdatedNotification" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ResourceUpdatedNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourceUpdatedUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

data ToolsListChangedNotification Source #

Tools list changed notification

Constructors

ToolsListChangedNotification

Instances

Instances details

FromJSON ToolsListChangedNotification Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser ToolsListChangedNotification # parseJSONList :: Value -> Parser [ToolsListChangedNotification] #
ToJSON ToolsListChangedNotification Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: ToolsListChangedNotification -> Value # toEncoding :: ToolsListChangedNotification -> Encoding # toJSONList :: [ToolsListChangedNotification] -> Value # toEncodingList :: [ToolsListChangedNotification] -> Encoding #
Generic ToolsListChangedNotification Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep ToolsListChangedNotification :: Type -> Type # Methods from :: ToolsListChangedNotification -> Rep ToolsListChangedNotification x # to :: Rep ToolsListChangedNotification x -> ToolsListChangedNotification #
Show ToolsListChangedNotification Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> ToolsListChangedNotification -> ShowS # show :: ToolsListChangedNotification -> String # showList :: [ToolsListChangedNotification] -> ShowS #
Eq ToolsListChangedNotification Source #
Instance details Defined in Network.MCP.Types Methods (==) :: ToolsListChangedNotification -> ToolsListChangedNotification -> Bool # (/=) :: ToolsListChangedNotification -> ToolsListChangedNotification -> Bool #
type Rep ToolsListChangedNotification Source #
Instance details Defined in Network.MCP.Types type Rep ToolsListChangedNotification = D1 ('MetaData "ToolsListChangedNotification" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "ToolsListChangedNotification" 'PrefixI 'False) (U1 :: Type -> Type))

data PromptsListChangedNotification Source #

Prompts list changed notification

Constructors

PromptsListChangedNotification

Instances

Instances details

FromJSON PromptsListChangedNotification Source #
Instance details Defined in Network.MCP.Types Methods parseJSON :: Value -> Parser PromptsListChangedNotification # parseJSONList :: Value -> Parser [PromptsListChangedNotification] #
ToJSON PromptsListChangedNotification Source #
Instance details Defined in Network.MCP.Types Methods toJSON :: PromptsListChangedNotification -> Value # toEncoding :: PromptsListChangedNotification -> Encoding # toJSONList :: [PromptsListChangedNotification] -> Value # toEncodingList :: [PromptsListChangedNotification] -> Encoding #
Generic PromptsListChangedNotification Source #
Instance details Defined in Network.MCP.Types Associated Types type Rep PromptsListChangedNotification :: Type -> Type # Methods from :: PromptsListChangedNotification -> Rep PromptsListChangedNotification x # to :: Rep PromptsListChangedNotification x -> PromptsListChangedNotification #
Show PromptsListChangedNotification Source #
Instance details Defined in Network.MCP.Types Methods showsPrec :: Int -> PromptsListChangedNotification -> ShowS # show :: PromptsListChangedNotification -> String # showList :: [PromptsListChangedNotification] -> ShowS #
Eq PromptsListChangedNotification Source #
Instance details Defined in Network.MCP.Types Methods (==) :: PromptsListChangedNotification -> PromptsListChangedNotification -> Bool # (/=) :: PromptsListChangedNotification -> PromptsListChangedNotification -> Bool #
type Rep PromptsListChangedNotification Source #
Instance details Defined in Network.MCP.Types type Rep PromptsListChangedNotification = D1 ('MetaData "PromptsListChangedNotification" "Network.MCP.Types" "hs-mcp-0.1.1.0-5LuL8VDW0V2BNhAWDlOXoI" 'False) (C1 ('MetaCons "PromptsListChangedNotification" 'PrefixI 'False) (U1 :: Type -> Type))