TypeSyntax

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

Value members

Concrete methods

def addFields(xs: (String, Field[F, A, _, _])*): Type[F, A]
Source:
dsl.scala
def implements[B](pf: PartialFunction[B, A])(implicit interface: => Interface[F, B]): Type[F, A]
Source:
dsl.scala
def subtypeOf[B](implicit ev: A <:< B, tag: ClassTag[A], interface: => Interface[F, B]): Type[F, A]
Source:
dsl.scala

Concrete fields

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