TypeImpl

final case class TypeImpl[F[_], A, B](t: Type[F, B], specify: A => Option[B]) extends InterfaceImpl[F, A]
trait Product
trait Equals
trait InterfaceImpl[F, A]
class Object
trait Matchable
class Any

Value members

Inherited methods

Inherited from:
Product