mcp-server
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.15-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.15-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.15-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.15-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.15-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.15-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))))

data ResourceContent Source #

Resource content compliant with MCP specification Must include uri and mimeType, with either text or blob data

Constructors

ResourceText 

Fields

ResourceBlob 

Fields

Instances

Instances details
Generic ResourceContent Source # 
Instance details

Defined in MCP.Server.Types

Associated Types

type Rep ResourceContent 
Instance details

Defined in MCP.Server.Types

type Rep ResourceContent = D1 ('MetaData "ResourceContent" "MCP.Server.Types" "mcp-server-0.1.0.15-inplace" 'False) (C1 ('MetaCons "ResourceText" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourceUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 URI) :*: (S1 ('MetaSel ('Just "resourceMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "resourceText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: C1 ('MetaCons "ResourceBlob" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourceUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 URI) :*: (S1 ('MetaSel ('Just "resourceMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "resourceBlob") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

Methods

from :: ResourceContent -> Rep ResourceContent x #

to :: Rep ResourceContent x -> ResourceContent #

Show ResourceContent Source # 
Instance details

Defined in MCP.Server.Types

Methods

showsPrec :: Int -> ResourceContent -> ShowS #

show :: ResourceContent -> String #

showList :: [ResourceContent] -> ShowS #

Eq ResourceContent Source # 
Instance details

Defined in MCP.Server.Types

Methods

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

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

FromJSON ResourceContent Source # 
Instance details

Defined in MCP.Server.Types

Methods

parseJSON :: Value -> Parser ResourceContent #

parseJSONList :: Value -> Parser [ResourceContent] #

omittedField :: Maybe ResourceContent #

ToJSON ResourceContent Source # 
Instance details

Defined in MCP.Server.Types

Methods

toJSON :: ResourceContent -> Value #

toEncoding :: ResourceContent -> Encoding #

toJSONList :: [ResourceContent] -> Value #

toEncodingList :: [ResourceContent] -> Encoding #

omitField :: ResourceContent -> Bool #

type Rep ResourceContent Source # 
Instance details

Defined in MCP.Server.Types

type Rep ResourceContent = D1 ('MetaData "ResourceContent" "MCP.Server.Types" "mcp-server-0.1.0.15-inplace" 'False) (C1 ('MetaCons "ResourceText" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourceUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 URI) :*: (S1 ('MetaSel ('Just "resourceMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "resourceText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: C1 ('MetaCons "ResourceBlob" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourceUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 URI) :*: (S1 ('MetaSel ('Just "resourceMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "resourceBlob") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

URI Utilities

parseURI :: String -> Maybe URI #

Turn a string containing a URI into a URI. Returns Nothing if the string is not a valid URI; (an absolute URI with optional fragment identifier).

NOTE: this is different from the previous network.URI, whose parseURI function works like parseURIReference in this module.

data URI #

Represents a general universal resource identifier using its component parts.

For example, for the URI

  foo://anonymous@www.haskell.org:42/ghc?query#frag

the components are:

Instances

Instances details
NFData URI # 
Instance details

Defined in Network.URI

Methods

rnf :: URI -> () #

Data URI # 
Instance details

Defined in Network.URI

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> URI -> c URI #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c URI #

toConstr :: URI -> Constr #

dataTypeOf :: URI -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c URI) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c URI) #

gmapT :: (forall b. Data b => b -> b) -> URI -> URI #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> URI -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> URI -> r #

gmapQ :: (forall d. Data d => d -> u) -> URI -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> URI -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> URI -> m URI #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> URI -> m URI #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> URI -> m URI #

Generic URI # 
Instance details

Defined in Network.URI

Associated Types

type Rep URI 
Instance details

Defined in Network.URI

type Rep URI = D1 ('MetaData "URI" "Network.URI" "ntwrk-r-2.6.4.2-a601b5b7" 'False) (C1 ('MetaCons "URI" 'PrefixI 'True) ((S1 ('MetaSel ('Just "uriScheme") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "uriAuthority") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe URIAuth))) :*: (S1 ('MetaSel ('Just "uriPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "uriQuery") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "uriFragment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

Methods

from :: URI -> Rep URI x #

to :: Rep URI x -> URI #

Show URI # 
Instance details

Defined in Network.URI

Methods

showsPrec :: Int -> URI -> ShowS #

show :: URI -> String #

showList :: [URI] -> ShowS #

Eq URI # 
Instance details

Defined in Network.URI

Methods

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

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

Ord URI # 
Instance details

Defined in Network.URI

Methods

compare :: URI -> URI -> Ordering #

(<) :: URI -> URI -> Bool #

(<=) :: URI -> URI -> Bool #

(>) :: URI -> URI -> Bool #

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

max :: URI -> URI -> URI #

min :: URI -> URI -> URI #

FromJSON URI #

Since: aeson-2.2.0.0

Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser URI #

parseJSONList :: Value -> Parser [URI] #

omittedField :: Maybe URI #

FromJSONKey URI #

Since: aeson-2.2.0.0

Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

fromJSONKey :: FromJSONKeyFunction URI #

fromJSONKeyList :: FromJSONKeyFunction [URI] #

ToJSON URI #

Since: aeson-2.2.0.0

Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: URI -> Value #

toEncoding :: URI -> Encoding #

toJSONList :: [URI] -> Value #

toEncodingList :: [URI] -> Encoding #

omitField :: URI -> Bool #

ToJSONKey URI #

Since: aeson-2.2.0.0

Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSONKey :: ToJSONKeyFunction URI #

toJSONKeyList :: ToJSONKeyFunction [URI] #

Lift URI # 
Instance details

Defined in Network.URI

Methods

lift :: Quote m => URI -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => URI -> Code m URI #

type Rep URI # 
Instance details

Defined in Network.URI

type Rep URI = D1 ('MetaData "URI" "Network.URI" "ntwrk-r-2.6.4.2-a601b5b7" 'False) (C1 ('MetaCons "URI" 'PrefixI 'True) ((S1 ('MetaSel ('Just "uriScheme") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "uriAuthority") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe URIAuth))) :*: (S1 ('MetaSel ('Just "uriPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "uriQuery") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "uriFragment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

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.15-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.15-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 (2025-06-18 enhanced)

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.15-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]) :*: S1 ('MetaSel ('Just "promptDefinitionTitle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

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.15-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]) :*: S1 ('MetaSel ('Just "promptDefinitionTitle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

data ResourceDefinition Source #

Resource definition (2025-06-18 enhanced)

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.15-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)) :*: S1 ('MetaSel ('Just "resourceDefinitionTitle") '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.15-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)) :*: S1 ('MetaSel ('Just "resourceDefinitionTitle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))))

data ToolDefinition Source #

Tool definition (2025-06-18 enhanced)

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.15-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) :*: S1 ('MetaSel ('Just "toolDefinitionTitle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

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.15-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) :*: S1 ('MetaSel ('Just "toolDefinitionTitle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)))))

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.15-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.15-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.15-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.15-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.15-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.15-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.15-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.15-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.15-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.15-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.15-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.15-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.15-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.15-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.15-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.15-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.15-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.15-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 ResourceContent) 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 #