AbstractionEvidence

Companion
class
class Object
trait Matchable
class Any

Type members

Types

type Aux[F[_], SBPackets <: Tuple, CBPackets <: Tuple, _AbstractedPacket] = AbstractionEvidence[F, SBPackets, CBPackets] { type AbstractedPacket = _AbstractedPacket; }

Givens

Givens

given forTeleportPlayerWithConfirm: Aux[F, SBPackets, CBPackets, TeleportPlayer_WithConfirm]