Type Alias Parameterized<F>

Parameterized<F>: {
    [Key in ParameterizedClass]: Kind<ParameterizedLambdas[Key], never, unknown, unknown, F>
}

Maps typeclass name to its instance type. For example to get the type of the Monad instance for ReadonlyArray:

Type Parameters

  • F extends TypeLambda

Example

type MyMonad = ParameterizedInstances<ReadonlyArrayTypeLambda>['Monad']
// MyMonad ≡ Monad<ReadonlyArrayTypeLambda>

Settings

Member Visibility