Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.MCP.Wrapper

Description

Wrapper to provide safer interface in constructing an MCP server.

Synopsis

data Tool m = forall arg.(FromJSON arg, HasInputSchema arg) => Tool {
- toolName :: Text
- toolDescription :: Text
- toolAnnotations :: ToolAnnotations
- toolArgType :: Proxy arg
- toolHandler :: arg -> m CallToolResult
}
data Prompt m = Prompt {
- promptName :: Text
- promptDescription :: Text
- promptArgs :: Map Text PromptArgument
- promptHandler :: Map Text Text -> m GetPromptResult
}
class HasInputSchema arg 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 Source #

Constructors

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

data Prompt m Source #

Constructors

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

class HasInputSchema arg where Source #

Methods

toInputSchema :: Proxy arg -> Value Source #

Instances

Instances details

HasInputSchema DocsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy DocsToolArguments -> 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 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 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 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] #
ToJSON CallToolResult
Instance details Defined in Network.MCP.Types Methods toJSON :: CallToolResult -> Value # toEncoding :: CallToolResult -> Encoding # toJSONList :: [CallToolResult] -> Value # toEncodingList :: [CallToolResult] -> Encoding #
Generic CallToolResult
Instance details Defined in Network.MCP.Types Associated Types type Rep CallToolResult :: Type -> Type # 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-5LuL8VDW0V2BNhAWDlOXoI" '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] #
ToJSON ServerCapabilities
Instance details Defined in Network.MCP.Types Methods toJSON :: ServerCapabilities -> Value # toEncoding :: ServerCapabilities -> Encoding # toJSONList :: [ServerCapabilities] -> Value # toEncodingList :: [ServerCapabilities] -> Encoding #
Generic ServerCapabilities
Instance details Defined in Network.MCP.Types Associated Types type Rep ServerCapabilities :: Type -> Type # 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-5LuL8VDW0V2BNhAWDlOXoI" '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] #
ToJSON ToolAnnotations
Instance details Defined in Network.MCP.Types Methods toJSON :: ToolAnnotations -> Value # toEncoding :: ToolAnnotations -> Encoding # toJSONList :: [ToolAnnotations] -> Value # toEncodingList :: [ToolAnnotations] -> Encoding #
Generic ToolAnnotations
Instance details Defined in Network.MCP.Types Associated Types type Rep ToolAnnotations :: Type -> Type # 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-5LuL8VDW0V2BNhAWDlOXoI" '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] #
ToJSON Implementation
Instance details Defined in Network.MCP.Types Methods toJSON :: Implementation -> Value # toEncoding :: Implementation -> Encoding # toJSONList :: [Implementation] -> Value # toEncodingList :: [Implementation] -> Encoding #
Generic Implementation
Instance details Defined in Network.MCP.Types Associated Types type Rep Implementation :: Type -> Type # 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-5LuL8VDW0V2BNhAWDlOXoI" '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] #
ToJSON ResourcesCapability
Instance details Defined in Network.MCP.Types Methods toJSON :: ResourcesCapability -> Value # toEncoding :: ResourcesCapability -> Encoding # toJSONList :: [ResourcesCapability] -> Value # toEncodingList :: [ResourcesCapability] -> Encoding #
Generic ResourcesCapability
Instance details Defined in Network.MCP.Types Associated Types type Rep ResourcesCapability :: Type -> Type # 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-5LuL8VDW0V2BNhAWDlOXoI" '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] #
ToJSON ToolsCapability
Instance details Defined in Network.MCP.Types Methods toJSON :: ToolsCapability -> Value # toEncoding :: ToolsCapability -> Encoding # toJSONList :: [ToolsCapability] -> Value # toEncodingList :: [ToolsCapability] -> Encoding #
Generic ToolsCapability
Instance details Defined in Network.MCP.Types Associated Types type Rep ToolsCapability :: Type -> Type # 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-5LuL8VDW0V2BNhAWDlOXoI" '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] #
ToJSON PromptsCapability
Instance details Defined in Network.MCP.Types Methods toJSON :: PromptsCapability -> Value # toEncoding :: PromptsCapability -> Encoding # toJSONList :: [PromptsCapability] -> Value # toEncodingList :: [PromptsCapability] -> Encoding #
Generic PromptsCapability
Instance details Defined in Network.MCP.Types Associated Types type Rep PromptsCapability :: Type -> Type # 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-5LuL8VDW0V2BNhAWDlOXoI" '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] #
ToJSON PromptContentType
Instance details Defined in Network.MCP.Types Methods toJSON :: PromptContentType -> Value # toEncoding :: PromptContentType -> Encoding # toJSONList :: [PromptContentType] -> Value # toEncodingList :: [PromptContentType] -> Encoding #
Generic PromptContentType
Instance details Defined in Network.MCP.Types Associated Types type Rep PromptContentType :: 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-5LuL8VDW0V2BNhAWDlOXoI" '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 #