Modulekes-agent-1.3.0.0Haskell2010

Cardano.KESAgent.Protocols.Control.V0.Peers

valuecontrolReceiver

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

valuecontrolGenKey :: (KESAlgorithm (KES c), MonadSTM m, MonadThrow m) => ControlPeer c m (Maybe (VerKeyKES (KES c)))

valuecontrolQueryKey :: (KESAlgorithm (KES c), MonadSTM m, MonadThrow m) => ControlPeer c m (Maybe (VerKeyKES (KES c)))

valuecontrolDropKey :: (KESAlgorithm (KES c), MonadSTM m, MonadThrow m) => ControlPeer c m (Maybe (VerKeyKES (KES c)))

valuecontrolInstallKey

valuecontrolGetInfo :: (KESAlgorithm (KES c), MonadSTM m, MonadThrow m) => ControlPeer c m (AgentInfo c)