Interface Compose1<F, G>

Lifted composition of functors as F<G<_>>.

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

Type Parameters

F
G

Hierarchy (View Summary)

Hkt1
- Compose1

Index

Properties

arg1 repType type

Properties

`Readonly`arg1

arg1: unknown

`Readonly`repType

repType: Compose1<F, G>

`Readonly`type

type: Instance<Apply1<F, Instance<Apply1<G, unknown>>>>