Modulekes-agent-1.3.0.0Haskell2010

Cardano.KESAgent.Protocols.Control.V0.Driver

7 values

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)