glen/typocomath
2
0
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity

style: whitespace fixes

Browse Source
This commit is contained in:
Glen Whitney 2022-12-19 17:14:26 -05:00
parent ccc6153786
commit 29bcab1639
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Complex/type.ts
View File

@ -8,10 +8,10 @@ export const Complex_type = {
(z: unknown): z is Complex<T> => (z: unknown): z is Complex<T> =>
typeof z === 'object' && 're' in z && 'im' in z typeof z === 'object' && 're' in z && 'im' in z
&& dep.testT(z.re) && dep.testT(z.im), && dep.testT(z.re) && dep.testT(z.im),
infer: (dep: typeOfDependency) => infer: (dep: typeOfDependency) =>
(z: Complex<unknown>) => joinTypes(dep.typeOf(z.re), dep.typeOf(z.im)), (z: Complex<unknown>) => joinTypes(dep.typeOf(z.re), dep.typeOf(z.im)),
from: { from: {
T: <T>(dep: Dependency<'zero', [T]>) => (t: T) => T: <T>(dep: Dependency<'zero', [T]>) => (t: T) =>
({re: t, im: dep.zero(t)}), ({re: t, im: dep.zero(t)}),
Complex: <U,T>(dep: {convert: (from: U) => T}) => Complex: <U,T>(dep: {convert: (from: U) => T}) =>
(z: Complex<U>) => ({re: dep.convert(z.re), im: dep.convert(z.im)}) (z: Complex<U>) => ({re: dep.convert(z.re), im: dep.convert(z.im)})

2
src/core/Dispatcher.ts
View File

@ -37,7 +37,7 @@ type DependencyTypes<Ob, Name extends string, Params extends unknown[]> =
? FinalShape<Ob[K]> ? FinalShape<Ob[K]>
: never : never
: never} : never}
export type Dependency<Name extends string, Params extends unknown[]> = export type Dependency<Name extends string, Params extends unknown[]> =
{[N in Name]: {[N in Name]:
DependencyTypes<ImplementationTypes, N, Params>[keyof ImplementationTypes]} DependencyTypes<ImplementationTypes, N, Params>[keyof ImplementationTypes]}