unison-cli-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.MCP.Types

Documentation

newtype MCP a Source #

Constructors

MCP 

Fields

Instances

Instances details
MonadIO MCP Source # 
Instance details

Defined in Unison.MCP.Types

Methods

liftIO :: IO a -> MCP a #

Applicative MCP Source # 
Instance details

Defined in Unison.MCP.Types

Methods

pure :: a -> MCP a #

(<*>) :: MCP (a -> b) -> MCP a -> MCP b #

liftA2 :: (a -> b -> c) -> MCP a -> MCP b -> MCP c #

(*>) :: MCP a -> MCP b -> MCP b #

(<*) :: MCP a -> MCP b -> MCP a #

Functor MCP Source # 
Instance details

Defined in Unison.MCP.Types

Methods

fmap :: (a -> b) -> MCP a -> MCP b #

(<$) :: a -> MCP b -> MCP a #

Monad MCP Source # 
Instance details

Defined in Unison.MCP.Types

Methods

(>>=) :: MCP a -> (a -> MCP b) -> MCP b #

(>>) :: MCP a -> MCP b -> MCP b #

return :: a -> MCP a #

MonadUnliftIO MCP Source # 
Instance details

Defined in Unison.MCP.Types

Methods

withRunInIO :: ((forall a. MCP a -> IO a) -> IO b) -> MCP b #

MonadReader Env MCP Source # 
Instance details

Defined in Unison.MCP.Types

Methods

ask :: MCP Env #

local :: (Env -> Env) -> MCP a -> MCP a #

reader :: (Env -> a) -> MCP a #

data Env Source #

Constructors

Env 

Fields

Instances

Instances details
MonadReader Env MCP Source # 
Instance details

Defined in Unison.MCP.Types

Methods

ask :: MCP Env #

local :: (Env -> Env) -> MCP a -> MCP a #

reader :: (Env -> a) -> MCP a #

runMCP :: Env -> MCP a -> IO a Source #

data ToolKind Source #

Constructors

ProjectCodeTool 
LibInstallTool 
ShareProjectSearchTool 
ShareProjectReadmeTool 
TypecheckCodeTool 
DocsTool 
RunTool 
ListProjectDefinitionsTool 
ListProjectLibrariesTool 
ListLibraryDefinitionsTool 
ViewDefinitionsTool 
UpdateDefinitionsTool 
SearchDefinitionsTool 
SearchByTypeTool 
ListLocalProjectsTool 
ListProjectBranchesTool 
GetCurrentProjectContextTool 
DependenciesTool 
DependentsTool 
TestsTool 

Instances

Instances details
Bounded ToolKind Source # 
Instance details

Defined in Unison.MCP.Types

Methods

minBound :: ToolKind #

maxBound :: ToolKind #

Enum ToolKind Source # 
Instance details

Defined in Unison.MCP.Types

Methods

succ :: ToolKind -> ToolKind #

pred :: ToolKind -> ToolKind #

toEnum :: Int -> ToolKind #

fromEnum :: ToolKind -> Int #

enumFrom :: ToolKind -> [ToolKind] #

enumFromThen :: ToolKind -> ToolKind -> [ToolKind] #

enumFromTo :: ToolKind -> ToolKind -> [ToolKind] #

enumFromThenTo :: ToolKind -> ToolKind -> ToolKind -> [ToolKind] #

Show ToolKind Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> ToolKind -> ShowS #

show :: ToolKind -> String #

showList :: [ToolKind] -> ShowS #

Eq ToolKind Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

Ord ToolKind Source # 
Instance details

Defined in Unison.MCP.Types

Methods

compare :: ToolKind -> ToolKind -> Ordering #

(<) :: ToolKind -> ToolKind -> Bool #

(<=) :: ToolKind -> ToolKind -> Bool #

(>) :: ToolKind -> ToolKind -> Bool #

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

max :: ToolKind -> ToolKind -> ToolKind #

min :: ToolKind -> ToolKind -> ToolKind #

data ProjectCodeToolArguments Source #

Constructors

ProjectCodeToolArguments 

Fields

Instances

Instances details
FromJSON ProjectCodeToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser ProjectCodeToolArguments #

parseJSONList :: Value -> Parser [ProjectCodeToolArguments] #

data LibInstallToolArguments Source #

Constructors

LibInstallToolArguments 

Fields

Instances

Instances details
FromJSON LibInstallToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser LibInstallToolArguments #

parseJSONList :: Value -> Parser [LibInstallToolArguments] #

HasInputSchema LibInstallToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy LibInstallToolArguments -> Value Source #

data ShareProjectSearchToolArguments Source #

Constructors

ShareProjectSearchToolArguments 

Fields

Instances

Instances details
FromJSON ShareProjectSearchToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser ShareProjectSearchToolArguments #

parseJSONList :: Value -> Parser [ShareProjectSearchToolArguments] #

Show ShareProjectSearchToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> ShareProjectSearchToolArguments -> ShowS #

show :: ShareProjectSearchToolArguments -> String #

showList :: [ShareProjectSearchToolArguments] -> ShowS #

Eq ShareProjectSearchToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

HasInputSchema ShareProjectSearchToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy ShareProjectSearchToolArguments -> Value Source #

data TypecheckCodeToolArguments Source #

Constructors

TypecheckCodeToolArguments 

Fields

Instances

Instances details
FromJSON TypecheckCodeToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser TypecheckCodeToolArguments #

parseJSONList :: Value -> Parser [TypecheckCodeToolArguments] #

Show TypecheckCodeToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> TypecheckCodeToolArguments -> ShowS #

show :: TypecheckCodeToolArguments -> String #

showList :: [TypecheckCodeToolArguments] -> ShowS #

Eq TypecheckCodeToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

HasInputSchema TypecheckCodeToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy TypecheckCodeToolArguments -> Value Source #

data ShareProjectReadmeToolArguments Source #

Constructors

ShareProjectReadmeToolArguments 

Fields

Instances

Instances details
FromJSON ShareProjectReadmeToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser ShareProjectReadmeToolArguments #

parseJSONList :: Value -> Parser [ShareProjectReadmeToolArguments] #

Show ShareProjectReadmeToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> ShareProjectReadmeToolArguments -> ShowS #

show :: ShareProjectReadmeToolArguments -> String #

showList :: [ShareProjectReadmeToolArguments] -> ShowS #

Eq ShareProjectReadmeToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

HasInputSchema ShareProjectReadmeToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy ShareProjectReadmeToolArguments -> Value Source #

data ListLibraryDefinitionsToolArguments Source #

Constructors

ListLibraryDefinitionsToolArguments 

Fields

Instances

Instances details
FromJSON ListLibraryDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser ListLibraryDefinitionsToolArguments #

parseJSONList :: Value -> Parser [ListLibraryDefinitionsToolArguments] #

Show ListLibraryDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> ListLibraryDefinitionsToolArguments -> ShowS #

show :: ListLibraryDefinitionsToolArguments -> String #

showList :: [ListLibraryDefinitionsToolArguments] -> ShowS #

Eq ListLibraryDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

HasInputSchema ListLibraryDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy ListLibraryDefinitionsToolArguments -> Value Source #

data ViewDefinitionsToolArguments Source #

Constructors

ViewDefinitionsToolArguments 

Fields

Instances

Instances details
FromJSON ViewDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser ViewDefinitionsToolArguments #

parseJSONList :: Value -> Parser [ViewDefinitionsToolArguments] #

Show ViewDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> ViewDefinitionsToolArguments -> ShowS #

show :: ViewDefinitionsToolArguments -> String #

showList :: [ViewDefinitionsToolArguments] -> ShowS #

Eq ViewDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

HasInputSchema ViewDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy ViewDefinitionsToolArguments -> Value Source #

data UpdateDefinitionsToolArguments Source #

Constructors

UpdateDefinitionsToolArguments 

Fields

Instances

Instances details
FromJSON UpdateDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser UpdateDefinitionsToolArguments #

parseJSONList :: Value -> Parser [UpdateDefinitionsToolArguments] #

Show UpdateDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> UpdateDefinitionsToolArguments -> ShowS #

show :: UpdateDefinitionsToolArguments -> String #

showList :: [UpdateDefinitionsToolArguments] -> ShowS #

Eq UpdateDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

HasInputSchema UpdateDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy UpdateDefinitionsToolArguments -> Value Source #

data SearchDefinitionsToolArguments Source #

Constructors

SearchDefinitionsToolArguments 

Fields

Instances

Instances details
FromJSON SearchDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser SearchDefinitionsToolArguments #

parseJSONList :: Value -> Parser [SearchDefinitionsToolArguments] #

Show SearchDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> SearchDefinitionsToolArguments -> ShowS #

show :: SearchDefinitionsToolArguments -> String #

showList :: [SearchDefinitionsToolArguments] -> ShowS #

Eq SearchDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

HasInputSchema SearchDefinitionsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy SearchDefinitionsToolArguments -> Value Source #

data SearchByTypeToolArguments Source #

Constructors

SearchByTypeToolArguments 

Fields

Instances

Instances details
FromJSON SearchByTypeToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser SearchByTypeToolArguments #

parseJSONList :: Value -> Parser [SearchByTypeToolArguments] #

Show SearchByTypeToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> SearchByTypeToolArguments -> ShowS #

show :: SearchByTypeToolArguments -> String #

showList :: [SearchByTypeToolArguments] -> ShowS #

Eq SearchByTypeToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

HasInputSchema SearchByTypeToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy SearchByTypeToolArguments -> Value Source #

data DocsToolArguments Source #

Constructors

DocsToolArguments 

Fields

Instances

Instances details
FromJSON DocsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser DocsToolArguments #

parseJSONList :: Value -> Parser [DocsToolArguments] #

Show DocsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> DocsToolArguments -> ShowS #

show :: DocsToolArguments -> String #

showList :: [DocsToolArguments] -> ShowS #

Eq DocsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

HasInputSchema DocsToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy DocsToolArguments -> Value Source #

data RunToolArguments Source #

Constructors

RunToolArguments 

Fields

Instances

Instances details
FromJSON RunToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser RunToolArguments #

parseJSONList :: Value -> Parser [RunToolArguments] #

Show RunToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> RunToolArguments -> ShowS #

show :: RunToolArguments -> String #

showList :: [RunToolArguments] -> ShowS #

Eq RunToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

HasInputSchema RunToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy RunToolArguments -> Value Source #

data ProjectContext Source #

Constructors

ProjectContext 

Fields

Instances

Instances details
FromJSON ProjectContext Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser ProjectContext #

parseJSONList :: Value -> Parser [ProjectContext] #

ToJSON ProjectContext Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toJSON :: ProjectContext -> Value #

toEncoding :: ProjectContext -> Encoding #

toJSONList :: [ProjectContext] -> Value #

toEncodingList :: [ProjectContext] -> Encoding #

Show ProjectContext Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> ProjectContext -> ShowS #

show :: ProjectContext -> String #

showList :: [ProjectContext] -> ShowS #

Eq ProjectContext Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

HasInputSchema ProjectContext Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy ProjectContext -> Value Source #

newtype ProjectContextArgument Source #

Constructors

ProjectContextArgument ProjectContext 

Instances

Instances details
FromJSON ProjectContextArgument Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser ProjectContextArgument #

parseJSONList :: Value -> Parser [ProjectContextArgument] #

Show ProjectContextArgument Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> ProjectContextArgument -> ShowS #

show :: ProjectContextArgument -> String #

showList :: [ProjectContextArgument] -> ShowS #

Eq ProjectContextArgument Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

HasInputSchema ProjectContextArgument Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy ProjectContextArgument -> Value Source #

data ProjectNameArgument Source #

Constructors

ProjectNameArgument 

Fields

Instances

Instances details
FromJSON ProjectNameArgument Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser ProjectNameArgument #

parseJSONList :: Value -> Parser [ProjectNameArgument] #

Show ProjectNameArgument Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> ProjectNameArgument -> ShowS #

show :: ProjectNameArgument -> String #

showList :: [ProjectNameArgument] -> ShowS #

Eq ProjectNameArgument Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

HasInputSchema ProjectNameArgument Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy ProjectNameArgument -> Value Source #

data ProjectDefinitionNameArgument Source #

Constructors

ProjectDefinitionNameArgument 

Fields

Instances

Instances details
FromJSON ProjectDefinitionNameArgument Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser ProjectDefinitionNameArgument #

parseJSONList :: Value -> Parser [ProjectDefinitionNameArgument] #

Show ProjectDefinitionNameArgument Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> ProjectDefinitionNameArgument -> ShowS #

show :: ProjectDefinitionNameArgument -> String #

showList :: [ProjectDefinitionNameArgument] -> ShowS #

Eq ProjectDefinitionNameArgument Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

HasInputSchema ProjectDefinitionNameArgument Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy ProjectDefinitionNameArgument -> Value Source #

data TestToolArguments Source #

Constructors

TestToolArguments 

Fields

Instances

Instances details
FromJSON TestToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

parseJSON :: Value -> Parser TestToolArguments #

parseJSONList :: Value -> Parser [TestToolArguments] #

Show TestToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

showsPrec :: Int -> TestToolArguments -> ShowS #

show :: TestToolArguments -> String #

showList :: [TestToolArguments] -> ShowS #

Eq TestToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

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

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

HasInputSchema TestToolArguments Source # 
Instance details

Defined in Unison.MCP.Types

Methods

toInputSchema :: Proxy TestToolArguments -> Value Source #

toToolName :: ToolKind -> Text Source #

fromToolName :: Text -> Maybe ToolKind Source #