object ProtocolPacketAbstraction
- Companion
- class
Type members
Classlikes
Value members
Concrete methods
def apply[F[_], SelfBoundPackets <: Tuple, PeerBoundPackets <: Tuple, Packet, WorldView](onTransport: ProtocolBasedTransport[F, SelfBoundPackets, PeerBoundPackets] => TransportPacketAbstraction[Packet, WorldView, Any] { def apply(packetTransport: ProtocolBasedTransport[F, SelfBoundPackets, PeerBoundPackets]): TransportPacketAbstraction[Packet, WorldView, F[List[Response]]]; }): ProtocolPacketAbstraction[F, SelfBoundPackets, PeerBoundPackets, Packet, WorldView]
Define an abstraction of packets in a protocol.
Define an abstraction of packets in a protocol.
def effectful[F[_] : Functor, SelfBoundPackets <: Tuple, PeerBoundPackets <: Tuple, Packet, WorldView, U](abstraction: TransportPacketAbstraction[Packet, WorldView, F[U]]): ProtocolPacketAbstraction[F, SelfBoundPackets, PeerBoundPackets, Packet, WorldView]
Define an abstraction which causes some side-effect on packet receipt.
Define an abstraction which causes some side-effect on packet receipt.
Define an abstraction which abstracts no packet in a protocol.
Define an abstraction which abstracts no packet in a protocol.
def pure[F[_] : Applicative, SelfBoundPackets <: Tuple, PeerBoundPackets <: Tuple, Packet, WorldView](onTransport: ProtocolBasedTransport[F, SelfBoundPackets, PeerBoundPackets] => TransportPacketAbstraction[Packet, WorldView, List[Response]] { def apply(packetTransport: ProtocolBasedTransport[F, SelfBoundPackets, PeerBoundPackets]): TransportPacketAbstraction[Packet, WorldView, List[Response]]; }): ProtocolPacketAbstraction[F, SelfBoundPackets, PeerBoundPackets, Packet, WorldView]
Define an abstraction which sends back peer-bound acknowledgements without any other side-effect.
Define an abstraction which sends back peer-bound acknowledgements without any other side-effect.
def silent[F[_] : Applicative, SelfBoundPackets <: Tuple, PeerBoundPackets <: Tuple, Packet, WorldView](abstraction: TransportPacketAbstraction[Packet, WorldView, Unit]): ProtocolPacketAbstraction[F, SelfBoundPackets, PeerBoundPackets, Packet, WorldView]
Define an abstraction which does not send back peer-bound acknowledgements.
Define an abstraction which does not send back peer-bound acknowledgements.