mcp-server-0.1.0.8: Library for building Model Context Protocol (MCP) servers
Safe HaskellNone
LanguageGHC2024

MCP.Server.Types

Synopsis

Content Types

data Content Source #

Content that can be returned by prompts, resources, and tools

Constructors

ContentText Text 
ContentImage ContentImageData 
ContentResource ContentResourceData 

Instances

Instances details
Generic Content Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep Content 
Instance details

Defined in MCP.Server.Types

type Rep Content = D1 ('MetaData "Content" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ContentText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "ContentImage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContentImageData)) :+: C1 ('MetaCons "ContentResource" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContentResourceData))))

Methods

from :: Content -> Rep Content x #

to :: Rep Content x -> Content #

Show Content Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> Content -> ShowS #

show :: Content -> String #

showList :: [Content] -> ShowS #

Eq Content Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

FromJSON Content Source # 
Instance details

Defined in MCP.Server.Types

Methods

parseJSON :: Value -> Parser Content #

parseJSONList :: Value -> Parser [Content] #

omittedField :: Maybe Content #

ToJSON Content Source # 
Instance details

Defined in MCP.Server.Types

Methods

toJSON :: Content -> Value #

toEncoding :: Content -> Encoding #

toJSONList :: [Content] -> Value #

toEncodingList :: [Content] -> Encoding #

omitField :: Content -> Bool #

type Rep Content Source # 
Instance details

Defined in MCP.Server.Types

type Rep Content = D1 ('MetaData "Content" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ContentText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "ContentImage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContentImageData)) :+: C1 ('MetaCons "ContentResource" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ContentResourceData))))

data ContentImageData Source #

Constructors

ContentImageData 

Fields

Instances

Instances details
Generic ContentImageData Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep ContentImageData 
Instance details

Defined in MCP.Server.Types

type Rep ContentImageData = D1 ('MetaData "ContentImageData" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ContentImageData" 'PrefixI 'True) (S1 ('MetaSel ('Just "contentImageData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "contentImageMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: ContentImageData -> Rep ContentImageData x #

to :: Rep ContentImageData x -> ContentImageData #

Show ContentImageData Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> ContentImageData -> ShowS #

show :: ContentImageData -> String #

showList :: [ContentImageData] -> ShowS #

Eq ContentImageData Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

type Rep ContentImageData Source # 
Instance details

Defined in MCP.Server.Types

type Rep ContentImageData = D1 ('MetaData "ContentImageData" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ContentImageData" 'PrefixI 'True) (S1 ('MetaSel ('Just "contentImageData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "contentImageMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data ContentResourceData Source #

Constructors

ContentResourceData 

Fields

Instances

Instances details
Generic ContentResourceData Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep ContentResourceData 
Instance details

Defined in MCP.Server.Types

type Rep ContentResourceData = D1 ('MetaData "ContentResourceData" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ContentResourceData" 'PrefixI 'True) (S1 ('MetaSel ('Just "contentResourceUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 URI) :*: S1 ('MetaSel ('Just "contentResourceMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))

Methods

from :: ContentResourceData -> Rep ContentResourceData x #

to :: Rep ContentResourceData x -> ContentResourceData #

Show ContentResourceData Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> ContentResourceData -> ShowS #

show :: ContentResourceData -> String #

showList :: [ContentResourceData] -> ShowS #

Eq ContentResourceData Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

type Rep ContentResourceData Source # 
Instance details

Defined in MCP.Server.Types

type Rep ContentResourceData = D1 ('MetaData "ContentResourceData" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ContentResourceData" 'PrefixI 'True) (S1 ('MetaSel ('Just "contentResourceUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 URI) :*: S1 ('MetaSel ('Just "contentResourceMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))

Error Types

data Error Source #

MCP protocol errors

Constructors

InvalidPromptName Text 
MissingRequiredParams Text 
ResourceNotFound Text 
InternalError Text 
UnknownTool Text 
InvalidRequest Text 
MethodNotFound Text 
InvalidParams Text 

Instances

Instances details
Generic Error Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep Error 
Instance details

Defined in MCP.Server.Types

type Rep Error = D1 ('MetaData "Error" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (((C1 ('MetaCons "InvalidPromptName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "MissingRequiredParams" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "ResourceNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "InternalError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))) :+: ((C1 ('MetaCons "UnknownTool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "InvalidRequest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "MethodNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "InvalidParams" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

Methods

from :: Error -> Rep Error x #

to :: Rep Error x -> Error #

Show Error Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> Error -> ShowS #

show :: Error -> String #

showList :: [Error] -> ShowS #

Eq Error Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

ToJSON Error Source # 
Instance details

Defined in MCP.Server.Types

Methods

toJSON :: Error -> Value #

toEncoding :: Error -> Encoding #

toJSONList :: [Error] -> Value #

toEncodingList :: [Error] -> Encoding #

omitField :: Error -> Bool #

type Rep Error Source # 
Instance details

Defined in MCP.Server.Types

type Rep Error = D1 ('MetaData "Error" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (((C1 ('MetaCons "InvalidPromptName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "MissingRequiredParams" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "ResourceNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "InternalError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))) :+: ((C1 ('MetaCons "UnknownTool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "InvalidRequest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "MethodNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "InvalidParams" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))))

Definition Types

data PromptDefinition Source #

Prompt definition

Constructors

PromptDefinition 

Fields

Instances

Instances details
Generic PromptDefinition Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep PromptDefinition 
Instance details

Defined in MCP.Server.Types

type Rep PromptDefinition = D1 ('MetaData "PromptDefinition" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PromptDefinition" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptDefinitionName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "promptDefinitionDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "promptDefinitionArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ArgumentDefinition]))))

Methods

from :: PromptDefinition -> Rep PromptDefinition x #

to :: Rep PromptDefinition x -> PromptDefinition #

Show PromptDefinition Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> PromptDefinition -> ShowS #

show :: PromptDefinition -> String #

showList :: [PromptDefinition] -> ShowS #

Eq PromptDefinition Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

ToJSON PromptDefinition Source # 
Instance details

Defined in MCP.Server.Types

Methods

toJSON :: PromptDefinition -> Value #

toEncoding :: PromptDefinition -> Encoding #

toJSONList :: [PromptDefinition] -> Value #

toEncodingList :: [PromptDefinition] -> Encoding #

omitField :: PromptDefinition -> Bool #

type Rep PromptDefinition Source # 
Instance details

Defined in MCP.Server.Types

type Rep PromptDefinition = D1 ('MetaData "PromptDefinition" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PromptDefinition" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptDefinitionName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "promptDefinitionDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "promptDefinitionArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ArgumentDefinition]))))

data ResourceDefinition Source #

Resource definition

Constructors

ResourceDefinition 

Fields

Instances

Instances details
Generic ResourceDefinition Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep ResourceDefinition 
Instance details

Defined in MCP.Server.Types

type Rep ResourceDefinition = D1 ('MetaData "ResourceDefinition" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ResourceDefinition" 'PrefixI 'True) ((S1 ('MetaSel ('Just "resourceDefinitionURI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "resourceDefinitionName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "resourceDefinitionDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "resourceDefinitionMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

Methods

from :: ResourceDefinition -> Rep ResourceDefinition x #

to :: Rep ResourceDefinition x -> ResourceDefinition #

Show ResourceDefinition Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> ResourceDefinition -> ShowS #

show :: ResourceDefinition -> String #

showList :: [ResourceDefinition] -> ShowS #

Eq ResourceDefinition Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

ToJSON ResourceDefinition Source # 
Instance details

Defined in MCP.Server.Types

Methods

toJSON :: ResourceDefinition -> Value #

toEncoding :: ResourceDefinition -> Encoding #

toJSONList :: [ResourceDefinition] -> Value #

toEncodingList :: [ResourceDefinition] -> Encoding #

omitField :: ResourceDefinition -> Bool #

type Rep ResourceDefinition Source # 
Instance details

Defined in MCP.Server.Types

type Rep ResourceDefinition = D1 ('MetaData "ResourceDefinition" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ResourceDefinition" 'PrefixI 'True) ((S1 ('MetaSel ('Just "resourceDefinitionURI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "resourceDefinitionName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "resourceDefinitionDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "resourceDefinitionMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

data ToolDefinition Source #

Tool definition

Constructors

ToolDefinition 

Fields

Instances

Instances details
Generic ToolDefinition Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep ToolDefinition 
Instance details

Defined in MCP.Server.Types

type Rep ToolDefinition = D1 ('MetaData "ToolDefinition" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ToolDefinition" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolDefinitionName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "toolDefinitionDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "toolDefinitionInputSchema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InputSchemaDefinition))))

Methods

from :: ToolDefinition -> Rep ToolDefinition x #

to :: Rep ToolDefinition x -> ToolDefinition #

Show ToolDefinition Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> ToolDefinition -> ShowS #

show :: ToolDefinition -> String #

showList :: [ToolDefinition] -> ShowS #

Eq ToolDefinition Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

ToJSON ToolDefinition Source # 
Instance details

Defined in MCP.Server.Types

Methods

toJSON :: ToolDefinition -> Value #

toEncoding :: ToolDefinition -> Encoding #

toJSONList :: [ToolDefinition] -> Value #

toEncodingList :: [ToolDefinition] -> Encoding #

omitField :: ToolDefinition -> Bool #

type Rep ToolDefinition Source # 
Instance details

Defined in MCP.Server.Types

type Rep ToolDefinition = D1 ('MetaData "ToolDefinition" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ToolDefinition" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolDefinitionName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "toolDefinitionDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "toolDefinitionInputSchema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 InputSchemaDefinition))))

data ArgumentDefinition Source #

Argument definition for prompts

Constructors

ArgumentDefinition 

Fields

Instances

Instances details
Generic ArgumentDefinition Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep ArgumentDefinition 
Instance details

Defined in MCP.Server.Types

type Rep ArgumentDefinition = D1 ('MetaData "ArgumentDefinition" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ArgumentDefinition" 'PrefixI 'True) (S1 ('MetaSel ('Just "argumentDefinitionName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "argumentDefinitionDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "argumentDefinitionRequired") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

Methods

from :: ArgumentDefinition -> Rep ArgumentDefinition x #

to :: Rep ArgumentDefinition x -> ArgumentDefinition #

Show ArgumentDefinition Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> ArgumentDefinition -> ShowS #

show :: ArgumentDefinition -> String #

showList :: [ArgumentDefinition] -> ShowS #

Eq ArgumentDefinition Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

ToJSON ArgumentDefinition Source # 
Instance details

Defined in MCP.Server.Types

Methods

toJSON :: ArgumentDefinition -> Value #

toEncoding :: ArgumentDefinition -> Encoding #

toJSONList :: [ArgumentDefinition] -> Value #

toEncodingList :: [ArgumentDefinition] -> Encoding #

omitField :: ArgumentDefinition -> Bool #

type Rep ArgumentDefinition Source # 
Instance details

Defined in MCP.Server.Types

type Rep ArgumentDefinition = D1 ('MetaData "ArgumentDefinition" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ArgumentDefinition" 'PrefixI 'True) (S1 ('MetaSel ('Just "argumentDefinitionName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "argumentDefinitionDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "argumentDefinitionRequired") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

data InputSchemaDefinition Source #

Input schema definition for tools

Constructors

InputSchemaDefinitionObject 

Fields

Instances

Instances details
Generic InputSchemaDefinition Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep InputSchemaDefinition 
Instance details

Defined in MCP.Server.Types

type Rep InputSchemaDefinition = D1 ('MetaData "InputSchemaDefinition" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "InputSchemaDefinitionObject" 'PrefixI 'True) (S1 ('MetaSel ('Just "properties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Text, InputSchemaDefinitionProperty)]) :*: S1 ('MetaSel ('Just "required") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

Methods

from :: InputSchemaDefinition -> Rep InputSchemaDefinition x #

to :: Rep InputSchemaDefinition x -> InputSchemaDefinition #

Show InputSchemaDefinition Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> InputSchemaDefinition -> ShowS #

show :: InputSchemaDefinition -> String #

showList :: [InputSchemaDefinition] -> ShowS #

Eq InputSchemaDefinition Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

ToJSON InputSchemaDefinition Source # 
Instance details

Defined in MCP.Server.Types

Methods

toJSON :: InputSchemaDefinition -> Value #

toEncoding :: InputSchemaDefinition -> Encoding #

toJSONList :: [InputSchemaDefinition] -> Value #

toEncodingList :: [InputSchemaDefinition] -> Encoding #

omitField :: InputSchemaDefinition -> Bool #

type Rep InputSchemaDefinition Source # 
Instance details

Defined in MCP.Server.Types

type Rep InputSchemaDefinition = D1 ('MetaData "InputSchemaDefinition" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "InputSchemaDefinitionObject" 'PrefixI 'True) (S1 ('MetaSel ('Just "properties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Text, InputSchemaDefinitionProperty)]) :*: S1 ('MetaSel ('Just "required") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

data InputSchemaDefinitionProperty Source #

Constructors

InputSchemaDefinitionProperty 

Fields

Instances

Instances details
Generic InputSchemaDefinitionProperty Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep InputSchemaDefinitionProperty 
Instance details

Defined in MCP.Server.Types

type Rep InputSchemaDefinitionProperty = D1 ('MetaData "InputSchemaDefinitionProperty" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "InputSchemaDefinitionProperty" 'PrefixI 'True) (S1 ('MetaSel ('Just "propertyType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "propertyDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: InputSchemaDefinitionProperty -> Rep InputSchemaDefinitionProperty x #

to :: Rep InputSchemaDefinitionProperty x -> InputSchemaDefinitionProperty #

Show InputSchemaDefinitionProperty Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> InputSchemaDefinitionProperty -> ShowS #

show :: InputSchemaDefinitionProperty -> String #

showList :: [InputSchemaDefinitionProperty] -> ShowS #

Eq InputSchemaDefinitionProperty Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

ToJSON InputSchemaDefinitionProperty Source # 
Instance details

Defined in MCP.Server.Types

Methods

toJSON :: InputSchemaDefinitionProperty -> Value #

toEncoding :: InputSchemaDefinitionProperty -> Encoding #

toJSONList :: [InputSchemaDefinitionProperty] -> Value #

toEncodingList :: [InputSchemaDefinitionProperty] -> Encoding #

omitField :: InputSchemaDefinitionProperty -> Bool #

type Rep InputSchemaDefinitionProperty Source # 
Instance details

Defined in MCP.Server.Types

type Rep InputSchemaDefinitionProperty = D1 ('MetaData "InputSchemaDefinitionProperty" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "InputSchemaDefinitionProperty" 'PrefixI 'True) (S1 ('MetaSel ('Just "propertyType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "propertyDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Server Types

data McpServerInfo Source #

Server information

Constructors

McpServerInfo 

Fields

Instances

Instances details
Generic McpServerInfo Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep McpServerInfo 
Instance details

Defined in MCP.Server.Types

type Rep McpServerInfo = D1 ('MetaData "McpServerInfo" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "McpServerInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "serverName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "serverVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "serverInstructions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

Methods

from :: McpServerInfo -> Rep McpServerInfo x #

to :: Rep McpServerInfo x -> McpServerInfo #

Show McpServerInfo Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> McpServerInfo -> ShowS #

show :: McpServerInfo -> String #

showList :: [McpServerInfo] -> ShowS #

Eq McpServerInfo Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

type Rep McpServerInfo Source # 
Instance details

Defined in MCP.Server.Types

type Rep McpServerInfo = D1 ('MetaData "McpServerInfo" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "McpServerInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "serverName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "serverVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "serverInstructions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

data McpServerHandlers (m :: Type -> Type) Source #

Server handlers

Constructors

McpServerHandlers 

Fields

data ServerCapabilities Source #

Server capabilities

Constructors

ServerCapabilities 

Fields

Instances

Instances details
Generic ServerCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep ServerCapabilities 
Instance details

Defined in MCP.Server.Types

type Rep ServerCapabilities = D1 ('MetaData "ServerCapabilities" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ServerCapabilities" 'PrefixI 'True) ((S1 ('MetaSel ('Just "capabilityPrompts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe PromptCapabilities)) :*: S1 ('MetaSel ('Just "capabilityResources") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ResourceCapabilities))) :*: (S1 ('MetaSel ('Just "capabilityTools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ToolCapabilities)) :*: S1 ('MetaSel ('Just "capabilityLogging") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe LoggingCapabilities)))))

Methods

from :: ServerCapabilities -> Rep ServerCapabilities x #

to :: Rep ServerCapabilities x -> ServerCapabilities #

Show ServerCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> ServerCapabilities -> ShowS #

show :: ServerCapabilities -> String #

showList :: [ServerCapabilities] -> ShowS #

Eq ServerCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

ToJSON ServerCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Methods

toJSON :: ServerCapabilities -> Value #

toEncoding :: ServerCapabilities -> Encoding #

toJSONList :: [ServerCapabilities] -> Value #

toEncodingList :: [ServerCapabilities] -> Encoding #

omitField :: ServerCapabilities -> Bool #

type Rep ServerCapabilities Source # 
Instance details

Defined in MCP.Server.Types

type Rep ServerCapabilities = D1 ('MetaData "ServerCapabilities" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ServerCapabilities" 'PrefixI 'True) ((S1 ('MetaSel ('Just "capabilityPrompts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe PromptCapabilities)) :*: S1 ('MetaSel ('Just "capabilityResources") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ResourceCapabilities))) :*: (S1 ('MetaSel ('Just "capabilityTools") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ToolCapabilities)) :*: S1 ('MetaSel ('Just "capabilityLogging") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe LoggingCapabilities)))))

data PromptCapabilities Source #

Individual capability objects

Constructors

PromptCapabilities 

Fields

Instances

Instances details
Generic PromptCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep PromptCapabilities 
Instance details

Defined in MCP.Server.Types

type Rep PromptCapabilities = D1 ('MetaData "PromptCapabilities" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PromptCapabilities" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptListChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))

Methods

from :: PromptCapabilities -> Rep PromptCapabilities x #

to :: Rep PromptCapabilities x -> PromptCapabilities #

Show PromptCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> PromptCapabilities -> ShowS #

show :: PromptCapabilities -> String #

showList :: [PromptCapabilities] -> ShowS #

Eq PromptCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

ToJSON PromptCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Methods

toJSON :: PromptCapabilities -> Value #

toEncoding :: PromptCapabilities -> Encoding #

toJSONList :: [PromptCapabilities] -> Value #

toEncodingList :: [PromptCapabilities] -> Encoding #

omitField :: PromptCapabilities -> Bool #

type Rep PromptCapabilities Source # 
Instance details

Defined in MCP.Server.Types

type Rep PromptCapabilities = D1 ('MetaData "PromptCapabilities" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "PromptCapabilities" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptListChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))

data ResourceCapabilities Source #

Constructors

ResourceCapabilities 

Fields

Instances

Instances details
Generic ResourceCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep ResourceCapabilities 
Instance details

Defined in MCP.Server.Types

type Rep ResourceCapabilities = D1 ('MetaData "ResourceCapabilities" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ResourceCapabilities" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourceSubscribe") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :*: S1 ('MetaSel ('Just "resourceListChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))

Methods

from :: ResourceCapabilities -> Rep ResourceCapabilities x #

to :: Rep ResourceCapabilities x -> ResourceCapabilities #

Show ResourceCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> ResourceCapabilities -> ShowS #

show :: ResourceCapabilities -> String #

showList :: [ResourceCapabilities] -> ShowS #

Eq ResourceCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

ToJSON ResourceCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Methods

toJSON :: ResourceCapabilities -> Value #

toEncoding :: ResourceCapabilities -> Encoding #

toJSONList :: [ResourceCapabilities] -> Value #

toEncodingList :: [ResourceCapabilities] -> Encoding #

omitField :: ResourceCapabilities -> Bool #

type Rep ResourceCapabilities Source # 
Instance details

Defined in MCP.Server.Types

type Rep ResourceCapabilities = D1 ('MetaData "ResourceCapabilities" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ResourceCapabilities" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourceSubscribe") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)) :*: S1 ('MetaSel ('Just "resourceListChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))

data ToolCapabilities Source #

Constructors

ToolCapabilities 

Fields

Instances

Instances details
Generic ToolCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep ToolCapabilities 
Instance details

Defined in MCP.Server.Types

type Rep ToolCapabilities = D1 ('MetaData "ToolCapabilities" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ToolCapabilities" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolListChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))

Methods

from :: ToolCapabilities -> Rep ToolCapabilities x #

to :: Rep ToolCapabilities x -> ToolCapabilities #

Show ToolCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> ToolCapabilities -> ShowS #

show :: ToolCapabilities -> String #

showList :: [ToolCapabilities] -> ShowS #

Eq ToolCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

ToJSON ToolCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Methods

toJSON :: ToolCapabilities -> Value #

toEncoding :: ToolCapabilities -> Encoding #

toJSONList :: [ToolCapabilities] -> Value #

toEncodingList :: [ToolCapabilities] -> Encoding #

omitField :: ToolCapabilities -> Bool #

type Rep ToolCapabilities Source # 
Instance details

Defined in MCP.Server.Types

type Rep ToolCapabilities = D1 ('MetaData "ToolCapabilities" "MCP.Server.Types" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "ToolCapabilities" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolListChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))))

data LoggingCapabilities Source #

Constructors

LoggingCapabilities 

Instances

Instances details
Generic LoggingCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep LoggingCapabilities 
Instance details

Defined in MCP.Server.Types

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

Methods

from :: LoggingCapabilities -> Rep LoggingCapabilities x #

to :: Rep LoggingCapabilities x -> LoggingCapabilities #

Show LoggingCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> LoggingCapabilities -> ShowS #

show :: LoggingCapabilities -> String #

showList :: [LoggingCapabilities] -> ShowS #

Eq LoggingCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

ToJSON LoggingCapabilities Source # 
Instance details

Defined in MCP.Server.Types

Methods

toJSON :: LoggingCapabilities -> Value #

toEncoding :: LoggingCapabilities -> Encoding #

toJSONList :: [LoggingCapabilities] -> Value #

toEncodingList :: [LoggingCapabilities] -> Encoding #

omitField :: LoggingCapabilities -> Bool #

type Rep LoggingCapabilities Source # 
Instance details

Defined in MCP.Server.Types

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

Request/Response Types

type PromptListHandler (m :: Type -> k) = m [PromptDefinition] Source #

Handler type definitions

type PromptGetHandler (m :: Type -> Type) = PromptName -> [(ArgumentName, ArgumentValue)] -> m (Either Error Content) Source #

type ResourceListHandler (m :: Type -> k) = m [ResourceDefinition] Source #

type ResourceReadHandler (m :: Type -> Type) = URI -> m (Either Error Content) Source #

type ToolListHandler (m :: Type -> k) = m [ToolDefinition] Source #

type ToolCallHandler (m :: Type -> Type) = ToolName -> [(ArgumentName, ArgumentValue)] -> m (Either Error Content) Source #

Basic Types

type PromptName = Text Source #

type ToolName = Text Source #

type ArgumentName = Text Source #

type ArgumentValue = Text Source #