UnionSyntax

final implicit class UnionSyntax[F[_], A](val tpe: Union[F, A]) extends AnyVal
Source:
dsl.scala
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def subtype[B : ClassTag](implicit evidence$1: ClassTag[B], ev: B <:< A, innerTpe: => Type[F, B]): Union[F, A]
Source:
dsl.scala
def variant[B](pf: PartialFunction[A, B])(implicit innerTpe: => Type[F, B]): Union[F, A]
Source:
dsl.scala

Concrete fields

val tpe: Union[F, A]
Source:
dsl.scala