@morphic-ts/model-algebras
Advanced tools
Comparing version 3.0.0-alpha.6 to 3.0.0-alpha.7
@@ -43,15 +43,15 @@ import type { ConfigTypeKind, ConfigTypeURIS, HKT, Kind, URIS } from '@morphic-ts/common/es6//HKT'; | ||
<Types extends readonly OfType<F, any, any, Env>[]>(...types: Types): (name: string, config?: ConfigsForType<Env, UnionToIntersection<{ | ||
[k in keyof Types]: Types[k] extends OfType<F, infer LA, infer A, Env> ? unknown extends LA ? never : LA : never; | ||
[k in keyof Types]: [Types[k]] extends [OfType<F, infer LA, infer A, Env>] ? unknown extends LA ? never : LA : never; | ||
}[number]>, UnionToIntersection<{ | ||
[k in keyof Types]: Types[k] extends OfType<F, infer LA, infer A, Env> ? unknown extends A ? never : A : never; | ||
[k in keyof Types]: [Types[k]] extends [OfType<F, infer LA, infer A, Env>] ? unknown extends A ? never : A : never; | ||
}[number]>, IntersectionConfig<{ | ||
[k in keyof Types]: Types[k] extends OfType<F, infer LA, infer A, Env> ? LA : never; | ||
[k in keyof Types]: [Types[k]] extends [OfType<F, infer LA, infer A, Env>] ? LA : never; | ||
}, { | ||
[k in keyof Types]: Types[k] extends OfType<F, infer LA, infer A, Env> ? A : never; | ||
[k in keyof Types]: [Types[k]] extends [OfType<F, infer LA, infer A, Env>] ? A : never; | ||
}>>) => Kind<F, Env, UnionToIntersection<{ | ||
[k in keyof Types]: Types[k] extends OfType<F, infer LA, infer A, Env> ? unknown extends LA ? never : LA : never; | ||
[k in keyof Types]: [Types[k]] extends [OfType<F, infer LA, infer A, Env>] ? unknown extends LA ? never : LA : never; | ||
}[number]>, UnionToIntersection<{ | ||
[k in keyof Types]: Types[k] extends OfType<F, infer LA, infer A, Env> ? unknown extends A ? never : A : never; | ||
[k in keyof Types]: [Types[k]] extends [OfType<F, infer LA, infer A, Env>] ? unknown extends A ? never : A : never; | ||
}[number]>>; | ||
}; | ||
} |
@@ -43,15 +43,15 @@ import type { ConfigTypeKind, ConfigTypeURIS, HKT, Kind, URIS } from '@morphic-ts/common/lib//HKT'; | ||
<Types extends readonly OfType<F, any, any, Env>[]>(...types: Types): (name: string, config?: ConfigsForType<Env, UnionToIntersection<{ | ||
[k in keyof Types]: Types[k] extends OfType<F, infer LA, infer A, Env> ? unknown extends LA ? never : LA : never; | ||
[k in keyof Types]: [Types[k]] extends [OfType<F, infer LA, infer A, Env>] ? unknown extends LA ? never : LA : never; | ||
}[number]>, UnionToIntersection<{ | ||
[k in keyof Types]: Types[k] extends OfType<F, infer LA, infer A, Env> ? unknown extends A ? never : A : never; | ||
[k in keyof Types]: [Types[k]] extends [OfType<F, infer LA, infer A, Env>] ? unknown extends A ? never : A : never; | ||
}[number]>, IntersectionConfig<{ | ||
[k in keyof Types]: Types[k] extends OfType<F, infer LA, infer A, Env> ? LA : never; | ||
[k in keyof Types]: [Types[k]] extends [OfType<F, infer LA, infer A, Env>] ? LA : never; | ||
}, { | ||
[k in keyof Types]: Types[k] extends OfType<F, infer LA, infer A, Env> ? A : never; | ||
[k in keyof Types]: [Types[k]] extends [OfType<F, infer LA, infer A, Env>] ? A : never; | ||
}>>) => Kind<F, Env, UnionToIntersection<{ | ||
[k in keyof Types]: Types[k] extends OfType<F, infer LA, infer A, Env> ? unknown extends LA ? never : LA : never; | ||
[k in keyof Types]: [Types[k]] extends [OfType<F, infer LA, infer A, Env>] ? unknown extends LA ? never : LA : never; | ||
}[number]>, UnionToIntersection<{ | ||
[k in keyof Types]: Types[k] extends OfType<F, infer LA, infer A, Env> ? unknown extends A ? never : A : never; | ||
[k in keyof Types]: [Types[k]] extends [OfType<F, infer LA, infer A, Env>] ? unknown extends A ? never : A : never; | ||
}[number]>>; | ||
}; | ||
} |
{ | ||
"name": "@morphic-ts/model-algebras", | ||
"version": "3.0.0-alpha.6", | ||
"version": "3.0.0-alpha.7", | ||
"description": "Morphic definitions for models", | ||
@@ -69,3 +69,3 @@ "author": "Stéphane Le Dorze <stephane.ledorze@gmail.com>", | ||
}, | ||
"gitHead": "6814d93b5dcebaaea723702136acb47a3ba15d2e" | ||
"gitHead": "e61b2e9b87b1df20ac12ad33103881f81ee327d4" | ||
} |
46983