Modulekes-agent-1.3.0.0Haskell2010

Cardano.KESAgent.Protocols.Control.V0.Driver

Synopsis

value flagHasBundle
value flagHasStagedKey
value has
value flagWhen
value whenFlag
value controlDriver
value readErrorToControlDriverTrace

Packagekes-agent-1.3.0.0
Exports7
LanguageHaskell2010
LicenceApache-2.0

valueflagHasBundle :: Word8

valueflagHasStagedKey :: Word8

valuehas :: rec -> (rec -> Maybe a) -> Bool

valueflagWhen :: Bool -> Word8 -> Word8

valuewhenFlag :: Applicative m => Word8 -> Word8 -> m a -> m (Maybe a)

valuecontrolDriver

:: (Crypto c, Typeable c, VersionedProtocol (ControlProtocol m c), KESAlgorithm (KES c), Serializable (DirectCodec m) (AgentInfo c), DirectDeserialise (SignKeyKES (KES c)), DirectSerialise (SignKeyKES (KES c)), MonadThrow m, MonadSTM m, MonadMVar m, MonadFail m, MonadST m)
=> RawBearer m
-> Tracer m ControlDriverTrace
-> Driver (ControlProtocol m c) pr () m

valuereadErrorToControlDriverTrace :: ReadResult a -> ControlDriverTrace

Orphan instances

18 instances

(Codec codec, HasInfo codec Word8, HasInfo codec (DefEnumEncoding codec)) => HasInfo codec ConnectionStatus
(Codec codec, Serializable codec Word8, Monad (MonadEncode codec), Monad (MonadDecode codec)) => Serializable codec ConnectionStatus
(HasInfo codec (VerKeyKES (KES c)), KESAlgorithm (KES c), Codec codec) => HasInfo codec (KeyInfo c)
(Serializable codec (VerKeyKES (KES c)), KESAlgorithm (KES c), Codec codec, Monad (MonadEncode codec), Monad (MonadDecode codec)) => Serializable codec (KeyInfo c)
HasInfo (DirectCodec m) BootstrapInfo
(Monad (MonadEncode (DirectCodec m)), Monad (MonadDecode (DirectCodec m)), Serializable (DirectCodec m) Text, Serializable (DirectCodec m) ConnectionStatus) => Serializable (DirectCodec m) BootstrapInfo
(HasInfo (DirectCodec m) (VerKeyKES (KES c)), HasInfo (DirectCodec m) (SignedDSIGN (DSIGN c) (OCertSignable c))) => HasInfo (DirectCodec m) (BundleInfo c)
(HasInfo (DirectCodec m) (Maybe (BundleInfo c)), HasInfo (DirectCodec m) (Maybe (KeyInfo c))) => HasInfo (DirectCodec m) (AgentInfo c)
(Monad (MonadEncode (DirectCodec m)), Monad (MonadDecode (DirectCodec m)), Serializable (DirectCodec m) Word32, Serializable (DirectCodec m) KESPeriod, Serializable (DirectCodec m) Word64, Serializable (DirectCodec m) (VerKeyKES (KES c)), Serializable (DirectCodec m) (SignedDSIGN (DSIGN c) (OCertSignable c))) => Serializable (DirectCodec m) (BundleInfo c)
(Monad (MonadEncode (DirectCodec m)), Monad (MonadDecode (DirectCodec m)), Serializable (DirectCodec m) (Maybe (BundleInfo c)), Serializable (DirectCodec m) (Maybe (KeyInfo c)), Serializable (DirectCodec m) UTCTime, Serializable (DirectCodec m) KESPeriod, Serializable (DirectCodec m) [BootstrapInfo]) => Serializable (DirectCodec m) (AgentInfo c)
NamedCrypto c => HasInfo (DirectCodec m) (Message (ControlProtocol m c) 'IdleState 'WaitForInfoState)
NamedCrypto c => HasInfo (DirectCodec m) (Message (ControlProtocol m c) 'IdleState 'WaitForPublicKeyState)
NamedCrypto c => HasInfo (DirectCodec m) (Message (ControlProtocol m c) 'InitialState 'IdleState)
NamedCrypto c => HasInfo (DirectCodec m) (Message (ControlProtocol m c) 'WaitForConfirmationState 'IdleState)
NamedCrypto c => HasInfo (DirectCodec m) (Message (ControlProtocol m c) _st 'EndState)
(NamedCrypto c, KESAlgorithm (KES c), DSIGNAlgorithm (DSIGN c), HasInfo (DirectCodec m) (VerKeyKES (KES c)), HasInfo (DirectCodec m) (AgentInfo c)) => HasInfo (DirectCodec m) (Message (ControlProtocol m c) 'WaitForInfoState 'IdleState)
(NamedCrypto c, HasInfo (DirectCodec m) (VerKeyKES (KES c))) => HasInfo (DirectCodec m) (Message (ControlProtocol m c) 'WaitForPublicKeyState 'IdleState)
(NamedCrypto c, HasInfo (DirectCodec m) (VerKeyKES (KES c)), KESAlgorithm (KES c), DSIGNAlgorithm (DSIGN c)) => HasInfo (DirectCodec m) (Message (ControlProtocol m c) 'IdleState 'WaitForConfirmationState)