Interface Sum<F, G>

Lifted version of the sum type.

interface Sum<F, G> {
    arg1: unknown;
    repType: Sum<F, G>;
    type: SumLeft<F, unknown> | SumRight<G, unknown>;
}

Type Parameters

F
G

Hierarchy (View Summary)

Hkt1
- Sum

Index

Properties

arg1 repType type

Properties

`Readonly`arg1

arg1: unknown

`Readonly`repType

repType: Sum<F, G>

`Readonly`type

type: SumLeft<F, unknown> | SumRight<G, unknown>