Module imandrax_api.bindings.api_twirp

Classes

class EvalClient (address,
server_path_prefix: str,
session=<requests.sessions.Session object>,
timeout=5)

Expand source code

class EvalClient(TwirpClient):

        def eval_code_snippet(self, *args, ctx, request, **kwargs):
                return self._make_request(
                        url=F"{self._server_path_prefix}/imandrax.api.Eval/eval_code_snippet",
                        ctx=ctx,
                        request=request,
                        response_obj=_sym_db.GetSymbol("imandrax.api.CodeSnippetEvalResult"),
                        **kwargs,
                )

        def parse_term(self, *args, ctx, request, **kwargs):
                return self._make_request(
                        url=F"{self._server_path_prefix}/imandrax.api.Eval/parse_term",
                        ctx=ctx,
                        request=request,
                        response_obj=_sym_db.GetSymbol("imandrax.api.Artifact"),
                        **kwargs,
                )

        def parse_type(self, *args, ctx, request, **kwargs):
                return self._make_request(
                        url=F"{self._server_path_prefix}/imandrax.api.Eval/parse_type",
                        ctx=ctx,
                        request=request,
                        response_obj=_sym_db.GetSymbol("imandrax.api.Artifact"),
                        **kwargs,
                )

        def list_artifacts(self, *args, ctx, request, **kwargs):
                return self._make_request(
                        url=F"{self._server_path_prefix}/imandrax.api.Eval/list_artifacts",
                        ctx=ctx,
                        request=request,
                        response_obj=_sym_db.GetSymbol("imandrax.api.ArtifactListResult"),
                        **kwargs,
                )

        def get_artifact(self, *args, ctx, request, **kwargs):
                return self._make_request(
                        url=F"{self._server_path_prefix}/imandrax.api.Eval/get_artifact",
                        ctx=ctx,
                        request=request,
                        response_obj=_sym_db.GetSymbol("imandrax.api.Artifact"),
                        **kwargs,
                )

        def get_artifact_zip(self, *args, ctx, request, **kwargs):
                return self._make_request(
                        url=F"{self._server_path_prefix}/imandrax.api.Eval/get_artifact_zip",
                        ctx=ctx,
                        request=request,
                        response_obj=_sym_db.GetSymbol("imandrax.api.ArtifactZip"),
                        **kwargs,
                )

Ancestors

• TwirpClient

Methods

def eval_code_snippet(self, *args, ctx, request, **kwargs)

Expand source code

def eval_code_snippet(self, *args, ctx, request, **kwargs):
        return self._make_request(
                url=F"{self._server_path_prefix}/imandrax.api.Eval/eval_code_snippet",
                ctx=ctx,
                request=request,
                response_obj=_sym_db.GetSymbol("imandrax.api.CodeSnippetEvalResult"),
                **kwargs,
        )

def get_artifact(self, *args, ctx, request, **kwargs)

Expand source code

def get_artifact(self, *args, ctx, request, **kwargs):
        return self._make_request(
                url=F"{self._server_path_prefix}/imandrax.api.Eval/get_artifact",
                ctx=ctx,
                request=request,
                response_obj=_sym_db.GetSymbol("imandrax.api.Artifact"),
                **kwargs,
        )

def get_artifact_zip(self, *args, ctx, request, **kwargs)

Expand source code

def get_artifact_zip(self, *args, ctx, request, **kwargs):
        return self._make_request(
                url=F"{self._server_path_prefix}/imandrax.api.Eval/get_artifact_zip",
                ctx=ctx,
                request=request,
                response_obj=_sym_db.GetSymbol("imandrax.api.ArtifactZip"),
                **kwargs,
        )

def list_artifacts(self, *args, ctx, request, **kwargs)

Expand source code

def list_artifacts(self, *args, ctx, request, **kwargs):
        return self._make_request(
                url=F"{self._server_path_prefix}/imandrax.api.Eval/list_artifacts",
                ctx=ctx,
                request=request,
                response_obj=_sym_db.GetSymbol("imandrax.api.ArtifactListResult"),
                **kwargs,
        )

def parse_term(self, *args, ctx, request, **kwargs)

Expand source code

def parse_term(self, *args, ctx, request, **kwargs):
        return self._make_request(
                url=F"{self._server_path_prefix}/imandrax.api.Eval/parse_term",
                ctx=ctx,
                request=request,
                response_obj=_sym_db.GetSymbol("imandrax.api.Artifact"),
                **kwargs,
        )

def parse_type(self, *args, ctx, request, **kwargs)

Expand source code

def parse_type(self, *args, ctx, request, **kwargs):
        return self._make_request(
                url=F"{self._server_path_prefix}/imandrax.api.Eval/parse_type",
                ctx=ctx,
                request=request,
                response_obj=_sym_db.GetSymbol("imandrax.api.Artifact"),
                **kwargs,
        )