Typescript Generic Union











up vote
1
down vote

favorite












So I have Array of generic object and want to iterate over the but typescript wont allow me. Here is some sample code. Any Suggestions of how this can be solved.



type someGeneric<T> = { item: T };

type stringGeneric = someGeneric<string>;

type numberGeneric = someGeneric<number>;

type someFunction = <T>(generic: someGeneric<T>) => T;

const someFunction: someFunction = (generic) => generic.item;

const stringGeneric: stringGeneric = { item: 'some String' },
numberGeneric: numberGeneric = { item: 12 };

let genericArray = [stringGeneric, numberGeneric];
genericArray.forEach(generic => {
someFunction(generic); // Error On This line.
});


You can just copy-paste the code to this link. I cant seem to share the code.










share|improve this question
























  • Error On This line” What is the error?
    – MTCoster
    Nov 15 at 18:28










  • @MTCoster The error (the important part anyway) is Argument of type 'someGeneric<string> | someGeneric<number>' is not assignable to parameter of type 'someGeneric<string>'.
    – Titian Cernicova-Dragomir
    Nov 15 at 18:34















up vote
1
down vote

favorite












So I have Array of generic object and want to iterate over the but typescript wont allow me. Here is some sample code. Any Suggestions of how this can be solved.



type someGeneric<T> = { item: T };

type stringGeneric = someGeneric<string>;

type numberGeneric = someGeneric<number>;

type someFunction = <T>(generic: someGeneric<T>) => T;

const someFunction: someFunction = (generic) => generic.item;

const stringGeneric: stringGeneric = { item: 'some String' },
numberGeneric: numberGeneric = { item: 12 };

let genericArray = [stringGeneric, numberGeneric];
genericArray.forEach(generic => {
someFunction(generic); // Error On This line.
});


You can just copy-paste the code to this link. I cant seem to share the code.










share|improve this question
























  • Error On This line” What is the error?
    – MTCoster
    Nov 15 at 18:28










  • @MTCoster The error (the important part anyway) is Argument of type 'someGeneric<string> | someGeneric<number>' is not assignable to parameter of type 'someGeneric<string>'.
    – Titian Cernicova-Dragomir
    Nov 15 at 18:34













up vote
1
down vote

favorite









up vote
1
down vote

favorite











So I have Array of generic object and want to iterate over the but typescript wont allow me. Here is some sample code. Any Suggestions of how this can be solved.



type someGeneric<T> = { item: T };

type stringGeneric = someGeneric<string>;

type numberGeneric = someGeneric<number>;

type someFunction = <T>(generic: someGeneric<T>) => T;

const someFunction: someFunction = (generic) => generic.item;

const stringGeneric: stringGeneric = { item: 'some String' },
numberGeneric: numberGeneric = { item: 12 };

let genericArray = [stringGeneric, numberGeneric];
genericArray.forEach(generic => {
someFunction(generic); // Error On This line.
});


You can just copy-paste the code to this link. I cant seem to share the code.










share|improve this question















So I have Array of generic object and want to iterate over the but typescript wont allow me. Here is some sample code. Any Suggestions of how this can be solved.



type someGeneric<T> = { item: T };

type stringGeneric = someGeneric<string>;

type numberGeneric = someGeneric<number>;

type someFunction = <T>(generic: someGeneric<T>) => T;

const someFunction: someFunction = (generic) => generic.item;

const stringGeneric: stringGeneric = { item: 'some String' },
numberGeneric: numberGeneric = { item: 12 };

let genericArray = [stringGeneric, numberGeneric];
genericArray.forEach(generic => {
someFunction(generic); // Error On This line.
});


You can just copy-paste the code to this link. I cant seem to share the code.







typescript typescript-typings typescript-generics






share|improve this question















share|improve this question













share|improve this question




share|improve this question








edited Nov 15 at 18:34

























asked Nov 15 at 18:24









Amol Gupta

648




648












  • Error On This line” What is the error?
    – MTCoster
    Nov 15 at 18:28










  • @MTCoster The error (the important part anyway) is Argument of type 'someGeneric<string> | someGeneric<number>' is not assignable to parameter of type 'someGeneric<string>'.
    – Titian Cernicova-Dragomir
    Nov 15 at 18:34


















  • Error On This line” What is the error?
    – MTCoster
    Nov 15 at 18:28










  • @MTCoster The error (the important part anyway) is Argument of type 'someGeneric<string> | someGeneric<number>' is not assignable to parameter of type 'someGeneric<string>'.
    – Titian Cernicova-Dragomir
    Nov 15 at 18:34
















Error On This line” What is the error?
– MTCoster
Nov 15 at 18:28




Error On This line” What is the error?
– MTCoster
Nov 15 at 18:28












@MTCoster The error (the important part anyway) is Argument of type 'someGeneric<string> | someGeneric<number>' is not assignable to parameter of type 'someGeneric<string>'.
– Titian Cernicova-Dragomir
Nov 15 at 18:34




@MTCoster The error (the important part anyway) is Argument of type 'someGeneric<string> | someGeneric<number>' is not assignable to parameter of type 'someGeneric<string>'.
– Titian Cernicova-Dragomir
Nov 15 at 18:34












1 Answer
1






active

oldest

votes

















up vote
2
down vote













The problem is that the function accepts a parameter of type someGeneric<T> if we try to pass in a parameter of type someGeneric<number> | someGeneric<string> typescript will not try to infer T from this it will just say the union is not compatible with the type someGeneric<T>



We can change the definition of the function so that the type parameter extends someGeneric<any>. This constraint will be compatible with the union. We can then use a conditional type to extract the item type from the T using a conditional type. Since conditional types distribute over unions the result of the extraction will be a union of the generic parameters to someGeneric<T>



type someGeneric<T> = { item: T };

type stringGeneric = someGeneric<string>;

type numberGeneric = someGeneric<number>;

type extractItemFromSomeGeneric<T extends someGeneric<any>> = T extends someGeneric<infer U> ? U : never;
type someFunction = <T extends someGeneric<any>>(generic: T) => extractItemFromSomeGeneric<T>;

const someFunction: someFunction = (generic) => generic.item;

const stringGeneric: stringGeneric = { item: 'some String' },
numberGeneric: numberGeneric = { item: 12 };

let someGeneric = [stringGeneric, numberGeneric];
someGeneric.forEach(generic => {
someFunction(generic); // retruns string | number
});


Playground link






share|improve this answer





















  • Ahh! Beautiful thanks mate!!! God Bless.
    – Amol Gupta
    Nov 15 at 18:40










  • @AmolGupta don't forget to mark as answered, it would really help me to get to 200 for today :D
    – Titian Cernicova-Dragomir
    Nov 15 at 18:41











Your Answer






StackExchange.ifUsing("editor", function () {
StackExchange.using("externalEditor", function () {
StackExchange.using("snippets", function () {
StackExchange.snippets.init();
});
});
}, "code-snippets");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "1"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53325728%2ftypescript-generic-union%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
2
down vote













The problem is that the function accepts a parameter of type someGeneric<T> if we try to pass in a parameter of type someGeneric<number> | someGeneric<string> typescript will not try to infer T from this it will just say the union is not compatible with the type someGeneric<T>



We can change the definition of the function so that the type parameter extends someGeneric<any>. This constraint will be compatible with the union. We can then use a conditional type to extract the item type from the T using a conditional type. Since conditional types distribute over unions the result of the extraction will be a union of the generic parameters to someGeneric<T>



type someGeneric<T> = { item: T };

type stringGeneric = someGeneric<string>;

type numberGeneric = someGeneric<number>;

type extractItemFromSomeGeneric<T extends someGeneric<any>> = T extends someGeneric<infer U> ? U : never;
type someFunction = <T extends someGeneric<any>>(generic: T) => extractItemFromSomeGeneric<T>;

const someFunction: someFunction = (generic) => generic.item;

const stringGeneric: stringGeneric = { item: 'some String' },
numberGeneric: numberGeneric = { item: 12 };

let someGeneric = [stringGeneric, numberGeneric];
someGeneric.forEach(generic => {
someFunction(generic); // retruns string | number
});


Playground link






share|improve this answer





















  • Ahh! Beautiful thanks mate!!! God Bless.
    – Amol Gupta
    Nov 15 at 18:40










  • @AmolGupta don't forget to mark as answered, it would really help me to get to 200 for today :D
    – Titian Cernicova-Dragomir
    Nov 15 at 18:41















up vote
2
down vote













The problem is that the function accepts a parameter of type someGeneric<T> if we try to pass in a parameter of type someGeneric<number> | someGeneric<string> typescript will not try to infer T from this it will just say the union is not compatible with the type someGeneric<T>



We can change the definition of the function so that the type parameter extends someGeneric<any>. This constraint will be compatible with the union. We can then use a conditional type to extract the item type from the T using a conditional type. Since conditional types distribute over unions the result of the extraction will be a union of the generic parameters to someGeneric<T>



type someGeneric<T> = { item: T };

type stringGeneric = someGeneric<string>;

type numberGeneric = someGeneric<number>;

type extractItemFromSomeGeneric<T extends someGeneric<any>> = T extends someGeneric<infer U> ? U : never;
type someFunction = <T extends someGeneric<any>>(generic: T) => extractItemFromSomeGeneric<T>;

const someFunction: someFunction = (generic) => generic.item;

const stringGeneric: stringGeneric = { item: 'some String' },
numberGeneric: numberGeneric = { item: 12 };

let someGeneric = [stringGeneric, numberGeneric];
someGeneric.forEach(generic => {
someFunction(generic); // retruns string | number
});


Playground link






share|improve this answer





















  • Ahh! Beautiful thanks mate!!! God Bless.
    – Amol Gupta
    Nov 15 at 18:40










  • @AmolGupta don't forget to mark as answered, it would really help me to get to 200 for today :D
    – Titian Cernicova-Dragomir
    Nov 15 at 18:41













up vote
2
down vote










up vote
2
down vote









The problem is that the function accepts a parameter of type someGeneric<T> if we try to pass in a parameter of type someGeneric<number> | someGeneric<string> typescript will not try to infer T from this it will just say the union is not compatible with the type someGeneric<T>



We can change the definition of the function so that the type parameter extends someGeneric<any>. This constraint will be compatible with the union. We can then use a conditional type to extract the item type from the T using a conditional type. Since conditional types distribute over unions the result of the extraction will be a union of the generic parameters to someGeneric<T>



type someGeneric<T> = { item: T };

type stringGeneric = someGeneric<string>;

type numberGeneric = someGeneric<number>;

type extractItemFromSomeGeneric<T extends someGeneric<any>> = T extends someGeneric<infer U> ? U : never;
type someFunction = <T extends someGeneric<any>>(generic: T) => extractItemFromSomeGeneric<T>;

const someFunction: someFunction = (generic) => generic.item;

const stringGeneric: stringGeneric = { item: 'some String' },
numberGeneric: numberGeneric = { item: 12 };

let someGeneric = [stringGeneric, numberGeneric];
someGeneric.forEach(generic => {
someFunction(generic); // retruns string | number
});


Playground link






share|improve this answer












The problem is that the function accepts a parameter of type someGeneric<T> if we try to pass in a parameter of type someGeneric<number> | someGeneric<string> typescript will not try to infer T from this it will just say the union is not compatible with the type someGeneric<T>



We can change the definition of the function so that the type parameter extends someGeneric<any>. This constraint will be compatible with the union. We can then use a conditional type to extract the item type from the T using a conditional type. Since conditional types distribute over unions the result of the extraction will be a union of the generic parameters to someGeneric<T>



type someGeneric<T> = { item: T };

type stringGeneric = someGeneric<string>;

type numberGeneric = someGeneric<number>;

type extractItemFromSomeGeneric<T extends someGeneric<any>> = T extends someGeneric<infer U> ? U : never;
type someFunction = <T extends someGeneric<any>>(generic: T) => extractItemFromSomeGeneric<T>;

const someFunction: someFunction = (generic) => generic.item;

const stringGeneric: stringGeneric = { item: 'some String' },
numberGeneric: numberGeneric = { item: 12 };

let someGeneric = [stringGeneric, numberGeneric];
someGeneric.forEach(generic => {
someFunction(generic); // retruns string | number
});


Playground link







share|improve this answer












share|improve this answer



share|improve this answer










answered Nov 15 at 18:32









Titian Cernicova-Dragomir

55.2k33351




55.2k33351












  • Ahh! Beautiful thanks mate!!! God Bless.
    – Amol Gupta
    Nov 15 at 18:40










  • @AmolGupta don't forget to mark as answered, it would really help me to get to 200 for today :D
    – Titian Cernicova-Dragomir
    Nov 15 at 18:41


















  • Ahh! Beautiful thanks mate!!! God Bless.
    – Amol Gupta
    Nov 15 at 18:40










  • @AmolGupta don't forget to mark as answered, it would really help me to get to 200 for today :D
    – Titian Cernicova-Dragomir
    Nov 15 at 18:41
















Ahh! Beautiful thanks mate!!! God Bless.
– Amol Gupta
Nov 15 at 18:40




Ahh! Beautiful thanks mate!!! God Bless.
– Amol Gupta
Nov 15 at 18:40












@AmolGupta don't forget to mark as answered, it would really help me to get to 200 for today :D
– Titian Cernicova-Dragomir
Nov 15 at 18:41




@AmolGupta don't forget to mark as answered, it would really help me to get to 200 for today :D
– Titian Cernicova-Dragomir
Nov 15 at 18:41


















draft saved

draft discarded




















































Thanks for contributing an answer to Stack Overflow!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


To learn more, see our tips on writing great answers.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53325728%2ftypescript-generic-union%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

mysqli_query(): Empty query in /home/lucindabrummitt/public_html/blog/wp-includes/wp-db.php on line 1924

How to change which sound is reproduced for terminal bell?

Can I use Tabulator js library in my java Spring + Thymeleaf project?