Newtypes
0.4.1
DocsAPI
Generated with
Newtypes/monix.newtypes/NewsubtypeCovariantK

NewsubtypeCovariantK

monix.newtypes.NewsubtypeCovariantK
abstract class NewsubtypeCovariantK[Src[_]]

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

Attributes

Source
NewsubtypeK.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Inherited and Abstract types

override opaque type Type[+A]

Attributes

Inherited from:
NewsubtypeCovariantTraitK (hidden)
Source
NewEncodingK.scala

Value members

Inherited methods

final inline protected def derive[F[_], A](using ev: F[Src[A]]): F[Type[A]]

Attributes

Inherited from:
NewEncodingK (hidden)
Source
NewEncodingK.scala
final inline protected def deriveK[F[_[_]]](using ev: F[Src]): F[Type]

Attributes

Inherited from:
NewEncodingK (hidden)
Source
NewEncodingK.scala
final inline protected def unsafeCoerce[A](value: Src[A]): Type[A]

Attributes

Inherited from:
NewEncodingK (hidden)
Source
NewEncodingK.scala

Extensions

Inherited extensions

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

Attributes

Inherited from:
NewEncodingK (hidden)
Source
NewEncodingK.scala

Implicits

Inherited implicits

final implicit def extractor[A]: Aux[Type[A], Src[A]]

Attributes

Inherited from:
NewEncodingK (hidden)
Source
NewEncodingK.scala
implicit def typeName[A : TypeInfo]: TypeInfo[Type[A]]

Attributes

Inherited from:
NewEncodingK (hidden)
Source
NewEncodingK.scala
Generated with