Interface Recurse1<F>

Lifted recursion for a kind F with a type argument.

interface Recurse1<F> {
    arg1: unknown;
    repType: Recurse1<F>;
    type: Instance<Apply1<F, unknown>>;
}

Type Parameters

F

Hierarchy (View Summary)

Hkt1
- Recurse1

Index

Properties

arg1 repType type

Properties

`Readonly`arg1

arg1: unknown

`Readonly`repType

repType: Recurse1<F>

`Readonly`type

type: Instance<Apply1<F, unknown>>