Skip to content
Juvix imports

module arch.node.engines.identity_management_config;

import prelude open;
import arch.node.engines.identity_management_messages open;
import arch.node.types.engine open;
import arch.node.types.messages open;
import arch.node.types.identities open;

Identity Management Configuration

Overview

The Identity Management engine configuration contains static information for Identity Management engine instances.

The Identity Management Local Configuration

IdentityManagementLocalCfg

The type for engine-specific local configuration.

type IdentityManagementLocalCfg := mk;

The Identity Management Configuration

IdentityManagementCfg

IdentityManagementCfg : Type := EngineCfg IdentityManagementLocalCfg;

Instantiation

identityManagementCfg : IdentityManagementCfg :=
EngineCfg.mk@{
node := PublicKey.Curve25519PubKey "0xabcd1234";
name := "identity management";
cfg := IdentityManagementLocalCfg.mk;
};