Player

final case class Player[_Ctx, _Item](context: _Ctx, item: _Item, progress_ms: Int)
Companion
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def narrowContext[DesiredContext <: _Ctx](`evidence$3`: ClassTag[DesiredContext]): Either[InvalidContext[_Ctx], Player[DesiredContext, _Item]]
def narrowItem[DesiredItem <: _Item](`evidence$4`: ClassTag[DesiredItem]): Either[InvalidItem[_Item], Player[_Ctx, DesiredItem]]
def unwrapContext[F[_], Ctx2](ev: _Ctx <:< F[Ctx2], fFunctor: Functor[F]): F[Player[Ctx2, _Item]]
def unwrapItem[F[_], Item2](ev: _Item <:< F[Item2], fFunctor: Functor[F]): F[Player[_Ctx, Item2]]

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product