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

Instances

Instances details

FromJSON ServerCapabilities Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ServerCapabilities #

parseJSONList :: Value -> Parser [ServerCapabilities] #

omittedField :: Maybe ServerCapabilities #

ToJSON ServerCapabilities Source #

Instance details

Defined in Network.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 Network.MCP.Types

Associated Types

type Rep ServerCapabilities

Instance details

Defined in Network.MCP.Types

type Rep ServerCapabilities = D1 ('MetaData "ServerCapabilities" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ServerCapabilities" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourcesCapability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ResourcesCapability)) :*: (S1 ('MetaSel ('Just "toolsCapability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ToolsCapability)) :*: S1 ('MetaSel ('Just "promptsCapability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe PromptsCapability)))))

Methods

from :: ServerCapabilities -> Rep ServerCapabilities x #

to :: Rep ServerCapabilities x -> ServerCapabilities #

Show ServerCapabilities Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ServerCapabilities -> ShowS #

show :: ServerCapabilities -> String #

showList :: [ServerCapabilities] -> ShowS #

Eq ServerCapabilities Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ServerCapabilities Source #

Instance details

Defined in Network.MCP.Types

type Rep ServerCapabilities = D1 ('MetaData "ServerCapabilities" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ServerCapabilities" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourcesCapability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ResourcesCapability)) :*: (S1 ('MetaSel ('Just "toolsCapability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ToolsCapability)) :*: S1 ('MetaSel ('Just "promptsCapability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe PromptsCapability)))))

data ClientCapabilities Source #

Client capabilities

Constructors

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

Instances

Instances details

FromJSON ClientCapabilities Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ClientCapabilities #

parseJSONList :: Value -> Parser [ClientCapabilities] #

omittedField :: Maybe ClientCapabilities #

ToJSON ClientCapabilities Source #

Instance details

Defined in Network.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 Network.MCP.Types

Associated Types

type Rep ClientCapabilities

Instance details

Defined in Network.MCP.Types

type Rep ClientCapabilities = D1 ('MetaData "ClientCapabilities" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ClientCapabilities" 'PrefixI 'True) (S1 ('MetaSel ('Just "clientRootsCapability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe RootsCapability)) :*: S1 ('MetaSel ('Just "clientSamplingCapability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe SamplingCapability))))

Methods

from :: ClientCapabilities -> Rep ClientCapabilities x #

to :: Rep ClientCapabilities x -> ClientCapabilities #

Show ClientCapabilities Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ClientCapabilities -> ShowS #

show :: ClientCapabilities -> String #

showList :: [ClientCapabilities] -> ShowS #

Eq ClientCapabilities Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ClientCapabilities Source #

Instance details

Defined in Network.MCP.Types

type Rep ClientCapabilities = D1 ('MetaData "ClientCapabilities" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ClientCapabilities" 'PrefixI 'True) (S1 ('MetaSel ('Just "clientRootsCapability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe RootsCapability)) :*: S1 ('MetaSel ('Just "clientSamplingCapability") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe SamplingCapability))))

data ResourcesCapability Source #

Resources capability configuration

Constructors

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

Instances

Instances details

FromJSON ResourcesCapability Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ResourcesCapability #

parseJSONList :: Value -> Parser [ResourcesCapability] #

omittedField :: Maybe ResourcesCapability #

ToJSON ResourcesCapability Source #

Instance details

Defined in Network.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 Network.MCP.Types

Associated Types

type Rep ResourcesCapability
Instance details Defined in Network.MCP.Types type Rep ResourcesCapability = D1 ('MetaData "ResourcesCapability" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ResourcesCapability" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourcesListChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

Methods

from :: ResourcesCapability -> Rep ResourcesCapability x #

to :: Rep ResourcesCapability x -> ResourcesCapability #

Show ResourcesCapability Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ResourcesCapability -> ShowS #

show :: ResourcesCapability -> String #

showList :: [ResourcesCapability] -> ShowS #

Eq ResourcesCapability Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ResourcesCapability Source #

Instance details

Defined in Network.MCP.Types

type Rep ResourcesCapability = D1 ('MetaData "ResourcesCapability" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ResourcesCapability" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourcesListChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

data ToolsCapability Source #

Tools capability configuration

Constructors

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

Instances

Instances details

FromJSON ToolsCapability Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ToolsCapability #

parseJSONList :: Value -> Parser [ToolsCapability] #

omittedField :: Maybe ToolsCapability #

ToJSON ToolsCapability Source #

Instance details

Defined in Network.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 Network.MCP.Types

Associated Types

type Rep ToolsCapability
Instance details Defined in Network.MCP.Types type Rep ToolsCapability = D1 ('MetaData "ToolsCapability" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ToolsCapability" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolsListChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

Methods

from :: ToolsCapability -> Rep ToolsCapability x #

to :: Rep ToolsCapability x -> ToolsCapability #

Show ToolsCapability Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ToolsCapability -> ShowS #

show :: ToolsCapability -> String #

showList :: [ToolsCapability] -> ShowS #

Eq ToolsCapability Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ToolsCapability Source #

Instance details

Defined in Network.MCP.Types

type Rep ToolsCapability = D1 ('MetaData "ToolsCapability" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ToolsCapability" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolsListChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

data PromptsCapability Source #

Prompts capability configuration

Constructors

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

Instances

Instances details

FromJSON PromptsCapability Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser PromptsCapability #

parseJSONList :: Value -> Parser [PromptsCapability] #

omittedField :: Maybe PromptsCapability #

ToJSON PromptsCapability Source #

Instance details

Defined in Network.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 Network.MCP.Types

Associated Types

type Rep PromptsCapability
Instance details Defined in Network.MCP.Types type Rep PromptsCapability = D1 ('MetaData "PromptsCapability" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "PromptsCapability" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptsListChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

Methods

from :: PromptsCapability -> Rep PromptsCapability x #

to :: Rep PromptsCapability x -> PromptsCapability #

Show PromptsCapability Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> PromptsCapability -> ShowS #

show :: PromptsCapability -> String #

showList :: [PromptsCapability] -> ShowS #

Eq PromptsCapability Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep PromptsCapability Source #

Instance details

Defined in Network.MCP.Types

type Rep PromptsCapability = D1 ('MetaData "PromptsCapability" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "PromptsCapability" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptsListChanged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

data SamplingCapability Source #

Sampling capability configuration

Constructors

SamplingCapability

Instances

Instances details

FromJSON SamplingCapability Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser SamplingCapability #

parseJSONList :: Value -> Parser [SamplingCapability] #

omittedField :: Maybe SamplingCapability #

ToJSON SamplingCapability Source #

Instance details

Defined in Network.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 Network.MCP.Types

Associated Types

type Rep SamplingCapability
Instance details Defined in Network.MCP.Types type Rep SamplingCapability = D1 ('MetaData "SamplingCapability" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "SamplingCapability" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: SamplingCapability -> Rep SamplingCapability x #

to :: Rep SamplingCapability x -> SamplingCapability #

Show SamplingCapability Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> SamplingCapability -> ShowS #

show :: SamplingCapability -> String #

showList :: [SamplingCapability] -> ShowS #

Eq SamplingCapability Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep SamplingCapability Source #

Instance details

Defined in Network.MCP.Types

type Rep SamplingCapability = D1 ('MetaData "SamplingCapability" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "SamplingCapability" 'PrefixI 'False) (U1 :: Type -> Type))

data RootsCapability Source #

Roots capability configuration

Constructors

RootsCapability

Instances

Instances details

FromJSON RootsCapability Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser RootsCapability #

parseJSONList :: Value -> Parser [RootsCapability] #

omittedField :: Maybe RootsCapability #

ToJSON RootsCapability Source #

Instance details

Defined in Network.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 Network.MCP.Types

Associated Types

type Rep RootsCapability
Instance details Defined in Network.MCP.Types type Rep RootsCapability = D1 ('MetaData "RootsCapability" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "RootsCapability" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: RootsCapability -> Rep RootsCapability x #

to :: Rep RootsCapability x -> RootsCapability #

Show RootsCapability Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> RootsCapability -> ShowS #

show :: RootsCapability -> String #

showList :: [RootsCapability] -> ShowS #

Eq RootsCapability Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep RootsCapability Source #

Instance details

Defined in Network.MCP.Types

type Rep RootsCapability = D1 ('MetaData "RootsCapability" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "RootsCapability" 'PrefixI 'False) (U1 :: Type -> Type))

Resources

data Resource Source #

Resource definition

Constructors

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

Instances

Instances details

FromJSON Resource Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser Resource #

parseJSONList :: Value -> Parser [Resource] #

omittedField :: Maybe Resource #

ToJSON Resource Source #

Instance details

Defined in Network.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 Network.MCP.Types

Associated Types

type Rep Resource

Instance details

Defined in Network.MCP.Types

type Rep Resource = D1 ('MetaData "Resource" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "Resource" 'PrefixI 'True) ((S1 ('MetaSel ('Just "resourceUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "resourceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "resourceDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: (S1 ('MetaSel ('Just "resourceMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "resourceTemplate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))))))

Methods

from :: Resource -> Rep Resource x #

to :: Rep Resource x -> Resource #

Show Resource Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> Resource -> ShowS #

show :: Resource -> String #

showList :: [Resource] -> ShowS #

Eq Resource Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep Resource Source #

Instance details

Defined in Network.MCP.Types

type Rep Resource = D1 ('MetaData "Resource" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "Resource" 'PrefixI 'True) ((S1 ('MetaSel ('Just "resourceUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "resourceName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "resourceDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: (S1 ('MetaSel ('Just "resourceMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "resourceTemplate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))))))

data ResourceContent Source #

Resource content

Constructors

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

Instances

Instances details

FromJSON ResourceContent Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ResourceContent #

parseJSONList :: Value -> Parser [ResourceContent] #

omittedField :: Maybe ResourceContent #

ToJSON ResourceContent Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ResourceContent -> Value #

toEncoding :: ResourceContent -> Encoding #

toJSONList :: [ResourceContent] -> Value #

toEncodingList :: [ResourceContent] -> Encoding #

omitField :: ResourceContent -> Bool #

Generic ResourceContent Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ResourceContent

Instance details

Defined in Network.MCP.Types

type Rep ResourceContent = D1 ('MetaData "ResourceContent" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ResourceContent" 'PrefixI 'True) ((S1 ('MetaSel ('Just "resourceContentUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "resourceContentMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))) :*: (S1 ('MetaSel ('Just "resourceContentText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "resourceContentBlob") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)))))

Methods

from :: ResourceContent -> Rep ResourceContent x #

to :: Rep ResourceContent x -> ResourceContent #

Show ResourceContent Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ResourceContent -> ShowS #

show :: ResourceContent -> String #

showList :: [ResourceContent] -> ShowS #

Eq ResourceContent Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ResourceContent Source #

Instance details

Defined in Network.MCP.Types

type Rep ResourceContent = D1 ('MetaData "ResourceContent" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ResourceContent" 'PrefixI 'True) ((S1 ('MetaSel ('Just "resourceContentUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "resourceContentMimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))) :*: (S1 ('MetaSel ('Just "resourceContentText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "resourceContentBlob") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)))))

data ResourceContentType Source #

Resource content type

Constructors

TextContent
BlobContent

Instances

Instances details

Generic ResourceContentType Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ResourceContentType
Instance details Defined in Network.MCP.Types type Rep ResourceContentType = D1 ('MetaData "ResourceContentType" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "TextContent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BlobContent" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ResourceContentType -> Rep ResourceContentType x #

to :: Rep ResourceContentType x -> ResourceContentType #

Show ResourceContentType Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ResourceContentType -> ShowS #

show :: ResourceContentType -> String #

showList :: [ResourceContentType] -> ShowS #

Eq ResourceContentType Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ResourceContentType Source #

Instance details

Defined in Network.MCP.Types

type Rep ResourceContentType = D1 ('MetaData "ResourceContentType" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "TextContent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BlobContent" 'PrefixI 'False) (U1 :: Type -> Type))

Tools

data Tool Source #

Tool definition

Constructors

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

Instances

Instances details

FromJSON Tool Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser Tool #

parseJSONList :: Value -> Parser [Tool] #

omittedField :: Maybe Tool #

ToJSON Tool Source #

Instance details

Defined in Network.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 Network.MCP.Types

Associated Types

type Rep Tool

Instance details

Defined in Network.MCP.Types

type Rep Tool = D1 ('MetaData "Tool" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "Tool" 'PrefixI 'True) ((S1 ('MetaSel ('Just "toolName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "toolDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))) :*: (S1 ('MetaSel ('Just "toolInputSchema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Value) :*: S1 ('MetaSel ('Just "toolAnnotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ToolAnnotations)))))

Methods

from :: Tool -> Rep Tool x #

to :: Rep Tool x -> Tool #

Show Tool Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> Tool -> ShowS #

show :: Tool -> String #

showList :: [Tool] -> ShowS #

Eq Tool Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep Tool Source #

Instance details

Defined in Network.MCP.Types

type Rep Tool = D1 ('MetaData "Tool" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "Tool" 'PrefixI 'True) ((S1 ('MetaSel ('Just "toolName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "toolDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))) :*: (S1 ('MetaSel ('Just "toolInputSchema") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Value) :*: S1 ('MetaSel ('Just "toolAnnotations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe ToolAnnotations)))))

data ToolContent Source #

Tool content

Constructors

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

Instances

Instances details

FromJSON ToolContent Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ToolContent #

parseJSONList :: Value -> Parser [ToolContent] #

omittedField :: Maybe ToolContent #

ToJSON ToolContent Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ToolContent -> Value #

toEncoding :: ToolContent -> Encoding #

toJSONList :: [ToolContent] -> Value #

toEncodingList :: [ToolContent] -> Encoding #

omitField :: ToolContent -> Bool #

Generic ToolContent Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ToolContent

Instance details

Defined in Network.MCP.Types

type Rep ToolContent = D1 ('MetaData "ToolContent" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ToolContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolContentType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ToolContentType) :*: S1 ('MetaSel ('Just "toolContentText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))))

Methods

from :: ToolContent -> Rep ToolContent x #

to :: Rep ToolContent x -> ToolContent #

Show ToolContent Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ToolContent -> ShowS #

show :: ToolContent -> String #

showList :: [ToolContent] -> ShowS #

Eq ToolContent Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ToolContent Source #

Instance details

Defined in Network.MCP.Types

type Rep ToolContent = D1 ('MetaData "ToolContent" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ToolContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "toolContentType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ToolContentType) :*: S1 ('MetaSel ('Just "toolContentText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))))

data ToolContentType Source #

Tool content type

Constructors

TextualContent
ImageContent
EmbeddedResource

Instances

Instances details

FromJSON ToolContentType Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ToolContentType #

parseJSONList :: Value -> Parser [ToolContentType] #

omittedField :: Maybe ToolContentType #

ToJSON ToolContentType Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ToolContentType -> Value #

toEncoding :: ToolContentType -> Encoding #

toJSONList :: [ToolContentType] -> Value #

toEncodingList :: [ToolContentType] -> Encoding #

omitField :: ToolContentType -> Bool #

Generic ToolContentType Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ToolContentType
Instance details Defined in Network.MCP.Types type Rep ToolContentType = D1 ('MetaData "ToolContentType" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "TextualContent" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ImageContent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EmbeddedResource" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: ToolContentType -> Rep ToolContentType x #

to :: Rep ToolContentType x -> ToolContentType #

Show ToolContentType Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ToolContentType -> ShowS #

show :: ToolContentType -> String #

showList :: [ToolContentType] -> ShowS #

Eq ToolContentType Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ToolContentType Source #

Instance details

Defined in Network.MCP.Types

type Rep ToolContentType = D1 ('MetaData "ToolContentType" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "TextualContent" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ImageContent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EmbeddedResource" 'PrefixI 'False) (U1 :: Type -> Type)))

data ToolAnnotations Source #

Constructors

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

Instances

Instances details

FromJSON ToolAnnotations Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ToolAnnotations #

parseJSONList :: Value -> Parser [ToolAnnotations] #

omittedField :: Maybe ToolAnnotations #

ToJSON ToolAnnotations Source #

Instance details

Defined in Network.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 Network.MCP.Types

Associated Types

type Rep ToolAnnotations

Instance details

Defined in Network.MCP.Types

type Rep ToolAnnotations = D1 ('MetaData "ToolAnnotations" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ToolAnnotations" 'PrefixI 'True) ((S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "readOnlyHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool))) :*: (S1 ('MetaSel ('Just "destructiveHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool)) :*: (S1 ('MetaSel ('Just "idempotentHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool)) :*: S1 ('MetaSel ('Just "openWorldHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool))))))

Methods

from :: ToolAnnotations -> Rep ToolAnnotations x #

to :: Rep ToolAnnotations x -> ToolAnnotations #

Show ToolAnnotations Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ToolAnnotations -> ShowS #

show :: ToolAnnotations -> String #

showList :: [ToolAnnotations] -> ShowS #

Eq ToolAnnotations Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ToolAnnotations Source #

Instance details

Defined in Network.MCP.Types

type Rep ToolAnnotations = D1 ('MetaData "ToolAnnotations" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ToolAnnotations" 'PrefixI 'True) ((S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "readOnlyHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool))) :*: (S1 ('MetaSel ('Just "destructiveHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool)) :*: (S1 ('MetaSel ('Just "idempotentHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool)) :*: S1 ('MetaSel ('Just "openWorldHint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool))))))

Prompts

data Prompt Source #

Prompt definition

Constructors

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

Instances

Instances details

FromJSON Prompt Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser Prompt #

parseJSONList :: Value -> Parser [Prompt] #

omittedField :: Maybe Prompt #

ToJSON Prompt Source #

Instance details

Defined in Network.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 Network.MCP.Types

Associated Types

type Rep Prompt

Instance details

Defined in Network.MCP.Types

type Rep Prompt = D1 ('MetaData "Prompt" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "Prompt" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "promptDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "promptArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [PromptArgument]))))

Methods

from :: Prompt -> Rep Prompt x #

to :: Rep Prompt x -> Prompt #

Show Prompt Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> Prompt -> ShowS #

show :: Prompt -> String #

showList :: [Prompt] -> ShowS #

Eq Prompt Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep Prompt Source #

Instance details

Defined in Network.MCP.Types

type Rep Prompt = D1 ('MetaData "Prompt" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "Prompt" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "promptDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "promptArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [PromptArgument]))))

data PromptArgument Source #

Prompt argument definition

Constructors

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

Instances

Instances details

FromJSON PromptArgument Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser PromptArgument #

parseJSONList :: Value -> Parser [PromptArgument] #

omittedField :: Maybe PromptArgument #

ToJSON PromptArgument Source #

Instance details

Defined in Network.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 Network.MCP.Types

Associated Types

type Rep PromptArgument

Instance details

Defined in Network.MCP.Types

type Rep PromptArgument = D1 ('MetaData "PromptArgument" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "PromptArgument" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptArgumentName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "promptArgumentDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "promptArgumentRequired") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool))))

Methods

from :: PromptArgument -> Rep PromptArgument x #

to :: Rep PromptArgument x -> PromptArgument #

Show PromptArgument Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> PromptArgument -> ShowS #

show :: PromptArgument -> String #

showList :: [PromptArgument] -> ShowS #

Eq PromptArgument Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep PromptArgument Source #

Instance details

Defined in Network.MCP.Types

type Rep PromptArgument = D1 ('MetaData "PromptArgument" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "PromptArgument" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptArgumentName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "promptArgumentDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "promptArgumentRequired") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool))))

data PromptMessage Source #

Prompt message

Constructors

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

Instances

Instances details

FromJSON PromptMessage Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser PromptMessage #

parseJSONList :: Value -> Parser [PromptMessage] #

omittedField :: Maybe PromptMessage #

ToJSON PromptMessage Source #

Instance details

Defined in Network.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 Network.MCP.Types

Associated Types

type Rep PromptMessage

Instance details

Defined in Network.MCP.Types

type Rep PromptMessage = D1 ('MetaData "PromptMessage" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "PromptMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptMessageRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "promptMessageContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PromptContent)))

Methods

from :: PromptMessage -> Rep PromptMessage x #

to :: Rep PromptMessage x -> PromptMessage #

Show PromptMessage Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> PromptMessage -> ShowS #

show :: PromptMessage -> String #

showList :: [PromptMessage] -> ShowS #

Eq PromptMessage Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep PromptMessage Source #

Instance details

Defined in Network.MCP.Types

type Rep PromptMessage = D1 ('MetaData "PromptMessage" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "PromptMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptMessageRole") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "promptMessageContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PromptContent)))

data PromptContentType Source #

Prompt content type

Constructors

TextPromptContent
ResourcePromptContent

Instances

Instances details

FromJSON PromptContentType Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser PromptContentType #

parseJSONList :: Value -> Parser [PromptContentType] #

omittedField :: Maybe PromptContentType #

ToJSON PromptContentType Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: PromptContentType -> Value #

toEncoding :: PromptContentType -> Encoding #

toJSONList :: [PromptContentType] -> Value #

toEncodingList :: [PromptContentType] -> Encoding #

omitField :: PromptContentType -> Bool #

Generic PromptContentType Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep PromptContentType
Instance details Defined in Network.MCP.Types type Rep PromptContentType = D1 ('MetaData "PromptContentType" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "TextPromptContent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ResourcePromptContent" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: PromptContentType -> Rep PromptContentType x #

to :: Rep PromptContentType x -> PromptContentType #

Show PromptContentType Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> PromptContentType -> ShowS #

show :: PromptContentType -> String #

showList :: [PromptContentType] -> ShowS #

Eq PromptContentType Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep PromptContentType Source #

Instance details

Defined in Network.MCP.Types

type Rep PromptContentType = D1 ('MetaData "PromptContentType" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "TextPromptContent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ResourcePromptContent" 'PrefixI 'False) (U1 :: Type -> Type))

data PromptContent Source #

Prompt content

Constructors

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

Instances

Instances details

FromJSON PromptContent Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser PromptContent #

parseJSONList :: Value -> Parser [PromptContent] #

omittedField :: Maybe PromptContent #

ToJSON PromptContent Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: PromptContent -> Value #

toEncoding :: PromptContent -> Encoding #

toJSONList :: [PromptContent] -> Value #

toEncodingList :: [PromptContent] -> Encoding #

omitField :: PromptContent -> Bool #

Generic PromptContent Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep PromptContent

Instance details

Defined in Network.MCP.Types

type Rep PromptContent = D1 ('MetaData "PromptContent" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "PromptContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptContentType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PromptContentType) :*: S1 ('MetaSel ('Just "promptContentText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

Methods

from :: PromptContent -> Rep PromptContent x #

to :: Rep PromptContent x -> PromptContent #

Show PromptContent Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> PromptContent -> ShowS #

show :: PromptContent -> String #

showList :: [PromptContent] -> ShowS #

Eq PromptContent Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep PromptContent Source #

Instance details

Defined in Network.MCP.Types

type Rep PromptContent = D1 ('MetaData "PromptContent" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "PromptContent" 'PrefixI 'True) (S1 ('MetaSel ('Just "promptContentType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PromptContentType) :*: S1 ('MetaSel ('Just "promptContentText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

Roots

data Root Source #

Root definition

Constructors

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

Instances

Instances details

FromJSON Root Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser Root #

parseJSONList :: Value -> Parser [Root] #

omittedField :: Maybe Root #

ToJSON Root Source #

Instance details

Defined in Network.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 Network.MCP.Types

Associated Types

type Rep Root
Instance details Defined in Network.MCP.Types type Rep Root = D1 ('MetaData "Root" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "Root" 'PrefixI 'True) (S1 ('MetaSel ('Just "rootUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "rootName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

Methods

from :: Root -> Rep Root x #

to :: Rep Root x -> Root #

Show Root Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> Root -> ShowS #

show :: Root -> String #

showList :: [Root] -> ShowS #

Eq Root Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep Root Source #

Instance details

Defined in Network.MCP.Types

type Rep Root = D1 ('MetaData "Root" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "Root" 'PrefixI 'True) (S1 ('MetaSel ('Just "rootUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "rootName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

Protocol Versions

type ProtocolVersion = Text Source #

Protocol version

supportedVersions :: [ProtocolVersion] Source #

Supported protocol versions

Initialization

data ServerInitializeOptions Source #

Server initialize options

Constructors

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

Instances

Instances details

FromJSON ServerInitializeOptions Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ServerInitializeOptions #

parseJSONList :: Value -> Parser [ServerInitializeOptions] #

omittedField :: Maybe ServerInitializeOptions #

ToJSON ServerInitializeOptions Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ServerInitializeOptions -> Value #

toEncoding :: ServerInitializeOptions -> Encoding #

toJSONList :: [ServerInitializeOptions] -> Value #

toEncodingList :: [ServerInitializeOptions] -> Encoding #

omitField :: ServerInitializeOptions -> Bool #

Generic ServerInitializeOptions Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ServerInitializeOptions

Instance details

Defined in Network.MCP.Types

type Rep ServerInitializeOptions = D1 ('MetaData "ServerInitializeOptions" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ServerInitializeOptions" 'PrefixI 'True) ((S1 ('MetaSel ('Just "serverInitProtocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProtocolVersion) :*: S1 ('MetaSel ('Just "serverInitInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Implementation)) :*: (S1 ('MetaSel ('Just "serverInitCapabilities") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ServerCapabilities) :*: S1 ('MetaSel ('Just "serverInitInstructions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))

Methods

from :: ServerInitializeOptions -> Rep ServerInitializeOptions x #

to :: Rep ServerInitializeOptions x -> ServerInitializeOptions #

Show ServerInitializeOptions Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ServerInitializeOptions -> ShowS #

show :: ServerInitializeOptions -> String #

showList :: [ServerInitializeOptions] -> ShowS #

Eq ServerInitializeOptions Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ServerInitializeOptions Source #

Instance details

Defined in Network.MCP.Types

type Rep ServerInitializeOptions = D1 ('MetaData "ServerInitializeOptions" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ServerInitializeOptions" 'PrefixI 'True) ((S1 ('MetaSel ('Just "serverInitProtocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProtocolVersion) :*: S1 ('MetaSel ('Just "serverInitInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Implementation)) :*: (S1 ('MetaSel ('Just "serverInitCapabilities") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ServerCapabilities) :*: S1 ('MetaSel ('Just "serverInitInstructions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))

data ClientInitializeOptions Source #

Client initialize options

Constructors

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

Instances

Instances details

FromJSON ClientInitializeOptions Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ClientInitializeOptions #

parseJSONList :: Value -> Parser [ClientInitializeOptions] #

omittedField :: Maybe ClientInitializeOptions #

ToJSON ClientInitializeOptions Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ClientInitializeOptions -> Value #

toEncoding :: ClientInitializeOptions -> Encoding #

toJSONList :: [ClientInitializeOptions] -> Value #

toEncodingList :: [ClientInitializeOptions] -> Encoding #

omitField :: ClientInitializeOptions -> Bool #

Generic ClientInitializeOptions Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ClientInitializeOptions

Instance details

Defined in Network.MCP.Types

type Rep ClientInitializeOptions = D1 ('MetaData "ClientInitializeOptions" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ClientInitializeOptions" 'PrefixI 'True) (S1 ('MetaSel ('Just "clientInitProtocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProtocolVersion) :*: (S1 ('MetaSel ('Just "clientInitInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Implementation) :*: S1 ('MetaSel ('Just "clientInitCapabilities") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ClientCapabilities))))

Methods

from :: ClientInitializeOptions -> Rep ClientInitializeOptions x #

to :: Rep ClientInitializeOptions x -> ClientInitializeOptions #

Show ClientInitializeOptions Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ClientInitializeOptions -> ShowS #

show :: ClientInitializeOptions -> String #

showList :: [ClientInitializeOptions] -> ShowS #

Eq ClientInitializeOptions Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ClientInitializeOptions Source #

Instance details

Defined in Network.MCP.Types

type Rep ClientInitializeOptions = D1 ('MetaData "ClientInitializeOptions" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ClientInitializeOptions" 'PrefixI 'True) (S1 ('MetaSel ('Just "clientInitProtocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProtocolVersion) :*: (S1 ('MetaSel ('Just "clientInitInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Implementation) :*: S1 ('MetaSel ('Just "clientInitCapabilities") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ClientCapabilities))))

type ServerInitializeResult = ClientInitializeOptions Source #

Server initialize result

type ClientInitializeResult = ServerInitializeOptions Source #

Client initialize result

Resource Requests

data ListResourcesRequest Source #

List resources request

Constructors

ListResourcesRequest

Instances

Instances details

FromJSON ListResourcesRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ListResourcesRequest #

parseJSONList :: Value -> Parser [ListResourcesRequest] #

omittedField :: Maybe ListResourcesRequest #

ToJSON ListResourcesRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ListResourcesRequest -> Value #

toEncoding :: ListResourcesRequest -> Encoding #

toJSONList :: [ListResourcesRequest] -> Value #

toEncodingList :: [ListResourcesRequest] -> Encoding #

omitField :: ListResourcesRequest -> Bool #

Generic ListResourcesRequest Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ListResourcesRequest
Instance details Defined in Network.MCP.Types type Rep ListResourcesRequest = D1 ('MetaData "ListResourcesRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListResourcesRequest" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ListResourcesRequest -> Rep ListResourcesRequest x #

to :: Rep ListResourcesRequest x -> ListResourcesRequest #

Show ListResourcesRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ListResourcesRequest -> ShowS #

show :: ListResourcesRequest -> String #

showList :: [ListResourcesRequest] -> ShowS #

Eq ListResourcesRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ListResourcesRequest Source #

Instance details

Defined in Network.MCP.Types

type Rep ListResourcesRequest = D1 ('MetaData "ListResourcesRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListResourcesRequest" 'PrefixI 'False) (U1 :: Type -> Type))

data ListResourcesResult Source #

List resources result

Constructors

ListResourcesResult
Fields listResourcesResult :: [Resource] Available resources

Instances

Instances details

FromJSON ListResourcesResult Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ListResourcesResult #

parseJSONList :: Value -> Parser [ListResourcesResult] #

omittedField :: Maybe ListResourcesResult #

ToJSON ListResourcesResult Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ListResourcesResult -> Value #

toEncoding :: ListResourcesResult -> Encoding #

toJSONList :: [ListResourcesResult] -> Value #

toEncodingList :: [ListResourcesResult] -> Encoding #

omitField :: ListResourcesResult -> Bool #

Generic ListResourcesResult Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ListResourcesResult
Instance details Defined in Network.MCP.Types type Rep ListResourcesResult = D1 ('MetaData "ListResourcesResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListResourcesResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "listResourcesResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Resource])))

Methods

from :: ListResourcesResult -> Rep ListResourcesResult x #

to :: Rep ListResourcesResult x -> ListResourcesResult #

Show ListResourcesResult Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ListResourcesResult -> ShowS #

show :: ListResourcesResult -> String #

showList :: [ListResourcesResult] -> ShowS #

Eq ListResourcesResult Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ListResourcesResult Source #

Instance details

Defined in Network.MCP.Types

type Rep ListResourcesResult = D1 ('MetaData "ListResourcesResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListResourcesResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "listResourcesResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Resource])))

data ReadResourceRequest Source #

Read resource request

Constructors

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

Instances

Instances details

FromJSON ReadResourceRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ReadResourceRequest #

parseJSONList :: Value -> Parser [ReadResourceRequest] #

omittedField :: Maybe ReadResourceRequest #

ToJSON ReadResourceRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ReadResourceRequest -> Value #

toEncoding :: ReadResourceRequest -> Encoding #

toJSONList :: [ReadResourceRequest] -> Value #

toEncodingList :: [ReadResourceRequest] -> Encoding #

omitField :: ReadResourceRequest -> Bool #

Generic ReadResourceRequest Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ReadResourceRequest
Instance details Defined in Network.MCP.Types type Rep ReadResourceRequest = D1 ('MetaData "ReadResourceRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ReadResourceRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourceReadUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

Methods

from :: ReadResourceRequest -> Rep ReadResourceRequest x #

to :: Rep ReadResourceRequest x -> ReadResourceRequest #

Show ReadResourceRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ReadResourceRequest -> ShowS #

show :: ReadResourceRequest -> String #

showList :: [ReadResourceRequest] -> ShowS #

Eq ReadResourceRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ReadResourceRequest Source #

Instance details

Defined in Network.MCP.Types

type Rep ReadResourceRequest = D1 ('MetaData "ReadResourceRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ReadResourceRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourceReadUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

data ReadResourceResult Source #

Read resource result

Constructors

ReadResourceResult
Fields readResourceContents :: [ResourceContent] Resource contents

Instances

Instances details

FromJSON ReadResourceResult Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ReadResourceResult #

parseJSONList :: Value -> Parser [ReadResourceResult] #

omittedField :: Maybe ReadResourceResult #

ToJSON ReadResourceResult Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ReadResourceResult -> Value #

toEncoding :: ReadResourceResult -> Encoding #

toJSONList :: [ReadResourceResult] -> Value #

toEncodingList :: [ReadResourceResult] -> Encoding #

omitField :: ReadResourceResult -> Bool #

Generic ReadResourceResult Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ReadResourceResult
Instance details Defined in Network.MCP.Types type Rep ReadResourceResult = D1 ('MetaData "ReadResourceResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ReadResourceResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "readResourceContents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ResourceContent])))

Methods

from :: ReadResourceResult -> Rep ReadResourceResult x #

to :: Rep ReadResourceResult x -> ReadResourceResult #

Show ReadResourceResult Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ReadResourceResult -> ShowS #

show :: ReadResourceResult -> String #

showList :: [ReadResourceResult] -> ShowS #

Eq ReadResourceResult Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ReadResourceResult Source #

Instance details

Defined in Network.MCP.Types

type Rep ReadResourceResult = D1 ('MetaData "ReadResourceResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ReadResourceResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "readResourceContents") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ResourceContent])))

data SubscribeResourceRequest Source #

Subscribe resource request

Constructors

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

Instances

Instances details

FromJSON SubscribeResourceRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser SubscribeResourceRequest #

parseJSONList :: Value -> Parser [SubscribeResourceRequest] #

omittedField :: Maybe SubscribeResourceRequest #

ToJSON SubscribeResourceRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: SubscribeResourceRequest -> Value #

toEncoding :: SubscribeResourceRequest -> Encoding #

toJSONList :: [SubscribeResourceRequest] -> Value #

toEncodingList :: [SubscribeResourceRequest] -> Encoding #

omitField :: SubscribeResourceRequest -> Bool #

Generic SubscribeResourceRequest Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep SubscribeResourceRequest
Instance details Defined in Network.MCP.Types type Rep SubscribeResourceRequest = D1 ('MetaData "SubscribeResourceRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "SubscribeResourceRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "subscribeResourceUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

Methods

from :: SubscribeResourceRequest -> Rep SubscribeResourceRequest x #

to :: Rep SubscribeResourceRequest x -> SubscribeResourceRequest #

Show SubscribeResourceRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> SubscribeResourceRequest -> ShowS #

show :: SubscribeResourceRequest -> String #

showList :: [SubscribeResourceRequest] -> ShowS #

Eq SubscribeResourceRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep SubscribeResourceRequest Source #

Instance details

Defined in Network.MCP.Types

type Rep SubscribeResourceRequest = D1 ('MetaData "SubscribeResourceRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "SubscribeResourceRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "subscribeResourceUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

data SubscribeResourceResult Source #

Subscribe resource result

Constructors

SubscribeResourceResult

Instances

Instances details

FromJSON SubscribeResourceResult Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser SubscribeResourceResult #

parseJSONList :: Value -> Parser [SubscribeResourceResult] #

omittedField :: Maybe SubscribeResourceResult #

ToJSON SubscribeResourceResult Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: SubscribeResourceResult -> Value #

toEncoding :: SubscribeResourceResult -> Encoding #

toJSONList :: [SubscribeResourceResult] -> Value #

toEncodingList :: [SubscribeResourceResult] -> Encoding #

omitField :: SubscribeResourceResult -> Bool #

Generic SubscribeResourceResult Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep SubscribeResourceResult
Instance details Defined in Network.MCP.Types type Rep SubscribeResourceResult = D1 ('MetaData "SubscribeResourceResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "SubscribeResourceResult" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: SubscribeResourceResult -> Rep SubscribeResourceResult x #

to :: Rep SubscribeResourceResult x -> SubscribeResourceResult #

Show SubscribeResourceResult Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> SubscribeResourceResult -> ShowS #

show :: SubscribeResourceResult -> String #

showList :: [SubscribeResourceResult] -> ShowS #

Eq SubscribeResourceResult Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep SubscribeResourceResult Source #

Instance details

Defined in Network.MCP.Types

type Rep SubscribeResourceResult = D1 ('MetaData "SubscribeResourceResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "SubscribeResourceResult" 'PrefixI 'False) (U1 :: Type -> Type))

data UnsubscribeResourceRequest Source #

Unsubscribe resource request

Constructors

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

Instances

Instances details

FromJSON UnsubscribeResourceRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser UnsubscribeResourceRequest #

parseJSONList :: Value -> Parser [UnsubscribeResourceRequest] #

omittedField :: Maybe UnsubscribeResourceRequest #

ToJSON UnsubscribeResourceRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: UnsubscribeResourceRequest -> Value #

toEncoding :: UnsubscribeResourceRequest -> Encoding #

toJSONList :: [UnsubscribeResourceRequest] -> Value #

toEncodingList :: [UnsubscribeResourceRequest] -> Encoding #

omitField :: UnsubscribeResourceRequest -> Bool #

Generic UnsubscribeResourceRequest Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep UnsubscribeResourceRequest
Instance details Defined in Network.MCP.Types type Rep UnsubscribeResourceRequest = D1 ('MetaData "UnsubscribeResourceRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "UnsubscribeResourceRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "unsubscribeResourceUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

Methods

from :: UnsubscribeResourceRequest -> Rep UnsubscribeResourceRequest x #

to :: Rep UnsubscribeResourceRequest x -> UnsubscribeResourceRequest #

Show UnsubscribeResourceRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> UnsubscribeResourceRequest -> ShowS #

show :: UnsubscribeResourceRequest -> String #

showList :: [UnsubscribeResourceRequest] -> ShowS #

Eq UnsubscribeResourceRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep UnsubscribeResourceRequest Source #

Instance details

Defined in Network.MCP.Types

type Rep UnsubscribeResourceRequest = D1 ('MetaData "UnsubscribeResourceRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "UnsubscribeResourceRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "unsubscribeResourceUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

data UnsubscribeResourceResult Source #

Unsubscribe resource result

Constructors

UnsubscribeResourceResult

Instances

Instances details

FromJSON UnsubscribeResourceResult Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser UnsubscribeResourceResult #

parseJSONList :: Value -> Parser [UnsubscribeResourceResult] #

omittedField :: Maybe UnsubscribeResourceResult #

ToJSON UnsubscribeResourceResult Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: UnsubscribeResourceResult -> Value #

toEncoding :: UnsubscribeResourceResult -> Encoding #

toJSONList :: [UnsubscribeResourceResult] -> Value #

toEncodingList :: [UnsubscribeResourceResult] -> Encoding #

omitField :: UnsubscribeResourceResult -> Bool #

Generic UnsubscribeResourceResult Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep UnsubscribeResourceResult
Instance details Defined in Network.MCP.Types type Rep UnsubscribeResourceResult = D1 ('MetaData "UnsubscribeResourceResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "UnsubscribeResourceResult" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: UnsubscribeResourceResult -> Rep UnsubscribeResourceResult x #

to :: Rep UnsubscribeResourceResult x -> UnsubscribeResourceResult #

Show UnsubscribeResourceResult Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> UnsubscribeResourceResult -> ShowS #

show :: UnsubscribeResourceResult -> String #

showList :: [UnsubscribeResourceResult] -> ShowS #

Eq UnsubscribeResourceResult Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep UnsubscribeResourceResult Source #

Instance details

Defined in Network.MCP.Types

type Rep UnsubscribeResourceResult = D1 ('MetaData "UnsubscribeResourceResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "UnsubscribeResourceResult" 'PrefixI 'False) (U1 :: Type -> Type))

Tool Requests

data ListToolsRequest Source #

List tools request

Constructors

ListToolsRequest

Instances

Instances details

FromJSON ListToolsRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ListToolsRequest #

parseJSONList :: Value -> Parser [ListToolsRequest] #

omittedField :: Maybe ListToolsRequest #

ToJSON ListToolsRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ListToolsRequest -> Value #

toEncoding :: ListToolsRequest -> Encoding #

toJSONList :: [ListToolsRequest] -> Value #

toEncodingList :: [ListToolsRequest] -> Encoding #

omitField :: ListToolsRequest -> Bool #

Generic ListToolsRequest Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ListToolsRequest
Instance details Defined in Network.MCP.Types type Rep ListToolsRequest = D1 ('MetaData "ListToolsRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListToolsRequest" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ListToolsRequest -> Rep ListToolsRequest x #

to :: Rep ListToolsRequest x -> ListToolsRequest #

Show ListToolsRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ListToolsRequest -> ShowS #

show :: ListToolsRequest -> String #

showList :: [ListToolsRequest] -> ShowS #

Eq ListToolsRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ListToolsRequest Source #

Instance details

Defined in Network.MCP.Types

type Rep ListToolsRequest = D1 ('MetaData "ListToolsRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListToolsRequest" 'PrefixI 'False) (U1 :: Type -> Type))

data ListToolsResult Source #

List tools result

Constructors

ListToolsResult
Fields listToolsResult :: [Tool] Available tools

Instances

Instances details

FromJSON ListToolsResult Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ListToolsResult #

parseJSONList :: Value -> Parser [ListToolsResult] #

omittedField :: Maybe ListToolsResult #

ToJSON ListToolsResult Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ListToolsResult -> Value #

toEncoding :: ListToolsResult -> Encoding #

toJSONList :: [ListToolsResult] -> Value #

toEncodingList :: [ListToolsResult] -> Encoding #

omitField :: ListToolsResult -> Bool #

Generic ListToolsResult Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ListToolsResult
Instance details Defined in Network.MCP.Types type Rep ListToolsResult = D1 ('MetaData "ListToolsResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListToolsResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "listToolsResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Tool])))

Methods

from :: ListToolsResult -> Rep ListToolsResult x #

to :: Rep ListToolsResult x -> ListToolsResult #

Show ListToolsResult Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ListToolsResult -> ShowS #

show :: ListToolsResult -> String #

showList :: [ListToolsResult] -> ShowS #

Eq ListToolsResult Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ListToolsResult Source #

Instance details

Defined in Network.MCP.Types

type Rep ListToolsResult = D1 ('MetaData "ListToolsResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListToolsResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "listToolsResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Tool])))

data CallToolRequest Source #

Call tool request

Constructors

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

Instances

Instances details

FromJSON CallToolRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser CallToolRequest #

parseJSONList :: Value -> Parser [CallToolRequest] #

omittedField :: Maybe CallToolRequest #

ToJSON CallToolRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: CallToolRequest -> Value #

toEncoding :: CallToolRequest -> Encoding #

toJSONList :: [CallToolRequest] -> Value #

toEncodingList :: [CallToolRequest] -> Encoding #

omitField :: CallToolRequest -> Bool #

Generic CallToolRequest Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep CallToolRequest

Instance details

Defined in Network.MCP.Types

type Rep CallToolRequest = D1 ('MetaData "CallToolRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "CallToolRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "callToolName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "callToolArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Value)))

Methods

from :: CallToolRequest -> Rep CallToolRequest x #

to :: Rep CallToolRequest x -> CallToolRequest #

Show CallToolRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> CallToolRequest -> ShowS #

show :: CallToolRequest -> String #

showList :: [CallToolRequest] -> ShowS #

Eq CallToolRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep CallToolRequest Source #

Instance details

Defined in Network.MCP.Types

type Rep CallToolRequest = D1 ('MetaData "CallToolRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "CallToolRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "callToolName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "callToolArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Value)))

data CallToolResult Source #

Call tool result

Constructors

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

Instances

Instances details

FromJSON CallToolResult Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser CallToolResult #

parseJSONList :: Value -> Parser [CallToolResult] #

omittedField :: Maybe CallToolResult #

ToJSON CallToolResult Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: CallToolResult -> Value #

toEncoding :: CallToolResult -> Encoding #

toJSONList :: [CallToolResult] -> Value #

toEncodingList :: [CallToolResult] -> Encoding #

omitField :: CallToolResult -> Bool #

Generic CallToolResult Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep CallToolResult

Instance details

Defined in Network.MCP.Types

type Rep CallToolResult = D1 ('MetaData "CallToolResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "CallToolResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "callToolContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ToolContent]) :*: S1 ('MetaSel ('Just "callToolIsError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

Methods

from :: CallToolResult -> Rep CallToolResult x #

to :: Rep CallToolResult x -> CallToolResult #

Show CallToolResult Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> CallToolResult -> ShowS #

show :: CallToolResult -> String #

showList :: [CallToolResult] -> ShowS #

Eq CallToolResult Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep CallToolResult Source #

Instance details

Defined in Network.MCP.Types

type Rep CallToolResult = D1 ('MetaData "CallToolResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "CallToolResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "callToolContent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ToolContent]) :*: S1 ('MetaSel ('Just "callToolIsError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)))

Prompt Requests

data ListPromptsRequest Source #

List prompts request

Constructors

ListPromptsRequest

Instances

Instances details

FromJSON ListPromptsRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ListPromptsRequest #

parseJSONList :: Value -> Parser [ListPromptsRequest] #

omittedField :: Maybe ListPromptsRequest #

ToJSON ListPromptsRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ListPromptsRequest -> Value #

toEncoding :: ListPromptsRequest -> Encoding #

toJSONList :: [ListPromptsRequest] -> Value #

toEncodingList :: [ListPromptsRequest] -> Encoding #

omitField :: ListPromptsRequest -> Bool #

Generic ListPromptsRequest Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ListPromptsRequest
Instance details Defined in Network.MCP.Types type Rep ListPromptsRequest = D1 ('MetaData "ListPromptsRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListPromptsRequest" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ListPromptsRequest -> Rep ListPromptsRequest x #

to :: Rep ListPromptsRequest x -> ListPromptsRequest #

Show ListPromptsRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ListPromptsRequest -> ShowS #

show :: ListPromptsRequest -> String #

showList :: [ListPromptsRequest] -> ShowS #

Eq ListPromptsRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ListPromptsRequest Source #

Instance details

Defined in Network.MCP.Types

type Rep ListPromptsRequest = D1 ('MetaData "ListPromptsRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListPromptsRequest" 'PrefixI 'False) (U1 :: Type -> Type))

data ListPromptsResult Source #

List prompts result

Constructors

ListPromptsResult
Fields listPromptsResult :: [Prompt] Available prompts

Instances

Instances details

FromJSON ListPromptsResult Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ListPromptsResult #

parseJSONList :: Value -> Parser [ListPromptsResult] #

omittedField :: Maybe ListPromptsResult #

ToJSON ListPromptsResult Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ListPromptsResult -> Value #

toEncoding :: ListPromptsResult -> Encoding #

toJSONList :: [ListPromptsResult] -> Value #

toEncodingList :: [ListPromptsResult] -> Encoding #

omitField :: ListPromptsResult -> Bool #

Generic ListPromptsResult Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ListPromptsResult
Instance details Defined in Network.MCP.Types type Rep ListPromptsResult = D1 ('MetaData "ListPromptsResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListPromptsResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "listPromptsResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Prompt])))

Methods

from :: ListPromptsResult -> Rep ListPromptsResult x #

to :: Rep ListPromptsResult x -> ListPromptsResult #

Show ListPromptsResult Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ListPromptsResult -> ShowS #

show :: ListPromptsResult -> String #

showList :: [ListPromptsResult] -> ShowS #

Eq ListPromptsResult Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ListPromptsResult Source #

Instance details

Defined in Network.MCP.Types

type Rep ListPromptsResult = D1 ('MetaData "ListPromptsResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListPromptsResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "listPromptsResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Prompt])))

data GetPromptRequest Source #

Get prompt request

Constructors

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

Instances

Instances details

FromJSON GetPromptRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser GetPromptRequest #

parseJSONList :: Value -> Parser [GetPromptRequest] #

omittedField :: Maybe GetPromptRequest #

ToJSON GetPromptRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: GetPromptRequest -> Value #

toEncoding :: GetPromptRequest -> Encoding #

toJSONList :: [GetPromptRequest] -> Value #

toEncodingList :: [GetPromptRequest] -> Encoding #

omitField :: GetPromptRequest -> Bool #

Generic GetPromptRequest Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep GetPromptRequest

Instance details

Defined in Network.MCP.Types

type Rep GetPromptRequest = D1 ('MetaData "GetPromptRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "GetPromptRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPromptName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "getPromptArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Map Text Text))))

Methods

from :: GetPromptRequest -> Rep GetPromptRequest x #

to :: Rep GetPromptRequest x -> GetPromptRequest #

Show GetPromptRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> GetPromptRequest -> ShowS #

show :: GetPromptRequest -> String #

showList :: [GetPromptRequest] -> ShowS #

Eq GetPromptRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep GetPromptRequest Source #

Instance details

Defined in Network.MCP.Types

type Rep GetPromptRequest = D1 ('MetaData "GetPromptRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "GetPromptRequest" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPromptName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "getPromptArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Map Text Text))))

data GetPromptResult Source #

Get prompt result

Constructors

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

Instances

Instances details

FromJSON GetPromptResult Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser GetPromptResult #

parseJSONList :: Value -> Parser [GetPromptResult] #

omittedField :: Maybe GetPromptResult #

ToJSON GetPromptResult Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: GetPromptResult -> Value #

toEncoding :: GetPromptResult -> Encoding #

toJSONList :: [GetPromptResult] -> Value #

toEncodingList :: [GetPromptResult] -> Encoding #

omitField :: GetPromptResult -> Bool #

Generic GetPromptResult Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep GetPromptResult

Instance details

Defined in Network.MCP.Types

type Rep GetPromptResult = D1 ('MetaData "GetPromptResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "GetPromptResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPromptDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "getPromptMessages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [PromptMessage])))

Methods

from :: GetPromptResult -> Rep GetPromptResult x #

to :: Rep GetPromptResult x -> GetPromptResult #

Show GetPromptResult Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> GetPromptResult -> ShowS #

show :: GetPromptResult -> String #

showList :: [GetPromptResult] -> ShowS #

Eq GetPromptResult Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep GetPromptResult Source #

Instance details

Defined in Network.MCP.Types

type Rep GetPromptResult = D1 ('MetaData "GetPromptResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "GetPromptResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPromptDescription") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: S1 ('MetaSel ('Just "getPromptMessages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [PromptMessage])))

Roots Requests

data ListRootsRequest Source #

List roots request

Constructors

ListRootsRequest

Instances

Instances details

FromJSON ListRootsRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ListRootsRequest #

parseJSONList :: Value -> Parser [ListRootsRequest] #

omittedField :: Maybe ListRootsRequest #

ToJSON ListRootsRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ListRootsRequest -> Value #

toEncoding :: ListRootsRequest -> Encoding #

toJSONList :: [ListRootsRequest] -> Value #

toEncodingList :: [ListRootsRequest] -> Encoding #

omitField :: ListRootsRequest -> Bool #

Generic ListRootsRequest Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ListRootsRequest
Instance details Defined in Network.MCP.Types type Rep ListRootsRequest = D1 ('MetaData "ListRootsRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListRootsRequest" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ListRootsRequest -> Rep ListRootsRequest x #

to :: Rep ListRootsRequest x -> ListRootsRequest #

Show ListRootsRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ListRootsRequest -> ShowS #

show :: ListRootsRequest -> String #

showList :: [ListRootsRequest] -> ShowS #

Eq ListRootsRequest Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ListRootsRequest Source #

Instance details

Defined in Network.MCP.Types

type Rep ListRootsRequest = D1 ('MetaData "ListRootsRequest" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListRootsRequest" 'PrefixI 'False) (U1 :: Type -> Type))

data ListRootsResult Source #

List roots result

Constructors

ListRootsResult
Fields listRootsResult :: [Root] Available roots

Instances

Instances details

FromJSON ListRootsResult Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ListRootsResult #

parseJSONList :: Value -> Parser [ListRootsResult] #

omittedField :: Maybe ListRootsResult #

ToJSON ListRootsResult Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ListRootsResult -> Value #

toEncoding :: ListRootsResult -> Encoding #

toJSONList :: [ListRootsResult] -> Value #

toEncodingList :: [ListRootsResult] -> Encoding #

omitField :: ListRootsResult -> Bool #

Generic ListRootsResult Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ListRootsResult
Instance details Defined in Network.MCP.Types type Rep ListRootsResult = D1 ('MetaData "ListRootsResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListRootsResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "listRootsResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Root])))

Methods

from :: ListRootsResult -> Rep ListRootsResult x #

to :: Rep ListRootsResult x -> ListRootsResult #

Show ListRootsResult Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ListRootsResult -> ShowS #

show :: ListRootsResult -> String #

showList :: [ListRootsResult] -> ShowS #

Eq ListRootsResult Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ListRootsResult Source #

Instance details

Defined in Network.MCP.Types

type Rep ListRootsResult = D1 ('MetaData "ListRootsResult" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ListRootsResult" 'PrefixI 'True) (S1 ('MetaSel ('Just "listRootsResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Root])))

Notifications

data ResourcesListChangedNotification Source #

Resources list changed notification

Constructors

ResourcesListChangedNotification

Instances

Instances details

FromJSON ResourcesListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ResourcesListChangedNotification #

parseJSONList :: Value -> Parser [ResourcesListChangedNotification] #

omittedField :: Maybe ResourcesListChangedNotification #

ToJSON ResourcesListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ResourcesListChangedNotification -> Value #

toEncoding :: ResourcesListChangedNotification -> Encoding #

toJSONList :: [ResourcesListChangedNotification] -> Value #

toEncodingList :: [ResourcesListChangedNotification] -> Encoding #

omitField :: ResourcesListChangedNotification -> Bool #

Generic ResourcesListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ResourcesListChangedNotification
Instance details Defined in Network.MCP.Types type Rep ResourcesListChangedNotification = D1 ('MetaData "ResourcesListChangedNotification" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ResourcesListChangedNotification" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ResourcesListChangedNotification -> Rep ResourcesListChangedNotification x #

to :: Rep ResourcesListChangedNotification x -> ResourcesListChangedNotification #

Show ResourcesListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ResourcesListChangedNotification -> ShowS #

show :: ResourcesListChangedNotification -> String #

showList :: [ResourcesListChangedNotification] -> ShowS #

Eq ResourcesListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ResourcesListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

type Rep ResourcesListChangedNotification = D1 ('MetaData "ResourcesListChangedNotification" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ResourcesListChangedNotification" 'PrefixI 'False) (U1 :: Type -> Type))

data ResourceUpdatedNotification Source #

Resource updated notification

Constructors

ResourceUpdatedNotification
Fields resourceUpdatedUri :: Text URI of the updated resource

Instances

Instances details

FromJSON ResourceUpdatedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ResourceUpdatedNotification #

parseJSONList :: Value -> Parser [ResourceUpdatedNotification] #

omittedField :: Maybe ResourceUpdatedNotification #

ToJSON ResourceUpdatedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ResourceUpdatedNotification -> Value #

toEncoding :: ResourceUpdatedNotification -> Encoding #

toJSONList :: [ResourceUpdatedNotification] -> Value #

toEncodingList :: [ResourceUpdatedNotification] -> Encoding #

omitField :: ResourceUpdatedNotification -> Bool #

Generic ResourceUpdatedNotification Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ResourceUpdatedNotification
Instance details Defined in Network.MCP.Types type Rep ResourceUpdatedNotification = D1 ('MetaData "ResourceUpdatedNotification" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ResourceUpdatedNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourceUpdatedUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

Methods

from :: ResourceUpdatedNotification -> Rep ResourceUpdatedNotification x #

to :: Rep ResourceUpdatedNotification x -> ResourceUpdatedNotification #

Show ResourceUpdatedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ResourceUpdatedNotification -> ShowS #

show :: ResourceUpdatedNotification -> String #

showList :: [ResourceUpdatedNotification] -> ShowS #

Eq ResourceUpdatedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ResourceUpdatedNotification Source #

Instance details

Defined in Network.MCP.Types

type Rep ResourceUpdatedNotification = D1 ('MetaData "ResourceUpdatedNotification" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ResourceUpdatedNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourceUpdatedUri") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

data ToolsListChangedNotification Source #

Tools list changed notification

Constructors

ToolsListChangedNotification

Instances

Instances details

FromJSON ToolsListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ToolsListChangedNotification #

parseJSONList :: Value -> Parser [ToolsListChangedNotification] #

omittedField :: Maybe ToolsListChangedNotification #

ToJSON ToolsListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: ToolsListChangedNotification -> Value #

toEncoding :: ToolsListChangedNotification -> Encoding #

toJSONList :: [ToolsListChangedNotification] -> Value #

toEncodingList :: [ToolsListChangedNotification] -> Encoding #

omitField :: ToolsListChangedNotification -> Bool #

Generic ToolsListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep ToolsListChangedNotification
Instance details Defined in Network.MCP.Types type Rep ToolsListChangedNotification = D1 ('MetaData "ToolsListChangedNotification" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ToolsListChangedNotification" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ToolsListChangedNotification -> Rep ToolsListChangedNotification x #

to :: Rep ToolsListChangedNotification x -> ToolsListChangedNotification #

Show ToolsListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ToolsListChangedNotification -> ShowS #

show :: ToolsListChangedNotification -> String #

showList :: [ToolsListChangedNotification] -> ShowS #

Eq ToolsListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep ToolsListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

type Rep ToolsListChangedNotification = D1 ('MetaData "ToolsListChangedNotification" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "ToolsListChangedNotification" 'PrefixI 'False) (U1 :: Type -> Type))

data PromptsListChangedNotification Source #

Prompts list changed notification

Constructors

PromptsListChangedNotification

Instances

Instances details

FromJSON PromptsListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser PromptsListChangedNotification #

parseJSONList :: Value -> Parser [PromptsListChangedNotification] #

omittedField :: Maybe PromptsListChangedNotification #

ToJSON PromptsListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: PromptsListChangedNotification -> Value #

toEncoding :: PromptsListChangedNotification -> Encoding #

toJSONList :: [PromptsListChangedNotification] -> Value #

toEncodingList :: [PromptsListChangedNotification] -> Encoding #

omitField :: PromptsListChangedNotification -> Bool #

Generic PromptsListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep PromptsListChangedNotification
Instance details Defined in Network.MCP.Types type Rep PromptsListChangedNotification = D1 ('MetaData "PromptsListChangedNotification" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "PromptsListChangedNotification" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: PromptsListChangedNotification -> Rep PromptsListChangedNotification x #

to :: Rep PromptsListChangedNotification x -> PromptsListChangedNotification #

Show PromptsListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> PromptsListChangedNotification -> ShowS #

show :: PromptsListChangedNotification -> String #

showList :: [PromptsListChangedNotification] -> ShowS #

Eq PromptsListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep PromptsListChangedNotification Source #

Instance details

Defined in Network.MCP.Types

type Rep PromptsListChangedNotification = D1 ('MetaData "PromptsListChangedNotification" "Network.MCP.Types" "hs-mcp-0.1.1.0-JLoh9r68iDo86RtGS2ufDf" 'False) (C1 ('MetaCons "PromptsListChangedNotification" 'PrefixI 'False) (U1 :: Type -> Type))