:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12
Modulekes-agent-1.3.0.0Haskell2010
Compatibility abstraction for the available control protocols. This provides the glue necessary to allow agents to use the same functionality against any supported version of the control protocol.
type ControlDriverRun (m :: Type -> Type) c fd addr = RawBearer m -> Tracer m ControlDriverTrace -> Agent c m fd addr -> m ()Unified interface for control protocol runners.
Crypto types for which control drivers are available.
availableControlDrivers :: AgentContext m c => [(VersionIdentifier, ControlDriverRun m c fd addr)]The control drivers available for this Crypto.
ControlCrypto MockCryptoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Processes.Agent.ControlDriversControlCrypto SingleCryptoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Processes.Agent.ControlDriversControlCrypto StandardCryptoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Processes.Agent.ControlDriversConvert from a protocol-agnostic AgentInfo to a protocol-specific agent info type.
fromAgentInfo :: AgentInfo c -> aFromAgentInfo StandardCrypto AgentInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Processes.Agent.ControlDriversFromAgentInfo StandardCrypto AgentInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Processes.Agent.ControlDriversFromAgentInfo StandardCrypto AgentInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Processes.Agent.ControlDriversFromAgentInfo c (AgentInfo c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Processes.Agent.ControlDrivers