isspbdsl

Documentation

Index

• func DeliverCert(m dsl.Module, destModule types.ModuleID, sn types1.SeqNr, cert *types2.Cert, ...)
• func NewConfig(m dsl.Module, destModule types.ModuleID, epochNr types1.EpochNr, ...)
• func PushCheckpoint(m dsl.Module, destModule types.ModuleID)
• func SBDeliver(m dsl.Module, destModule types.ModuleID, sn types1.SeqNr, data []uint8, ...)
• func UponDeliverCert(m dsl.Module, ...)
• func UponEvent[W types.Event_TypeWrapper[Ev], Ev any](m dsl.Module, handler func(ev *Ev) error)
• func UponISSMessageReceived[W types.ISSMessage_TypeWrapper[M], M any](m dsl.Module, handler func(from types1.NodeID, msg *M) error)
• func UponNewConfig(m dsl.Module, ...)
• func UponPushCheckpoint(m dsl.Module, handler func() error)
• func UponSBDeliver(m dsl.Module, ...)

Functions

func DeliverCert

func DeliverCert(m dsl.Module, destModule types.ModuleID, sn types1.SeqNr, cert *types2.Cert, empty bool)

func NewConfig

func NewConfig(m dsl.Module, destModule types.ModuleID, epochNr types1.EpochNr, membership *types3.Membership)

func PushCheckpoint

func PushCheckpoint(m dsl.Module, destModule types.ModuleID)

func SBDeliver

func SBDeliver(m dsl.Module, destModule types.ModuleID, sn types1.SeqNr, data []uint8, aborted bool, leader types.NodeID, instanceId types.ModuleID)

func UponDeliverCert

func UponDeliverCert(m dsl.Module, handler func(sn types2.SeqNr, cert *types4.Cert, empty bool) error)

func UponEvent

func UponEvent[W types.Event_TypeWrapper[Ev], Ev any](m dsl.Module, handler func(ev *Ev) error)

func UponISSMessageReceived

func UponISSMessageReceived[W types.ISSMessage_TypeWrapper[M], M any](m dsl.Module, handler func(from types1.NodeID, msg *M) error)

func UponNewConfig

func UponNewConfig(m dsl.Module, handler func(epochNr types2.EpochNr, membership *types5.Membership) error)

func UponPushCheckpoint

func UponPushCheckpoint(m dsl.Module, handler func() error)

func UponSBDeliver

func UponSBDeliver(m dsl.Module, handler func(sn types2.SeqNr, data []uint8, aborted bool, leader types3.NodeID, instanceId types3.ModuleID) error)