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

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

Description

This module defines the core types used in the Model Context Protocol (MCP), including JSON-RPC message types, client/server capabilities, resources, tools, prompts, and various request/response types.

Synopsis

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
}
data TextContent = TextContent {
- textType :: Text
- text :: Text
- annotations :: Maybe Annotations
}
data ImageContent = ImageContent {
- imageType :: Text
- data' :: Text
- mimeType :: Text
- annotations :: Maybe Annotations
}
data AudioContent = AudioContent {
- audioType :: Text
- data' :: Text
- mimeType :: Text
- annotations :: Maybe Annotations
}
data EmbeddedResource = EmbeddedResource {
- resourceType :: Text
- resource :: ResourceContents
- annotations :: Maybe Annotations
}
data Content
- = TextContentType TextContent
- | ImageContentType ImageContent
- | AudioContentType AudioContent
- | EmbeddedResourceType EmbeddedResource
data ResourceContents
- = TextResource TextResourceContents
- | BlobResource BlobResourceContents
data TextResourceContents = TextResourceContents {
- uri :: Text
- text :: Text
- mimeType :: Maybe Text
}
data BlobResourceContents = BlobResourceContents {
- uri :: Text
- blob :: Text
- mimeType :: Maybe Text
}
data Resource = Resource {
- uri :: Text
- name :: Text
- description :: Maybe Text
- mimeType :: Maybe Text
- size :: Maybe Int
- annotations :: Maybe Annotations
}
data ResourceTemplate = ResourceTemplate {
- name :: Text
- uriTemplate :: Text
- description :: Maybe Text
- mimeType :: Maybe Text
- annotations :: Maybe Annotations
}
data ResourceReference = ResourceReference {
- 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
- description :: Maybe Text
- inputSchema :: InputSchema
- annotations :: Maybe ToolAnnotations
}
data InputSchema = InputSchema {
- schemaType :: Text
- properties :: Maybe (Map Text Value)
- required :: Maybe [Text]
}
data PromptArgument = PromptArgument {
- name :: Text
- description :: Maybe Text
- required :: Maybe Bool
}
data Prompt = Prompt {
- name :: Text
- description :: Maybe Text
- arguments :: Maybe [PromptArgument]
}
data PromptMessage = PromptMessage {
- role :: Role
- content :: Content
}
data PromptReference = PromptReference {
- refType :: Text
- name :: Text
}
data ModelHint = ModelHint {
- name :: Maybe Text
}
data ModelPreferences = ModelPreferences {
- hints :: Maybe [ModelHint]
- costPriority :: Maybe Double
- speedPriority :: Maybe Double
- intelligencePriority :: Maybe Double
}
data IncludeContext
- = AllServers
- | None
- | ThisServer
data SamplingMessage = SamplingMessage {
- role :: Role
- content :: Content
}
data ClientCapabilities = ClientCapabilities {
- roots :: Maybe RootsCapability
- sampling :: Maybe SamplingCapability
- 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 = RootsCapability {
- listChanged :: Maybe Bool
}
data PromptsCapability = PromptsCapability {
- listChanged :: Maybe Bool
}
data ResourcesCapability = ResourcesCapability {
- listChanged :: Maybe Bool
- subscribe :: Maybe Bool
}
data ToolsCapability = ToolsCapability {
- listChanged :: Maybe Bool
}
data CompletionsCapability = CompletionsCapability
data LoggingCapability = LoggingCapability
data SamplingCapability = SamplingCapability
newtype ExperimentalCapability = ExperimentalCapability (Map Text Value)
data Implementation = Implementation {
- name :: Text
- version :: Text
}
data Root = Root {
- uri :: Text
- name :: Maybe Text
}
data Result = Result {
- _meta :: Maybe Metadata
}
newtype Metadata = Metadata (Map Text Value)

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.1.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.1.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

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.1.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))))

data TextContent Source #

Text provided to or from an LLM

Constructors

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

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.1.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)))))

data ImageContent Source #

An image provided to or from an LLM

Constructors

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

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.1.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)))))

data AudioContent Source #

Audio provided to or from an LLM

Constructors

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

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.1.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)))))

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

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.1.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)))))

data Content Source #

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

Constructors

TextContentType TextContent
ImageContentType ImageContent
AudioContentType AudioContent
EmbeddedResourceType EmbeddedResource

Instances

Instances details

FromJSON Content Source #
Instance details Defined in MCP.Types Methods parseJSON :: Value -> Parser Content # parseJSONList :: Value -> Parser [Content] # omittedField :: Maybe Content #
ToJSON Content Source #
Instance details Defined in MCP.Types Methods toJSON :: Content -> Value # toEncoding :: Content -> Encoding # toJSONList :: [Content] -> Value # toEncodingList :: [Content] -> Encoding # omitField :: Content -> Bool #
Generic Content Source #
Instance details Defined in MCP.Types Associated Types type Rep Content :: Type -> Type # Methods from :: Content -> Rep Content x # to :: Rep Content x -> Content #
Show Content Source #
Instance details Defined in MCP.Types Methods showsPrec :: Int -> Content -> ShowS # show :: Content -> String # showList :: [Content] -> ShowS #
Eq Content Source #
Instance details Defined in MCP.Types Methods (==) :: Content -> Content -> Bool # (/=) :: Content -> Content -> Bool #
type Rep Content Source #
Instance details Defined in MCP.Types type Rep Content = D1 ('MetaData "Content" "MCP.Types" "mcp-0.1.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))))

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.1.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

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.1.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)))))

data BlobResourceContents Source #

Blob resource contents

Constructors

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

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.1.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)))))

data Resource Source #

A known resource that the server is capable of reading

Constructors

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

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.1.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 "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))))))

data ResourceTemplate Source #

A template description for resources available on the server

Constructors

ResourceTemplate
Fields name :: Text uriTemplate :: Text description :: Maybe Text mimeType :: Maybe Text annotations :: Maybe Annotations

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.1.0.0-inplace" 'False) (C1 ('MetaCons "ResourceTemplate" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 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))))))

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.1.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)))

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.1.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 description :: Maybe Text inputSchema :: InputSchema annotations :: Maybe ToolAnnotations

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.1.0.0-inplace" 'False) (C1 ('MetaCons "Tool" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))) :: (S1 ('MetaSel ('Just "inputSchema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InputSchema) :*: S1 ('MetaSel ('Just "annotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ToolAnnotations)))))

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.1.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 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.1.0.0-inplace" 'False) (C1 ('MetaCons "PromptArgument" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 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 description :: Maybe Text arguments :: Maybe [PromptArgument]

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.1.0.0-inplace" 'False) (C1 ('MetaCons "Prompt" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "arguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [PromptArgument])))))

data PromptMessage Source #

Describes a message returned as part of a prompt

Constructors

PromptMessage
Fields role :: Role content :: Content

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.1.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 Content)))

data PromptReference Source #

Identifies a prompt

Constructors

PromptReference
Fields refType :: Text name :: 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.1.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)))

Model Types

data ModelHint Source #

Hints to use for model selection

Constructors

ModelHint
Fields name :: Maybe Text

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.1.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.1.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.1.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 SamplingMessage Source #

Describes a message issued to or received from an LLM API

Constructors

SamplingMessage
Fields role :: Role content :: Content

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.1.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 Content)))

Capability Types

data ClientCapabilities Source #

Capabilities a client may support

Constructors

ClientCapabilities
Fields roots :: Maybe RootsCapability sampling :: Maybe SamplingCapability 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.1.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 "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.1.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 Source #

Roots capability

Constructors

RootsCapability
Fields listChanged :: Maybe Bool

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.1.0.0-inplace" 'False) (C1 ('MetaCons "RootsCapability" 'PrefixI 'True) (S1 ('MetaSel ('Just "listChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))

data PromptsCapability Source #

Prompts capability

Constructors

PromptsCapability
Fields listChanged :: Maybe Bool

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.1.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.1.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 Source #

Tools capability

Constructors

ToolsCapability
Fields listChanged :: Maybe Bool

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.1.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.1.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.1.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.1.0.0-inplace" 'False) (C1 ('MetaCons "SamplingCapability" '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.1.0.0-inplace" 'True) (C1 ('MetaCons "ExperimentalCapability" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Text Value))))

Implementation Info

data Implementation Source #

Describes the name and version of an MCP implementation

Constructors

Implementation
Fields name :: 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.1.0.0-inplace" 'False) (C1 ('MetaCons "Implementation" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 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

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.1.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))))

Result Types

data Result Source #

Base result type

Constructors

Result
Fields _meta :: Maybe Metadata

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.1.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

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.1.0.0-inplace" 'True) (C1 ('MetaCons "Metadata" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Text Value))))