newtypes-core/monix.newtypes/NewsubtypeCovariantK

NewsubtypeCovariantK

abstract class NewsubtypeCovariantK[Src[_]] extends NewsubtypeCovariantTraitK[Src]

Similar to NewtypeCovariantK, except that the type created is a sub-type.

trait NewsubtypeCovariantTraitK[Src]
trait NewEncodingK[Src]
class Object
trait Matchable
class Any

Type members

Inherited types

override opaque type Type[+A]
Inherited from:
NewsubtypeCovariantTraitK

Value members

Inherited methods

final inline protected def derive[F[_], A](using ev: F[Src[A]]): F[Type[A]]
Inherited from:
NewEncodingK
final inline protected def deriveK[F[_[_]]](using ev: F[Src]): F[Type]
Inherited from:
NewEncodingK
final inline protected def unsafeCoerce[A](value: Src[A]): Type[A]
Inherited from:
NewEncodingK

Extensions

Inherited extensions

extension [A](self: Type[A])
final inline def value: Src[A]
Inherited from:
NewEncodingK

Implicits

Inherited implicits

final implicit def extractor[A]: Aux[Type[A], Src[A]]
Inherited from:
NewEncodingK
implicit def typeName[A : TypeInfo]: TypeInfo[Type[A]]
Inherited from:
NewEncodingK