Safe Haskell	None
Language	GHC2024

MCP.Server.JsonRpc

Contents

JSON-RPC Types
JSON-RPC Functions

Synopsis

data JsonRpcRequest = JsonRpcRequest {
- requestJsonrpc :: Text
- requestId :: RequestId
- requestMethod :: Text
- requestParams :: Maybe Value
}
data JsonRpcResponse = JsonRpcResponse {
- responseJsonrpc :: Text
- responseId :: RequestId
- responseResult :: Maybe Value
- responseError :: Maybe JsonRpcError
}
data JsonRpcError = JsonRpcError {
- errorCode :: Int
- errorMessage :: Text
- errorData :: Maybe Value
}
data JsonRpcNotification = JsonRpcNotification {
- notificationJsonrpc :: Text
- notificationMethod :: Text
- notificationParams :: Maybe Value
}
data JsonRpcMessage
data RequestId
- = RequestIdText Text
- | RequestIdNumber Int
- | RequestIdNull
makeSuccessResponse :: RequestId -> Value -> JsonRpcResponse
makeErrorResponse :: RequestId -> JsonRpcError -> JsonRpcResponse
makeNotification :: Text -> Maybe Value -> JsonRpcNotification
parseJsonRpcMessage :: Value -> Either String JsonRpcMessage
encodeJsonRpcMessage :: JsonRpcMessage -> Value

JSON-RPC Types

data JsonRpcRequest Source #

JSON-RPC request

Constructors

JsonRpcRequest
Fields requestJsonrpc :: Text requestId :: RequestId requestMethod :: Text requestParams :: Maybe Value

Instances

Instances details

Generic JsonRpcRequest Source #

Instance details

Defined in MCP.Server.JsonRpc

Associated Types

type Rep JsonRpcRequest

Instance details

Defined in MCP.Server.JsonRpc

type Rep JsonRpcRequest = D1 ('MetaData "JsonRpcRequest" "MCP.Server.JsonRpc" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "JsonRpcRequest" 'PrefixI 'True) ((S1 ('MetaSel ('Just "requestJsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "requestId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RequestId)) :*: (S1 ('MetaSel ('Just "requestMethod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "requestParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))))

Methods

from :: JsonRpcRequest -> Rep JsonRpcRequest x #

to :: Rep JsonRpcRequest x -> JsonRpcRequest #

Show JsonRpcRequest Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

showsPrec :: Int -> JsonRpcRequest -> ShowS #

show :: JsonRpcRequest -> String #

showList :: [JsonRpcRequest] -> ShowS #

Eq JsonRpcRequest Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

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

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

FromJSON JsonRpcRequest Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

parseJSON :: Value -> Parser JsonRpcRequest #

parseJSONList :: Value -> Parser [JsonRpcRequest] #

omittedField :: Maybe JsonRpcRequest #

ToJSON JsonRpcRequest Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

toJSON :: JsonRpcRequest -> Value #

toEncoding :: JsonRpcRequest -> Encoding #

toJSONList :: [JsonRpcRequest] -> Value #

toEncodingList :: [JsonRpcRequest] -> Encoding #

omitField :: JsonRpcRequest -> Bool #

type Rep JsonRpcRequest Source #

Instance details

Defined in MCP.Server.JsonRpc

type Rep JsonRpcRequest = D1 ('MetaData "JsonRpcRequest" "MCP.Server.JsonRpc" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "JsonRpcRequest" 'PrefixI 'True) ((S1 ('MetaSel ('Just "requestJsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "requestId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RequestId)) :*: (S1 ('MetaSel ('Just "requestMethod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "requestParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))))

data JsonRpcResponse Source #

JSON-RPC response

Constructors

JsonRpcResponse
Fields responseJsonrpc :: Text responseId :: RequestId responseResult :: Maybe Value responseError :: Maybe JsonRpcError

Instances

Instances details

Generic JsonRpcResponse Source #

Instance details

Defined in MCP.Server.JsonRpc

Associated Types

type Rep JsonRpcResponse

Instance details

Defined in MCP.Server.JsonRpc

type Rep JsonRpcResponse = D1 ('MetaData "JsonRpcResponse" "MCP.Server.JsonRpc" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "JsonRpcResponse" 'PrefixI 'True) ((S1 ('MetaSel ('Just "responseJsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "responseId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RequestId)) :*: (S1 ('MetaSel ('Just "responseResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)) :*: S1 ('MetaSel ('Just "responseError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe JsonRpcError)))))

Methods

from :: JsonRpcResponse -> Rep JsonRpcResponse x #

to :: Rep JsonRpcResponse x -> JsonRpcResponse #

Show JsonRpcResponse Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

showsPrec :: Int -> JsonRpcResponse -> ShowS #

show :: JsonRpcResponse -> String #

showList :: [JsonRpcResponse] -> ShowS #

Eq JsonRpcResponse Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

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

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

FromJSON JsonRpcResponse Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

parseJSON :: Value -> Parser JsonRpcResponse #

parseJSONList :: Value -> Parser [JsonRpcResponse] #

omittedField :: Maybe JsonRpcResponse #

ToJSON JsonRpcResponse Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

toJSON :: JsonRpcResponse -> Value #

toEncoding :: JsonRpcResponse -> Encoding #

toJSONList :: [JsonRpcResponse] -> Value #

toEncodingList :: [JsonRpcResponse] -> Encoding #

omitField :: JsonRpcResponse -> Bool #

type Rep JsonRpcResponse Source #

Instance details

Defined in MCP.Server.JsonRpc

type Rep JsonRpcResponse = D1 ('MetaData "JsonRpcResponse" "MCP.Server.JsonRpc" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "JsonRpcResponse" 'PrefixI 'True) ((S1 ('MetaSel ('Just "responseJsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "responseId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RequestId)) :*: (S1 ('MetaSel ('Just "responseResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)) :*: S1 ('MetaSel ('Just "responseError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe JsonRpcError)))))

data JsonRpcError Source #

JSON-RPC error

Constructors

JsonRpcError
Fields errorCode :: Int errorMessage :: Text errorData :: Maybe Value

Instances

Instances details

Generic JsonRpcError Source #

Instance details

Defined in MCP.Server.JsonRpc

Associated Types

type Rep JsonRpcError

Instance details

Defined in MCP.Server.JsonRpc

type Rep JsonRpcError = D1 ('MetaData "JsonRpcError" "MCP.Server.JsonRpc" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "JsonRpcError" 'PrefixI 'True) (S1 ('MetaSel ('Just "errorCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "errorMessage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "errorData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))))

Methods

from :: JsonRpcError -> Rep JsonRpcError x #

to :: Rep JsonRpcError x -> JsonRpcError #

Show JsonRpcError Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

showsPrec :: Int -> JsonRpcError -> ShowS #

show :: JsonRpcError -> String #

showList :: [JsonRpcError] -> ShowS #

Eq JsonRpcError Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

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

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

FromJSON JsonRpcError Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

parseJSON :: Value -> Parser JsonRpcError #

parseJSONList :: Value -> Parser [JsonRpcError] #

omittedField :: Maybe JsonRpcError #

ToJSON JsonRpcError Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

toJSON :: JsonRpcError -> Value #

toEncoding :: JsonRpcError -> Encoding #

toJSONList :: [JsonRpcError] -> Value #

toEncodingList :: [JsonRpcError] -> Encoding #

omitField :: JsonRpcError -> Bool #

type Rep JsonRpcError Source #

Instance details

Defined in MCP.Server.JsonRpc

type Rep JsonRpcError = D1 ('MetaData "JsonRpcError" "MCP.Server.JsonRpc" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "JsonRpcError" 'PrefixI 'True) (S1 ('MetaSel ('Just "errorCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "errorMessage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "errorData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))))

data JsonRpcNotification Source #

JSON-RPC notification

Constructors

JsonRpcNotification
Fields notificationJsonrpc :: Text notificationMethod :: Text notificationParams :: Maybe Value

Instances

Instances details

Generic JsonRpcNotification Source #

Instance details

Defined in MCP.Server.JsonRpc

Associated Types

type Rep JsonRpcNotification

Instance details

Defined in MCP.Server.JsonRpc

type Rep JsonRpcNotification = D1 ('MetaData "JsonRpcNotification" "MCP.Server.JsonRpc" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "JsonRpcNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "notificationJsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "notificationMethod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "notificationParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))))

Methods

from :: JsonRpcNotification -> Rep JsonRpcNotification x #

to :: Rep JsonRpcNotification x -> JsonRpcNotification #

Show JsonRpcNotification Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

showsPrec :: Int -> JsonRpcNotification -> ShowS #

show :: JsonRpcNotification -> String #

showList :: [JsonRpcNotification] -> ShowS #

Eq JsonRpcNotification Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

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

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

FromJSON JsonRpcNotification Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

parseJSON :: Value -> Parser JsonRpcNotification #

parseJSONList :: Value -> Parser [JsonRpcNotification] #

omittedField :: Maybe JsonRpcNotification #

ToJSON JsonRpcNotification Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

toJSON :: JsonRpcNotification -> Value #

toEncoding :: JsonRpcNotification -> Encoding #

toJSONList :: [JsonRpcNotification] -> Value #

toEncodingList :: [JsonRpcNotification] -> Encoding #

omitField :: JsonRpcNotification -> Bool #

type Rep JsonRpcNotification Source #

Instance details

Defined in MCP.Server.JsonRpc

type Rep JsonRpcNotification = D1 ('MetaData "JsonRpcNotification" "MCP.Server.JsonRpc" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "JsonRpcNotification" 'PrefixI 'True) (S1 ('MetaSel ('Just "notificationJsonrpc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "notificationMethod") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "notificationParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Value)))))

data JsonRpcMessage Source #

Union type for all JSON-RPC messages

Constructors

JsonRpcMessageRequest JsonRpcRequest
JsonRpcMessageResponse JsonRpcResponse
JsonRpcMessageNotification JsonRpcNotification

Instances

Instances details

Generic JsonRpcMessage Source #

Instance details

Defined in MCP.Server.JsonRpc

Associated Types

type Rep JsonRpcMessage

Instance details

Defined in MCP.Server.JsonRpc

type Rep JsonRpcMessage = D1 ('MetaData "JsonRpcMessage" "MCP.Server.JsonRpc" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "JsonRpcMessageRequest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JsonRpcRequest)) :+: (C1 ('MetaCons "JsonRpcMessageResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JsonRpcResponse)) :+: C1 ('MetaCons "JsonRpcMessageNotification" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JsonRpcNotification))))

Methods

from :: JsonRpcMessage -> Rep JsonRpcMessage x #

to :: Rep JsonRpcMessage x -> JsonRpcMessage #

Show JsonRpcMessage Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

showsPrec :: Int -> JsonRpcMessage -> ShowS #

show :: JsonRpcMessage -> String #

showList :: [JsonRpcMessage] -> ShowS #

Eq JsonRpcMessage Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

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

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

FromJSON JsonRpcMessage Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

parseJSON :: Value -> Parser JsonRpcMessage #

parseJSONList :: Value -> Parser [JsonRpcMessage] #

omittedField :: Maybe JsonRpcMessage #

ToJSON JsonRpcMessage Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

toJSON :: JsonRpcMessage -> Value #

toEncoding :: JsonRpcMessage -> Encoding #

toJSONList :: [JsonRpcMessage] -> Value #

toEncodingList :: [JsonRpcMessage] -> Encoding #

omitField :: JsonRpcMessage -> Bool #

type Rep JsonRpcMessage Source #

Instance details

Defined in MCP.Server.JsonRpc

type Rep JsonRpcMessage = D1 ('MetaData "JsonRpcMessage" "MCP.Server.JsonRpc" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "JsonRpcMessageRequest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JsonRpcRequest)) :+: (C1 ('MetaCons "JsonRpcMessageResponse" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JsonRpcResponse)) :+: C1 ('MetaCons "JsonRpcMessageNotification" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JsonRpcNotification))))

data RequestId Source #

JSON-RPC request ID

Constructors

RequestIdText Text
RequestIdNumber Int
RequestIdNull

Instances

Instances details

Generic RequestId Source #

Instance details

Defined in MCP.Server.JsonRpc

Associated Types

type Rep RequestId

Instance details

Defined in MCP.Server.JsonRpc

type Rep RequestId = D1 ('MetaData "RequestId" "MCP.Server.JsonRpc" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "RequestIdText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "RequestIdNumber" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "RequestIdNull" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: RequestId -> Rep RequestId x #

to :: Rep RequestId x -> RequestId #

Show RequestId Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

showsPrec :: Int -> RequestId -> ShowS #

show :: RequestId -> String #

showList :: [RequestId] -> ShowS #

Eq RequestId Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

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

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

FromJSON RequestId Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

parseJSON :: Value -> Parser RequestId #

parseJSONList :: Value -> Parser [RequestId] #

omittedField :: Maybe RequestId #

ToJSON RequestId Source #

Instance details

Defined in MCP.Server.JsonRpc

Methods

toJSON :: RequestId -> Value #

toEncoding :: RequestId -> Encoding #

toJSONList :: [RequestId] -> Value #

toEncodingList :: [RequestId] -> Encoding #

omitField :: RequestId -> Bool #

type Rep RequestId Source #

Instance details

Defined in MCP.Server.JsonRpc

type Rep RequestId = D1 ('MetaData "RequestId" "MCP.Server.JsonRpc" "mcp-server-0.1.0.8-inplace" 'False) (C1 ('MetaCons "RequestIdText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "RequestIdNumber" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "RequestIdNull" 'PrefixI 'False) (U1 :: Type -> Type)))

JSON-RPC Functions

makeSuccessResponse :: RequestId -> Value -> JsonRpcResponse Source #

Create a successful JSON-RPC response

makeErrorResponse :: RequestId -> JsonRpcError -> JsonRpcResponse Source #

Create an error JSON-RPC response

makeNotification :: Text -> Maybe Value -> JsonRpcNotification Source #

Create a JSON-RPC notification

parseJsonRpcMessage :: Value -> Either String JsonRpcMessage Source #

Parse a JSON-RPC message from bytes

encodeJsonRpcMessage :: JsonRpcMessage -> Value Source #

Encode a JSON-RPC message to bytes