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

MCP.Types

Contents

Constants
Basic Types
Content Types
Resource Types
Tool Types
Prompt Types
Model Types
Capability Types
Base Types
Implementation Info
Roots
Result Types

Description

This module defines the core types used in the Model Context Protocol (MCP) version 2025-06-18, including JSON-RPC message types, client/server capabilities, resources, tools, prompts, content blocks, sampling messages, elicitation forms, and various request/response types.

Key features of the 2025-06-18 implementation: - BaseMetadata interface with name/title distinction - ContentBlock type supporting text, image, audio, embedded resources, and resource links - Enhanced metadata with _meta fields and lastModified timestamps - Restricted SamplingContent type for LLM sampling (text, image, audio only) - Resource link support for referencing without embedding - Comprehensive schema validation support for tools and elicitation

Synopsis

mcpProtocolVersion :: Text
newtype RequestId = RequestId Value
data Role
- = User
- | Assistant
newtype Cursor = Cursor Text
newtype ProgressToken = ProgressToken Value
data LoggingLevel
- = Alert
- | Critical
- | Debug
- | Emergency
- | Error
- | Info
- | Notice
- | Warning
data Annotations = Annotations {
- audience :: Maybe [Role]
- priority :: Maybe Double
- lastModified :: Maybe Text
}
data TextContent = TextContent {
- textType :: Text
- text :: Text
- annotations :: Maybe Annotations
- _meta :: Maybe Metadata
}
data ImageContent = ImageContent {
- imageType :: Text
- data' :: Text
- mimeType :: Text
- annotations :: Maybe Annotations
- _meta :: Maybe Metadata
}
data AudioContent = AudioContent {
- audioType :: Text
- data' :: Text
- mimeType :: Text
- annotations :: Maybe Annotations
- _meta :: Maybe Metadata
}
data EmbeddedResource = EmbeddedResource {
- resourceType :: Text
- resource :: ResourceContents
- annotations :: Maybe Annotations
- _meta :: Maybe Metadata
}
data ResourceLink = ResourceLink {
- resourceLinkType :: Text
- uri :: Text
- name :: Text
- title :: Maybe Text
- description :: Maybe Text
- mimeType :: Maybe Text
- size :: Maybe Int
- annotations :: Maybe Annotations
- _meta :: Maybe Metadata
}
data ContentBlock
- = TextContentType TextContent
- | ImageContentType ImageContent
- | AudioContentType AudioContent
- | EmbeddedResourceType EmbeddedResource
- | ResourceLinkType ResourceLink
type Content = ContentBlock
data ResourceContents
- = TextResource TextResourceContents
- | BlobResource BlobResourceContents
data TextResourceContents = TextResourceContents {
- uri :: Text
- text :: Text
- mimeType :: Maybe Text
- _meta :: Maybe Metadata
}
data BlobResourceContents = BlobResourceContents {
- uri :: Text
- blob :: Text
- mimeType :: Maybe Text
- _meta :: Maybe Metadata
}
data Resource = Resource {
- uri :: Text
- name :: Text
- title :: Maybe Text
- description :: Maybe Text
- mimeType :: Maybe Text
- size :: Maybe Int
- annotations :: Maybe Annotations
- _meta :: Maybe Metadata
}
data ResourceTemplate = ResourceTemplate {
- name :: Text
- title :: Maybe Text
- uriTemplate :: Text
- description :: Maybe Text
- mimeType :: Maybe Text
- annotations :: Maybe Annotations
- _meta :: Maybe Metadata
}
data ResourceReference = ResourceReference {
- refType :: Text
- uri :: Text
}
data ResourceTemplateReference = ResourceTemplateReference {
- refType :: Text
- uri :: Text
}
data ToolAnnotations = ToolAnnotations {
- title :: Maybe Text
- readOnlyHint :: Maybe Bool
- destructiveHint :: Maybe Bool
- idempotentHint :: Maybe Bool
- openWorldHint :: Maybe Bool
}
data Tool = Tool {
- name :: Text
- title :: Maybe Text
- description :: Maybe Text
- inputSchema :: InputSchema
- outputSchema :: Maybe InputSchema
- annotations :: Maybe ToolAnnotations
- _meta :: Maybe Metadata
}
data InputSchema = InputSchema {
- schemaType :: Text
- properties :: Maybe (Map Text Value)
- required :: Maybe [Text]
}
data PromptArgument = PromptArgument {
- name :: Text
- title :: Maybe Text
- description :: Maybe Text
- required :: Maybe Bool
}
data Prompt = Prompt {
- name :: Text
- title :: Maybe Text
- description :: Maybe Text
- arguments :: Maybe [PromptArgument]
- _meta :: Maybe Metadata
}
data PromptMessage = PromptMessage {
- role :: Role
- content :: ContentBlock
}
data PromptReference = PromptReference {
- refType :: Text
- name :: Text
- title :: Maybe Text
}
data ModelHint where
- ModelHint :: {..} -> ModelHint
data ModelPreferences = ModelPreferences {
- hints :: Maybe [ModelHint]
- costPriority :: Maybe Double
- speedPriority :: Maybe Double
- intelligencePriority :: Maybe Double
}
data IncludeContext
- = AllServers
- | None
- | ThisServer
data SamplingContent
- = SamplingTextContent TextContent
- | SamplingImageContent ImageContent
- | SamplingAudioContent AudioContent
data SamplingMessage = SamplingMessage {
- role :: Role
- content :: SamplingContent
}
data ClientCapabilities = ClientCapabilities {
- roots :: Maybe RootsCapability
- sampling :: Maybe SamplingCapability
- elicitation :: Maybe ElicitationCapability
- experimental :: Maybe ExperimentalCapability
}
data ServerCapabilities = ServerCapabilities {
- logging :: Maybe LoggingCapability
- prompts :: Maybe PromptsCapability
- resources :: Maybe ResourcesCapability
- tools :: Maybe ToolsCapability
- completions :: Maybe CompletionsCapability
- experimental :: Maybe ExperimentalCapability
}
data RootsCapability where
- RootsCapability :: {..} -> RootsCapability
data PromptsCapability where
- PromptsCapability :: {..} -> PromptsCapability
data ResourcesCapability = ResourcesCapability {
- listChanged :: Maybe Bool
- subscribe :: Maybe Bool
}
data ToolsCapability where
- ToolsCapability :: {..} -> ToolsCapability
data CompletionsCapability = CompletionsCapability
data LoggingCapability = LoggingCapability
data SamplingCapability = SamplingCapability
data ElicitationCapability = ElicitationCapability
newtype ExperimentalCapability = ExperimentalCapability (Map Text Value)
data BaseMetadata = BaseMetadata {
- name :: Text
- title :: Maybe Text
}
data Implementation = Implementation {
- name :: Text
- title :: Maybe Text
- version :: Text
}
data Root = Root {
- uri :: Text
- name :: Maybe Text
- _meta :: Maybe Metadata
}
data Result where
- Result :: {..} -> Result
newtype Metadata = Metadata (Map Text Value)

Constants

mcpProtocolVersion :: Text Source #

The current MCP protocol version

Basic Types

newtype RequestId Source #

A uniquely identifying ID for a request in JSON-RPC

Constructors

RequestId Value

Instances

Instances details

FromJSON RequestId Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser RequestId # parseJSONList :: Value -> Parser [RequestId] # omittedField :: Maybe RequestId #
ToJSON RequestId Source #
Instance details Defined in MCP.Types Methods toJSON :: RequestId -> Value # toEncoding :: RequestId -> Encoding # toJSONList :: [RequestId] -> Value # toEncodingList :: [RequestId] -> Encoding # omitField :: RequestId -> Bool #
Show RequestId Source #
Instance details Defined in MCP.Types Methods showsPrec :: Int -> RequestId -> ShowS # show :: RequestId -> String # showList :: [RequestId] -> ShowS #
Eq RequestId Source #
Instance details Defined in MCP.Types Methods (==) :: RequestId -> RequestId -> Bool # (/=) :: RequestId -> RequestId -> Bool #

data Role Source #

The sender or recipient of messages and data in a conversation

Constructors

User
Assistant

Instances

Instances details

FromJSON Role Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser Role # parseJSONList :: Value -> Parser [Role] # omittedField :: Maybe Role #
ToJSON Role Source #
Instance details Defined in MCP.Types Methods toJSON :: Role -> Value # toEncoding :: Role -> Encoding # toJSONList :: [Role] -> Value # toEncodingList :: [Role] -> Encoding # omitField :: Role -> Bool #
Generic Role Source #
Instance details Defined in MCP.Types Associated Types type Rep Role :: Type -> Type # Methods from :: Role -> Rep Role x # to :: Rep Role x -> Role #
Show Role Source #
Instance details Defined in MCP.Types Methods showsPrec :: Int -> Role -> ShowS # show :: Role -> String # showList :: [Role] -> ShowS #
Eq Role Source #
Instance details Defined in MCP.Types Methods (==) :: Role -> Role -> Bool # (/=) :: Role -> Role -> Bool #
type Rep Role Source #
Instance details Defined in MCP.Types type Rep Role = D1 ('MetaData "Role" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "User" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Assistant" 'PrefixI 'False) (U1 :: Type -> Type))

newtype Cursor Source #

An opaque token used to represent a cursor for pagination

Constructors

Cursor Text

Instances

Instances details

FromJSON Cursor Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser Cursor # parseJSONList :: Value -> Parser [Cursor] # omittedField :: Maybe Cursor #
ToJSON Cursor Source #
Instance details Defined in MCP.Types Methods toJSON :: Cursor -> Value # toEncoding :: Cursor -> Encoding # toJSONList :: [Cursor] -> Value # toEncodingList :: [Cursor] -> Encoding # omitField :: Cursor -> Bool #
Show Cursor Source #
Instance details Defined in MCP.Types Methods showsPrec :: Int -> Cursor -> ShowS # show :: Cursor -> String # showList :: [Cursor] -> ShowS #
Eq Cursor Source #
Instance details Defined in MCP.Types Methods (==) :: Cursor -> Cursor -> Bool # (/=) :: Cursor -> Cursor -> Bool #

newtype ProgressToken Source #

A progress token, used to associate progress notifications with the original request

Constructors

ProgressToken Value

Instances

Instances details

FromJSON ProgressToken Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser ProgressToken # parseJSONList :: Value -> Parser [ProgressToken] # omittedField :: Maybe ProgressToken #
ToJSON ProgressToken Source #
Instance details Defined in MCP.Types Methods toJSON :: ProgressToken -> Value # toEncoding :: ProgressToken -> Encoding # toJSONList :: [ProgressToken] -> Value # toEncodingList :: [ProgressToken] -> Encoding # omitField :: ProgressToken -> Bool #
Show ProgressToken Source #
Instance details Defined in MCP.Types Methods showsPrec :: Int -> ProgressToken -> ShowS # show :: ProgressToken -> String # showList :: [ProgressToken] -> ShowS #
Eq ProgressToken Source #
Instance details Defined in MCP.Types Methods (==) :: ProgressToken -> ProgressToken -> Bool # (/=) :: ProgressToken -> ProgressToken -> Bool #

data LoggingLevel Source #

The severity of a log message

Constructors

Alert
Critical
Debug
Emergency
Error
Info
Notice
Warning

Instances

Instances details

FromJSON LoggingLevel Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser LoggingLevel # parseJSONList :: Value -> Parser [LoggingLevel] # omittedField :: Maybe LoggingLevel #
ToJSON LoggingLevel Source #
Instance details Defined in MCP.Types Methods toJSON :: LoggingLevel -> Value # toEncoding :: LoggingLevel -> Encoding # toJSONList :: [LoggingLevel] -> Value # toEncodingList :: [LoggingLevel] -> Encoding # omitField :: LoggingLevel -> Bool #
Generic LoggingLevel Source #
Instance details Defined in MCP.Types Associated Types type Rep LoggingLevel :: Type -> Type # Methods from :: LoggingLevel -> Rep LoggingLevel x # to :: Rep LoggingLevel x -> LoggingLevel #
Show LoggingLevel Source #
Instance details Defined in MCP.Types Methods showsPrec :: Int -> LoggingLevel -> ShowS # show :: LoggingLevel -> String # showList :: [LoggingLevel] -> ShowS #
Eq LoggingLevel Source #
Instance details Defined in MCP.Types Methods (==) :: LoggingLevel -> LoggingLevel -> Bool # (/=) :: LoggingLevel -> LoggingLevel -> Bool #
type Rep LoggingLevel Source #
Instance details Defined in MCP.Types type Rep LoggingLevel = D1 ('MetaData "LoggingLevel" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (((C1 ('MetaCons "Alert" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Critical" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Debug" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Emergency" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Error" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Info" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Notice" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Warning" 'PrefixI 'False) (U1 :: Type -> Type))))

Content Types

data Annotations Source #

Optional annotations for the client

Constructors

Annotations
Fields audience :: Maybe [Role] priority :: Maybe Double lastModified :: Maybe Text

Instances

Instances details

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

data TextContent Source #

Text provided to or from an LLM

Constructors

TextContent
Fields textType :: Text text :: Text annotations :: Maybe Annotations _meta :: Maybe Metadata

Instances

Instances details

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

data ImageContent Source #

An image provided to or from an LLM

Constructors

ImageContent
Fields imageType :: Text data' :: Text mimeType :: Text annotations :: Maybe Annotations _meta :: Maybe Metadata

Instances

Instances details

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

data AudioContent Source #

Audio provided to or from an LLM

Constructors

AudioContent
Fields audioType :: Text data' :: Text mimeType :: Text annotations :: Maybe Annotations _meta :: Maybe Metadata

Instances

Instances details

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

data EmbeddedResource Source #

The contents of a resource, embedded into a prompt or tool call result

Constructors

EmbeddedResource
Fields resourceType :: Text resource :: ResourceContents annotations :: Maybe Annotations _meta :: Maybe Metadata

Instances

Instances details

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

data ResourceLink Source #

A resource that the server is capable of reading, included in a prompt or tool call result

Constructors

ResourceLink
Fields resourceLinkType :: Text uri :: Text name :: Text title :: Maybe Text description :: Maybe Text mimeType :: Maybe Text size :: Maybe Int annotations :: Maybe Annotations _meta :: Maybe Metadata

Instances

Instances details

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

data ContentBlock Source #

Content blocks that can be text, image, audio, embedded resource, or resource link

Constructors

TextContentType TextContent
ImageContentType ImageContent
AudioContentType AudioContent
EmbeddedResourceType EmbeddedResource
ResourceLinkType ResourceLink

Instances

Instances details

FromJSON ContentBlock Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser ContentBlock # parseJSONList :: Value -> Parser [ContentBlock] # omittedField :: Maybe ContentBlock #
ToJSON ContentBlock Source #
Instance details Defined in MCP.Types Methods toJSON :: ContentBlock -> Value # toEncoding :: ContentBlock -> Encoding # toJSONList :: [ContentBlock] -> Value # toEncodingList :: [ContentBlock] -> Encoding # omitField :: ContentBlock -> Bool #
Generic ContentBlock Source #
Instance details Defined in MCP.Types Associated Types type Rep ContentBlock :: Type -> Type # Methods from :: ContentBlock -> Rep ContentBlock x # to :: Rep ContentBlock x -> ContentBlock #
Show ContentBlock Source #
Instance details Defined in MCP.Types Methods showsPrec :: Int -> ContentBlock -> ShowS # show :: ContentBlock -> String # showList :: [ContentBlock] -> ShowS #
Eq ContentBlock Source #
Instance details Defined in MCP.Types Methods (==) :: ContentBlock -> ContentBlock -> Bool # (/=) :: ContentBlock -> ContentBlock -> Bool #
type Rep ContentBlock Source #
Instance details Defined in MCP.Types type Rep ContentBlock = D1 ('MetaData "ContentBlock" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "TextContentType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TextContent)) :+: C1 ('MetaCons "ImageContentType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ImageContent))) :+: (C1 ('MetaCons "AudioContentType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AudioContent)) :+: (C1 ('MetaCons "EmbeddedResourceType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EmbeddedResource)) :+: C1 ('MetaCons "ResourceLinkType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ResourceLink)))))

type Content = ContentBlock Source #

Legacy alias for ContentBlock (for backward compatibility)

Resource Types

data ResourceContents Source #

Resource contents (text or blob)

Constructors

TextResource TextResourceContents
BlobResource BlobResourceContents

Instances

Instances details

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

data TextResourceContents Source #

Text resource contents

Constructors

TextResourceContents
Fields uri :: Text text :: Text mimeType :: Maybe Text _meta :: Maybe Metadata

Instances

Instances details

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

data BlobResourceContents Source #

Blob resource contents

Constructors

BlobResourceContents
Fields uri :: Text blob :: Text mimeType :: Maybe Text _meta :: Maybe Metadata

Instances

Instances details

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

data Resource Source #

A known resource that the server is capable of reading

Constructors

Resource
Fields uri :: Text name :: Text title :: Maybe Text description :: Maybe Text mimeType :: Maybe Text size :: Maybe Int annotations :: Maybe Annotations _meta :: Maybe Metadata

Instances

Instances details

FromJSON Resource Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser Resource # parseJSONList :: Value -> Parser [Resource] # omittedField :: Maybe Resource #
ToJSON Resource Source #
Instance details Defined in MCP.Types Methods toJSON :: Resource -> Value # toEncoding :: Resource -> Encoding # toJSONList :: [Resource] -> Value # toEncodingList :: [Resource] -> Encoding # omitField :: Resource -> Bool #
Generic Resource Source #
Instance details Defined in 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 MCP.Types Methods showsPrec :: Int -> Resource -> ShowS # show :: Resource -> String # showList :: [Resource] -> ShowS #
Eq Resource Source #
Instance details Defined in MCP.Types Methods (==) :: Resource -> Resource -> Bool # (/=) :: Resource -> Resource -> Bool #
type Rep Resource Source #
Instance details Defined in MCP.Types type Rep Resource = D1 ('MetaData "Resource" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "Resource" 'PrefixI 'True) (((S1 ('MetaSel ('Just "uri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :: (S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))) :: ((S1 ('MetaSel ('Just "mimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "size") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int))) :: (S1 ('MetaSel ('Just "annotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Annotations)) :*: S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata))))))

data ResourceTemplate Source #

A template description for resources available on the server

Constructors

ResourceTemplate
Fields name :: Text title :: Maybe Text uriTemplate :: Text description :: Maybe Text mimeType :: Maybe Text annotations :: Maybe Annotations _meta :: Maybe Metadata

Instances

Instances details

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

data ResourceReference Source #

A reference to a resource or resource template definition

Constructors

ResourceReference
Fields refType :: Text uri :: Text

Instances

Instances details

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

data ResourceTemplateReference Source #

A reference to a resource template definition

Constructors

ResourceTemplateReference
Fields refType :: Text uri :: Text

Instances

Instances details

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

Tool Types

data ToolAnnotations Source #

Additional properties describing a Tool to clients

Constructors

ToolAnnotations
Fields title :: Maybe Text readOnlyHint :: Maybe Bool destructiveHint :: Maybe Bool idempotentHint :: Maybe Bool openWorldHint :: Maybe Bool

Instances

Instances details

FromJSON ToolAnnotations Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser ToolAnnotations # parseJSONList :: Value -> Parser [ToolAnnotations] # omittedField :: Maybe ToolAnnotations #
ToJSON ToolAnnotations Source #
Instance details Defined in MCP.Types Methods toJSON :: ToolAnnotations -> Value # toEncoding :: ToolAnnotations -> Encoding # toJSONList :: [ToolAnnotations] -> Value # toEncodingList :: [ToolAnnotations] -> Encoding # omitField :: ToolAnnotations -> Bool #
Generic ToolAnnotations Source #
Instance details Defined in 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 MCP.Types Methods showsPrec :: Int -> ToolAnnotations -> ShowS # show :: ToolAnnotations -> String # showList :: [ToolAnnotations] -> ShowS #
Eq ToolAnnotations Source #
Instance details Defined in MCP.Types Methods (==) :: ToolAnnotations -> ToolAnnotations -> Bool # (/=) :: ToolAnnotations -> ToolAnnotations -> Bool #
type Rep ToolAnnotations Source #
Instance details Defined in MCP.Types type Rep ToolAnnotations = D1 ('MetaData "ToolAnnotations" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "ToolAnnotations" 'PrefixI 'True) ((S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "readOnlyHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))) :: (S1 ('MetaSel ('Just "destructiveHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :: (S1 ('MetaSel ('Just "idempotentHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :: S1 ('MetaSel ('Just "openWorldHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))))

data Tool Source #

Definition for a tool the client can call

Constructors

Tool
Fields name :: Text title :: Maybe Text description :: Maybe Text inputSchema :: InputSchema outputSchema :: Maybe InputSchema annotations :: Maybe ToolAnnotations _meta :: Maybe Metadata

Instances

Instances details

FromJSON Tool Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser Tool # parseJSONList :: Value -> Parser [Tool] # omittedField :: Maybe Tool #
ToJSON Tool Source #
Instance details Defined in MCP.Types Methods toJSON :: Tool -> Value # toEncoding :: Tool -> Encoding # toJSONList :: [Tool] -> Value # toEncodingList :: [Tool] -> Encoding # omitField :: Tool -> Bool #
Generic Tool Source #
Instance details Defined in 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 MCP.Types Methods showsPrec :: Int -> Tool -> ShowS # show :: Tool -> String # showList :: [Tool] -> ShowS #
Eq Tool Source #
Instance details Defined in MCP.Types Methods (==) :: Tool -> Tool -> Bool # (/=) :: Tool -> Tool -> Bool #
type Rep Tool Source #
Instance details Defined in MCP.Types type Rep Tool = D1 ('MetaData "Tool" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "Tool" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))) :: ((S1 ('MetaSel ('Just "inputSchema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InputSchema) :: S1 ('MetaSel ('Just "outputSchema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe InputSchema))) :: (S1 ('MetaSel ('Just "annotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ToolAnnotations)) :: S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata))))))

data InputSchema Source #

Input schema for a tool

Constructors

InputSchema
Fields schemaType :: Text properties :: Maybe (Map Text Value) required :: Maybe [Text]

Instances

Instances details

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

Prompt Types

data PromptArgument Source #

Describes an argument that a prompt can accept

Constructors

PromptArgument
Fields name :: Text title :: Maybe Text description :: Maybe Text required :: Maybe Bool

Instances

Instances details

FromJSON PromptArgument Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser PromptArgument # parseJSONList :: Value -> Parser [PromptArgument] # omittedField :: Maybe PromptArgument #
ToJSON PromptArgument Source #
Instance details Defined in MCP.Types Methods toJSON :: PromptArgument -> Value # toEncoding :: PromptArgument -> Encoding # toJSONList :: [PromptArgument] -> Value # toEncodingList :: [PromptArgument] -> Encoding # omitField :: PromptArgument -> Bool #
Generic PromptArgument Source #
Instance details Defined in 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 MCP.Types Methods showsPrec :: Int -> PromptArgument -> ShowS # show :: PromptArgument -> String # showList :: [PromptArgument] -> ShowS #
Eq PromptArgument Source #
Instance details Defined in MCP.Types Methods (==) :: PromptArgument -> PromptArgument -> Bool # (/=) :: PromptArgument -> PromptArgument -> Bool #
type Rep PromptArgument Source #
Instance details Defined in MCP.Types type Rep PromptArgument = D1 ('MetaData "PromptArgument" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "PromptArgument" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))) :: (S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "required") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)))))

data Prompt Source #

A prompt or prompt template that the server offers

Constructors

Prompt
Fields name :: Text title :: Maybe Text description :: Maybe Text arguments :: Maybe [PromptArgument] _meta :: Maybe Metadata

Instances

Instances details

FromJSON Prompt Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser Prompt # parseJSONList :: Value -> Parser [Prompt] # omittedField :: Maybe Prompt #
ToJSON Prompt Source #
Instance details Defined in MCP.Types Methods toJSON :: Prompt -> Value # toEncoding :: Prompt -> Encoding # toJSONList :: [Prompt] -> Value # toEncodingList :: [Prompt] -> Encoding # omitField :: Prompt -> Bool #
Generic Prompt Source #
Instance details Defined in 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 MCP.Types Methods showsPrec :: Int -> Prompt -> ShowS # show :: Prompt -> String # showList :: [Prompt] -> ShowS #
Eq Prompt Source #
Instance details Defined in MCP.Types Methods (==) :: Prompt -> Prompt -> Bool # (/=) :: Prompt -> Prompt -> Bool #
type Rep Prompt Source #
Instance details Defined in MCP.Types type Rep Prompt = D1 ('MetaData "Prompt" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "Prompt" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))) :: (S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: (S1 ('MetaSel ('Just "arguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [PromptArgument])) :: S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata))))))

data PromptMessage Source #

Describes a message returned as part of a prompt

Constructors

PromptMessage
Fields role :: Role content :: ContentBlock

Instances

Instances details

FromJSON PromptMessage Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser PromptMessage # parseJSONList :: Value -> Parser [PromptMessage] # omittedField :: Maybe PromptMessage #
ToJSON PromptMessage Source #
Instance details Defined in MCP.Types Methods toJSON :: PromptMessage -> Value # toEncoding :: PromptMessage -> Encoding # toJSONList :: [PromptMessage] -> Value # toEncodingList :: [PromptMessage] -> Encoding # omitField :: PromptMessage -> Bool #
Generic PromptMessage Source #
Instance details Defined in 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 MCP.Types Methods showsPrec :: Int -> PromptMessage -> ShowS # show :: PromptMessage -> String # showList :: [PromptMessage] -> ShowS #
Eq PromptMessage Source #
Instance details Defined in MCP.Types Methods (==) :: PromptMessage -> PromptMessage -> Bool # (/=) :: PromptMessage -> PromptMessage -> Bool #
type Rep PromptMessage Source #
Instance details Defined in MCP.Types type Rep PromptMessage = D1 ('MetaData "PromptMessage" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "PromptMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "role") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Role) :*: S1 ('MetaSel ('Just "content") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContentBlock)))

data PromptReference Source #

Identifies a prompt

Constructors

PromptReference
Fields refType :: Text name :: Text title :: Maybe Text

Instances

Instances details

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

Model Types

data ModelHint where Source #

Hints to use for model selection

Constructors

ModelHint
Fields :: { name :: Maybe Text } -> ModelHint

Instances

Instances details

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

data ModelPreferences Source #

The server's preferences for model selection

Constructors

ModelPreferences
Fields hints :: Maybe [ModelHint] costPriority :: Maybe Double speedPriority :: Maybe Double intelligencePriority :: Maybe Double

Instances

Instances details

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

data IncludeContext Source #

Include context options for sampling

Constructors

AllServers
None
ThisServer

Instances

Instances details

FromJSON IncludeContext Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser IncludeContext # parseJSONList :: Value -> Parser [IncludeContext] # omittedField :: Maybe IncludeContext #
ToJSON IncludeContext Source #
Instance details Defined in MCP.Types Methods toJSON :: IncludeContext -> Value # toEncoding :: IncludeContext -> Encoding # toJSONList :: [IncludeContext] -> Value # toEncodingList :: [IncludeContext] -> Encoding # omitField :: IncludeContext -> Bool #
Generic IncludeContext Source #
Instance details Defined in MCP.Types Associated Types type Rep IncludeContext :: Type -> Type # Methods from :: IncludeContext -> Rep IncludeContext x # to :: Rep IncludeContext x -> IncludeContext #
Show IncludeContext Source #
Instance details Defined in MCP.Types Methods showsPrec :: Int -> IncludeContext -> ShowS # show :: IncludeContext -> String # showList :: [IncludeContext] -> ShowS #
Eq IncludeContext Source #
Instance details Defined in MCP.Types Methods (==) :: IncludeContext -> IncludeContext -> Bool # (/=) :: IncludeContext -> IncludeContext -> Bool #
type Rep IncludeContext Source #
Instance details Defined in MCP.Types type Rep IncludeContext = D1 ('MetaData "IncludeContext" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "AllServers" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "None" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ThisServer" 'PrefixI 'False) (U1 :: Type -> Type)))

data SamplingContent Source #

Restricted content type for sampling messages (text, image, audio only)

Constructors

SamplingTextContent TextContent
SamplingImageContent ImageContent
SamplingAudioContent AudioContent

Instances

Instances details

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

data SamplingMessage Source #

Describes a message issued to or received from an LLM API

Constructors

SamplingMessage
Fields role :: Role content :: SamplingContent

Instances

Instances details

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

Capability Types

data ClientCapabilities Source #

Capabilities a client may support

Constructors

ClientCapabilities
Fields roots :: Maybe RootsCapability sampling :: Maybe SamplingCapability elicitation :: Maybe ElicitationCapability experimental :: Maybe ExperimentalCapability

Instances

Instances details

FromJSON ClientCapabilities Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser ClientCapabilities # parseJSONList :: Value -> Parser [ClientCapabilities] # omittedField :: Maybe ClientCapabilities #
ToJSON ClientCapabilities Source #
Instance details Defined in MCP.Types Methods toJSON :: ClientCapabilities -> Value # toEncoding :: ClientCapabilities -> Encoding # toJSONList :: [ClientCapabilities] -> Value # toEncodingList :: [ClientCapabilities] -> Encoding # omitField :: ClientCapabilities -> Bool #
Generic ClientCapabilities Source #
Instance details Defined in 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 MCP.Types Methods showsPrec :: Int -> ClientCapabilities -> ShowS # show :: ClientCapabilities -> String # showList :: [ClientCapabilities] -> ShowS #
Eq ClientCapabilities Source #
Instance details Defined in MCP.Types Methods (==) :: ClientCapabilities -> ClientCapabilities -> Bool # (/=) :: ClientCapabilities -> ClientCapabilities -> Bool #
type Rep ClientCapabilities Source #
Instance details Defined in MCP.Types type Rep ClientCapabilities = D1 ('MetaData "ClientCapabilities" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "ClientCapabilities" 'PrefixI 'True) ((S1 ('MetaSel ('Just "roots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe RootsCapability)) :: S1 ('MetaSel ('Just "sampling") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe SamplingCapability))) :: (S1 ('MetaSel ('Just "elicitation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ElicitationCapability)) :*: S1 ('MetaSel ('Just "experimental") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ExperimentalCapability)))))

data ServerCapabilities Source #

Capabilities that a server may support

Constructors

ServerCapabilities
Fields logging :: Maybe LoggingCapability prompts :: Maybe PromptsCapability resources :: Maybe ResourcesCapability tools :: Maybe ToolsCapability completions :: Maybe CompletionsCapability experimental :: Maybe ExperimentalCapability

Instances

Instances details

FromJSON ServerCapabilities Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser ServerCapabilities # parseJSONList :: Value -> Parser [ServerCapabilities] # omittedField :: Maybe ServerCapabilities #
ToJSON ServerCapabilities Source #
Instance details Defined in MCP.Types Methods toJSON :: ServerCapabilities -> Value # toEncoding :: ServerCapabilities -> Encoding # toJSONList :: [ServerCapabilities] -> Value # toEncodingList :: [ServerCapabilities] -> Encoding # omitField :: ServerCapabilities -> Bool #
Generic ServerCapabilities Source #
Instance details Defined in 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 MCP.Types Methods showsPrec :: Int -> ServerCapabilities -> ShowS # show :: ServerCapabilities -> String # showList :: [ServerCapabilities] -> ShowS #
Eq ServerCapabilities Source #
Instance details Defined in MCP.Types Methods (==) :: ServerCapabilities -> ServerCapabilities -> Bool # (/=) :: ServerCapabilities -> ServerCapabilities -> Bool #
type Rep ServerCapabilities Source #
Instance details Defined in MCP.Types type Rep ServerCapabilities = D1 ('MetaData "ServerCapabilities" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "ServerCapabilities" 'PrefixI 'True) ((S1 ('MetaSel ('Just "logging") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe LoggingCapability)) :: (S1 ('MetaSel ('Just "prompts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe PromptsCapability)) :: S1 ('MetaSel ('Just "resources") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ResourcesCapability)))) :: (S1 ('MetaSel ('Just "tools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ToolsCapability)) :: (S1 ('MetaSel ('Just "completions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CompletionsCapability)) :*: S1 ('MetaSel ('Just "experimental") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ExperimentalCapability))))))

data RootsCapability where Source #

Roots capability

Constructors

RootsCapability
Fields :: { listChanged :: Maybe Bool } -> RootsCapability

Instances

Instances details

FromJSON RootsCapability Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser RootsCapability # parseJSONList :: Value -> Parser [RootsCapability] # omittedField :: Maybe RootsCapability #
ToJSON RootsCapability Source #
Instance details Defined in MCP.Types Methods toJSON :: RootsCapability -> Value # toEncoding :: RootsCapability -> Encoding # toJSONList :: [RootsCapability] -> Value # toEncodingList :: [RootsCapability] -> Encoding # omitField :: RootsCapability -> Bool #
Generic RootsCapability Source #
Instance details Defined in 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 MCP.Types Methods showsPrec :: Int -> RootsCapability -> ShowS # show :: RootsCapability -> String # showList :: [RootsCapability] -> ShowS #
Eq RootsCapability Source #
Instance details Defined in MCP.Types Methods (==) :: RootsCapability -> RootsCapability -> Bool # (/=) :: RootsCapability -> RootsCapability -> Bool #
type Rep RootsCapability Source #
Instance details Defined in MCP.Types type Rep RootsCapability = D1 ('MetaData "RootsCapability" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "RootsCapability" 'PrefixI 'True) (S1 ('MetaSel ('Just "listChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))

data PromptsCapability where Source #

Prompts capability

Constructors

PromptsCapability
Fields :: { listChanged :: Maybe Bool } -> PromptsCapability

Instances

Instances details

FromJSON PromptsCapability Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser PromptsCapability # parseJSONList :: Value -> Parser [PromptsCapability] # omittedField :: Maybe PromptsCapability #
ToJSON PromptsCapability Source #
Instance details Defined in MCP.Types Methods toJSON :: PromptsCapability -> Value # toEncoding :: PromptsCapability -> Encoding # toJSONList :: [PromptsCapability] -> Value # toEncodingList :: [PromptsCapability] -> Encoding # omitField :: PromptsCapability -> Bool #
Generic PromptsCapability Source #
Instance details Defined in 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 MCP.Types Methods showsPrec :: Int -> PromptsCapability -> ShowS # show :: PromptsCapability -> String # showList :: [PromptsCapability] -> ShowS #
Eq PromptsCapability Source #
Instance details Defined in MCP.Types Methods (==) :: PromptsCapability -> PromptsCapability -> Bool # (/=) :: PromptsCapability -> PromptsCapability -> Bool #
type Rep PromptsCapability Source #
Instance details Defined in MCP.Types type Rep PromptsCapability = D1 ('MetaData "PromptsCapability" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "PromptsCapability" 'PrefixI 'True) (S1 ('MetaSel ('Just "listChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))

data ResourcesCapability Source #

Resources capability

Constructors

ResourcesCapability
Fields listChanged :: Maybe Bool subscribe :: Maybe Bool

Instances

Instances details

FromJSON ResourcesCapability Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser ResourcesCapability # parseJSONList :: Value -> Parser [ResourcesCapability] # omittedField :: Maybe ResourcesCapability #
ToJSON ResourcesCapability Source #
Instance details Defined in MCP.Types Methods toJSON :: ResourcesCapability -> Value # toEncoding :: ResourcesCapability -> Encoding # toJSONList :: [ResourcesCapability] -> Value # toEncodingList :: [ResourcesCapability] -> Encoding # omitField :: ResourcesCapability -> Bool #
Generic ResourcesCapability Source #
Instance details Defined in 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 MCP.Types Methods showsPrec :: Int -> ResourcesCapability -> ShowS # show :: ResourcesCapability -> String # showList :: [ResourcesCapability] -> ShowS #
Eq ResourcesCapability Source #
Instance details Defined in MCP.Types Methods (==) :: ResourcesCapability -> ResourcesCapability -> Bool # (/=) :: ResourcesCapability -> ResourcesCapability -> Bool #
type Rep ResourcesCapability Source #
Instance details Defined in MCP.Types type Rep ResourcesCapability = D1 ('MetaData "ResourcesCapability" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "ResourcesCapability" 'PrefixI 'True) (S1 ('MetaSel ('Just "listChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :*: S1 ('MetaSel ('Just "subscribe") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))

data ToolsCapability where Source #

Tools capability

Constructors

ToolsCapability
Fields :: { listChanged :: Maybe Bool } -> ToolsCapability

Instances

Instances details

FromJSON ToolsCapability Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser ToolsCapability # parseJSONList :: Value -> Parser [ToolsCapability] # omittedField :: Maybe ToolsCapability #
ToJSON ToolsCapability Source #
Instance details Defined in MCP.Types Methods toJSON :: ToolsCapability -> Value # toEncoding :: ToolsCapability -> Encoding # toJSONList :: [ToolsCapability] -> Value # toEncodingList :: [ToolsCapability] -> Encoding # omitField :: ToolsCapability -> Bool #
Generic ToolsCapability Source #
Instance details Defined in 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 MCP.Types Methods showsPrec :: Int -> ToolsCapability -> ShowS # show :: ToolsCapability -> String # showList :: [ToolsCapability] -> ShowS #
Eq ToolsCapability Source #
Instance details Defined in MCP.Types Methods (==) :: ToolsCapability -> ToolsCapability -> Bool # (/=) :: ToolsCapability -> ToolsCapability -> Bool #
type Rep ToolsCapability Source #
Instance details Defined in MCP.Types type Rep ToolsCapability = D1 ('MetaData "ToolsCapability" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "ToolsCapability" 'PrefixI 'True) (S1 ('MetaSel ('Just "listChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))

data CompletionsCapability Source #

Completions capability

Constructors

CompletionsCapability

Instances

Instances details

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

data LoggingCapability Source #

Logging capability

Constructors

LoggingCapability

Instances

Instances details

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

data SamplingCapability Source #

Sampling capability

Constructors

SamplingCapability

Instances

Instances details

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

data ElicitationCapability Source #

Elicitation capability

Constructors

ElicitationCapability

Instances

Instances details

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

newtype ExperimentalCapability Source #

Experimental capability

Constructors

ExperimentalCapability (Map Text Value)

Instances

Instances details

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

Base Types

data BaseMetadata Source #

Base interface for metadata with name and optional title

Constructors

BaseMetadata
Fields name :: Text title :: Maybe Text

Instances

Instances details

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

Implementation Info

data Implementation Source #

Describes the name and version of an MCP implementation

Constructors

Implementation
Fields name :: Text title :: Maybe Text version :: Text

Instances

Instances details

FromJSON Implementation Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser Implementation # parseJSONList :: Value -> Parser [Implementation] # omittedField :: Maybe Implementation #
ToJSON Implementation Source #
Instance details Defined in MCP.Types Methods toJSON :: Implementation -> Value # toEncoding :: Implementation -> Encoding # toJSONList :: [Implementation] -> Value # toEncodingList :: [Implementation] -> Encoding # omitField :: Implementation -> Bool #
Generic Implementation Source #
Instance details Defined in 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 MCP.Types Methods showsPrec :: Int -> Implementation -> ShowS # show :: Implementation -> String # showList :: [Implementation] -> ShowS #
Eq Implementation Source #
Instance details Defined in MCP.Types Methods (==) :: Implementation -> Implementation -> Bool # (/=) :: Implementation -> Implementation -> Bool #
type Rep Implementation Source #
Instance details Defined in MCP.Types type Rep Implementation = D1 ('MetaData "Implementation" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "Implementation" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "version") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

Roots

data Root Source #

Represents a root directory or file that the server can operate on

Constructors

Root
Fields uri :: Text name :: Maybe Text _meta :: Maybe Metadata

Instances

Instances details

FromJSON Root Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser Root # parseJSONList :: Value -> Parser [Root] # omittedField :: Maybe Root #
ToJSON Root Source #
Instance details Defined in MCP.Types Methods toJSON :: Root -> Value # toEncoding :: Root -> Encoding # toJSONList :: [Root] -> Value # toEncodingList :: [Root] -> Encoding # omitField :: Root -> Bool #
Generic Root Source #
Instance details Defined in 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 MCP.Types Methods showsPrec :: Int -> Root -> ShowS # show :: Root -> String # showList :: [Root] -> ShowS #
Eq Root Source #
Instance details Defined in MCP.Types Methods (==) :: Root -> Root -> Bool # (/=) :: Root -> Root -> Bool #
type Rep Root Source #
Instance details Defined in MCP.Types type Rep Root = D1 ('MetaData "Root" "MCP.Types" "mcp-0.3.0.0-inplace" 'False) (C1 ('MetaCons "Root" 'PrefixI 'True) (S1 ('MetaSel ('Just "uri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "_meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Metadata)))))

Result Types

data Result where Source #

Base result type

Constructors

Result
Fields :: { _meta :: Maybe Metadata } -> Result

Instances

Instances details

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

newtype Metadata Source #

Metadata for results and other types

Constructors

Metadata (Map Text Value)

Instances

Instances details

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