Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Modulekes-agent-1.3.0.0Haskell2010

Cardano.KESAgent.Protocols.Service.V0.Driver

2 values

Packagekes-agent-1.3.0.0
Exports2
LanguageHaskell2010
LicenceApache-2.0

valueserviceDriver

:: (Crypto c, Typeable c, VersionedProtocol (ServiceProtocol m c), KESAlgorithm (KES c), DirectDeserialise (SignKeyKES (KES c)), DirectSerialise (SignKeyKES (KES c)), MonadThrow m, MonadSTM m, MonadMVar m, MonadFail m, MonadST m)
=> RawBearer m
-> Tracer m ServiceDriverTrace
-> Driver (ServiceProtocol m c) pr () m

valuereadErrorToServiceDriverTrace :: ReadResult a -> ServiceDriverTrace

Orphan instances

4 instances

NamedCrypto c => HasInfo (DirectCodec m) (Message (ServiceProtocol m c) 'InitialState 'IdleState)
NamedCrypto c => HasInfo (DirectCodec m) (Message (ServiceProtocol m c) 'WaitForConfirmationState 'IdleState)
NamedCrypto c => HasInfo (DirectCodec m) (Message (ServiceProtocol m c) _st 'EndState)
(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)