Interface EnvelopeHkt

A higher kind for Envelope<_>.

interface EnvelopeHkt {
    arg1: unknown;
    repType: Meta<string, Recurse0<unknown>>;
    type: Envelope.Envelope<this["arg1"]>;
}

Hierarchy (View Summary)

Hkt1
GenericRepHkt
- EnvelopeHkt

Index

Properties

arg1 repType type

Properties

`Readonly`arg1

arg1: unknown

`Readonly`repType

repType: Meta<string, Recurse0<unknown>>

`Readonly`type

type: Envelope.Envelope<this["arg1"]>