ouroboros-consensus:protocol

Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Protocol.Praos.AgentClient

Contents

Orphan instances

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

GlobalAddressScheme FilePath Source #
Instance details Methods getAddressType ∷ TestAddress FilePath → AddressType ephemeralAddress ∷ AddressType → Natural → TestAddress FilePath