IGPAPI
    Preparing search index...

    Interface ProcessCheckpointPart

    One piece of a platform's own process state that a checkpoint carries (the Android recovery tickets, the login home's issued state). The platform installs its parts in ProcessCheckpointRegistries; the checkpoint stores each part's value under its key and a restore hands it back. encode must produce JSON; a failure is a defect of the part.

    interface ProcessCheckpointPart {
        encode: () => Effect<Json>;
        key: string;
        restore: (value: Json) => Effect<void, CheckpointDecodeError>;
    }
    Index

    Properties

    encode key restore

    Properties

    encode: () => Effect<Json>
    key: string

    The key the part's value is stored under; unique among the layer's parts.

    restore: (value: Json) => Effect<void, CheckpointDecodeError>

    Settings

    Member Visibility

    On This Page

    Properties