Spaces:
Running
Running
| // Type-checks the contract examples (backend/contract/*.json) against | |
| // OptimisationApi when tsc runs. Never imported by the app. | |
| // The Python side is checked by backend/tests/test_contract.py. | |
| import type { ContractExample } from "@elvis/pyodide"; | |
| import type { OptimisationApi } from "./python.ts"; | |
| import gradientDescentQuadratic from "../../../backend/contract/gradient_descent_quadratic.json"; | |
| import invalidFunction from "../../../backend/contract/invalid_function.json"; | |
| import newtonSingularHessian from "../../../backend/contract/newton_singular_hessian.json"; | |
| import pastTheEnd from "../../../backend/contract/past_the_end.json"; | |
| gradientDescentQuadratic satisfies ContractExample<OptimisationApi, typeof gradientDescentQuadratic>; | |
| invalidFunction satisfies ContractExample<OptimisationApi, typeof invalidFunction>; | |
| newtonSingularHessian satisfies ContractExample<OptimisationApi, typeof newtonSingularHessian>; | |
| pastTheEnd satisfies ContractExample<OptimisationApi, typeof pastTheEnd>; | |