Safe Haskell	None
Language	Haskell2010

Unison.MCP.Types

Synopsis

newtype MCP a = MCP {
- unMCP :: ReaderT Env IO a
}
data Env = Env {
- codebase :: Codebase IO Symbol Ann
- runtime :: Runtime Symbol
- sbRuntime :: Runtime Symbol
- ucmVersion :: UCMVersion
- workDir :: Maybe FilePath
- authenticatedHTTPClient :: AuthenticatedHttpClient
}
runMCP :: Env -> MCP a -> IO a
data ToolKind
- = ProjectCodeTool
- | LibInstallTool
- | ShareProjectSearchTool
- | ShareProjectReadmeTool
- | ShareProjectInfoTool
- | TypecheckCodeTool
- | DocsTool
- | RunTool
- | ListProjectDefinitionsTool
- | ListProjectLibrariesTool
- | ListLibraryDefinitionsTool
- | ViewDefinitionsTool
- | UpdateDefinitionsTool
- | SearchDefinitionsTool
- | SearchByTypeTool
- | ListLocalProjectsTool
- | ListProjectBranchesTool
- | GetCurrentProjectContextTool
- | DependenciesTool
- | DependentsTool
- | TestsTool
- | DeleteDefinitionsTool
- | RenameDefinitionTool
- | MoveDefinitionTool
- | MoveToTool
- | DeleteNamespaceTool
- | DiffUpdateTool
- | ReflogTool
- | HistoryTool
- | CreateBranchTool
data ProjectCodeToolArguments = ProjectCodeToolArguments {
- projectContext :: ProjectContext
}
data LibInstallToolArguments = LibInstallToolArguments {
- projectContext :: ProjectContext
- libProjectName :: Text
- libBranchName :: Maybe Text
}
data ShareProjectSearchToolArguments = ShareProjectSearchToolArguments {
- query :: Text
}
data ShareProjectInfoToolArguments = ShareProjectInfoToolArguments {
- projectName :: Text
}
data TypecheckCodeToolArguments = TypecheckCodeToolArguments {
- projectContext :: ProjectContext
- code :: Either FilePath Text
}
data ShareProjectReadmeToolArguments = ShareProjectReadmeToolArguments {
- projectName :: Text
- projectOwnerHandle :: Text
}
data ListLibraryDefinitionsToolArguments = ListLibraryDefinitionsToolArguments {
- projectContext :: ProjectContext
- libName :: Text
}
data ViewDefinitionsToolArguments = ViewDefinitionsToolArguments {
- projectContext :: ProjectContext
- names :: [Name]
}
data UpdateDefinitionsToolArguments = UpdateDefinitionsToolArguments {
- projectContext :: ProjectContext
- code :: Either FilePath Text
}
data DiffUpdateToolArguments = DiffUpdateToolArguments {
- projectContext :: ProjectContext
- code :: Either FilePath Text
}
data SearchDefinitionsToolArguments = SearchDefinitionsToolArguments {
- projectContext :: ProjectContext
- query :: Text
}
data SearchByTypeToolArguments = SearchByTypeToolArguments {
- projectContext :: ProjectContext
- query :: Text
}
data DocsToolArguments = DocsToolArguments {
- projectContext :: ProjectContext
- name :: Name
}
data RunToolArguments = RunToolArguments {
- projectContext :: ProjectContext
- mainFunctionName :: Name
- args :: [Text]
}
data ProjectContext = ProjectContext {
- projectName :: ProjectName
- branchName :: ProjectBranchName
}
newtype ProjectContextArgument = ProjectContextArgument ProjectContext
data ProjectNameArgument = ProjectNameArgument {
- projectName :: ProjectName
}
data ProjectDefinitionNameArgument = ProjectDefinitionNameArgument {
- definitionName :: Name
- projectContext :: ProjectContext
}
data TestToolArguments = TestToolArguments {
- projectContext :: ProjectContext
- subnamespace :: Maybe Path
}
data DeleteDefinitionsToolArguments = DeleteDefinitionsToolArguments {
- projectContext :: ProjectContext
- names :: [Name]
- force :: Bool
}
data RenameDefinitionToolArguments = RenameDefinitionToolArguments {
- projectContext :: ProjectContext
- oldName :: Name
- newNameSegment :: NameSegment
}
data MoveDefinitionToolArguments = MoveDefinitionToolArguments {
- projectContext :: ProjectContext
- oldName :: Name
- newName :: Name
}
data MoveToToolArguments = MoveToToolArguments {
- projectContext :: ProjectContext
- sources :: [Path']
- destination :: Path'
}
data DeleteNamespaceToolArguments = DeleteNamespaceToolArguments {
- projectContext :: ProjectContext
- namespaceName :: Name
- force :: Bool
}
data ReflogToolArguments = ReflogToolArguments {
- projectContext :: ProjectContext
- scope :: Maybe Text
- limit :: Maybe Int
- includeTimestamps :: Maybe Bool
}
data HistoryToolArguments = HistoryToolArguments {
- projectContext :: ProjectContext
- startHash :: Maybe Text
- limit :: Maybe Int
- diffLimit :: Maybe Int
}
data CreateBranchToolArguments = CreateBranchToolArguments {
- projectName :: ProjectName
- newBranchName :: ProjectBranchName
- sourceType :: Text
- sourceBranchProject :: Maybe ProjectName
- sourceBranchName :: Maybe ProjectBranchName
}
toToolName :: ToolKind -> Text
fromToolName :: Text -> Maybe ToolKind

Documentation

newtype MCP a Source #

Constructors

MCP
Fields unMCP :: ReaderT Env IO a

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 codebase :: Codebase IO Symbol Ann runtime :: Runtime Symbol sbRuntime :: Runtime Symbol ucmVersion :: UCMVersion workDir :: Maybe FilePath authenticatedHTTPClient :: AuthenticatedHttpClient

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 #

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 projectContext :: ProjectContext

Instances

Instances details

FromJSON ProjectCodeToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser ProjectCodeToolArguments # parseJSONList :: Value -> Parser [ProjectCodeToolArguments] # omittedField :: Maybe ProjectCodeToolArguments #

data LibInstallToolArguments Source #

Constructors

LibInstallToolArguments
Fields projectContext :: ProjectContext libProjectName :: Text libBranchName :: Maybe Text

Instances

Instances details

FromJSON LibInstallToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser LibInstallToolArguments # parseJSONList :: Value -> Parser [LibInstallToolArguments] # omittedField :: Maybe LibInstallToolArguments #
HasInputSchema LibInstallToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy LibInstallToolArguments -> Value Source #

data ShareProjectSearchToolArguments Source #

Constructors

ShareProjectSearchToolArguments
Fields query :: Text

Instances

Instances details

FromJSON ShareProjectSearchToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser ShareProjectSearchToolArguments # parseJSONList :: Value -> Parser [ShareProjectSearchToolArguments] # omittedField :: Maybe 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 ShareProjectInfoToolArguments Source #

Constructors

ShareProjectInfoToolArguments
Fields projectName :: Text

Instances

Instances details

FromJSON ShareProjectInfoToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser ShareProjectInfoToolArguments # parseJSONList :: Value -> Parser [ShareProjectInfoToolArguments] # omittedField :: Maybe ShareProjectInfoToolArguments #
Show ShareProjectInfoToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods showsPrec :: Int -> ShareProjectInfoToolArguments -> ShowS # show :: ShareProjectInfoToolArguments -> String # showList :: [ShareProjectInfoToolArguments] -> ShowS #
Eq ShareProjectInfoToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods (==) :: ShareProjectInfoToolArguments -> ShareProjectInfoToolArguments -> Bool # (/=) :: ShareProjectInfoToolArguments -> ShareProjectInfoToolArguments -> Bool #
HasInputSchema ShareProjectInfoToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy ShareProjectInfoToolArguments -> Value Source #

data TypecheckCodeToolArguments Source #

Constructors

TypecheckCodeToolArguments
Fields projectContext :: ProjectContext code :: Either FilePath Text

Instances

Instances details

FromJSON TypecheckCodeToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser TypecheckCodeToolArguments # parseJSONList :: Value -> Parser [TypecheckCodeToolArguments] # omittedField :: Maybe 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 projectName :: Text projectOwnerHandle :: Text

Instances

Instances details

FromJSON ShareProjectReadmeToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser ShareProjectReadmeToolArguments # parseJSONList :: Value -> Parser [ShareProjectReadmeToolArguments] # omittedField :: Maybe 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 projectContext :: ProjectContext libName :: Text

Instances

Instances details

FromJSON ListLibraryDefinitionsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser ListLibraryDefinitionsToolArguments # parseJSONList :: Value -> Parser [ListLibraryDefinitionsToolArguments] # omittedField :: Maybe 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 projectContext :: ProjectContext names :: [Name]

Instances

Instances details

FromJSON ViewDefinitionsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser ViewDefinitionsToolArguments # parseJSONList :: Value -> Parser [ViewDefinitionsToolArguments] # omittedField :: Maybe 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 projectContext :: ProjectContext code :: Either FilePath Text

Instances

Instances details

FromJSON UpdateDefinitionsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser UpdateDefinitionsToolArguments # parseJSONList :: Value -> Parser [UpdateDefinitionsToolArguments] # omittedField :: Maybe 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 DiffUpdateToolArguments Source #

Constructors

DiffUpdateToolArguments
Fields projectContext :: ProjectContext code :: Either FilePath Text

Instances

Instances details

FromJSON DiffUpdateToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser DiffUpdateToolArguments # parseJSONList :: Value -> Parser [DiffUpdateToolArguments] # omittedField :: Maybe DiffUpdateToolArguments #
Show DiffUpdateToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods showsPrec :: Int -> DiffUpdateToolArguments -> ShowS # show :: DiffUpdateToolArguments -> String # showList :: [DiffUpdateToolArguments] -> ShowS #
Eq DiffUpdateToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods (==) :: DiffUpdateToolArguments -> DiffUpdateToolArguments -> Bool # (/=) :: DiffUpdateToolArguments -> DiffUpdateToolArguments -> Bool #
HasInputSchema DiffUpdateToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy DiffUpdateToolArguments -> Value Source #

data SearchDefinitionsToolArguments Source #

Constructors

SearchDefinitionsToolArguments
Fields projectContext :: ProjectContext query :: Text

Instances

Instances details

FromJSON SearchDefinitionsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser SearchDefinitionsToolArguments # parseJSONList :: Value -> Parser [SearchDefinitionsToolArguments] # omittedField :: Maybe 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 projectContext :: ProjectContext query :: Text

Instances

Instances details

FromJSON SearchByTypeToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser SearchByTypeToolArguments # parseJSONList :: Value -> Parser [SearchByTypeToolArguments] # omittedField :: Maybe 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 projectContext :: ProjectContext name :: Name

Instances

Instances details

FromJSON DocsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser DocsToolArguments # parseJSONList :: Value -> Parser [DocsToolArguments] # omittedField :: Maybe 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 projectContext :: ProjectContext mainFunctionName :: Name args :: [Text]

Instances

Instances details

FromJSON RunToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser RunToolArguments # parseJSONList :: Value -> Parser [RunToolArguments] # omittedField :: Maybe 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 projectName :: ProjectName branchName :: ProjectBranchName

Instances

Instances details

FromJSON ProjectContext Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser ProjectContext # parseJSONList :: Value -> Parser [ProjectContext] # omittedField :: Maybe ProjectContext #
ToJSON ProjectContext Source #
Instance details Defined in Unison.MCP.Types Methods toJSON :: ProjectContext -> Value # toEncoding :: ProjectContext -> Encoding # toJSONList :: [ProjectContext] -> Value # toEncodingList :: [ProjectContext] -> Encoding # omitField :: ProjectContext -> Bool #
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] # omittedField :: Maybe 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 projectName :: ProjectName

Instances

Instances details

FromJSON ProjectNameArgument Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser ProjectNameArgument # parseJSONList :: Value -> Parser [ProjectNameArgument] # omittedField :: Maybe 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 definitionName :: Name projectContext :: ProjectContext

Instances

Instances details

FromJSON ProjectDefinitionNameArgument Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser ProjectDefinitionNameArgument # parseJSONList :: Value -> Parser [ProjectDefinitionNameArgument] # omittedField :: Maybe 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 projectContext :: ProjectContext subnamespace :: Maybe Path

Instances

Instances details

FromJSON TestToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser TestToolArguments # parseJSONList :: Value -> Parser [TestToolArguments] # omittedField :: Maybe 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 #

data DeleteDefinitionsToolArguments Source #

Constructors

DeleteDefinitionsToolArguments
Fields projectContext :: ProjectContext names :: [Name] force :: Bool

Instances

Instances details

FromJSON DeleteDefinitionsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser DeleteDefinitionsToolArguments # parseJSONList :: Value -> Parser [DeleteDefinitionsToolArguments] # omittedField :: Maybe DeleteDefinitionsToolArguments #
Show DeleteDefinitionsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods showsPrec :: Int -> DeleteDefinitionsToolArguments -> ShowS # show :: DeleteDefinitionsToolArguments -> String # showList :: [DeleteDefinitionsToolArguments] -> ShowS #
Eq DeleteDefinitionsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods (==) :: DeleteDefinitionsToolArguments -> DeleteDefinitionsToolArguments -> Bool # (/=) :: DeleteDefinitionsToolArguments -> DeleteDefinitionsToolArguments -> Bool #
HasInputSchema DeleteDefinitionsToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy DeleteDefinitionsToolArguments -> Value Source #

data RenameDefinitionToolArguments Source #

Constructors

RenameDefinitionToolArguments
Fields projectContext :: ProjectContext oldName :: Name newNameSegment :: NameSegment

Instances

Instances details

FromJSON RenameDefinitionToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser RenameDefinitionToolArguments # parseJSONList :: Value -> Parser [RenameDefinitionToolArguments] # omittedField :: Maybe RenameDefinitionToolArguments #
Show RenameDefinitionToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods showsPrec :: Int -> RenameDefinitionToolArguments -> ShowS # show :: RenameDefinitionToolArguments -> String # showList :: [RenameDefinitionToolArguments] -> ShowS #
Eq RenameDefinitionToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods (==) :: RenameDefinitionToolArguments -> RenameDefinitionToolArguments -> Bool # (/=) :: RenameDefinitionToolArguments -> RenameDefinitionToolArguments -> Bool #
HasInputSchema RenameDefinitionToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy RenameDefinitionToolArguments -> Value Source #

data MoveDefinitionToolArguments Source #

Constructors

MoveDefinitionToolArguments
Fields projectContext :: ProjectContext oldName :: Name newName :: Name

Instances

Instances details

FromJSON MoveDefinitionToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser MoveDefinitionToolArguments # parseJSONList :: Value -> Parser [MoveDefinitionToolArguments] # omittedField :: Maybe MoveDefinitionToolArguments #
Show MoveDefinitionToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods showsPrec :: Int -> MoveDefinitionToolArguments -> ShowS # show :: MoveDefinitionToolArguments -> String # showList :: [MoveDefinitionToolArguments] -> ShowS #
Eq MoveDefinitionToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods (==) :: MoveDefinitionToolArguments -> MoveDefinitionToolArguments -> Bool # (/=) :: MoveDefinitionToolArguments -> MoveDefinitionToolArguments -> Bool #
HasInputSchema MoveDefinitionToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy MoveDefinitionToolArguments -> Value Source #

data MoveToToolArguments Source #

Constructors

MoveToToolArguments
Fields projectContext :: ProjectContext sources :: [Path'] destination :: Path'

Instances

Instances details

FromJSON MoveToToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser MoveToToolArguments # parseJSONList :: Value -> Parser [MoveToToolArguments] # omittedField :: Maybe MoveToToolArguments #
Show MoveToToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods showsPrec :: Int -> MoveToToolArguments -> ShowS # show :: MoveToToolArguments -> String # showList :: [MoveToToolArguments] -> ShowS #
Eq MoveToToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods (==) :: MoveToToolArguments -> MoveToToolArguments -> Bool # (/=) :: MoveToToolArguments -> MoveToToolArguments -> Bool #
HasInputSchema MoveToToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy MoveToToolArguments -> Value Source #

data DeleteNamespaceToolArguments Source #

Constructors

DeleteNamespaceToolArguments
Fields projectContext :: ProjectContext namespaceName :: Name force :: Bool

Instances

Instances details

FromJSON DeleteNamespaceToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser DeleteNamespaceToolArguments # parseJSONList :: Value -> Parser [DeleteNamespaceToolArguments] # omittedField :: Maybe DeleteNamespaceToolArguments #
Show DeleteNamespaceToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods showsPrec :: Int -> DeleteNamespaceToolArguments -> ShowS # show :: DeleteNamespaceToolArguments -> String # showList :: [DeleteNamespaceToolArguments] -> ShowS #
Eq DeleteNamespaceToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods (==) :: DeleteNamespaceToolArguments -> DeleteNamespaceToolArguments -> Bool # (/=) :: DeleteNamespaceToolArguments -> DeleteNamespaceToolArguments -> Bool #
HasInputSchema DeleteNamespaceToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy DeleteNamespaceToolArguments -> Value Source #

data ReflogToolArguments Source #

Arguments for the reflog tool

Constructors

ReflogToolArguments
Fields projectContext :: ProjectContext scope :: Maybe Text limit :: Maybe Int includeTimestamps :: Maybe Bool

Instances

Instances details

FromJSON ReflogToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser ReflogToolArguments # parseJSONList :: Value -> Parser [ReflogToolArguments] # omittedField :: Maybe ReflogToolArguments #
Show ReflogToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods showsPrec :: Int -> ReflogToolArguments -> ShowS # show :: ReflogToolArguments -> String # showList :: [ReflogToolArguments] -> ShowS #
Eq ReflogToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods (==) :: ReflogToolArguments -> ReflogToolArguments -> Bool # (/=) :: ReflogToolArguments -> ReflogToolArguments -> Bool #
HasInputSchema ReflogToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy ReflogToolArguments -> Value Source #

data HistoryToolArguments Source #

Arguments for the history tool

Constructors

HistoryToolArguments
Fields projectContext :: ProjectContext startHash :: Maybe Text limit :: Maybe Int diffLimit :: Maybe Int

Instances

Instances details

FromJSON HistoryToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser HistoryToolArguments # parseJSONList :: Value -> Parser [HistoryToolArguments] # omittedField :: Maybe HistoryToolArguments #
Show HistoryToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods showsPrec :: Int -> HistoryToolArguments -> ShowS # show :: HistoryToolArguments -> String # showList :: [HistoryToolArguments] -> ShowS #
Eq HistoryToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods (==) :: HistoryToolArguments -> HistoryToolArguments -> Bool # (/=) :: HistoryToolArguments -> HistoryToolArguments -> Bool #
HasInputSchema HistoryToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy HistoryToolArguments -> Value Source #

data CreateBranchToolArguments Source #

Arguments for the create-branch tool

Constructors

CreateBranchToolArguments
Fields projectName :: ProjectName newBranchName :: ProjectBranchName sourceType :: Text sourceBranchProject :: Maybe ProjectName sourceBranchName :: Maybe ProjectBranchName

Instances

Instances details

FromJSON CreateBranchToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods parseJSON :: Value -> Parser CreateBranchToolArguments # parseJSONList :: Value -> Parser [CreateBranchToolArguments] # omittedField :: Maybe CreateBranchToolArguments #
Show CreateBranchToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods showsPrec :: Int -> CreateBranchToolArguments -> ShowS # show :: CreateBranchToolArguments -> String # showList :: [CreateBranchToolArguments] -> ShowS #
Eq CreateBranchToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods (==) :: CreateBranchToolArguments -> CreateBranchToolArguments -> Bool # (/=) :: CreateBranchToolArguments -> CreateBranchToolArguments -> Bool #
HasInputSchema CreateBranchToolArguments Source #
Instance details Defined in Unison.MCP.Types Methods toInputSchema :: Proxy CreateBranchToolArguments -> Value Source #

toToolName :: ToolKind -> Text Source #

fromToolName :: Text -> Maybe ToolKind Source #

ProjectCodeTool
LibInstallTool
ShareProjectSearchTool
ShareProjectReadmeTool
ShareProjectInfoTool
TypecheckCodeTool
DocsTool
RunTool
ListProjectDefinitionsTool
ListProjectLibrariesTool
ListLibraryDefinitionsTool
ViewDefinitionsTool
UpdateDefinitionsTool
SearchDefinitionsTool
SearchByTypeTool
ListLocalProjectsTool
ListProjectBranchesTool
GetCurrentProjectContextTool
DependenciesTool
DependentsTool
TestsTool
DeleteDefinitionsTool
RenameDefinitionTool
MoveDefinitionTool
MoveToTool
DeleteNamespaceTool
DiffUpdateTool
ReflogTool
HistoryTool
CreateBranchTool