Modulekes-agent-1.3.0.0Haskell2010

Cardano.KESAgent.Serialization.DirectCodec

A codec used for direct serialization (sending and receiving data through file descriptors without requiring any intermediate memory buffers).

Contents

Instances for basic types
Unit
Int types
UTCTime
Bool
Helpers for known-sized binary data
ByteString
Text
Lists
SodiumHashAlgorithm
DSIGN
KES
MockKES
SingleKES
SumKES
CompactSingleKES
CompactSumKES
Timestamp
KESPeriod
SignKeyWithPeriodKES
Period
OCert
TaggedBundle
Bundle
RecvResult
VersionIdentifier

Synopsis

data DirectCodec
value sendItem
value receiveItem
value encodeWith
value decodeWith
value sizedInfo
value encodeSized
value decodeSized

Packagekes-agent-1.3.0.0
Exports8
LanguageHaskell2010
LicenceApache-2.0
SourceDirectCodec.hs

datadata DirectCodec (m :: Type -> Type)

Instances147Codec, Serializable, HasInfo, DefEnumEncoding, MonadDecode, MonadEncode, …

Codec (DirectCodec m)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) ByteStringDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) PeriodDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) Int16Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) Int32Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) Int64Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) Int8Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) BoolDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) Word16Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) Word32Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) Word64Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) Word8Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) BootstrapInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V0.Driver · orphan
HasInfo (DirectCodec m) AgentInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V1.Driver · orphan
HasInfo (DirectCodec m) BootstrapInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V1.Driver · orphan
HasInfo (DirectCodec m) BundleInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V1.Driver · orphan
HasInfo (DirectCodec m) AgentInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
HasInfo (DirectCodec m) BootstrapInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
HasInfo (DirectCodec m) BundleInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
HasInfo (DirectCodec m) TaggedBundleInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
HasInfo (DirectCodec m) AgentInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
HasInfo (DirectCodec m) BootstrapInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
HasInfo (DirectCodec m) BundleInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
HasInfo (DirectCodec m) TaggedBundleInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
HasInfo (DirectCodec m) RecvResultDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) TimestampDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) KESPeriodDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) VersionIdentifierDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) TextDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) UTCTimeDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) ()Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
Monad m => Serializable (DirectCodec m) ()Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(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 StandardCrypto)), Serializable (DirectCodec m) (SignedDSIGN (DSIGN StandardCrypto) (OCertSignable StandardCrypto))) => Serializable (DirectCodec m) BundleInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V1.Driver · orphan
(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 StandardCrypto)), Serializable (DirectCodec m) (SignedDSIGN (DSIGN StandardCrypto) (OCertSignable StandardCrypto))) => Serializable (DirectCodec m) BundleInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
(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 StandardCrypto)), Serializable (DirectCodec m) (SignedDSIGN (DSIGN StandardCrypto) (OCertSignable StandardCrypto))) => Serializable (DirectCodec m) BundleInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
(Monad (MonadEncode (DirectCodec m)), Monad (MonadDecode (DirectCodec m)), Serializable (DirectCodec m) Text, Serializable (DirectCodec m) ConnectionStatus) => Serializable (DirectCodec m) BootstrapInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V0.Driver · orphan
(Monad (MonadEncode (DirectCodec m)), Monad (MonadDecode (DirectCodec m)), Serializable (DirectCodec m) Text, Serializable (DirectCodec m) ConnectionStatus) => Serializable (DirectCodec m) BootstrapInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V1.Driver · orphan
(Monad (MonadEncode (DirectCodec m)), Monad (MonadDecode (DirectCodec m)), Serializable (DirectCodec m) Text, Serializable (DirectCodec m) ConnectionStatus) => Serializable (DirectCodec m) BootstrapInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
(Monad (MonadEncode (DirectCodec m)), Monad (MonadDecode (DirectCodec m)), Serializable (DirectCodec m) Text, Serializable (DirectCodec m) ConnectionStatus) => Serializable (DirectCodec m) BootstrapInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
(Monad (MonadEncode (DirectCodec m)), Monad (MonadDecode (DirectCodec m)), Serializable (DirectCodec m) Text, Serializable (DirectCodec m) (Maybe TaggedBundleInfo), Serializable (DirectCodec m) (Maybe KeyInfo), Serializable (DirectCodec m) UTCTime, Serializable (DirectCodec m) KESPeriod, Serializable (DirectCodec m) UTCTime, Serializable (DirectCodec m) UTCTime, Serializable (DirectCodec m) [BootstrapInfo]) => Serializable (DirectCodec m) AgentInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
(Monad (MonadEncode (DirectCodec m)), Monad (MonadDecode (DirectCodec m)), Serializable (DirectCodec m) (Maybe BundleInfo), Serializable (DirectCodec m) (Maybe KeyInfo), Serializable (DirectCodec m) UTCTime, Serializable (DirectCodec m) KESPeriod, Serializable (DirectCodec m) [BootstrapInfo]) => Serializable (DirectCodec m) AgentInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V1.Driver · orphan
(Monad (MonadEncode (DirectCodec m)), Monad (MonadDecode (DirectCodec m)), Serializable (DirectCodec m) (Maybe BundleInfo), Serializable (DirectCodec m) (Maybe UTCTime)) => Serializable (DirectCodec m) TaggedBundleInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
(Monad (MonadEncode (DirectCodec m)), Monad (MonadDecode (DirectCodec m)), Serializable (DirectCodec m) (Maybe TaggedBundleInfo), Serializable (DirectCodec m) (Maybe KeyInfo), Serializable (DirectCodec m) UTCTime, Serializable (DirectCodec m) KESPeriod, Serializable (DirectCodec m) [BootstrapInfo]) => Serializable (DirectCodec m) AgentInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
(Monad (MonadEncode (DirectCodec m)), Monad (MonadDecode (DirectCodec m)), Serializable (DirectCodec m) (Maybe BundleInfo), Serializable (DirectCodec m) (Maybe UTCTime)) => Serializable (DirectCodec m) TaggedBundleInfoDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) ByteStringDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) PeriodDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) Int16Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) Int32Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) Int64Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) Int8Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) BoolDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) Word16Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) Word32Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) Word64Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) Word8Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) RecvResultDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) KeyMessageTypeIDDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Service.V2.Driver
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) TimestampDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) KESPeriodDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) VersionIdentifierDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) TextDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m) => Serializable (DirectCodec m) UTCTimeDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
DSIGNAlgorithm dsign => HasInfo (DirectCodec m) (SigDSIGN dsign)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
DSIGNAlgorithm dsign => HasInfo (DirectCodec m) (SignKeyDSIGN dsign)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
DSIGNAlgorithm dsign => HasInfo (DirectCodec m) (VerKeyDSIGN dsign)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) a => HasInfo (DirectCodec m) (Maybe a)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
HasInfo (DirectCodec m) a => HasInfo (DirectCodec m) [a]Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(DSIGNAlgorithm dsign, KESAlgorithm (CompactSingleKES dsign)) => HasInfo (DirectCodec m) (VerKeyKES (CompactSingleKES dsign))Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(DSIGNAlgorithm dsign, KESAlgorithm (CompactSingleKES dsign), HasInfo (DirectCodec m) (SignKeyDSIGN dsign)) => HasInfo (DirectCodec m) (SignKeyKES (CompactSingleKES dsign))Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(DSIGNAlgorithm dsign, KESAlgorithm (SingleKES dsign)) => HasInfo (DirectCodec m) (VerKeyKES (SingleKES dsign))Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(DSIGNAlgorithm dsign, KESAlgorithm (SingleKES dsign), HasInfo (DirectCodec m) (SignKeyDSIGN dsign)) => HasInfo (DirectCodec m) (SignKeyKES (SingleKES dsign))Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(HashAlgorithm h, SodiumHashAlgorithm h, KESAlgorithm kes, KESAlgorithm (CompactSumKES h kes)) => HasInfo (DirectCodec m) (VerKeyKES (CompactSumKES h kes))Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(HashAlgorithm h, SodiumHashAlgorithm h, KESAlgorithm kes, KESAlgorithm (SumKES h kes)) => HasInfo (DirectCodec m) (VerKeyKES (SumKES h kes))Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(KESAlgorithm kes, HasInfo (DirectCodec m) (SignKeyKES kes)) => HasInfo (DirectCodec m) (SignKeyWithPeriodKES kes)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(SodiumHashAlgorithm h, KESAlgorithm kes, KESAlgorithm (SumKES h kes), HasInfo (DirectCodec m) (SignKeyKES kes), HasInfo (DirectCodec m) (VerKeyKES kes), HashSize h ~ SeedSizeKES kes, KnownNat (SignKeySizeKES kes), KnownNat (VerKeySizeKES kes), KnownNat (SeedSizeKES kes), KnownNat ((SignKeySizeKES kes + SeedSizeKES kes) + (2 * VerKeySizeKES kes)), KnownNat (SigSizeKES kes + (VerKeySizeKES kes * 2)), forall a. HasInfo (DirectCodec m) (Hash h a)) => HasInfo (DirectCodec m) (SignKeyKES (SumKES h kes))Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(SodiumHashAlgorithm h, KESAlgorithm kes, OptimizedKESAlgorithm kes, KESAlgorithm (CompactSumKES h kes), HasInfo (DirectCodec m) (SignKeyKES kes), HasInfo (DirectCodec m) (VerKeyKES kes), HashSize h ~ SeedSizeKES kes, KnownNat (SignKeySizeKES kes), KnownNat (VerKeySizeKES kes), KnownNat (SeedSizeKES kes), KnownNat ((SignKeySizeKES kes + SeedSizeKES kes) + (VerKeySizeKES kes * 2)), KnownNat (SigSizeKES kes + VerKeySizeKES kes), forall a. HasInfo (DirectCodec m) (Hash h a)) => HasInfo (DirectCodec m) (SignKeyKES (CompactSumKES h kes))Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(KnownNat t, KESAlgorithm (MockKES t)) => HasInfo (DirectCodec m) (SignKeyKES (MockKES t))Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(KnownNat t, KESAlgorithm (MockKES t), HasInfo (DirectCodec m) (SignKeyKES (MockKES t))) => HasInfo (DirectCodec m) (VerKeyKES (MockKES t))Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(HasInfo (DirectCodec m) (VerKeyKES (KES c)), HasInfo (DirectCodec m) (SignedDSIGN (DSIGN c) (OCertSignable c))) => HasInfo (DirectCodec m) (BundleInfo c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V0.Driver · orphan
(HasInfo (DirectCodec m) (Maybe (BundleInfo c)), HasInfo (DirectCodec m) (Maybe (KeyInfo c))) => HasInfo (DirectCodec m) (AgentInfo c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V0.Driver · orphan
(HasInfo (DirectCodec m_axB5) (VerKeyKES (KES c_ieDN)), HasInfo (DirectCodec m_axB5) (SignedDSIGN (DSIGN c_ieDN) (OCertSignable c_ieDN))) => HasInfo (DirectCodec m_axB5) (OCert c_ieDN)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(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)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V0.Driver · orphan
(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)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V0.Driver · orphan
(Monad (MonadEncode (DirectCodec m_axB5)), Monad (MonadDecode (DirectCodec m_axB5)), Serializable (DirectCodec m_axB5) (VerKeyKES (KES c_ieDN)), Serializable (DirectCodec m_axB5) Word64, Serializable (DirectCodec m_axB5) KESPeriod, Serializable (DirectCodec m_axB5) (SignedDSIGN (DSIGN c_ieDN) (OCertSignable c_ieDN))) => Serializable (DirectCodec m_axB5) (OCert c_ieDN)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadST m, MonadSTM m, MonadST m, MonadThrow m, KESAlgorithm kes) => Serializable (DirectCodec m) (VerKeyKES kes)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadST m, MonadSTM m, MonadThrow m, DSIGNAlgorithm dsign) => Serializable (DirectCodec m) (SigDSIGN dsign)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadST m, MonadSTM m, MonadThrow m, DSIGNAlgorithm dsign) => Serializable (DirectCodec m) (SignKeyDSIGN dsign)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadST m, MonadSTM m, MonadThrow m, DSIGNAlgorithm dsign) => Serializable (DirectCodec m) (VerKeyDSIGN dsign)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadSTM m, MonadThrow m, MonadST m, DirectSerialise (SignKeyKES kes), DirectDeserialise (SignKeyKES kes), KESAlgorithm kes) => Serializable (DirectCodec m) (SignKeyKES kes)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m, KESAlgorithm kes, Serializable (DirectCodec m) (SignKeyKES kes)) => Serializable (DirectCodec m) (SignKeyWithPeriodKES kes)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m, Serializable (DirectCodec m) a) => Serializable (DirectCodec m) [a]Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(Serializable (DirectCodec m) a, Serializable (DirectCodec m) Bool, Monad m) => Serializable (DirectCodec m) (Maybe a)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(SodiumHashAlgorithm h, HashAlgorithm h) => HasInfo (DirectCodec m) (Hash h a)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(HasInfo (DirectCodec m) (SignKeyKES (KES c)), HasInfo (DirectCodec m) (OCert c), Typeable c, Crypto c, KESAlgorithm (KES c)) => HasInfo (DirectCodec m) (Bundle m c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(HasInfo (DirectCodec m) (Bundle m c), Typeable c, Crypto c, KESAlgorithm (KES c)) => HasInfo (DirectCodec m) (TaggedBundle m c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(Monad m, Serializable (DirectCodec m) (SigDSIGN d)) => Serializable (DirectCodec m) (SignedDSIGN d a)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m, MonadSTM m, MonadMVar m, Serializable (DirectCodec m) (SignKeyWithPeriodKES (KES c)), Serializable (DirectCodec m) (OCert c), Typeable c, Crypto c, KESAlgorithm (KES c)) => Serializable (DirectCodec m) (Bundle m c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
(MonadThrow m, MonadST m, MonadSTM m, MonadMVar m, Serializable (DirectCodec m) (Bundle m c), Typeable c, Crypto c, KESAlgorithm (KES c)) => Serializable (DirectCodec m) (TaggedBundle m c)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
NamedCrypto c => HasInfo (DirectCodec m) (Message (ControlProtocol m c) 'IdleState 'WaitForInfoState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V0.Driver · orphan
NamedCrypto c => HasInfo (DirectCodec m) (Message (ControlProtocol m c) 'IdleState 'WaitForPublicKeyState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V0.Driver · orphan
NamedCrypto c => HasInfo (DirectCodec m) (Message (ControlProtocol m c) 'InitialState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V0.Driver · orphan
NamedCrypto c => HasInfo (DirectCodec m) (Message (ControlProtocol m c) 'WaitForConfirmationState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V0.Driver · orphan
NamedCrypto c => HasInfo (DirectCodec m) (Message (ControlProtocol m c) _st 'EndState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V0.Driver · orphan
NamedCrypto c => HasInfo (DirectCodec m) (Message (ServiceProtocol m c) 'InitialState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Service.V0.Driver · orphan
NamedCrypto c => HasInfo (DirectCodec m) (Message (ServiceProtocol m c) 'WaitForConfirmationState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Service.V0.Driver · orphan
NamedCrypto c => HasInfo (DirectCodec m) (Message (ServiceProtocol m c) _st 'EndState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Service.V0.Driver · orphan
HasInfo (DirectCodec m) (VerKeyKES (KES StandardCrypto)) => HasInfo (DirectCodec m) (Message (ControlProtocol m) 'IdleState 'WaitForConfirmationState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V1.Driver · orphan
HasInfo (DirectCodec m) (VerKeyKES (KES StandardCrypto)) => HasInfo (DirectCodec m) (Message (ControlProtocol m) 'WaitForInfoState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V1.Driver · orphan
HasInfo (DirectCodec m) (VerKeyKES (KES StandardCrypto)) => HasInfo (DirectCodec m) (Message (ControlProtocol m) 'WaitForPublicKeyState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V1.Driver · orphan
HasInfo (DirectCodec m) (VerKeyKES (KES StandardCrypto)) => HasInfo (DirectCodec m) (Message (ControlProtocol m) 'IdleState 'WaitForKeyConfirmationState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
HasInfo (DirectCodec m) (VerKeyKES (KES StandardCrypto)) => HasInfo (DirectCodec m) (Message (ControlProtocol m) 'WaitForInfoState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
HasInfo (DirectCodec m) (VerKeyKES (KES StandardCrypto)) => HasInfo (DirectCodec m) (Message (ControlProtocol m) 'WaitForPublicKeyState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
HasInfo (DirectCodec m) (VerKeyKES (KES StandardCrypto)) => HasInfo (DirectCodec m) (Message (ControlProtocol m) 'IdleState 'WaitForKeyConfirmationState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
HasInfo (DirectCodec m) (VerKeyKES (KES StandardCrypto)) => HasInfo (DirectCodec m) (Message (ControlProtocol m) 'WaitForInfoState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
HasInfo (DirectCodec m) (VerKeyKES (KES StandardCrypto)) => HasInfo (DirectCodec m) (Message (ControlProtocol m) 'WaitForPublicKeyState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
HasInfo (DirectCodec m) (Message VersionHandshakeProtocol 'InitialState 'VersionsOfferedState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.VersionHandshake.Driver · orphan
HasInfo (DirectCodec m) (Message VersionHandshakeProtocol 'VersionsOfferedState 'EndState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.VersionHandshake.Driver · orphan
HasInfo (DirectCodec m) (Message (ControlProtocol m) 'IdleState 'WaitForInfoState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V1.Driver · orphan
HasInfo (DirectCodec m) (Message (ControlProtocol m) 'IdleState 'WaitForPublicKeyState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V1.Driver · orphan
HasInfo (DirectCodec m) (Message (ControlProtocol m) 'InitialState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V1.Driver · orphan
HasInfo (DirectCodec m) (Message (ControlProtocol m) 'WaitForConfirmationState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V1.Driver · orphan
HasInfo (DirectCodec m) (Message (ControlProtocol m) _st 'EndState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V1.Driver · orphan
HasInfo (DirectCodec m) (Message (ControlProtocol m) 'IdleState 'WaitForInfoState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
HasInfo (DirectCodec m) (Message (ControlProtocol m) 'IdleState 'WaitForPublicKeyState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
HasInfo (DirectCodec m) (Message (ControlProtocol m) 'InitialState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
HasInfo (DirectCodec m) (Message (ControlProtocol m) 'WaitForKeyConfirmationState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
HasInfo (DirectCodec m) (Message (ControlProtocol m) _st 'EndState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V2.Driver · orphan
HasInfo (DirectCodec m) (Message (ControlProtocol m) 'IdleState 'WaitForInfoState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
HasInfo (DirectCodec m) (Message (ControlProtocol m) 'IdleState 'WaitForPublicKeyState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
HasInfo (DirectCodec m) (Message (ControlProtocol m) 'InitialState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
HasInfo (DirectCodec m) (Message (ControlProtocol m) 'WaitForKeyConfirmationState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
HasInfo (DirectCodec m) (Message (ControlProtocol m) _st 'EndState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V3.Driver · orphan
HasInfo (DirectCodec m) (Message (ServiceProtocol m) 'InitialState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Service.V1.Driver · orphan
HasInfo (DirectCodec m) (Message (ServiceProtocol m) 'WaitForConfirmationState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Service.V1.Driver · orphan
HasInfo (DirectCodec m) (Message (ServiceProtocol m) _st 'EndState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Service.V1.Driver · orphan
HasInfo (DirectCodec m) (Message (ServiceProtocol m) 'InitialState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Service.V2.Driver · orphan
HasInfo (DirectCodec m) (Message (ServiceProtocol m) 'WaitForConfirmationState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Service.V2.Driver · orphan
HasInfo (DirectCodec m) (Message (ServiceProtocol m) _st 'EndState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Service.V2.Driver · orphan
(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)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V0.Driver · orphan
(NamedCrypto c, Crypto c, Typeable c, HasInfo (DirectCodec m) (SignKeyKES (KES c)), HasInfo (DirectCodec m) (VerKeyKES (KES c))) => HasInfo (DirectCodec m) (Message (ServiceProtocol m c) 'IdleState 'WaitForConfirmationState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Service.V0.Driver · orphan
(NamedCrypto c, HasInfo (DirectCodec m) (VerKeyKES (KES c))) => HasInfo (DirectCodec m) (Message (ControlProtocol m c) 'WaitForPublicKeyState 'IdleState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V0.Driver · orphan
(NamedCrypto c, HasInfo (DirectCodec m) (VerKeyKES (KES c)), KESAlgorithm (KES c), DSIGNAlgorithm (DSIGN c)) => HasInfo (DirectCodec m) (Message (ControlProtocol m c) 'IdleState 'WaitForConfirmationState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Control.V0.Driver · orphan
(HasInfo (DirectCodec m) (SignKeyKES (KES StandardCrypto)), HasInfo (DirectCodec m) (VerKeyKES (KES StandardCrypto))) => HasInfo (DirectCodec m) (Message (ServiceProtocol m) 'IdleState 'WaitForConfirmationState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Service.V1.Driver · orphan
(HasInfo (DirectCodec m) (SignKeyKES (KES StandardCrypto)), HasInfo (DirectCodec m) (VerKeyKES (KES StandardCrypto))) => HasInfo (DirectCodec m) (Message (ServiceProtocol m) 'IdleState 'WaitForConfirmationState)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Protocols.Service.V2.Driver · orphan
type DefEnumEncoding (DirectCodec m) = Word16Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
type MonadDecode (DirectCodec m) = ReaderT (RawBearer m) (ReadResultT m)Defined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec
type MonadEncode (DirectCodec m) = ReaderT (RawBearer m) mDefined in kes-agent-1.3.0.0 · Cardano.KESAgent.Serialization.DirectCodec

valuesendItem

:: (Serializable (DirectCodec m) a, Monad m)
=> RawBearer m
-> a
-> m ()

valuereceiveItem

:: (Serializable (DirectCodec m) a, Monad m)
=> RawBearer m
-> ReadResultT m a

Instances for basic types

Unit

Int types

valueencodeWith

:: (MonadReader a (t m), MonadTrans t, Monad m)
=> a -> p -> m b
-> p
-> t m b

valuedecodeWith

:: (MonadReader a (t (ReadResultT m)), MonadTrans t, Monad m)
=> a -> m (ReadResult b)
-> t (ReadResultT m) b

UTCTime

Bool

Helpers for known-sized binary data

valuesizedInfo :: Int -> FieldInfo a

valueencodeSized

:: (MonadST m, MonadThrow m)
=> Word
-> ByteString
-> ReaderT (RawBearer m) m ()

valuedecodeSized

:: (MonadST m, MonadThrow m)
=> Int
-> ReaderT (RawBearer m) (ReadResultT m) ByteString

ByteString

Text

Lists

SodiumHashAlgorithm

DSIGN

KES

MockKES

SingleKES

SumKES

CompactSingleKES

CompactSumKES

Timestamp

KESPeriod

SignKeyWithPeriodKES

Period

OCert

''DirectCodec [] ''OCert)

TaggedBundle

Bundle

RecvResult

VersionIdentifier

Orphan instances

1 instance

HasInfo codec (SigDSIGN d) => HasInfo codec (SignedDSIGN d a)