pms-domain-model-0.0.7.0: pms-domain-model
Safe HaskellNone
LanguageHaskell2010

PMS.Domain.Model.DM.Type

Documentation

newtype RawJsonString Source #

Constructors

RawJsonString 

Fields

Instances

Instances details
FromJSON RawJsonString Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser RawJsonString #

parseJSONList :: Value -> Parser [RawJsonString] #

omittedField :: Maybe RawJsonString #

ToJSON RawJsonString Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: RawJsonString -> Value #

toEncoding :: RawJsonString -> Encoding #

toJSONList :: [RawJsonString] -> Value #

toEncodingList :: [RawJsonString] -> Encoding #

omitField :: RawJsonString -> Bool #

Read RawJsonString Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS RawJsonString #

readList :: ReadS [RawJsonString] #

readPrec :: ReadPrec RawJsonString #

readListPrec :: ReadPrec [RawJsonString] #

Show RawJsonString Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> RawJsonString -> ShowS #

show :: RawJsonString -> String #

showList :: [RawJsonString] -> ShowS #

Default RawJsonString Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: RawJsonString #

Eq RawJsonString Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

newtype RawJsonByteString Source #

Constructors

RawJsonByteString 

Fields

Instances

Instances details
FromJSON RawJsonByteString Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser RawJsonByteString #

parseJSONList :: Value -> Parser [RawJsonByteString] #

omittedField :: Maybe RawJsonByteString #

ToJSON RawJsonByteString Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: RawJsonByteString -> Value #

toEncoding :: RawJsonByteString -> Encoding #

toJSONList :: [RawJsonByteString] -> Value #

toEncodingList :: [RawJsonByteString] -> Encoding #

omitField :: RawJsonByteString -> Bool #

Read RawJsonByteString Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS RawJsonByteString #

readList :: ReadS [RawJsonByteString] #

readPrec :: ReadPrec RawJsonByteString #

readListPrec :: ReadPrec [RawJsonByteString] #

Show RawJsonByteString Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> RawJsonByteString -> ShowS #

show :: RawJsonByteString -> String #

showList :: [RawJsonByteString] -> ShowS #

Default RawJsonByteString Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: RawJsonByteString #

Eq RawJsonByteString Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

data JsonRpcRequest Source #

Constructors

JsonRpcRequest 

Fields

Instances

Instances details
FromJSON JsonRpcRequest Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser JsonRpcRequest #

parseJSONList :: Value -> Parser [JsonRpcRequest] #

omittedField :: Maybe JsonRpcRequest #

ToJSON JsonRpcRequest Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: JsonRpcRequest -> Value #

toEncoding :: JsonRpcRequest -> Encoding #

toJSONList :: [JsonRpcRequest] -> Value #

toEncodingList :: [JsonRpcRequest] -> Encoding #

omitField :: JsonRpcRequest -> Bool #

Read JsonRpcRequest Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS JsonRpcRequest #

readList :: ReadS [JsonRpcRequest] #

readPrec :: ReadPrec JsonRpcRequest #

readListPrec :: ReadPrec [JsonRpcRequest] #

Show JsonRpcRequest Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> JsonRpcRequest -> ShowS #

show :: JsonRpcRequest -> String #

showList :: [JsonRpcRequest] -> ShowS #

Default JsonRpcRequest Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: JsonRpcRequest #

Eq JsonRpcRequest Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

idJsonRpcRequest :: Lens' JsonRpcRequest (Maybe Int) Source #

jsonrpcJsonRpcRequest :: Lens' JsonRpcRequest String Source #

methodJsonRpcRequest :: Lens' JsonRpcRequest String Source #

paramsJsonRpcRequest :: Lens' JsonRpcRequest (Maybe RawJsonByteString) Source #

data JsonRpcResponse Source #

Constructors

JsonRpcResponse 

Fields

Instances

Instances details
FromJSON JsonRpcResponse Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser JsonRpcResponse #

parseJSONList :: Value -> Parser [JsonRpcResponse] #

omittedField :: Maybe JsonRpcResponse #

ToJSON JsonRpcResponse Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: JsonRpcResponse -> Value #

toEncoding :: JsonRpcResponse -> Encoding #

toJSONList :: [JsonRpcResponse] -> Value #

toEncodingList :: [JsonRpcResponse] -> Encoding #

omitField :: JsonRpcResponse -> Bool #

Read JsonRpcResponse Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS JsonRpcResponse #

readList :: ReadS [JsonRpcResponse] #

readPrec :: ReadPrec JsonRpcResponse #

readListPrec :: ReadPrec [JsonRpcResponse] #

Show JsonRpcResponse Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> JsonRpcResponse -> ShowS #

show :: JsonRpcResponse -> String #

showList :: [JsonRpcResponse] -> ShowS #

Default JsonRpcResponse Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: JsonRpcResponse #

Eq JsonRpcResponse Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

idJsonRpcResponse :: Lens' JsonRpcResponse Int Source #

jsonrpcJsonRpcResponse :: Lens' JsonRpcResponse String Source #

resultJsonRpcResponse :: Lens' JsonRpcResponse RawJsonByteString Source #

defaultJsonRpcResponse :: JsonRpcRequest -> JsonRpcResponse Source #

data JsonRpcNotification Source #

Constructors

JsonRpcNotification 

Fields

Instances

Instances details
FromJSON JsonRpcNotification Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser JsonRpcNotification #

parseJSONList :: Value -> Parser [JsonRpcNotification] #

omittedField :: Maybe JsonRpcNotification #

ToJSON JsonRpcNotification Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: JsonRpcNotification -> Value #

toEncoding :: JsonRpcNotification -> Encoding #

toJSONList :: [JsonRpcNotification] -> Value #

toEncodingList :: [JsonRpcNotification] -> Encoding #

omitField :: JsonRpcNotification -> Bool #

Read JsonRpcNotification Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS JsonRpcNotification #

readList :: ReadS [JsonRpcNotification] #

readPrec :: ReadPrec JsonRpcNotification #

readListPrec :: ReadPrec [JsonRpcNotification] #

Show JsonRpcNotification Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> JsonRpcNotification -> ShowS #

show :: JsonRpcNotification -> String #

showList :: [JsonRpcNotification] -> ShowS #

Default JsonRpcNotification Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: JsonRpcNotification #

Eq JsonRpcNotification Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcJsonRpcNotification :: Lens' JsonRpcNotification String Source #

methodJsonRpcNotification :: Lens' JsonRpcNotification String Source #

paramsJsonRpcNotification :: Lens' JsonRpcNotification (Maybe RawJsonByteString) Source #

data McpInitializeRequestParams Source #

Constructors

McpInitializeRequestParams 

Fields

Instances

Instances details
FromJSON McpInitializeRequestParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpInitializeRequestParams #

parseJSONList :: Value -> Parser [McpInitializeRequestParams] #

omittedField :: Maybe McpInitializeRequestParams #

ToJSON McpInitializeRequestParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpInitializeRequestParams -> Value #

toEncoding :: McpInitializeRequestParams -> Encoding #

toJSONList :: [McpInitializeRequestParams] -> Value #

toEncodingList :: [McpInitializeRequestParams] -> Encoding #

omitField :: McpInitializeRequestParams -> Bool #

Read McpInitializeRequestParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpInitializeRequestParams #

readList :: ReadS [McpInitializeRequestParams] #

readPrec :: ReadPrec McpInitializeRequestParams #

readListPrec :: ReadPrec [McpInitializeRequestParams] #

Show McpInitializeRequestParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpInitializeRequestParams -> ShowS #

show :: McpInitializeRequestParams -> String #

showList :: [McpInitializeRequestParams] -> ShowS #

Default McpInitializeRequestParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpInitializeRequestParams #

Eq McpInitializeRequestParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

capabilitiesMcpInitializeRequestParams :: Lens' McpInitializeRequestParams RawJsonByteString Source #

clientInfoMcpInitializeRequestParams :: Lens' McpInitializeRequestParams RawJsonByteString Source #

protocolVersionMcpInitializeRequestParams :: Lens' McpInitializeRequestParams String Source #

data McpInitializeRequestData Source #

Constructors

McpInitializeRequestData 

Fields

Instances

Instances details
FromJSON McpInitializeRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpInitializeRequestData #

parseJSONList :: Value -> Parser [McpInitializeRequestData] #

omittedField :: Maybe McpInitializeRequestData #

ToJSON McpInitializeRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpInitializeRequestData -> Value #

toEncoding :: McpInitializeRequestData -> Encoding #

toJSONList :: [McpInitializeRequestData] -> Value #

toEncodingList :: [McpInitializeRequestData] -> Encoding #

omitField :: McpInitializeRequestData -> Bool #

Read McpInitializeRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpInitializeRequestData #

readList :: ReadS [McpInitializeRequestData] #

readPrec :: ReadPrec McpInitializeRequestData #

readListPrec :: ReadPrec [McpInitializeRequestData] #

Show McpInitializeRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpInitializeRequestData -> ShowS #

show :: McpInitializeRequestData -> String #

showList :: [McpInitializeRequestData] -> ShowS #

Default McpInitializeRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpInitializeRequestData #

Eq McpInitializeRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpInitializeRequestData :: Lens' McpInitializeRequestData JsonRpcRequest Source #

paramsMcpInitializeRequestData :: Lens' McpInitializeRequestData McpInitializeRequestParams Source #

data McpToolsListRequestData Source #

Constructors

McpToolsListRequestData 

Fields

Instances

Instances details
FromJSON McpToolsListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpToolsListRequestData #

parseJSONList :: Value -> Parser [McpToolsListRequestData] #

omittedField :: Maybe McpToolsListRequestData #

ToJSON McpToolsListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpToolsListRequestData -> Value #

toEncoding :: McpToolsListRequestData -> Encoding #

toJSONList :: [McpToolsListRequestData] -> Value #

toEncodingList :: [McpToolsListRequestData] -> Encoding #

omitField :: McpToolsListRequestData -> Bool #

Read McpToolsListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpToolsListRequestData #

readList :: ReadS [McpToolsListRequestData] #

readPrec :: ReadPrec McpToolsListRequestData #

readListPrec :: ReadPrec [McpToolsListRequestData] #

Show McpToolsListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpToolsListRequestData -> ShowS #

show :: McpToolsListRequestData -> String #

showList :: [McpToolsListRequestData] -> ShowS #

Default McpToolsListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpToolsListRequestData #

Eq McpToolsListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpToolsListRequestData :: Iso' McpToolsListRequestData JsonRpcRequest Source #

data McpToolsCallRequestDataParams Source #

Constructors

McpToolsCallRequestDataParams 

Fields

Instances

Instances details
FromJSON McpToolsCallRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpToolsCallRequestDataParams #

parseJSONList :: Value -> Parser [McpToolsCallRequestDataParams] #

omittedField :: Maybe McpToolsCallRequestDataParams #

ToJSON McpToolsCallRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpToolsCallRequestDataParams -> Value #

toEncoding :: McpToolsCallRequestDataParams -> Encoding #

toJSONList :: [McpToolsCallRequestDataParams] -> Value #

toEncodingList :: [McpToolsCallRequestDataParams] -> Encoding #

omitField :: McpToolsCallRequestDataParams -> Bool #

Read McpToolsCallRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpToolsCallRequestDataParams #

readList :: ReadS [McpToolsCallRequestDataParams] #

readPrec :: ReadPrec McpToolsCallRequestDataParams #

readListPrec :: ReadPrec [McpToolsCallRequestDataParams] #

Show McpToolsCallRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpToolsCallRequestDataParams -> ShowS #

show :: McpToolsCallRequestDataParams -> String #

showList :: [McpToolsCallRequestDataParams] -> ShowS #

Default McpToolsCallRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpToolsCallRequestDataParams #

Eq McpToolsCallRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

argumentsMcpToolsCallRequestDataParams :: Lens' McpToolsCallRequestDataParams RawJsonByteString Source #

nameMcpToolsCallRequestDataParams :: Lens' McpToolsCallRequestDataParams String Source #

data McpToolsCallRequestData Source #

Constructors

McpToolsCallRequestData 

Fields

Instances

Instances details
FromJSON McpToolsCallRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpToolsCallRequestData #

parseJSONList :: Value -> Parser [McpToolsCallRequestData] #

omittedField :: Maybe McpToolsCallRequestData #

ToJSON McpToolsCallRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpToolsCallRequestData -> Value #

toEncoding :: McpToolsCallRequestData -> Encoding #

toJSONList :: [McpToolsCallRequestData] -> Value #

toEncodingList :: [McpToolsCallRequestData] -> Encoding #

omitField :: McpToolsCallRequestData -> Bool #

Read McpToolsCallRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpToolsCallRequestData #

readList :: ReadS [McpToolsCallRequestData] #

readPrec :: ReadPrec McpToolsCallRequestData #

readListPrec :: ReadPrec [McpToolsCallRequestData] #

Show McpToolsCallRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpToolsCallRequestData -> ShowS #

show :: McpToolsCallRequestData -> String #

showList :: [McpToolsCallRequestData] -> ShowS #

Default McpToolsCallRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpToolsCallRequestData #

Eq McpToolsCallRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpToolsCallRequestData :: Lens' McpToolsCallRequestData JsonRpcRequest Source #

paramsMcpToolsCallRequestData :: Lens' McpToolsCallRequestData McpToolsCallRequestDataParams Source #

data McpPromptsListRequestData Source #

Constructors

McpPromptsListRequestData 

Fields

Instances

Instances details
FromJSON McpPromptsListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpPromptsListRequestData #

parseJSONList :: Value -> Parser [McpPromptsListRequestData] #

omittedField :: Maybe McpPromptsListRequestData #

ToJSON McpPromptsListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpPromptsListRequestData -> Value #

toEncoding :: McpPromptsListRequestData -> Encoding #

toJSONList :: [McpPromptsListRequestData] -> Value #

toEncodingList :: [McpPromptsListRequestData] -> Encoding #

omitField :: McpPromptsListRequestData -> Bool #

Read McpPromptsListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpPromptsListRequestData #

readList :: ReadS [McpPromptsListRequestData] #

readPrec :: ReadPrec McpPromptsListRequestData #

readListPrec :: ReadPrec [McpPromptsListRequestData] #

Show McpPromptsListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpPromptsListRequestData -> ShowS #

show :: McpPromptsListRequestData -> String #

showList :: [McpPromptsListRequestData] -> ShowS #

Default McpPromptsListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpPromptsListRequestData #

Eq McpPromptsListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpPromptsListRequestData :: Iso' McpPromptsListRequestData JsonRpcRequest Source #

data McpPromptsGetRequestDataParams Source #

Constructors

McpPromptsGetRequestDataParams 

Fields

Instances

Instances details
FromJSON McpPromptsGetRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpPromptsGetRequestDataParams #

parseJSONList :: Value -> Parser [McpPromptsGetRequestDataParams] #

omittedField :: Maybe McpPromptsGetRequestDataParams #

ToJSON McpPromptsGetRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpPromptsGetRequestDataParams -> Value #

toEncoding :: McpPromptsGetRequestDataParams -> Encoding #

toJSONList :: [McpPromptsGetRequestDataParams] -> Value #

toEncodingList :: [McpPromptsGetRequestDataParams] -> Encoding #

omitField :: McpPromptsGetRequestDataParams -> Bool #

Read McpPromptsGetRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpPromptsGetRequestDataParams #

readList :: ReadS [McpPromptsGetRequestDataParams] #

readPrec :: ReadPrec McpPromptsGetRequestDataParams #

readListPrec :: ReadPrec [McpPromptsGetRequestDataParams] #

Show McpPromptsGetRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpPromptsGetRequestDataParams -> ShowS #

show :: McpPromptsGetRequestDataParams -> String #

showList :: [McpPromptsGetRequestDataParams] -> ShowS #

Default McpPromptsGetRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpPromptsGetRequestDataParams #

Eq McpPromptsGetRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

argumentsMcpPromptsGetRequestDataParams :: Lens' McpPromptsGetRequestDataParams RawJsonByteString Source #

nameMcpPromptsGetRequestDataParams :: Lens' McpPromptsGetRequestDataParams String Source #

data McpPromptsGetRequestData Source #

Constructors

McpPromptsGetRequestData 

Fields

Instances

Instances details
FromJSON McpPromptsGetRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpPromptsGetRequestData #

parseJSONList :: Value -> Parser [McpPromptsGetRequestData] #

omittedField :: Maybe McpPromptsGetRequestData #

ToJSON McpPromptsGetRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpPromptsGetRequestData -> Value #

toEncoding :: McpPromptsGetRequestData -> Encoding #

toJSONList :: [McpPromptsGetRequestData] -> Value #

toEncodingList :: [McpPromptsGetRequestData] -> Encoding #

omitField :: McpPromptsGetRequestData -> Bool #

Read McpPromptsGetRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpPromptsGetRequestData #

readList :: ReadS [McpPromptsGetRequestData] #

readPrec :: ReadPrec McpPromptsGetRequestData #

readListPrec :: ReadPrec [McpPromptsGetRequestData] #

Show McpPromptsGetRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpPromptsGetRequestData -> ShowS #

show :: McpPromptsGetRequestData -> String #

showList :: [McpPromptsGetRequestData] -> ShowS #

Default McpPromptsGetRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpPromptsGetRequestData #

Eq McpPromptsGetRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpPromptsGetRequestData :: Lens' McpPromptsGetRequestData JsonRpcRequest Source #

paramsMcpPromptsGetRequestData :: Lens' McpPromptsGetRequestData McpPromptsGetRequestDataParams Source #

data McpResourcesTemplatesListRequestData Source #

Constructors

McpResourcesTemplatesListRequestData 

Fields

Instances

Instances details
FromJSON McpResourcesTemplatesListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpResourcesTemplatesListRequestData #

parseJSONList :: Value -> Parser [McpResourcesTemplatesListRequestData] #

omittedField :: Maybe McpResourcesTemplatesListRequestData #

ToJSON McpResourcesTemplatesListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpResourcesTemplatesListRequestData -> Value #

toEncoding :: McpResourcesTemplatesListRequestData -> Encoding #

toJSONList :: [McpResourcesTemplatesListRequestData] -> Value #

toEncodingList :: [McpResourcesTemplatesListRequestData] -> Encoding #

omitField :: McpResourcesTemplatesListRequestData -> Bool #

Read McpResourcesTemplatesListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpResourcesTemplatesListRequestData #

readList :: ReadS [McpResourcesTemplatesListRequestData] #

readPrec :: ReadPrec McpResourcesTemplatesListRequestData #

readListPrec :: ReadPrec [McpResourcesTemplatesListRequestData] #

Show McpResourcesTemplatesListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpResourcesTemplatesListRequestData -> ShowS #

show :: McpResourcesTemplatesListRequestData -> String #

showList :: [McpResourcesTemplatesListRequestData] -> ShowS #

Default McpResourcesTemplatesListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpResourcesTemplatesListRequestData #

Eq McpResourcesTemplatesListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpResourcesTemplatesListRequestData :: Iso' McpResourcesTemplatesListRequestData JsonRpcRequest Source #

data McpResourcesListRequestData Source #

Constructors

McpResourcesListRequestData 

Fields

Instances

Instances details
FromJSON McpResourcesListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpResourcesListRequestData #

parseJSONList :: Value -> Parser [McpResourcesListRequestData] #

omittedField :: Maybe McpResourcesListRequestData #

ToJSON McpResourcesListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpResourcesListRequestData -> Value #

toEncoding :: McpResourcesListRequestData -> Encoding #

toJSONList :: [McpResourcesListRequestData] -> Value #

toEncodingList :: [McpResourcesListRequestData] -> Encoding #

omitField :: McpResourcesListRequestData -> Bool #

Read McpResourcesListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpResourcesListRequestData #

readList :: ReadS [McpResourcesListRequestData] #

readPrec :: ReadPrec McpResourcesListRequestData #

readListPrec :: ReadPrec [McpResourcesListRequestData] #

Show McpResourcesListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpResourcesListRequestData -> ShowS #

show :: McpResourcesListRequestData -> String #

showList :: [McpResourcesListRequestData] -> ShowS #

Default McpResourcesListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpResourcesListRequestData #

Eq McpResourcesListRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpResourcesListRequestData :: Iso' McpResourcesListRequestData JsonRpcRequest Source #

data McpResourcesReadRequestDataParams Source #

Constructors

McpResourcesReadRequestDataParams 

Fields

Instances

Instances details
FromJSON McpResourcesReadRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpResourcesReadRequestDataParams #

parseJSONList :: Value -> Parser [McpResourcesReadRequestDataParams] #

omittedField :: Maybe McpResourcesReadRequestDataParams #

ToJSON McpResourcesReadRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpResourcesReadRequestDataParams -> Value #

toEncoding :: McpResourcesReadRequestDataParams -> Encoding #

toJSONList :: [McpResourcesReadRequestDataParams] -> Value #

toEncodingList :: [McpResourcesReadRequestDataParams] -> Encoding #

omitField :: McpResourcesReadRequestDataParams -> Bool #

Read McpResourcesReadRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpResourcesReadRequestDataParams #

readList :: ReadS [McpResourcesReadRequestDataParams] #

readPrec :: ReadPrec McpResourcesReadRequestDataParams #

readListPrec :: ReadPrec [McpResourcesReadRequestDataParams] #

Show McpResourcesReadRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpResourcesReadRequestDataParams -> ShowS #

show :: McpResourcesReadRequestDataParams -> String #

showList :: [McpResourcesReadRequestDataParams] -> ShowS #

Default McpResourcesReadRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpResourcesReadRequestDataParams #

Eq McpResourcesReadRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

uriMcpResourcesReadRequestDataParams :: Iso' McpResourcesReadRequestDataParams String Source #

data McpResourcesReadRequestData Source #

Constructors

McpResourcesReadRequestData 

Fields

Instances

Instances details
FromJSON McpResourcesReadRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpResourcesReadRequestData #

parseJSONList :: Value -> Parser [McpResourcesReadRequestData] #

omittedField :: Maybe McpResourcesReadRequestData #

ToJSON McpResourcesReadRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpResourcesReadRequestData -> Value #

toEncoding :: McpResourcesReadRequestData -> Encoding #

toJSONList :: [McpResourcesReadRequestData] -> Value #

toEncodingList :: [McpResourcesReadRequestData] -> Encoding #

omitField :: McpResourcesReadRequestData -> Bool #

Read McpResourcesReadRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpResourcesReadRequestData #

readList :: ReadS [McpResourcesReadRequestData] #

readPrec :: ReadPrec McpResourcesReadRequestData #

readListPrec :: ReadPrec [McpResourcesReadRequestData] #

Show McpResourcesReadRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpResourcesReadRequestData -> ShowS #

show :: McpResourcesReadRequestData -> String #

showList :: [McpResourcesReadRequestData] -> ShowS #

Default McpResourcesReadRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpResourcesReadRequestData #

Eq McpResourcesReadRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpResourcesReadRequestData :: Lens' McpResourcesReadRequestData JsonRpcRequest Source #

paramsMcpResourcesReadRequestData :: Lens' McpResourcesReadRequestData McpResourcesReadRequestDataParams Source #

data McpInitializedNotificationData Source #

Constructors

McpInitializedNotificationData 

Fields

Instances

Instances details
FromJSON McpInitializedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpInitializedNotificationData #

parseJSONList :: Value -> Parser [McpInitializedNotificationData] #

omittedField :: Maybe McpInitializedNotificationData #

ToJSON McpInitializedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpInitializedNotificationData -> Value #

toEncoding :: McpInitializedNotificationData -> Encoding #

toJSONList :: [McpInitializedNotificationData] -> Value #

toEncodingList :: [McpInitializedNotificationData] -> Encoding #

omitField :: McpInitializedNotificationData -> Bool #

Read McpInitializedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpInitializedNotificationData #

readList :: ReadS [McpInitializedNotificationData] #

readPrec :: ReadPrec McpInitializedNotificationData #

readListPrec :: ReadPrec [McpInitializedNotificationData] #

Show McpInitializedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpInitializedNotificationData -> ShowS #

show :: McpInitializedNotificationData -> String #

showList :: [McpInitializedNotificationData] -> ShowS #

Default McpInitializedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpInitializedNotificationData #

Eq McpInitializedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpInitializedNotificationData :: Iso' McpInitializedNotificationData JsonRpcRequest Source #

data McpCancelledNotificationDataParams Source #

Constructors

McpCancelledNotificationDataParams 

Fields

Instances

Instances details
FromJSON McpCancelledNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpCancelledNotificationDataParams #

parseJSONList :: Value -> Parser [McpCancelledNotificationDataParams] #

omittedField :: Maybe McpCancelledNotificationDataParams #

ToJSON McpCancelledNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpCancelledNotificationDataParams -> Value #

toEncoding :: McpCancelledNotificationDataParams -> Encoding #

toJSONList :: [McpCancelledNotificationDataParams] -> Value #

toEncodingList :: [McpCancelledNotificationDataParams] -> Encoding #

omitField :: McpCancelledNotificationDataParams -> Bool #

Read McpCancelledNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpCancelledNotificationDataParams #

readList :: ReadS [McpCancelledNotificationDataParams] #

readPrec :: ReadPrec McpCancelledNotificationDataParams #

readListPrec :: ReadPrec [McpCancelledNotificationDataParams] #

Show McpCancelledNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpCancelledNotificationDataParams -> ShowS #

show :: McpCancelledNotificationDataParams -> String #

showList :: [McpCancelledNotificationDataParams] -> ShowS #

Default McpCancelledNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpCancelledNotificationDataParams #

Eq McpCancelledNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

requestIdMcpCancelledNotificationDataParams :: Iso' McpCancelledNotificationDataParams Int Source #

data McpCancelledNotificationData Source #

Constructors

McpCancelledNotificationData 

Fields

Instances

Instances details
FromJSON McpCancelledNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpCancelledNotificationData #

parseJSONList :: Value -> Parser [McpCancelledNotificationData] #

omittedField :: Maybe McpCancelledNotificationData #

ToJSON McpCancelledNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpCancelledNotificationData -> Value #

toEncoding :: McpCancelledNotificationData -> Encoding #

toJSONList :: [McpCancelledNotificationData] -> Value #

toEncodingList :: [McpCancelledNotificationData] -> Encoding #

omitField :: McpCancelledNotificationData -> Bool #

Read McpCancelledNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpCancelledNotificationData #

readList :: ReadS [McpCancelledNotificationData] #

readPrec :: ReadPrec McpCancelledNotificationData #

readListPrec :: ReadPrec [McpCancelledNotificationData] #

Show McpCancelledNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpCancelledNotificationData -> ShowS #

show :: McpCancelledNotificationData -> String #

showList :: [McpCancelledNotificationData] -> ShowS #

Default McpCancelledNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpCancelledNotificationData #

Eq McpCancelledNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpCancelledNotificationData :: Lens' McpCancelledNotificationData JsonRpcRequest Source #

paramsMcpCancelledNotificationData :: Lens' McpCancelledNotificationData McpCancelledNotificationDataParams Source #

data McpCompletionCompleteRequestDataParams Source #

Constructors

McpCompletionCompleteRequestDataParams 

Fields

Instances

Instances details
FromJSON McpCompletionCompleteRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpCompletionCompleteRequestDataParams #

parseJSONList :: Value -> Parser [McpCompletionCompleteRequestDataParams] #

omittedField :: Maybe McpCompletionCompleteRequestDataParams #

ToJSON McpCompletionCompleteRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpCompletionCompleteRequestDataParams -> Value #

toEncoding :: McpCompletionCompleteRequestDataParams -> Encoding #

toJSONList :: [McpCompletionCompleteRequestDataParams] -> Value #

toEncodingList :: [McpCompletionCompleteRequestDataParams] -> Encoding #

omitField :: McpCompletionCompleteRequestDataParams -> Bool #

Read McpCompletionCompleteRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpCompletionCompleteRequestDataParams #

readList :: ReadS [McpCompletionCompleteRequestDataParams] #

readPrec :: ReadPrec McpCompletionCompleteRequestDataParams #

readListPrec :: ReadPrec [McpCompletionCompleteRequestDataParams] #

Show McpCompletionCompleteRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpCompletionCompleteRequestDataParams -> ShowS #

show :: McpCompletionCompleteRequestDataParams -> String #

showList :: [McpCompletionCompleteRequestDataParams] -> ShowS #

Default McpCompletionCompleteRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpCompletionCompleteRequestDataParams #

Eq McpCompletionCompleteRequestDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

argumentMcpCompletionCompleteRequestDataParams :: Lens' McpCompletionCompleteRequestDataParams RawJsonByteString Source #

contextMcpCompletionCompleteRequestDataParams :: Lens' McpCompletionCompleteRequestDataParams RawJsonByteString Source #

refMcpCompletionCompleteRequestDataParams :: Lens' McpCompletionCompleteRequestDataParams RawJsonByteString Source #

data McpCompletionCompleteRequestData Source #

Constructors

McpCompletionCompleteRequestData 

Fields

Instances

Instances details
FromJSON McpCompletionCompleteRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpCompletionCompleteRequestData #

parseJSONList :: Value -> Parser [McpCompletionCompleteRequestData] #

omittedField :: Maybe McpCompletionCompleteRequestData #

ToJSON McpCompletionCompleteRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpCompletionCompleteRequestData -> Value #

toEncoding :: McpCompletionCompleteRequestData -> Encoding #

toJSONList :: [McpCompletionCompleteRequestData] -> Value #

toEncodingList :: [McpCompletionCompleteRequestData] -> Encoding #

omitField :: McpCompletionCompleteRequestData -> Bool #

Read McpCompletionCompleteRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpCompletionCompleteRequestData #

readList :: ReadS [McpCompletionCompleteRequestData] #

readPrec :: ReadPrec McpCompletionCompleteRequestData #

readListPrec :: ReadPrec [McpCompletionCompleteRequestData] #

Show McpCompletionCompleteRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpCompletionCompleteRequestData -> ShowS #

show :: McpCompletionCompleteRequestData -> String #

showList :: [McpCompletionCompleteRequestData] -> ShowS #

Default McpCompletionCompleteRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpCompletionCompleteRequestData #

Eq McpCompletionCompleteRequestData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpCompletionCompleteRequestData :: Lens' McpCompletionCompleteRequestData JsonRpcRequest Source #

paramsMcpCompletionCompleteRequestData :: Lens' McpCompletionCompleteRequestData McpCompletionCompleteRequestDataParams Source #

data McpRequest Source #

Constructors

McpInitializeRequest McpInitializeRequestData 
McpToolsListRequest McpToolsListRequestData 
McpToolsCallRequest McpToolsCallRequestData 
McpPromptsListRequest McpPromptsListRequestData 
McpPromptsGetRequest McpPromptsGetRequestData 
McpResourcesTemplatesListRequest McpResourcesTemplatesListRequestData 
McpResourcesListRequest McpResourcesListRequestData 
McpResourcesReadRequest McpResourcesReadRequestData 
McpInitializedNotification McpInitializedNotificationData 
McpCancelledNotification McpCancelledNotificationData 
McpCompletionCompleteRequest McpCompletionCompleteRequestData 

Instances

Instances details
Read McpRequest Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpRequest #

readList :: ReadS [McpRequest] #

readPrec :: ReadPrec McpRequest #

readListPrec :: ReadPrec [McpRequest] #

Show McpRequest Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpRequest -> ShowS #

show :: McpRequest -> String #

showList :: [McpRequest] -> ShowS #

Eq McpRequest Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

data McpInitializeResponseResultCapabilitiesResources Source #

Constructors

McpInitializeResponseResultCapabilitiesResources 

Fields

Instances

Instances details
FromJSON McpInitializeResponseResultCapabilitiesResources Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpInitializeResponseResultCapabilitiesResources #

parseJSONList :: Value -> Parser [McpInitializeResponseResultCapabilitiesResources] #

omittedField :: Maybe McpInitializeResponseResultCapabilitiesResources #

ToJSON McpInitializeResponseResultCapabilitiesResources Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpInitializeResponseResultCapabilitiesResources -> Value #

toEncoding :: McpInitializeResponseResultCapabilitiesResources -> Encoding #

toJSONList :: [McpInitializeResponseResultCapabilitiesResources] -> Value #

toEncodingList :: [McpInitializeResponseResultCapabilitiesResources] -> Encoding #

omitField :: McpInitializeResponseResultCapabilitiesResources -> Bool #

Read McpInitializeResponseResultCapabilitiesResources Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpInitializeResponseResultCapabilitiesResources #

readList :: ReadS [McpInitializeResponseResultCapabilitiesResources] #

readPrec :: ReadPrec McpInitializeResponseResultCapabilitiesResources #

readListPrec :: ReadPrec [McpInitializeResponseResultCapabilitiesResources] #

Show McpInitializeResponseResultCapabilitiesResources Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpInitializeResponseResultCapabilitiesResources -> ShowS #

show :: McpInitializeResponseResultCapabilitiesResources -> String #

showList :: [McpInitializeResponseResultCapabilitiesResources] -> ShowS #

Default McpInitializeResponseResultCapabilitiesResources Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpInitializeResponseResultCapabilitiesResources #

Eq McpInitializeResponseResultCapabilitiesResources Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

listChangedMcpInitializeResponseResultCapabilitiesResources :: Lens' McpInitializeResponseResultCapabilitiesResources Bool Source #

subscribedMcpInitializeResponseResultCapabilitiesResources :: Lens' McpInitializeResponseResultCapabilitiesResources Bool Source #

data McpInitializeResponseResultCapabilitiesPrompts Source #

Constructors

McpInitializeResponseResultCapabilitiesPrompts 

Fields

Instances

Instances details
FromJSON McpInitializeResponseResultCapabilitiesPrompts Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpInitializeResponseResultCapabilitiesPrompts #

parseJSONList :: Value -> Parser [McpInitializeResponseResultCapabilitiesPrompts] #

omittedField :: Maybe McpInitializeResponseResultCapabilitiesPrompts #

ToJSON McpInitializeResponseResultCapabilitiesPrompts Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpInitializeResponseResultCapabilitiesPrompts -> Value #

toEncoding :: McpInitializeResponseResultCapabilitiesPrompts -> Encoding #

toJSONList :: [McpInitializeResponseResultCapabilitiesPrompts] -> Value #

toEncodingList :: [McpInitializeResponseResultCapabilitiesPrompts] -> Encoding #

omitField :: McpInitializeResponseResultCapabilitiesPrompts -> Bool #

Read McpInitializeResponseResultCapabilitiesPrompts Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpInitializeResponseResultCapabilitiesPrompts #

readList :: ReadS [McpInitializeResponseResultCapabilitiesPrompts] #

readPrec :: ReadPrec McpInitializeResponseResultCapabilitiesPrompts #

readListPrec :: ReadPrec [McpInitializeResponseResultCapabilitiesPrompts] #

Show McpInitializeResponseResultCapabilitiesPrompts Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpInitializeResponseResultCapabilitiesPrompts -> ShowS #

show :: McpInitializeResponseResultCapabilitiesPrompts -> String #

showList :: [McpInitializeResponseResultCapabilitiesPrompts] -> ShowS #

Default McpInitializeResponseResultCapabilitiesPrompts Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpInitializeResponseResultCapabilitiesPrompts #

Eq McpInitializeResponseResultCapabilitiesPrompts Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

listChangedMcpInitializeResponseResultCapabilitiesPrompts :: Iso' McpInitializeResponseResultCapabilitiesPrompts Bool Source #

data McpInitializeResponseResultCapabilitiesTools Source #

Constructors

McpInitializeResponseResultCapabilitiesTools 

Fields

Instances

Instances details
FromJSON McpInitializeResponseResultCapabilitiesTools Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpInitializeResponseResultCapabilitiesTools #

parseJSONList :: Value -> Parser [McpInitializeResponseResultCapabilitiesTools] #

omittedField :: Maybe McpInitializeResponseResultCapabilitiesTools #

ToJSON McpInitializeResponseResultCapabilitiesTools Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpInitializeResponseResultCapabilitiesTools -> Value #

toEncoding :: McpInitializeResponseResultCapabilitiesTools -> Encoding #

toJSONList :: [McpInitializeResponseResultCapabilitiesTools] -> Value #

toEncodingList :: [McpInitializeResponseResultCapabilitiesTools] -> Encoding #

omitField :: McpInitializeResponseResultCapabilitiesTools -> Bool #

Read McpInitializeResponseResultCapabilitiesTools Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpInitializeResponseResultCapabilitiesTools #

readList :: ReadS [McpInitializeResponseResultCapabilitiesTools] #

readPrec :: ReadPrec McpInitializeResponseResultCapabilitiesTools #

readListPrec :: ReadPrec [McpInitializeResponseResultCapabilitiesTools] #

Show McpInitializeResponseResultCapabilitiesTools Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpInitializeResponseResultCapabilitiesTools -> ShowS #

show :: McpInitializeResponseResultCapabilitiesTools -> String #

showList :: [McpInitializeResponseResultCapabilitiesTools] -> ShowS #

Default McpInitializeResponseResultCapabilitiesTools Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpInitializeResponseResultCapabilitiesTools #

Eq McpInitializeResponseResultCapabilitiesTools Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

listChangedMcpInitializeResponseResultCapabilitiesTools :: Iso' McpInitializeResponseResultCapabilitiesTools Bool Source #

data McpInitializeResponseResultCapabilities Source #

Constructors

McpInitializeResponseResultCapabilities 

Fields

Instances

Instances details
FromJSON McpInitializeResponseResultCapabilities Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpInitializeResponseResultCapabilities #

parseJSONList :: Value -> Parser [McpInitializeResponseResultCapabilities] #

omittedField :: Maybe McpInitializeResponseResultCapabilities #

ToJSON McpInitializeResponseResultCapabilities Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpInitializeResponseResultCapabilities -> Value #

toEncoding :: McpInitializeResponseResultCapabilities -> Encoding #

toJSONList :: [McpInitializeResponseResultCapabilities] -> Value #

toEncodingList :: [McpInitializeResponseResultCapabilities] -> Encoding #

omitField :: McpInitializeResponseResultCapabilities -> Bool #

Read McpInitializeResponseResultCapabilities Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpInitializeResponseResultCapabilities #

readList :: ReadS [McpInitializeResponseResultCapabilities] #

readPrec :: ReadPrec McpInitializeResponseResultCapabilities #

readListPrec :: ReadPrec [McpInitializeResponseResultCapabilities] #

Show McpInitializeResponseResultCapabilities Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpInitializeResponseResultCapabilities -> ShowS #

show :: McpInitializeResponseResultCapabilities -> String #

showList :: [McpInitializeResponseResultCapabilities] -> ShowS #

Default McpInitializeResponseResultCapabilities Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpInitializeResponseResultCapabilities #

Eq McpInitializeResponseResultCapabilities Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

promptsMcpInitializeResponseResultCapabilities :: Lens' McpInitializeResponseResultCapabilities McpInitializeResponseResultCapabilitiesPrompts Source #

resourcesMcpInitializeResponseResultCapabilities :: Lens' McpInitializeResponseResultCapabilities McpInitializeResponseResultCapabilitiesResources Source #

toolsMcpInitializeResponseResultCapabilities :: Lens' McpInitializeResponseResultCapabilities McpInitializeResponseResultCapabilitiesTools Source #

data McpInitializeResponseResultServerInfo Source #

Constructors

McpInitializeResponseResultServerInfo 

Fields

Instances

Instances details
FromJSON McpInitializeResponseResultServerInfo Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpInitializeResponseResultServerInfo #

parseJSONList :: Value -> Parser [McpInitializeResponseResultServerInfo] #

omittedField :: Maybe McpInitializeResponseResultServerInfo #

ToJSON McpInitializeResponseResultServerInfo Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpInitializeResponseResultServerInfo -> Value #

toEncoding :: McpInitializeResponseResultServerInfo -> Encoding #

toJSONList :: [McpInitializeResponseResultServerInfo] -> Value #

toEncodingList :: [McpInitializeResponseResultServerInfo] -> Encoding #

omitField :: McpInitializeResponseResultServerInfo -> Bool #

Read McpInitializeResponseResultServerInfo Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpInitializeResponseResultServerInfo #

readList :: ReadS [McpInitializeResponseResultServerInfo] #

readPrec :: ReadPrec McpInitializeResponseResultServerInfo #

readListPrec :: ReadPrec [McpInitializeResponseResultServerInfo] #

Show McpInitializeResponseResultServerInfo Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpInitializeResponseResultServerInfo -> ShowS #

show :: McpInitializeResponseResultServerInfo -> String #

showList :: [McpInitializeResponseResultServerInfo] -> ShowS #

Default McpInitializeResponseResultServerInfo Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpInitializeResponseResultServerInfo #

Eq McpInitializeResponseResultServerInfo Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

nameMcpInitializeResponseResultServerInfo :: Lens' McpInitializeResponseResultServerInfo String Source #

versionMcpInitializeResponseResultServerInfo :: Lens' McpInitializeResponseResultServerInfo String Source #

data McpInitializeResponseResult Source #

Constructors

McpInitializeResponseResult 

Fields

Instances

Instances details
FromJSON McpInitializeResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpInitializeResponseResult #

parseJSONList :: Value -> Parser [McpInitializeResponseResult] #

omittedField :: Maybe McpInitializeResponseResult #

ToJSON McpInitializeResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpInitializeResponseResult -> Value #

toEncoding :: McpInitializeResponseResult -> Encoding #

toJSONList :: [McpInitializeResponseResult] -> Value #

toEncodingList :: [McpInitializeResponseResult] -> Encoding #

omitField :: McpInitializeResponseResult -> Bool #

Read McpInitializeResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpInitializeResponseResult #

readList :: ReadS [McpInitializeResponseResult] #

readPrec :: ReadPrec McpInitializeResponseResult #

readListPrec :: ReadPrec [McpInitializeResponseResult] #

Show McpInitializeResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpInitializeResponseResult -> ShowS #

show :: McpInitializeResponseResult -> String #

showList :: [McpInitializeResponseResult] -> ShowS #

Default McpInitializeResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpInitializeResponseResult #

Eq McpInitializeResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

capabilitiesMcpInitializeResponseResult :: Lens' McpInitializeResponseResult McpInitializeResponseResultCapabilities Source #

instructionsMcpInitializeResponseResult :: Lens' McpInitializeResponseResult String Source #

protocolVersionMcpInitializeResponseResult :: Lens' McpInitializeResponseResult String Source #

serverInfoMcpInitializeResponseResult :: Lens' McpInitializeResponseResult McpInitializeResponseResultServerInfo Source #

data McpInitializeResponseData Source #

Constructors

McpInitializeResponseData 

Fields

Instances

Instances details
FromJSON McpInitializeResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpInitializeResponseData #

parseJSONList :: Value -> Parser [McpInitializeResponseData] #

omittedField :: Maybe McpInitializeResponseData #

ToJSON McpInitializeResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpInitializeResponseData -> Value #

toEncoding :: McpInitializeResponseData -> Encoding #

toJSONList :: [McpInitializeResponseData] -> Value #

toEncodingList :: [McpInitializeResponseData] -> Encoding #

omitField :: McpInitializeResponseData -> Bool #

Read McpInitializeResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpInitializeResponseData #

readList :: ReadS [McpInitializeResponseData] #

readPrec :: ReadPrec McpInitializeResponseData #

readListPrec :: ReadPrec [McpInitializeResponseData] #

Show McpInitializeResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpInitializeResponseData -> ShowS #

show :: McpInitializeResponseData -> String #

showList :: [McpInitializeResponseData] -> ShowS #

Default McpInitializeResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpInitializeResponseData #

Eq McpInitializeResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpInitializeResponseData :: Lens' McpInitializeResponseData JsonRpcRequest Source #

resultMcpInitializeResponseData :: Lens' McpInitializeResponseData McpInitializeResponseResult Source #

data McpToolsListResponseResult Source #

Constructors

McpToolsListResponseResult 

Fields

Instances

Instances details
FromJSON McpToolsListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpToolsListResponseResult #

parseJSONList :: Value -> Parser [McpToolsListResponseResult] #

omittedField :: Maybe McpToolsListResponseResult #

ToJSON McpToolsListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpToolsListResponseResult -> Value #

toEncoding :: McpToolsListResponseResult -> Encoding #

toJSONList :: [McpToolsListResponseResult] -> Value #

toEncodingList :: [McpToolsListResponseResult] -> Encoding #

omitField :: McpToolsListResponseResult -> Bool #

Read McpToolsListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpToolsListResponseResult #

readList :: ReadS [McpToolsListResponseResult] #

readPrec :: ReadPrec McpToolsListResponseResult #

readListPrec :: ReadPrec [McpToolsListResponseResult] #

Show McpToolsListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpToolsListResponseResult -> ShowS #

show :: McpToolsListResponseResult -> String #

showList :: [McpToolsListResponseResult] -> ShowS #

Default McpToolsListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpToolsListResponseResult #

Eq McpToolsListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

toolsMcpToolsListResponseResult :: Iso' McpToolsListResponseResult RawJsonByteString Source #

data McpToolsListResponseData Source #

Constructors

McpToolsListResponseData 

Fields

Instances

Instances details
FromJSON McpToolsListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpToolsListResponseData #

parseJSONList :: Value -> Parser [McpToolsListResponseData] #

omittedField :: Maybe McpToolsListResponseData #

ToJSON McpToolsListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpToolsListResponseData -> Value #

toEncoding :: McpToolsListResponseData -> Encoding #

toJSONList :: [McpToolsListResponseData] -> Value #

toEncodingList :: [McpToolsListResponseData] -> Encoding #

omitField :: McpToolsListResponseData -> Bool #

Read McpToolsListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpToolsListResponseData #

readList :: ReadS [McpToolsListResponseData] #

readPrec :: ReadPrec McpToolsListResponseData #

readListPrec :: ReadPrec [McpToolsListResponseData] #

Show McpToolsListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpToolsListResponseData -> ShowS #

show :: McpToolsListResponseData -> String #

showList :: [McpToolsListResponseData] -> ShowS #

Default McpToolsListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpToolsListResponseData #

Eq McpToolsListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpToolsListResponseData :: Lens' McpToolsListResponseData JsonRpcRequest Source #

resultMcpToolsListResponseData :: Lens' McpToolsListResponseData McpToolsListResponseResult Source #

data McpToolsCallResponseResultContent Source #

Constructors

McpToolsCallResponseResultContent 

Fields

Instances

Instances details
FromJSON McpToolsCallResponseResultContent Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpToolsCallResponseResultContent #

parseJSONList :: Value -> Parser [McpToolsCallResponseResultContent] #

omittedField :: Maybe McpToolsCallResponseResultContent #

ToJSON McpToolsCallResponseResultContent Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpToolsCallResponseResultContent -> Value #

toEncoding :: McpToolsCallResponseResultContent -> Encoding #

toJSONList :: [McpToolsCallResponseResultContent] -> Value #

toEncodingList :: [McpToolsCallResponseResultContent] -> Encoding #

omitField :: McpToolsCallResponseResultContent -> Bool #

Read McpToolsCallResponseResultContent Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpToolsCallResponseResultContent #

readList :: ReadS [McpToolsCallResponseResultContent] #

readPrec :: ReadPrec McpToolsCallResponseResultContent #

readListPrec :: ReadPrec [McpToolsCallResponseResultContent] #

Show McpToolsCallResponseResultContent Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpToolsCallResponseResultContent -> ShowS #

show :: McpToolsCallResponseResultContent -> String #

showList :: [McpToolsCallResponseResultContent] -> ShowS #

Default McpToolsCallResponseResultContent Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpToolsCallResponseResultContent #

Eq McpToolsCallResponseResultContent Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

textMcpToolsCallResponseResultContent :: Lens' McpToolsCallResponseResultContent String Source #

typeMcpToolsCallResponseResultContent :: Lens' McpToolsCallResponseResultContent String Source #

data McpToolsCallResponseResult Source #

Constructors

McpToolsCallResponseResult 

Fields

Instances

Instances details
FromJSON McpToolsCallResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpToolsCallResponseResult #

parseJSONList :: Value -> Parser [McpToolsCallResponseResult] #

omittedField :: Maybe McpToolsCallResponseResult #

ToJSON McpToolsCallResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpToolsCallResponseResult -> Value #

toEncoding :: McpToolsCallResponseResult -> Encoding #

toJSONList :: [McpToolsCallResponseResult] -> Value #

toEncodingList :: [McpToolsCallResponseResult] -> Encoding #

omitField :: McpToolsCallResponseResult -> Bool #

Read McpToolsCallResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpToolsCallResponseResult #

readList :: ReadS [McpToolsCallResponseResult] #

readPrec :: ReadPrec McpToolsCallResponseResult #

readListPrec :: ReadPrec [McpToolsCallResponseResult] #

Show McpToolsCallResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpToolsCallResponseResult -> ShowS #

show :: McpToolsCallResponseResult -> String #

showList :: [McpToolsCallResponseResult] -> ShowS #

Default McpToolsCallResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpToolsCallResponseResult #

Eq McpToolsCallResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

contentMcpToolsCallResponseResult :: Lens' McpToolsCallResponseResult [McpToolsCallResponseResultContent] Source #

isErrorMcpToolsCallResponseResult :: Lens' McpToolsCallResponseResult Bool Source #

data McpToolsCallResponseData Source #

Constructors

McpToolsCallResponseData 

Fields

Instances

Instances details
FromJSON McpToolsCallResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpToolsCallResponseData #

parseJSONList :: Value -> Parser [McpToolsCallResponseData] #

omittedField :: Maybe McpToolsCallResponseData #

ToJSON McpToolsCallResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpToolsCallResponseData -> Value #

toEncoding :: McpToolsCallResponseData -> Encoding #

toJSONList :: [McpToolsCallResponseData] -> Value #

toEncodingList :: [McpToolsCallResponseData] -> Encoding #

omitField :: McpToolsCallResponseData -> Bool #

Read McpToolsCallResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpToolsCallResponseData #

readList :: ReadS [McpToolsCallResponseData] #

readPrec :: ReadPrec McpToolsCallResponseData #

readListPrec :: ReadPrec [McpToolsCallResponseData] #

Show McpToolsCallResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpToolsCallResponseData -> ShowS #

show :: McpToolsCallResponseData -> String #

showList :: [McpToolsCallResponseData] -> ShowS #

Default McpToolsCallResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpToolsCallResponseData #

Eq McpToolsCallResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpToolsCallResponseData :: Lens' McpToolsCallResponseData JsonRpcRequest Source #

resultMcpToolsCallResponseData :: Lens' McpToolsCallResponseData McpToolsCallResponseResult Source #

data McpPromptsListResponseResult Source #

Constructors

McpPromptsListResponseResult 

Fields

Instances

Instances details
FromJSON McpPromptsListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpPromptsListResponseResult #

parseJSONList :: Value -> Parser [McpPromptsListResponseResult] #

omittedField :: Maybe McpPromptsListResponseResult #

ToJSON McpPromptsListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpPromptsListResponseResult -> Value #

toEncoding :: McpPromptsListResponseResult -> Encoding #

toJSONList :: [McpPromptsListResponseResult] -> Value #

toEncodingList :: [McpPromptsListResponseResult] -> Encoding #

omitField :: McpPromptsListResponseResult -> Bool #

Read McpPromptsListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpPromptsListResponseResult #

readList :: ReadS [McpPromptsListResponseResult] #

readPrec :: ReadPrec McpPromptsListResponseResult #

readListPrec :: ReadPrec [McpPromptsListResponseResult] #

Show McpPromptsListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpPromptsListResponseResult -> ShowS #

show :: McpPromptsListResponseResult -> String #

showList :: [McpPromptsListResponseResult] -> ShowS #

Default McpPromptsListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpPromptsListResponseResult #

Eq McpPromptsListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

promptsMcpPromptsListResponseResult :: Iso' McpPromptsListResponseResult RawJsonByteString Source #

data McpPromptsListResponseData Source #

Constructors

McpPromptsListResponseData 

Fields

Instances

Instances details
FromJSON McpPromptsListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpPromptsListResponseData #

parseJSONList :: Value -> Parser [McpPromptsListResponseData] #

omittedField :: Maybe McpPromptsListResponseData #

ToJSON McpPromptsListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpPromptsListResponseData -> Value #

toEncoding :: McpPromptsListResponseData -> Encoding #

toJSONList :: [McpPromptsListResponseData] -> Value #

toEncodingList :: [McpPromptsListResponseData] -> Encoding #

omitField :: McpPromptsListResponseData -> Bool #

Read McpPromptsListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpPromptsListResponseData #

readList :: ReadS [McpPromptsListResponseData] #

readPrec :: ReadPrec McpPromptsListResponseData #

readListPrec :: ReadPrec [McpPromptsListResponseData] #

Show McpPromptsListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpPromptsListResponseData -> ShowS #

show :: McpPromptsListResponseData -> String #

showList :: [McpPromptsListResponseData] -> ShowS #

Default McpPromptsListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpPromptsListResponseData #

Eq McpPromptsListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpPromptsListResponseData :: Lens' McpPromptsListResponseData JsonRpcRequest Source #

resultMcpPromptsListResponseData :: Lens' McpPromptsListResponseData McpPromptsListResponseResult Source #

data McpPromptsGetResponseResultPromptMessage Source #

Constructors

McpPromptsGetResponseResultPromptMessage 

Fields

Instances

Instances details
FromJSON McpPromptsGetResponseResultPromptMessage Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpPromptsGetResponseResultPromptMessage #

parseJSONList :: Value -> Parser [McpPromptsGetResponseResultPromptMessage] #

omittedField :: Maybe McpPromptsGetResponseResultPromptMessage #

ToJSON McpPromptsGetResponseResultPromptMessage Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpPromptsGetResponseResultPromptMessage -> Value #

toEncoding :: McpPromptsGetResponseResultPromptMessage -> Encoding #

toJSONList :: [McpPromptsGetResponseResultPromptMessage] -> Value #

toEncodingList :: [McpPromptsGetResponseResultPromptMessage] -> Encoding #

omitField :: McpPromptsGetResponseResultPromptMessage -> Bool #

Read McpPromptsGetResponseResultPromptMessage Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpPromptsGetResponseResultPromptMessage #

readList :: ReadS [McpPromptsGetResponseResultPromptMessage] #

readPrec :: ReadPrec McpPromptsGetResponseResultPromptMessage #

readListPrec :: ReadPrec [McpPromptsGetResponseResultPromptMessage] #

Show McpPromptsGetResponseResultPromptMessage Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpPromptsGetResponseResultPromptMessage -> ShowS #

show :: McpPromptsGetResponseResultPromptMessage -> String #

showList :: [McpPromptsGetResponseResultPromptMessage] -> ShowS #

Default McpPromptsGetResponseResultPromptMessage Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpPromptsGetResponseResultPromptMessage #

Eq McpPromptsGetResponseResultPromptMessage Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

contentMcpPromptsGetResponseResultPromptMessage :: Lens' McpPromptsGetResponseResultPromptMessage RawJsonByteString Source #

roleMcpPromptsGetResponseResultPromptMessage :: Lens' McpPromptsGetResponseResultPromptMessage String Source #

data McpPromptsGetResponseResult Source #

Constructors

McpPromptsGetResponseResult 

Fields

Instances

Instances details
FromJSON McpPromptsGetResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpPromptsGetResponseResult #

parseJSONList :: Value -> Parser [McpPromptsGetResponseResult] #

omittedField :: Maybe McpPromptsGetResponseResult #

ToJSON McpPromptsGetResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpPromptsGetResponseResult -> Value #

toEncoding :: McpPromptsGetResponseResult -> Encoding #

toJSONList :: [McpPromptsGetResponseResult] -> Value #

toEncodingList :: [McpPromptsGetResponseResult] -> Encoding #

omitField :: McpPromptsGetResponseResult -> Bool #

Read McpPromptsGetResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpPromptsGetResponseResult #

readList :: ReadS [McpPromptsGetResponseResult] #

readPrec :: ReadPrec McpPromptsGetResponseResult #

readListPrec :: ReadPrec [McpPromptsGetResponseResult] #

Show McpPromptsGetResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpPromptsGetResponseResult -> ShowS #

show :: McpPromptsGetResponseResult -> String #

showList :: [McpPromptsGetResponseResult] -> ShowS #

Default McpPromptsGetResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpPromptsGetResponseResult #

Eq McpPromptsGetResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

messagesMcpPromptsGetResponseResult :: Iso' McpPromptsGetResponseResult [McpPromptsGetResponseResultPromptMessage] Source #

data McpPromptsGetResponseData Source #

Constructors

McpPromptsGetResponseData 

Fields

Instances

Instances details
FromJSON McpPromptsGetResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpPromptsGetResponseData #

parseJSONList :: Value -> Parser [McpPromptsGetResponseData] #

omittedField :: Maybe McpPromptsGetResponseData #

ToJSON McpPromptsGetResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpPromptsGetResponseData -> Value #

toEncoding :: McpPromptsGetResponseData -> Encoding #

toJSONList :: [McpPromptsGetResponseData] -> Value #

toEncodingList :: [McpPromptsGetResponseData] -> Encoding #

omitField :: McpPromptsGetResponseData -> Bool #

Read McpPromptsGetResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpPromptsGetResponseData #

readList :: ReadS [McpPromptsGetResponseData] #

readPrec :: ReadPrec McpPromptsGetResponseData #

readListPrec :: ReadPrec [McpPromptsGetResponseData] #

Show McpPromptsGetResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpPromptsGetResponseData -> ShowS #

show :: McpPromptsGetResponseData -> String #

showList :: [McpPromptsGetResponseData] -> ShowS #

Default McpPromptsGetResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpPromptsGetResponseData #

Eq McpPromptsGetResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpPromptsGetResponseData :: Lens' McpPromptsGetResponseData JsonRpcRequest Source #

resultMcpPromptsGetResponseData :: Lens' McpPromptsGetResponseData McpPromptsGetResponseResult Source #

data McpResourcesTemplatesListResponseResult Source #

Constructors

McpResourcesTemplatesListResponseResult 

Fields

Instances

Instances details
FromJSON McpResourcesTemplatesListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpResourcesTemplatesListResponseResult #

parseJSONList :: Value -> Parser [McpResourcesTemplatesListResponseResult] #

omittedField :: Maybe McpResourcesTemplatesListResponseResult #

ToJSON McpResourcesTemplatesListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpResourcesTemplatesListResponseResult -> Value #

toEncoding :: McpResourcesTemplatesListResponseResult -> Encoding #

toJSONList :: [McpResourcesTemplatesListResponseResult] -> Value #

toEncodingList :: [McpResourcesTemplatesListResponseResult] -> Encoding #

omitField :: McpResourcesTemplatesListResponseResult -> Bool #

Read McpResourcesTemplatesListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpResourcesTemplatesListResponseResult #

readList :: ReadS [McpResourcesTemplatesListResponseResult] #

readPrec :: ReadPrec McpResourcesTemplatesListResponseResult #

readListPrec :: ReadPrec [McpResourcesTemplatesListResponseResult] #

Show McpResourcesTemplatesListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpResourcesTemplatesListResponseResult -> ShowS #

show :: McpResourcesTemplatesListResponseResult -> String #

showList :: [McpResourcesTemplatesListResponseResult] -> ShowS #

Default McpResourcesTemplatesListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpResourcesTemplatesListResponseResult #

Eq McpResourcesTemplatesListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

resourcesMcpResourcesTemplatesListResponseResult :: Iso' McpResourcesTemplatesListResponseResult RawJsonByteString Source #

data McpResourcesTemplatesListResponseData Source #

Constructors

McpResourcesTemplatesListResponseData 

Fields

Instances

Instances details
FromJSON McpResourcesTemplatesListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpResourcesTemplatesListResponseData #

parseJSONList :: Value -> Parser [McpResourcesTemplatesListResponseData] #

omittedField :: Maybe McpResourcesTemplatesListResponseData #

ToJSON McpResourcesTemplatesListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpResourcesTemplatesListResponseData -> Value #

toEncoding :: McpResourcesTemplatesListResponseData -> Encoding #

toJSONList :: [McpResourcesTemplatesListResponseData] -> Value #

toEncodingList :: [McpResourcesTemplatesListResponseData] -> Encoding #

omitField :: McpResourcesTemplatesListResponseData -> Bool #

Read McpResourcesTemplatesListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpResourcesTemplatesListResponseData #

readList :: ReadS [McpResourcesTemplatesListResponseData] #

readPrec :: ReadPrec McpResourcesTemplatesListResponseData #

readListPrec :: ReadPrec [McpResourcesTemplatesListResponseData] #

Show McpResourcesTemplatesListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpResourcesTemplatesListResponseData -> ShowS #

show :: McpResourcesTemplatesListResponseData -> String #

showList :: [McpResourcesTemplatesListResponseData] -> ShowS #

Default McpResourcesTemplatesListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpResourcesTemplatesListResponseData #

Eq McpResourcesTemplatesListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpResourcesTemplatesListResponseData :: Lens' McpResourcesTemplatesListResponseData JsonRpcRequest Source #

resultMcpResourcesTemplatesListResponseData :: Lens' McpResourcesTemplatesListResponseData McpResourcesTemplatesListResponseResult Source #

data McpResourcesListResponseResult Source #

Constructors

McpResourcesListResponseResult 

Fields

Instances

Instances details
FromJSON McpResourcesListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpResourcesListResponseResult #

parseJSONList :: Value -> Parser [McpResourcesListResponseResult] #

omittedField :: Maybe McpResourcesListResponseResult #

ToJSON McpResourcesListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpResourcesListResponseResult -> Value #

toEncoding :: McpResourcesListResponseResult -> Encoding #

toJSONList :: [McpResourcesListResponseResult] -> Value #

toEncodingList :: [McpResourcesListResponseResult] -> Encoding #

omitField :: McpResourcesListResponseResult -> Bool #

Read McpResourcesListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpResourcesListResponseResult #

readList :: ReadS [McpResourcesListResponseResult] #

readPrec :: ReadPrec McpResourcesListResponseResult #

readListPrec :: ReadPrec [McpResourcesListResponseResult] #

Show McpResourcesListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpResourcesListResponseResult -> ShowS #

show :: McpResourcesListResponseResult -> String #

showList :: [McpResourcesListResponseResult] -> ShowS #

Default McpResourcesListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpResourcesListResponseResult #

Eq McpResourcesListResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

resourcesMcpResourcesListResponseResult :: Iso' McpResourcesListResponseResult RawJsonByteString Source #

data McpResourcesListResponseData Source #

Constructors

McpResourcesListResponseData 

Fields

Instances

Instances details
FromJSON McpResourcesListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpResourcesListResponseData #

parseJSONList :: Value -> Parser [McpResourcesListResponseData] #

omittedField :: Maybe McpResourcesListResponseData #

ToJSON McpResourcesListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpResourcesListResponseData -> Value #

toEncoding :: McpResourcesListResponseData -> Encoding #

toJSONList :: [McpResourcesListResponseData] -> Value #

toEncodingList :: [McpResourcesListResponseData] -> Encoding #

omitField :: McpResourcesListResponseData -> Bool #

Read McpResourcesListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpResourcesListResponseData #

readList :: ReadS [McpResourcesListResponseData] #

readPrec :: ReadPrec McpResourcesListResponseData #

readListPrec :: ReadPrec [McpResourcesListResponseData] #

Show McpResourcesListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpResourcesListResponseData -> ShowS #

show :: McpResourcesListResponseData -> String #

showList :: [McpResourcesListResponseData] -> ShowS #

Default McpResourcesListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpResourcesListResponseData #

Eq McpResourcesListResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpResourcesListResponseData :: Lens' McpResourcesListResponseData JsonRpcRequest Source #

resultMcpResourcesListResponseData :: Lens' McpResourcesListResponseData McpResourcesListResponseResult Source #

data McpResourcesReadResponseResult Source #

Constructors

McpResourcesReadResponseResult 

Fields

Instances

Instances details
FromJSON McpResourcesReadResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpResourcesReadResponseResult #

parseJSONList :: Value -> Parser [McpResourcesReadResponseResult] #

omittedField :: Maybe McpResourcesReadResponseResult #

ToJSON McpResourcesReadResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpResourcesReadResponseResult -> Value #

toEncoding :: McpResourcesReadResponseResult -> Encoding #

toJSONList :: [McpResourcesReadResponseResult] -> Value #

toEncodingList :: [McpResourcesReadResponseResult] -> Encoding #

omitField :: McpResourcesReadResponseResult -> Bool #

Read McpResourcesReadResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpResourcesReadResponseResult #

readList :: ReadS [McpResourcesReadResponseResult] #

readPrec :: ReadPrec McpResourcesReadResponseResult #

readListPrec :: ReadPrec [McpResourcesReadResponseResult] #

Show McpResourcesReadResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpResourcesReadResponseResult -> ShowS #

show :: McpResourcesReadResponseResult -> String #

showList :: [McpResourcesReadResponseResult] -> ShowS #

Default McpResourcesReadResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpResourcesReadResponseResult #

Eq McpResourcesReadResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

contentsMcpResourcesReadResponseResult :: Iso' McpResourcesReadResponseResult [RawJsonByteString] Source #

data McpResourcesReadResponseData Source #

Constructors

McpResourcesReadResponseData 

Fields

Instances

Instances details
FromJSON McpResourcesReadResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpResourcesReadResponseData #

parseJSONList :: Value -> Parser [McpResourcesReadResponseData] #

omittedField :: Maybe McpResourcesReadResponseData #

ToJSON McpResourcesReadResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpResourcesReadResponseData -> Value #

toEncoding :: McpResourcesReadResponseData -> Encoding #

toJSONList :: [McpResourcesReadResponseData] -> Value #

toEncodingList :: [McpResourcesReadResponseData] -> Encoding #

omitField :: McpResourcesReadResponseData -> Bool #

Read McpResourcesReadResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpResourcesReadResponseData #

readList :: ReadS [McpResourcesReadResponseData] #

readPrec :: ReadPrec McpResourcesReadResponseData #

readListPrec :: ReadPrec [McpResourcesReadResponseData] #

Show McpResourcesReadResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpResourcesReadResponseData -> ShowS #

show :: McpResourcesReadResponseData -> String #

showList :: [McpResourcesReadResponseData] -> ShowS #

Default McpResourcesReadResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpResourcesReadResponseData #

Eq McpResourcesReadResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpResourcesReadResponseData :: Lens' McpResourcesReadResponseData JsonRpcRequest Source #

resultMcpResourcesReadResponseData :: Lens' McpResourcesReadResponseData McpResourcesReadResponseResult Source #

data McpCompleteResponseResult Source #

Constructors

McpCompleteResponseResult 

Fields

Instances

Instances details
FromJSON McpCompleteResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpCompleteResponseResult #

parseJSONList :: Value -> Parser [McpCompleteResponseResult] #

omittedField :: Maybe McpCompleteResponseResult #

ToJSON McpCompleteResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpCompleteResponseResult -> Value #

toEncoding :: McpCompleteResponseResult -> Encoding #

toJSONList :: [McpCompleteResponseResult] -> Value #

toEncodingList :: [McpCompleteResponseResult] -> Encoding #

omitField :: McpCompleteResponseResult -> Bool #

Read McpCompleteResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpCompleteResponseResult #

readList :: ReadS [McpCompleteResponseResult] #

readPrec :: ReadPrec McpCompleteResponseResult #

readListPrec :: ReadPrec [McpCompleteResponseResult] #

Show McpCompleteResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpCompleteResponseResult -> ShowS #

show :: McpCompleteResponseResult -> String #

showList :: [McpCompleteResponseResult] -> ShowS #

Default McpCompleteResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpCompleteResponseResult #

Eq McpCompleteResponseResult Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

valuesMcpCompleteResponseResult :: Iso' McpCompleteResponseResult [String] Source #

data McpCompleteResponseData Source #

Constructors

McpCompleteResponseData 

Fields

Instances

Instances details
FromJSON McpCompleteResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpCompleteResponseData #

parseJSONList :: Value -> Parser [McpCompleteResponseData] #

omittedField :: Maybe McpCompleteResponseData #

ToJSON McpCompleteResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpCompleteResponseData -> Value #

toEncoding :: McpCompleteResponseData -> Encoding #

toJSONList :: [McpCompleteResponseData] -> Value #

toEncodingList :: [McpCompleteResponseData] -> Encoding #

omitField :: McpCompleteResponseData -> Bool #

Read McpCompleteResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpCompleteResponseData #

readList :: ReadS [McpCompleteResponseData] #

readPrec :: ReadPrec McpCompleteResponseData #

readListPrec :: ReadPrec [McpCompleteResponseData] #

Show McpCompleteResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpCompleteResponseData -> ShowS #

show :: McpCompleteResponseData -> String #

showList :: [McpCompleteResponseData] -> ShowS #

Default McpCompleteResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpCompleteResponseData #

Eq McpCompleteResponseData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcMcpCompleteResponseData :: Lens' McpCompleteResponseData JsonRpcRequest Source #

resultMcpCompleteResponseData :: Lens' McpCompleteResponseData McpCompleteResponseResult Source #

data McpTextContent Source #

Constructors

McpTextContent 

Fields

Instances

Instances details
FromJSON McpTextContent Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpTextContent #

parseJSONList :: Value -> Parser [McpTextContent] #

omittedField :: Maybe McpTextContent #

ToJSON McpTextContent Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpTextContent -> Value #

toEncoding :: McpTextContent -> Encoding #

toJSONList :: [McpTextContent] -> Value #

toEncodingList :: [McpTextContent] -> Encoding #

omitField :: McpTextContent -> Bool #

Read McpTextContent Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpTextContent #

readList :: ReadS [McpTextContent] #

readPrec :: ReadPrec McpTextContent #

readListPrec :: ReadPrec [McpTextContent] #

Show McpTextContent Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpTextContent -> ShowS #

show :: McpTextContent -> String #

showList :: [McpTextContent] -> ShowS #

Default McpTextContent Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpTextContent #

Eq McpTextContent Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

textMcpTextContent :: Lens' McpTextContent String Source #

typeMcpTextContent :: Lens' McpTextContent String Source #

data TextResourceContents Source #

Constructors

TextResourceContents 

Fields

Instances

Instances details
FromJSON TextResourceContents Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser TextResourceContents #

parseJSONList :: Value -> Parser [TextResourceContents] #

omittedField :: Maybe TextResourceContents #

ToJSON TextResourceContents Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: TextResourceContents -> Value #

toEncoding :: TextResourceContents -> Encoding #

toJSONList :: [TextResourceContents] -> Value #

toEncodingList :: [TextResourceContents] -> Encoding #

omitField :: TextResourceContents -> Bool #

Read TextResourceContents Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS TextResourceContents #

readList :: ReadS [TextResourceContents] #

readPrec :: ReadPrec TextResourceContents #

readListPrec :: ReadPrec [TextResourceContents] #

Show TextResourceContents Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> TextResourceContents -> ShowS #

show :: TextResourceContents -> String #

showList :: [TextResourceContents] -> ShowS #

Default TextResourceContents Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: TextResourceContents #

Eq TextResourceContents Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

mimeTypeTextResourceContents :: Lens' TextResourceContents (Maybe String) Source #

textTextResourceContents :: Lens' TextResourceContents String Source #

uriTextResourceContents :: Lens' TextResourceContents String Source #

data BlobResourceContents Source #

Constructors

BlobResourceContents 

Fields

Instances

Instances details
FromJSON BlobResourceContents Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser BlobResourceContents #

parseJSONList :: Value -> Parser [BlobResourceContents] #

omittedField :: Maybe BlobResourceContents #

ToJSON BlobResourceContents Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: BlobResourceContents -> Value #

toEncoding :: BlobResourceContents -> Encoding #

toJSONList :: [BlobResourceContents] -> Value #

toEncodingList :: [BlobResourceContents] -> Encoding #

omitField :: BlobResourceContents -> Bool #

Read BlobResourceContents Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS BlobResourceContents #

readList :: ReadS [BlobResourceContents] #

readPrec :: ReadPrec BlobResourceContents #

readListPrec :: ReadPrec [BlobResourceContents] #

Show BlobResourceContents Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> BlobResourceContents -> ShowS #

show :: BlobResourceContents -> String #

showList :: [BlobResourceContents] -> ShowS #

Default BlobResourceContents Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: BlobResourceContents #

Eq BlobResourceContents Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

blobResourceContents :: Lens' BlobResourceContents String Source #

mimeTypeBlobResourceContents :: Lens' BlobResourceContents (Maybe String) Source #

uriBlobResourceContents :: Lens' BlobResourceContents String Source #

data McpResponse Source #

Constructors

McpInitializeResponse McpInitializeResponseData 
McpToolsListResponse McpToolsListResponseData 
McpToolsCallResponse McpToolsCallResponseData 
McpPromptsListResponse McpPromptsListResponseData 
McpPromptsGetResponse McpPromptsGetResponseData 
McpResourcesTemplatesListResponse McpResourcesTemplatesListResponseData 
McpResourcesListResponse McpResourcesListResponseData 
McpResourcesReadResponse McpResourcesReadResponseData 
McpCompleteResponse McpCompleteResponseData 

Instances

Instances details
Read McpResponse Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpResponse #

readList :: ReadS [McpResponse] #

readPrec :: ReadPrec McpResponse #

readListPrec :: ReadPrec [McpResponse] #

Show McpResponse Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpResponse -> ShowS #

show :: McpResponse -> String #

showList :: [McpResponse] -> ShowS #

Eq McpResponse Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

data McpToolsListChangedNotificationDataParams Source #

Constructors

McpToolsListChangedNotificationDataParams 

Fields

Instances

Instances details
FromJSON McpToolsListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpToolsListChangedNotificationDataParams #

parseJSONList :: Value -> Parser [McpToolsListChangedNotificationDataParams] #

omittedField :: Maybe McpToolsListChangedNotificationDataParams #

ToJSON McpToolsListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpToolsListChangedNotificationDataParams -> Value #

toEncoding :: McpToolsListChangedNotificationDataParams -> Encoding #

toJSONList :: [McpToolsListChangedNotificationDataParams] -> Value #

toEncodingList :: [McpToolsListChangedNotificationDataParams] -> Encoding #

omitField :: McpToolsListChangedNotificationDataParams -> Bool #

Read McpToolsListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpToolsListChangedNotificationDataParams #

readList :: ReadS [McpToolsListChangedNotificationDataParams] #

readPrec :: ReadPrec McpToolsListChangedNotificationDataParams #

readListPrec :: ReadPrec [McpToolsListChangedNotificationDataParams] #

Show McpToolsListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpToolsListChangedNotificationDataParams -> ShowS #

show :: McpToolsListChangedNotificationDataParams -> String #

showList :: [McpToolsListChangedNotificationDataParams] -> ShowS #

Default McpToolsListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpToolsListChangedNotificationDataParams #

Eq McpToolsListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

toolsMcpToolsListChangedNotificationDataParams :: Iso' McpToolsListChangedNotificationDataParams RawJsonByteString Source #

data McpToolsListChangedNotificationData Source #

Constructors

McpToolsListChangedNotificationData 

Fields

Instances

Instances details
FromJSON McpToolsListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpToolsListChangedNotificationData #

parseJSONList :: Value -> Parser [McpToolsListChangedNotificationData] #

omittedField :: Maybe McpToolsListChangedNotificationData #

ToJSON McpToolsListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpToolsListChangedNotificationData -> Value #

toEncoding :: McpToolsListChangedNotificationData -> Encoding #

toJSONList :: [McpToolsListChangedNotificationData] -> Value #

toEncodingList :: [McpToolsListChangedNotificationData] -> Encoding #

omitField :: McpToolsListChangedNotificationData -> Bool #

Read McpToolsListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpToolsListChangedNotificationData #

readList :: ReadS [McpToolsListChangedNotificationData] #

readPrec :: ReadPrec McpToolsListChangedNotificationData #

readListPrec :: ReadPrec [McpToolsListChangedNotificationData] #

Show McpToolsListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpToolsListChangedNotificationData -> ShowS #

show :: McpToolsListChangedNotificationData -> String #

showList :: [McpToolsListChangedNotificationData] -> ShowS #

Default McpToolsListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpToolsListChangedNotificationData #

Eq McpToolsListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

methodMcpToolsListChangedNotificationData :: Lens' McpToolsListChangedNotificationData String Source #

paramsMcpToolsListChangedNotificationData :: Lens' McpToolsListChangedNotificationData McpToolsListChangedNotificationDataParams Source #

data McpPromptsListChangedNotificationDataParams Source #

Constructors

McpPromptsListChangedNotificationDataParams 

Fields

Instances

Instances details
FromJSON McpPromptsListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpPromptsListChangedNotificationDataParams #

parseJSONList :: Value -> Parser [McpPromptsListChangedNotificationDataParams] #

omittedField :: Maybe McpPromptsListChangedNotificationDataParams #

ToJSON McpPromptsListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpPromptsListChangedNotificationDataParams -> Value #

toEncoding :: McpPromptsListChangedNotificationDataParams -> Encoding #

toJSONList :: [McpPromptsListChangedNotificationDataParams] -> Value #

toEncodingList :: [McpPromptsListChangedNotificationDataParams] -> Encoding #

omitField :: McpPromptsListChangedNotificationDataParams -> Bool #

Read McpPromptsListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpPromptsListChangedNotificationDataParams #

readList :: ReadS [McpPromptsListChangedNotificationDataParams] #

readPrec :: ReadPrec McpPromptsListChangedNotificationDataParams #

readListPrec :: ReadPrec [McpPromptsListChangedNotificationDataParams] #

Show McpPromptsListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpPromptsListChangedNotificationDataParams -> ShowS #

show :: McpPromptsListChangedNotificationDataParams -> String #

showList :: [McpPromptsListChangedNotificationDataParams] -> ShowS #

Default McpPromptsListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpPromptsListChangedNotificationDataParams #

Eq McpPromptsListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

promptsMcpPromptsListChangedNotificationDataParams :: Iso' McpPromptsListChangedNotificationDataParams RawJsonByteString Source #

data McpPromptsListChangedNotificationData Source #

Constructors

McpPromptsListChangedNotificationData 

Fields

Instances

Instances details
FromJSON McpPromptsListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpPromptsListChangedNotificationData #

parseJSONList :: Value -> Parser [McpPromptsListChangedNotificationData] #

omittedField :: Maybe McpPromptsListChangedNotificationData #

ToJSON McpPromptsListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpPromptsListChangedNotificationData -> Value #

toEncoding :: McpPromptsListChangedNotificationData -> Encoding #

toJSONList :: [McpPromptsListChangedNotificationData] -> Value #

toEncodingList :: [McpPromptsListChangedNotificationData] -> Encoding #

omitField :: McpPromptsListChangedNotificationData -> Bool #

Read McpPromptsListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpPromptsListChangedNotificationData #

readList :: ReadS [McpPromptsListChangedNotificationData] #

readPrec :: ReadPrec McpPromptsListChangedNotificationData #

readListPrec :: ReadPrec [McpPromptsListChangedNotificationData] #

Show McpPromptsListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpPromptsListChangedNotificationData -> ShowS #

show :: McpPromptsListChangedNotificationData -> String #

showList :: [McpPromptsListChangedNotificationData] -> ShowS #

Default McpPromptsListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpPromptsListChangedNotificationData #

Eq McpPromptsListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

methodMcpPromptsListChangedNotificationData :: Lens' McpPromptsListChangedNotificationData String Source #

paramsMcpPromptsListChangedNotificationData :: Lens' McpPromptsListChangedNotificationData McpPromptsListChangedNotificationDataParams Source #

data McpResourcesListChangedNotificationDataParams Source #

Constructors

McpResourcesListChangedNotificationDataParams 

Fields

Instances

Instances details
FromJSON McpResourcesListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpResourcesListChangedNotificationDataParams #

parseJSONList :: Value -> Parser [McpResourcesListChangedNotificationDataParams] #

omittedField :: Maybe McpResourcesListChangedNotificationDataParams #

ToJSON McpResourcesListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpResourcesListChangedNotificationDataParams -> Value #

toEncoding :: McpResourcesListChangedNotificationDataParams -> Encoding #

toJSONList :: [McpResourcesListChangedNotificationDataParams] -> Value #

toEncodingList :: [McpResourcesListChangedNotificationDataParams] -> Encoding #

omitField :: McpResourcesListChangedNotificationDataParams -> Bool #

Read McpResourcesListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpResourcesListChangedNotificationDataParams #

readList :: ReadS [McpResourcesListChangedNotificationDataParams] #

readPrec :: ReadPrec McpResourcesListChangedNotificationDataParams #

readListPrec :: ReadPrec [McpResourcesListChangedNotificationDataParams] #

Show McpResourcesListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpResourcesListChangedNotificationDataParams -> ShowS #

show :: McpResourcesListChangedNotificationDataParams -> String #

showList :: [McpResourcesListChangedNotificationDataParams] -> ShowS #

Default McpResourcesListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpResourcesListChangedNotificationDataParams #

Eq McpResourcesListChangedNotificationDataParams Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

resourcesMcpResourcesListChangedNotificationDataParams :: Iso' McpResourcesListChangedNotificationDataParams RawJsonByteString Source #

data McpResourcesListChangedNotificationData Source #

Constructors

McpResourcesListChangedNotificationData 

Fields

Instances

Instances details
FromJSON McpResourcesListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

parseJSON :: Value -> Parser McpResourcesListChangedNotificationData #

parseJSONList :: Value -> Parser [McpResourcesListChangedNotificationData] #

omittedField :: Maybe McpResourcesListChangedNotificationData #

ToJSON McpResourcesListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

toJSON :: McpResourcesListChangedNotificationData -> Value #

toEncoding :: McpResourcesListChangedNotificationData -> Encoding #

toJSONList :: [McpResourcesListChangedNotificationData] -> Value #

toEncodingList :: [McpResourcesListChangedNotificationData] -> Encoding #

omitField :: McpResourcesListChangedNotificationData -> Bool #

Read McpResourcesListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpResourcesListChangedNotificationData #

readList :: ReadS [McpResourcesListChangedNotificationData] #

readPrec :: ReadPrec McpResourcesListChangedNotificationData #

readListPrec :: ReadPrec [McpResourcesListChangedNotificationData] #

Show McpResourcesListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpResourcesListChangedNotificationData -> ShowS #

show :: McpResourcesListChangedNotificationData -> String #

showList :: [McpResourcesListChangedNotificationData] -> ShowS #

Default McpResourcesListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

def :: McpResourcesListChangedNotificationData #

Eq McpResourcesListChangedNotificationData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

methodMcpResourcesListChangedNotificationData :: Lens' McpResourcesListChangedNotificationData String Source #

paramsMcpResourcesListChangedNotificationData :: Lens' McpResourcesListChangedNotificationData McpResourcesListChangedNotificationDataParams Source #

data McpNotification Source #

Constructors

McpToolsListChangedNotification McpToolsListChangedNotificationData 
McpPromptsListChangedNotification McpPromptsListChangedNotificationData 
McpResourcesListChangedNotification McpResourcesListChangedNotificationData 

Instances

Instances details
Read McpNotification Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS McpNotification #

readList :: ReadS [McpNotification] #

readPrec :: ReadPrec McpNotification #

readListPrec :: ReadPrec [McpNotification] #

Show McpNotification Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> McpNotification -> ShowS #

show :: McpNotification -> String #

showList :: [McpNotification] -> ShowS #

Eq McpNotification Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

type ToolsCallCommandCallback a Source #

Arguments

 = ExitCode 
-> String

stdout

-> String

stderr

-> IO a 

data PtyConnectCommandData Source #

Constructors

PtyConnectCommandData 

Fields

argumentsPtyConnectCommandData :: Lens' PtyConnectCommandData RawJsonByteString Source #

callbackPtyConnectCommandData :: Lens' PtyConnectCommandData (ToolsCallCommandCallback ()) Source #

namePtyConnectCommandData :: Lens' PtyConnectCommandData String Source #

data PtyTerminateCommandData Source #

Constructors

PtyTerminateCommandData 

Fields

callbackPtyTerminateCommandData :: Iso' PtyTerminateCommandData (ToolsCallCommandCallback ()) Source #

data PtyMessageCommandData Source #

Constructors

PtyMessageCommandData 

Fields

argumentsPtyMessageCommandData :: Lens' PtyMessageCommandData RawJsonByteString Source #

callbackPtyMessageCommandData :: Lens' PtyMessageCommandData (ToolsCallCommandCallback ()) Source #

type EchoCommandCallback a = String -> IO a Source #

data EchoCommandData Source #

Constructors

EchoCommandData 

Fields

callbackEchoCommandData :: Lens' EchoCommandData (EchoCommandCallback ()) Source #

valueEchoCommandData :: Lens' EchoCommandData String Source #

data Command Source #

Constructors

EchoCommand EchoCommandData 
PtyConnectCommand PtyConnectCommandData 
PtyTerminateCommand PtyTerminateCommandData 
PtyMessageCommand PtyMessageCommandData 

data DefaultCmdRunCommandData Source #

Constructors

DefaultCmdRunCommandData 

Fields

Instances

Instances details
Read DefaultCmdRunCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS DefaultCmdRunCommandData #

readList :: ReadS [DefaultCmdRunCommandData] #

readPrec :: ReadPrec DefaultCmdRunCommandData #

readListPrec :: ReadPrec [DefaultCmdRunCommandData] #

Show DefaultCmdRunCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> DefaultCmdRunCommandData -> ShowS #

show :: DefaultCmdRunCommandData -> String #

showList :: [DefaultCmdRunCommandData] -> ShowS #

Eq DefaultCmdRunCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

argumentsDefaultCmdRunCommandData :: Lens' DefaultCmdRunCommandData RawJsonByteString Source #

jsonrpcDefaultCmdRunCommandData :: Lens' DefaultCmdRunCommandData JsonRpcRequest Source #

nameDefaultCmdRunCommandData :: Lens' DefaultCmdRunCommandData String Source #

data EchoCmdRunCommandData Source #

Constructors

EchoCmdRunCommandData 

Fields

Instances

Instances details
Read EchoCmdRunCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS EchoCmdRunCommandData #

readList :: ReadS [EchoCmdRunCommandData] #

readPrec :: ReadPrec EchoCmdRunCommandData #

readListPrec :: ReadPrec [EchoCmdRunCommandData] #

Show EchoCmdRunCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> EchoCmdRunCommandData -> ShowS #

show :: EchoCmdRunCommandData -> String #

showList :: [EchoCmdRunCommandData] -> ShowS #

Eq EchoCmdRunCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcEchoCmdRunCommandData :: Lens' EchoCmdRunCommandData JsonRpcRequest Source #

valueEchoCmdRunCommandData :: Lens' EchoCmdRunCommandData String Source #

data CmdRunCommand Source #

Constructors

EchoCmdRunCommand EchoCmdRunCommandData 
DefaultCmdRunCommand DefaultCmdRunCommandData 

Instances

Instances details
Read CmdRunCommand Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS CmdRunCommand #

readList :: ReadS [CmdRunCommand] #

readPrec :: ReadPrec CmdRunCommand #

readListPrec :: ReadPrec [CmdRunCommand] #

Show CmdRunCommand Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> CmdRunCommand -> ShowS #

show :: CmdRunCommand -> String #

showList :: [CmdRunCommand] -> ShowS #

Eq CmdRunCommand Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

getJsonRpcCmdRunCommand :: CmdRunCommand -> JsonRpcRequest Source #

data EchoWatchCommandData Source #

Constructors

EchoWatchCommandData 

Fields

Instances

Instances details
Read EchoWatchCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS EchoWatchCommandData #

readList :: ReadS [EchoWatchCommandData] #

readPrec :: ReadPrec EchoWatchCommandData #

readListPrec :: ReadPrec [EchoWatchCommandData] #

Show EchoWatchCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> EchoWatchCommandData -> ShowS #

show :: EchoWatchCommandData -> String #

showList :: [EchoWatchCommandData] -> ShowS #

Eq EchoWatchCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcEchoWatchCommandData :: Lens' EchoWatchCommandData JsonRpcRequest Source #

valueEchoWatchCommandData :: Lens' EchoWatchCommandData String Source #

data ToolsListWatchCommandData Source #

Constructors

ToolsListWatchCommandData 

Instances

Instances details
Read ToolsListWatchCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS ToolsListWatchCommandData #

readList :: ReadS [ToolsListWatchCommandData] #

readPrec :: ReadPrec ToolsListWatchCommandData #

readListPrec :: ReadPrec [ToolsListWatchCommandData] #

Show ToolsListWatchCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> ToolsListWatchCommandData -> ShowS #

show :: ToolsListWatchCommandData -> String #

showList :: [ToolsListWatchCommandData] -> ShowS #

Eq ToolsListWatchCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

data PromptsListWatchCommandData Source #

Constructors

PromptsListWatchCommandData 

Instances

Instances details
Read PromptsListWatchCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS PromptsListWatchCommandData #

readList :: ReadS [PromptsListWatchCommandData] #

readPrec :: ReadPrec PromptsListWatchCommandData #

readListPrec :: ReadPrec [PromptsListWatchCommandData] #

Show PromptsListWatchCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> PromptsListWatchCommandData -> ShowS #

show :: PromptsListWatchCommandData -> String #

showList :: [PromptsListWatchCommandData] -> ShowS #

Eq PromptsListWatchCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

data ResourcesListWatchCommandData Source #

Constructors

ResourcesListWatchCommandData 

Instances

Instances details
Read ResourcesListWatchCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS ResourcesListWatchCommandData #

readList :: ReadS [ResourcesListWatchCommandData] #

readPrec :: ReadPrec ResourcesListWatchCommandData #

readListPrec :: ReadPrec [ResourcesListWatchCommandData] #

Show ResourcesListWatchCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> ResourcesListWatchCommandData -> ShowS #

show :: ResourcesListWatchCommandData -> String #

showList :: [ResourcesListWatchCommandData] -> ShowS #

Eq ResourcesListWatchCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

data WatchCommand Source #

Constructors

EchoWatchCommand EchoWatchCommandData 
ToolsListWatchCommand ToolsListWatchCommandData 
PromptsListWatchCommand PromptsListWatchCommandData 
ResourcesListWatchCommand ResourcesListWatchCommandData 

Instances

Instances details
Read WatchCommand Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS WatchCommand #

readList :: ReadS [WatchCommand] #

readPrec :: ReadPrec WatchCommand #

readListPrec :: ReadPrec [WatchCommand] #

Show WatchCommand Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> WatchCommand -> ShowS #

show :: WatchCommand -> String #

showList :: [WatchCommand] -> ShowS #

Eq WatchCommand Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

data ProcEchoCommandData Source #

Constructors

ProcEchoCommandData 

Fields

Instances

Instances details
Read ProcEchoCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS ProcEchoCommandData #

readList :: ReadS [ProcEchoCommandData] #

readPrec :: ReadPrec ProcEchoCommandData #

readListPrec :: ReadPrec [ProcEchoCommandData] #

Show ProcEchoCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> ProcEchoCommandData -> ShowS #

show :: ProcEchoCommandData -> String #

showList :: [ProcEchoCommandData] -> ShowS #

Eq ProcEchoCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcProcEchoCommandData :: Lens' ProcEchoCommandData JsonRpcRequest Source #

valueProcEchoCommandData :: Lens' ProcEchoCommandData String Source #

data ProcRunCommandData Source #

Constructors

ProcRunCommandData 

Fields

Instances

Instances details
Read ProcRunCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS ProcRunCommandData #

readList :: ReadS [ProcRunCommandData] #

readPrec :: ReadPrec ProcRunCommandData #

readListPrec :: ReadPrec [ProcRunCommandData] #

Show ProcRunCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> ProcRunCommandData -> ShowS #

show :: ProcRunCommandData -> String #

showList :: [ProcRunCommandData] -> ShowS #

Eq ProcRunCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

argumentsProcRunCommandData :: Lens' ProcRunCommandData RawJsonByteString Source #

jsonrpcProcRunCommandData :: Lens' ProcRunCommandData JsonRpcRequest Source #

nameProcRunCommandData :: Lens' ProcRunCommandData String Source #

data ProcTerminateCommandData Source #

Constructors

ProcTerminateCommandData 

Fields

Instances

Instances details
Read ProcTerminateCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS ProcTerminateCommandData #

readList :: ReadS [ProcTerminateCommandData] #

readPrec :: ReadPrec ProcTerminateCommandData #

readListPrec :: ReadPrec [ProcTerminateCommandData] #

Show ProcTerminateCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> ProcTerminateCommandData -> ShowS #

show :: ProcTerminateCommandData -> String #

showList :: [ProcTerminateCommandData] -> ShowS #

Eq ProcTerminateCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcProcTerminateCommandData :: Iso' ProcTerminateCommandData JsonRpcRequest Source #

data ProcMessageCommandData Source #

Constructors

ProcMessageCommandData 

Fields

Instances

Instances details
Read ProcMessageCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS ProcMessageCommandData #

readList :: ReadS [ProcMessageCommandData] #

readPrec :: ReadPrec ProcMessageCommandData #

readListPrec :: ReadPrec [ProcMessageCommandData] #

Show ProcMessageCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> ProcMessageCommandData -> ShowS #

show :: ProcMessageCommandData -> String #

showList :: [ProcMessageCommandData] -> ShowS #

Eq ProcMessageCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

argumentsProcMessageCommandData :: Lens' ProcMessageCommandData RawJsonByteString Source #

jsonrpcProcMessageCommandData :: Lens' ProcMessageCommandData JsonRpcRequest Source #

data ProcSpawnCommand Source #

Constructors

ProcEchoCommand ProcEchoCommandData 
ProcRunCommand ProcRunCommandData 
ProcTerminateCommand ProcTerminateCommandData 
ProcMessageCommand ProcMessageCommandData 

Instances

Instances details
Read ProcSpawnCommand Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS ProcSpawnCommand #

readList :: ReadS [ProcSpawnCommand] #

readPrec :: ReadPrec ProcSpawnCommand #

readListPrec :: ReadPrec [ProcSpawnCommand] #

Show ProcSpawnCommand Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> ProcSpawnCommand -> ShowS #

show :: ProcSpawnCommand -> String #

showList :: [ProcSpawnCommand] -> ShowS #

Eq ProcSpawnCommand Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

getJsonRpcProcSpawnCommand :: ProcSpawnCommand -> JsonRpcRequest Source #

data SocketEchoCommandData Source #

Constructors

SocketEchoCommandData 

Fields

Instances

Instances details
Read SocketEchoCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS SocketEchoCommandData #

readList :: ReadS [SocketEchoCommandData] #

readPrec :: ReadPrec SocketEchoCommandData #

readListPrec :: ReadPrec [SocketEchoCommandData] #

Show SocketEchoCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> SocketEchoCommandData -> ShowS #

show :: SocketEchoCommandData -> String #

showList :: [SocketEchoCommandData] -> ShowS #

Eq SocketEchoCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcSocketEchoCommandData :: Lens' SocketEchoCommandData JsonRpcRequest Source #

valueSocketEchoCommandData :: Lens' SocketEchoCommandData String Source #

data SocketOpenCommandData Source #

Constructors

SocketOpenCommandData 

Fields

Instances

Instances details
Read SocketOpenCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS SocketOpenCommandData #

readList :: ReadS [SocketOpenCommandData] #

readPrec :: ReadPrec SocketOpenCommandData #

readListPrec :: ReadPrec [SocketOpenCommandData] #

Show SocketOpenCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> SocketOpenCommandData -> ShowS #

show :: SocketOpenCommandData -> String #

showList :: [SocketOpenCommandData] -> ShowS #

Eq SocketOpenCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

argumentsSocketOpenCommandData :: Lens' SocketOpenCommandData RawJsonByteString Source #

jsonrpcSocketOpenCommandData :: Lens' SocketOpenCommandData JsonRpcRequest Source #

nameSocketOpenCommandData :: Lens' SocketOpenCommandData String Source #

data SocketTelnetCommandData Source #

Constructors

SocketTelnetCommandData 

Fields

Instances

Instances details
Read SocketTelnetCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS SocketTelnetCommandData #

readList :: ReadS [SocketTelnetCommandData] #

readPrec :: ReadPrec SocketTelnetCommandData #

readListPrec :: ReadPrec [SocketTelnetCommandData] #

Show SocketTelnetCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> SocketTelnetCommandData -> ShowS #

show :: SocketTelnetCommandData -> String #

showList :: [SocketTelnetCommandData] -> ShowS #

Eq SocketTelnetCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

argumentsSocketTelnetCommandData :: Lens' SocketTelnetCommandData RawJsonByteString Source #

jsonrpcSocketTelnetCommandData :: Lens' SocketTelnetCommandData JsonRpcRequest Source #

nameSocketTelnetCommandData :: Lens' SocketTelnetCommandData String Source #

data SocketCloseCommandData Source #

Constructors

SocketCloseCommandData 

Fields

Instances

Instances details
Read SocketCloseCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS SocketCloseCommandData #

readList :: ReadS [SocketCloseCommandData] #

readPrec :: ReadPrec SocketCloseCommandData #

readListPrec :: ReadPrec [SocketCloseCommandData] #

Show SocketCloseCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> SocketCloseCommandData -> ShowS #

show :: SocketCloseCommandData -> String #

showList :: [SocketCloseCommandData] -> ShowS #

Eq SocketCloseCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcSocketCloseCommandData :: Iso' SocketCloseCommandData JsonRpcRequest Source #

data SocketReadCommandData Source #

Constructors

SocketReadCommandData 

Fields

Instances

Instances details
Read SocketReadCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS SocketReadCommandData #

readList :: ReadS [SocketReadCommandData] #

readPrec :: ReadPrec SocketReadCommandData #

readListPrec :: ReadPrec [SocketReadCommandData] #

Show SocketReadCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> SocketReadCommandData -> ShowS #

show :: SocketReadCommandData -> String #

showList :: [SocketReadCommandData] -> ShowS #

Eq SocketReadCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

argumentsSocketReadCommandData :: Lens' SocketReadCommandData RawJsonByteString Source #

jsonrpcSocketReadCommandData :: Lens' SocketReadCommandData JsonRpcRequest Source #

data SocketWriteCommandData Source #

Constructors

SocketWriteCommandData 

Fields

Instances

Instances details
Read SocketWriteCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS SocketWriteCommandData #

readList :: ReadS [SocketWriteCommandData] #

readPrec :: ReadPrec SocketWriteCommandData #

readListPrec :: ReadPrec [SocketWriteCommandData] #

Show SocketWriteCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> SocketWriteCommandData -> ShowS #

show :: SocketWriteCommandData -> String #

showList :: [SocketWriteCommandData] -> ShowS #

Eq SocketWriteCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

argumentsSocketWriteCommandData :: Lens' SocketWriteCommandData RawJsonByteString Source #

jsonrpcSocketWriteCommandData :: Lens' SocketWriteCommandData JsonRpcRequest Source #

data SocketMessageCommandData Source #

Constructors

SocketMessageCommandData 

Fields

Instances

Instances details
Read SocketMessageCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS SocketMessageCommandData #

readList :: ReadS [SocketMessageCommandData] #

readPrec :: ReadPrec SocketMessageCommandData #

readListPrec :: ReadPrec [SocketMessageCommandData] #

Show SocketMessageCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> SocketMessageCommandData -> ShowS #

show :: SocketMessageCommandData -> String #

showList :: [SocketMessageCommandData] -> ShowS #

Eq SocketMessageCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

argumentsSocketMessageCommandData :: Lens' SocketMessageCommandData RawJsonByteString Source #

jsonrpcSocketMessageCommandData :: Lens' SocketMessageCommandData JsonRpcRequest Source #

data SocketCommand Source #

Constructors

SocketEchoCommand SocketEchoCommandData 
SocketOpenCommand SocketOpenCommandData 
SocketCloseCommand SocketCloseCommandData 
SocketReadCommand SocketReadCommandData 
SocketWriteCommand SocketWriteCommandData 
SocketMessageCommand SocketMessageCommandData 
SocketTelnetCommand SocketTelnetCommandData 

Instances

Instances details
Read SocketCommand Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS SocketCommand #

readList :: ReadS [SocketCommand] #

readPrec :: ReadPrec SocketCommand #

readListPrec :: ReadPrec [SocketCommand] #

Show SocketCommand Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> SocketCommand -> ShowS #

show :: SocketCommand -> String #

showList :: [SocketCommand] -> ShowS #

Eq SocketCommand Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

getJsonRpcSocketCommand :: SocketCommand -> JsonRpcRequest Source #

data SerialEchoCommandData Source #

Constructors

SerialEchoCommandData 

Fields

Instances

Instances details
Read SerialEchoCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS SerialEchoCommandData #

readList :: ReadS [SerialEchoCommandData] #

readPrec :: ReadPrec SerialEchoCommandData #

readListPrec :: ReadPrec [SerialEchoCommandData] #

Show SerialEchoCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> SerialEchoCommandData -> ShowS #

show :: SerialEchoCommandData -> String #

showList :: [SerialEchoCommandData] -> ShowS #

Eq SerialEchoCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcSerialEchoCommandData :: Lens' SerialEchoCommandData JsonRpcRequest Source #

valueSerialEchoCommandData :: Lens' SerialEchoCommandData String Source #

data SerialOpenCommandData Source #

Constructors

SerialOpenCommandData 

Fields

Instances

Instances details
Read SerialOpenCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS SerialOpenCommandData #

readList :: ReadS [SerialOpenCommandData] #

readPrec :: ReadPrec SerialOpenCommandData #

readListPrec :: ReadPrec [SerialOpenCommandData] #

Show SerialOpenCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> SerialOpenCommandData -> ShowS #

show :: SerialOpenCommandData -> String #

showList :: [SerialOpenCommandData] -> ShowS #

Eq SerialOpenCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

argumentsSerialOpenCommandData :: Lens' SerialOpenCommandData RawJsonByteString Source #

jsonrpcSerialOpenCommandData :: Lens' SerialOpenCommandData JsonRpcRequest Source #

nameSerialOpenCommandData :: Lens' SerialOpenCommandData String Source #

data SerialCloseCommandData Source #

Constructors

SerialCloseCommandData 

Fields

Instances

Instances details
Read SerialCloseCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS SerialCloseCommandData #

readList :: ReadS [SerialCloseCommandData] #

readPrec :: ReadPrec SerialCloseCommandData #

readListPrec :: ReadPrec [SerialCloseCommandData] #

Show SerialCloseCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> SerialCloseCommandData -> ShowS #

show :: SerialCloseCommandData -> String #

showList :: [SerialCloseCommandData] -> ShowS #

Eq SerialCloseCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

jsonrpcSerialCloseCommandData :: Iso' SerialCloseCommandData JsonRpcRequest Source #

data SerialReadCommandData Source #

Constructors

SerialReadCommandData 

Fields

Instances

Instances details
Read SerialReadCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS SerialReadCommandData #

readList :: ReadS [SerialReadCommandData] #

readPrec :: ReadPrec SerialReadCommandData #

readListPrec :: ReadPrec [SerialReadCommandData] #

Show SerialReadCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> SerialReadCommandData -> ShowS #

show :: SerialReadCommandData -> String #

showList :: [SerialReadCommandData] -> ShowS #

Eq SerialReadCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

argumentsSerialReadCommandData :: Lens' SerialReadCommandData RawJsonByteString Source #

jsonrpcSerialReadCommandData :: Lens' SerialReadCommandData JsonRpcRequest Source #

data SerialWriteCommandData Source #

Constructors

SerialWriteCommandData 

Fields

Instances

Instances details
Read SerialWriteCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS SerialWriteCommandData #

readList :: ReadS [SerialWriteCommandData] #

readPrec :: ReadPrec SerialWriteCommandData #

readListPrec :: ReadPrec [SerialWriteCommandData] #

Show SerialWriteCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> SerialWriteCommandData -> ShowS #

show :: SerialWriteCommandData -> String #

showList :: [SerialWriteCommandData] -> ShowS #

Eq SerialWriteCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

argumentsSerialWriteCommandData :: Lens' SerialWriteCommandData RawJsonByteString Source #

jsonrpcSerialWriteCommandData :: Lens' SerialWriteCommandData JsonRpcRequest Source #

data SerialMessageCommandData Source #

Constructors

SerialMessageCommandData 

Fields

Instances

Instances details
Read SerialMessageCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS SerialMessageCommandData #

readList :: ReadS [SerialMessageCommandData] #

readPrec :: ReadPrec SerialMessageCommandData #

readListPrec :: ReadPrec [SerialMessageCommandData] #

Show SerialMessageCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> SerialMessageCommandData -> ShowS #

show :: SerialMessageCommandData -> String #

showList :: [SerialMessageCommandData] -> ShowS #

Eq SerialMessageCommandData Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

argumentsSerialMessageCommandData :: Lens' SerialMessageCommandData RawJsonByteString Source #

jsonrpcSerialMessageCommandData :: Lens' SerialMessageCommandData JsonRpcRequest Source #

data SerialCommand Source #

Constructors

SerialEchoCommand SerialEchoCommandData 
SerialOpenCommand SerialOpenCommandData 
SerialCloseCommand SerialCloseCommandData 
SerialReadCommand SerialReadCommandData 
SerialWriteCommand SerialWriteCommandData 
SerialMessageCommand SerialMessageCommandData 

Instances

Instances details
Read SerialCommand Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

readsPrec :: Int -> ReadS SerialCommand #

readList :: ReadS [SerialCommand] #

readPrec :: ReadPrec SerialCommand #

readListPrec :: ReadPrec [SerialCommand] #

Show SerialCommand Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

showsPrec :: Int -> SerialCommand -> ShowS #

show :: SerialCommand -> String #

showList :: [SerialCommand] -> ShowS #

Eq SerialCommand Source # 
Instance details

Defined in PMS.Domain.Model.DM.Type

Methods

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

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

getJsonRpcSerialCommand :: SerialCommand -> JsonRpcRequest Source #

data DomainData Source #

Constructors

DomainData 

Fields

cmdRunQueueDomainData :: Lens' DomainData (TQueue CmdRunCommand) Source #

commandQueueDomainData :: Lens' DomainData (TQueue Command) Source #

logDirDomainData :: Lens' DomainData (Maybe String) Source #

logLevelDomainData :: Lens' DomainData LogLevel Source #

notificationQueueDomainData :: Lens' DomainData (TQueue McpNotification) Source #

procspawnQueueDomainData :: Lens' DomainData (TQueue ProcSpawnCommand) Source #

promptsDirDomainData :: Lens' DomainData String Source #

promptsDomainData :: Lens' DomainData [String] Source #

requestQueueDomainData :: Lens' DomainData (TQueue McpRequest) Source #

resourcesDirDomainData :: Lens' DomainData String Source #

responseQueueDomainData :: Lens' DomainData (TQueue McpResponse) Source #

serialQueueDomainData :: Lens' DomainData (TQueue SerialCommand) Source #

socketQueueDomainData :: Lens' DomainData (TQueue SocketCommand) Source #

toolsDirDomainData :: Lens' DomainData String Source #

watchQueueDomainData :: Lens' DomainData (TQueue WatchCommand) Source #

defaultDomainData :: IO DomainData Source #

type ErrorData = String Source #

type DomainContext a = DomainData -> IO a Source #

Orphan instances