Modulekes-agent-1.3.0.0Haskell2010

Cardano.KESAgent.Protocols.Control.V3.Peers

valuecontrolReceiver

typetype ControlServer (m :: Type -> Type) a = Server (ControlProtocol m) 'NonPipelined 'InitialState m a

valuecontrolGenKey :: (MonadSTM m, MonadThrow m) => ControlServer m (Maybe (VerKeyKES (KES StandardCrypto)))

valuecontrolQueryKey :: (MonadSTM m, MonadThrow m) => ControlServer m (Maybe (VerKeyKES (KES StandardCrypto)))

valuecontrolDropStagedKey :: (MonadSTM m, MonadThrow m) => ControlServer m (Maybe (VerKeyKES (KES StandardCrypto)))

valuecontrolInstallKey

valuecontrolDropKey :: (MonadSTM m, MonadThrow m) => ControlServer m RecvResult

valuecontrolGetInfo :: (MonadSTM m, MonadThrow m) => ControlServer m AgentInfo