Type Alias Concrete<A>

Concrete<A>: {
    [Key in ConcreteClass]: Kind<ConcreteLambdas[Key], never, unknown, unknown, A>
}

Maps typeclass name to its instance type. For example to get the type of Monoid instance for readonly number[]:

Type Parameters

  • A

Example

type MyMonoidInstance = Instances<readonly number[]>['Monoid']
// MyMonoidInstance ≡ Monoid<readonly number[]>

Settings

Member Visibility