Declare implementations and dependencies via standard interfaces for operations #8

Merged
glen merged 20 commits from approach4.6 into main 2023-01-22 01:34:57 +00:00
Showing only changes of commit e468ec72dd - Show all commits

View File

@ -82,9 +82,9 @@ export const sqrt =
& Dependencies<'zero' | 'complex', T>
& Dependencies<'absquare' | 're' | 'divideReal', Complex<T>>
& {
addNumber: Signature<'addReal', T>, // TODO: should be possible to use Signature<'add'> here
addNumber: Signature<'addReal', T>, // TODO: should use Signature<'add'> here
addReal: Signature<'add', RealType<T>>,
addComplex: Signature<'addReal', Complex<T>> // TODO: should be possible to use Signature<'add'> here
addComplex: Signature<'addReal', Complex<T>> // TODO: should use Signature<'add'> here
}):
Signature<'sqrt', Complex<T>> =>
z => {