Typescript: generic that extends a type with a generic

Bruno Grieder

Say I have an interface

interface Applicative<T> {}

Now I want to define a function f that:

  • takes a function and takes a type U extending an Applicative wrapping Any
  • and returns an U wrapping a function

How do I define this in Typescript ?

 function f<U extends Applicative>(fn: Function, a: U<any>): U<Function>

is my naive attempt but this is not valid

Bruno Grieder

Unfortunately, typescript does not (yet?) implement higher kinded types.

See https://github.com/Microsoft/TypeScript/issues/1213 for details

Collected from the Internet

Please contact [email protected] to delete if infringement.

edited at
0

Comments

0 comments
Login to comment

Related

From Dev

Typescript, Type Object Is Not Generic

From Dev

TypeScript - Filter by Generic Type

From Dev

typescript generic type and undefined

From Dev

Java Get Generic Type without extends

From Dev

NHibernate queryover generic type that extends a class

From Dev

Multidimensional ragged array of type that extends generic trait

From Dev

Java Generic class extends parametrized type

From Dev

Java generic type that either extends or is a parent class

From Dev

Generic interface with extends generic of Enums

From Dev

Class inheritance: generic extends generic

From Dev

typescript generic type not assignable for default

From Dev

Are generic type aliases possible in TypeScript?

From Dev

Generic return type of function in Typescript

From Dev

Typescript Generic with implicit attribute type

From Dev

typescript generic type htmlelement wrap

From Dev

Typescript: Extract type from generic

From Dev

How to instantiate a generic type in TypeScript?

From Dev

Typescript: Generic class type inference

From Dev

extends from generic interfaces

From Dev

Java extends generic prototype

From Dev

Generic extends and implements

From Dev

Generic Interfaces Extends?

From Dev

Generic methods T extends

From Dev

Arrays and generic classes that extends another class: Possible in typescript?

From Dev

Call static function of Generic Type from Generic Type in typescript

From Dev

Typescript - object of specified type is not assignable to generic type

From Java

Why does the compiler not enforce the return type value for a generic that extends an interface?

From Dev

How to make <T extends E> generic type argument inclusive?

From Dev

Java Generic Type for Wildcard extends allow to add only null

Related Related

HotTag

Archive