ouroboros-consensus-protocol-0.12.0.0: Cardano consensus protocols
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Protocol.Praos.AgentClient

Documentation

class (Crypto c, Crypto (ACrypto c), NamedCrypto (ACrypto c), KES (ACrypto c) ~ KES c, ContextKES (KES c) ~ (), ContextVRF (VRF c) ~ (), Typeable (ACrypto c), ServiceClientDrivers (ACrypto c), DirectSerialise (SignKeyKES (KES c)), DirectDeserialise (SignKeyKES (KES c))) ⇒ AgentCrypto c Source #

Associated Types

type ACrypto c Source #

Instances

Instances details
AgentCrypto StandardCrypto Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.AgentClient

Associated Types

type ACrypto StandardCrypto 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.AgentClient

type ACrypto StandardCrypto = StandardCrypto

data KESAgentClientTrace Source #

Constructors

KESAgentClientException SomeException 
KESAgentClientTrace ServiceClientTrace 

Instances

Instances details
Show KESAgentClientTrace Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.AgentClient

Methods

showsPrec ∷ Int → KESAgentClientTrace → ShowS #

show ∷ KESAgentClientTrace → String #

showList ∷ [KESAgentClientTrace] → ShowS #

type KESAgentContext c (m ∷ Type → Type) = (AgentCrypto c, MonadKESAgent m, IOLike m) Source #

class (MonadFail m, Show (Addr m)) ⇒ MonadKESAgent (m ∷ Type → Type) where Source #

Associated Types

type FD (m ∷ Type → Type) Source #

type Addr (m ∷ Type → Type) Source #

Methods

withAgentContext ∷ (Snocket m (FD m) (Addr m) → m a) → m a Source #

makeRawBearer ∷ MakeRawBearer m (FD m) Source #

makeAddress ∷ Proxy m → FilePath → Addr m Source #

Instances

Instances details
MonadKESAgent IO Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.AgentClient

Associated Types

type FD IO 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.AgentClient

type FD IO = Socket
type Addr IO 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.AgentClient

type Addr IO = SockAddr

Methods

withAgentContext ∷ (Snocket IO (FD IO) (Addr IO) → IO a) → IO a Source #

makeRawBearer ∷ MakeRawBearer IO (FD IO) Source #

makeAddress ∷ Proxy IO → FilePath → Addr IO Source #

MonadKESAgent (IOSim s) Source # 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.AgentClient

Associated Types

type FD (IOSim s) 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.AgentClient

type FD (IOSim s) = FD (IOSim s) (TestAddress FilePath)
type Addr (IOSim s) 
Instance details

Defined in Ouroboros.Consensus.Protocol.Praos.AgentClient

type Addr (IOSim s) = TestAddress FilePath

Methods

withAgentContext ∷ (Snocket (IOSim s) (FD (IOSim s)) (Addr (IOSim s)) → IOSim s a) → IOSim s a Source #

makeRawBearer ∷ MakeRawBearer (IOSim s) (FD (IOSim s)) Source #

makeAddress ∷ Proxy (IOSim s) → FilePath → Addr (IOSim s) Source #

runKESAgentClient ∷ ∀ m c. (KESAgentContext c m, DSIGN (ACrypto c) ~ DSIGN) ⇒ Tracer m KESAgentClientTrace → FilePath → (OCert c → SignKeyKES (KES c) → Word → KESPeriod → m ()) → m () → m () Source #

Orphan instances