Interface Prod<F, G>

Lifted version of [A, B].

interface Prod<F, G> {
    arg1: unknown;
    repType: Prod<F, G>;
    type: [
        left: Instance<Apply1<F, unknown>>,
        right: Instance<Apply1<G, unknown>>,
    ];
}

Type Parameters

F
G

Hierarchy (View Summary)

Hkt1
- Prod

Index

Properties

arg1 repType type

Properties

`Readonly`arg1

arg1: unknown

`Readonly`repType

repType: Prod<F, G>

`Readonly`type

type: [left: Instance<Apply1<F, unknown>>, right: Instance<Apply1<G, unknown>>]