Safe Haskell	None
Language	Haskell2010

Unison.MCP.Wrapper

Description

Wrapper to provide safer interface in constructing an MCP server.

Synopsis

data Tool (m :: Type -> Type) = (FromJSON arg, HasInputSchema arg) => Tool {
- toolName :: Text
- toolDescription :: Text
- toolAnnotations :: ToolAnnotations
- toolArgType :: Proxy arg
- toolHandler :: arg -> m CallToolResult
}
data Prompt (m :: Type -> Type) = Prompt {
- promptName :: Text
- promptDescription :: Text
- promptArgs :: Map Text PromptArgument
- promptHandler :: Map Text Text -> m GetPromptResult
}
class HasInputSchema (arg :: k) where
- toInputSchema :: Proxy arg -> Value
mkServer :: MonadUnliftIO m => ServerInfo -> Text -> StaticResources -> [Tool m] -> [Prompt m] -> m Server
data CallToolResult = CallToolResult {
- callToolContent :: [ToolContent]
- callToolIsError :: Bool
}
data PromptArgument = PromptArgument {
- promptArgumentDescription :: Text
- promptArgumentRequired :: Bool
}
type StaticResources = Map Text (Resource, ResourceContent)
data Server
data ServerCapabilities = ServerCapabilities {
}
data ToolAnnotations = ToolAnnotations {
- title :: Maybe Text
- readOnlyHint :: Maybe Bool
- destructiveHint :: Maybe Bool
- idempotentHint :: Maybe Bool
- openWorldHint :: Maybe Bool
}
data Implementation = Implementation {
- serverName :: Text
- serverVersion :: Text
}
data ResourcesCapability = ResourcesCapability {
- resourcesListChanged :: Bool
}
data ToolsCapability = ToolsCapability {
- toolsListChanged :: Bool
}
data PromptsCapability = PromptsCapability {
- promptsListChanged :: Bool
}
data PromptContentType
- = TextPromptContent
- | ResourcePromptContent
errorToolResult :: Text -> CallToolResult
textToolResult :: Text -> CallToolResult
jsonToolResult :: ToJSON a => a -> CallToolResult

Documentation

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

Constructors

(FromJSON arg, HasInputSchema arg) => Tool
Fields toolName :: Text toolDescription :: Text toolAnnotations :: ToolAnnotations toolArgType :: Proxy arg toolHandler :: arg -> m CallToolResult

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

Constructors

Prompt
Fields promptName :: Text promptDescription :: Text promptArgs :: Map Text PromptArgument promptHandler :: Map Text Text -> m GetPromptResult

class HasInputSchema (arg :: k) where Source #

Methods

toInputSchema :: Proxy arg -> Value Source #

Instances

Instances details

HasInputSchema CreateBranchToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy CreateBranchToolArguments -> Value Source #
HasInputSchema DeleteDefinitionsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy DeleteDefinitionsToolArguments -> Value Source #
HasInputSchema DeleteNamespaceToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy DeleteNamespaceToolArguments -> Value Source #
HasInputSchema DiffUpdateToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy DiffUpdateToolArguments -> Value Source #
HasInputSchema DocsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy DocsToolArguments -> Value Source #
HasInputSchema HistoryToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy HistoryToolArguments -> Value Source #
HasInputSchema LibInstallToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy LibInstallToolArguments -> Value Source #
HasInputSchema ListLibraryDefinitionsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy ListLibraryDefinitionsToolArguments -> Value Source #
HasInputSchema MoveDefinitionToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy MoveDefinitionToolArguments -> Value Source #
HasInputSchema MoveToToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy MoveToToolArguments -> Value Source #
HasInputSchema ProjectContext Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy ProjectContext -> Value Source #
HasInputSchema ProjectContextArgument Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy ProjectContextArgument -> Value Source #
HasInputSchema ProjectDefinitionNameArgument Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy ProjectDefinitionNameArgument -> Value Source #
HasInputSchema ProjectNameArgument Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy ProjectNameArgument -> Value Source #
HasInputSchema ReflogToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy ReflogToolArguments -> Value Source #
HasInputSchema RenameDefinitionToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy RenameDefinitionToolArguments -> Value Source #
HasInputSchema RunToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy RunToolArguments -> Value Source #
HasInputSchema SearchByTypeToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy SearchByTypeToolArguments -> Value Source #
HasInputSchema SearchDefinitionsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy SearchDefinitionsToolArguments -> Value Source #
HasInputSchema ShareProjectInfoToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy ShareProjectInfoToolArguments -> Value Source #
HasInputSchema ShareProjectReadmeToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy ShareProjectReadmeToolArguments -> Value Source #
HasInputSchema ShareProjectSearchToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy ShareProjectSearchToolArguments -> Value Source #
HasInputSchema TestToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy TestToolArguments -> Value Source #
HasInputSchema TypecheckCodeToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy TypecheckCodeToolArguments -> Value Source #
HasInputSchema UpdateDefinitionsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy UpdateDefinitionsToolArguments -> Value Source #
HasInputSchema ViewDefinitionsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy ViewDefinitionsToolArguments -> Value Source #
HasInputSchema () Source #
Instance details Defined in Unison.MCP.Wrapper Methods toInputSchema :: Proxy () -> Value Source #

mkServer :: MonadUnliftIO m => ServerInfo -> Text -> StaticResources -> [Tool m] -> [Prompt m] -> m Server Source #

data CallToolResult #

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

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser CallToolResult #

parseJSONList :: Value -> Parser [CallToolResult] #

omittedField :: Maybe CallToolResult #

ToJSON CallToolResult

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

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

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> CallToolResult -> ShowS #

show :: CallToolResult -> String #

showList :: [CallToolResult] -> ShowS #

Eq CallToolResult

Instance details

Defined in Network.MCP.Types

Methods

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

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

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

data PromptArgument Source #

Constructors

PromptArgument
Fields promptArgumentDescription :: Text promptArgumentRequired :: Bool Whether the argument is required

type StaticResources = Map Text (Resource, ResourceContent) Source #

data Server #

Server type with resources, tools, prompts and handlers

data ServerCapabilities #

Server capabilities

Constructors

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

Instances

Instances details

FromJSON ServerCapabilities

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ServerCapabilities #

parseJSONList :: Value -> Parser [ServerCapabilities] #

omittedField :: Maybe ServerCapabilities #

ToJSON ServerCapabilities

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

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

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ServerCapabilities -> ShowS #

show :: ServerCapabilities -> String #

showList :: [ServerCapabilities] -> ShowS #

Eq ServerCapabilities

Instance details

Defined in Network.MCP.Types

Methods

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

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

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

data ToolAnnotations #

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

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ToolAnnotations #

parseJSONList :: Value -> Parser [ToolAnnotations] #

omittedField :: Maybe ToolAnnotations #

ToJSON ToolAnnotations

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

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

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ToolAnnotations -> ShowS #

show :: ToolAnnotations -> String #

showList :: [ToolAnnotations] -> ShowS #

Eq ToolAnnotations

Instance details

Defined in Network.MCP.Types

Methods

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

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

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

data Implementation #

Implementation information

Constructors

Implementation
Fields serverName :: Text Name of the implementation serverVersion :: Text Version of the implementation

Instances

Instances details

FromJSON Implementation

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser Implementation #

parseJSONList :: Value -> Parser [Implementation] #

omittedField :: Maybe Implementation #

ToJSON Implementation

Instance details

Defined in Network.MCP.Types

Methods

toJSON :: Implementation -> Value #

toEncoding :: Implementation -> Encoding #

toJSONList :: [Implementation] -> Value #

toEncodingList :: [Implementation] -> Encoding #

omitField :: Implementation -> Bool #

Generic Implementation

Instance details

Defined in Network.MCP.Types

Associated Types

type Rep Implementation

Instance details

Defined in Network.MCP.Types

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

Methods

from :: Implementation -> Rep Implementation x #

to :: Rep Implementation x -> Implementation #

Show Implementation

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> Implementation -> ShowS #

show :: Implementation -> String #

showList :: [Implementation] -> ShowS #

Eq Implementation

Instance details

Defined in Network.MCP.Types

Methods

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

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

type Rep Implementation

Instance details

Defined in Network.MCP.Types

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

data ResourcesCapability #

Resources capability configuration

Constructors

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

Instances

Instances details

FromJSON ResourcesCapability

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ResourcesCapability #

parseJSONList :: Value -> Parser [ResourcesCapability] #

omittedField :: Maybe ResourcesCapability #

ToJSON ResourcesCapability

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

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

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ResourcesCapability -> ShowS #

show :: ResourcesCapability -> String #

showList :: [ResourcesCapability] -> ShowS #

Eq ResourcesCapability

Instance details

Defined in Network.MCP.Types

Methods

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

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

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

data ToolsCapability #

Tools capability configuration

Constructors

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

Instances

Instances details

FromJSON ToolsCapability

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser ToolsCapability #

parseJSONList :: Value -> Parser [ToolsCapability] #

omittedField :: Maybe ToolsCapability #

ToJSON ToolsCapability

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

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

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> ToolsCapability -> ShowS #

show :: ToolsCapability -> String #

showList :: [ToolsCapability] -> ShowS #

Eq ToolsCapability

Instance details

Defined in Network.MCP.Types

Methods

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

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

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

data PromptsCapability #

Prompts capability configuration

Constructors

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

Instances

Instances details

FromJSON PromptsCapability

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser PromptsCapability #

parseJSONList :: Value -> Parser [PromptsCapability] #

omittedField :: Maybe PromptsCapability #

ToJSON PromptsCapability

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

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

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> PromptsCapability -> ShowS #

show :: PromptsCapability -> String #

showList :: [PromptsCapability] -> ShowS #

Eq PromptsCapability

Instance details

Defined in Network.MCP.Types

Methods

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

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

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

data PromptContentType #

Prompt content type

Constructors

TextPromptContent
ResourcePromptContent

Instances

Instances details

FromJSON PromptContentType

Instance details

Defined in Network.MCP.Types

Methods

parseJSON :: Value -> Parser PromptContentType #

parseJSONList :: Value -> Parser [PromptContentType] #

omittedField :: Maybe PromptContentType #

ToJSON PromptContentType

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

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

Instance details

Defined in Network.MCP.Types

Methods

showsPrec :: Int -> PromptContentType -> ShowS #

show :: PromptContentType -> String #

showList :: [PromptContentType] -> ShowS #

Eq PromptContentType

Instance details

Defined in Network.MCP.Types

Methods

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

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

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

errorToolResult :: Text -> CallToolResult Source #

textToolResult :: Text -> CallToolResult Source #

jsonToolResult :: ToJSON a => a -> CallToolResult Source #