implicit final
class
WidenOps2[F[_, _], A, B] extends AnyVal
Instance Constructors
-
new
WidenOps2(fab: F[A, B])
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
+(other: String): String
-
def
->[B](y: B): (WidenOps2[F, A, B], B)
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
-
-
def
ensuring(cond: Boolean, msg: ⇒ Any): WidenOps2[F, A, B]
-
-
def
formatted(fmtstr: String): String
-
def
getClass(): Class[_ <: AnyVal]
-
final
def
isInstanceOf[T0]: Boolean
-
def
toString(): String
-
def
widen[AA](implicit ev1: <:<[B, AA], ev2: =:!=[B, AA]): WidenOps2[F, A, AA]
-
def
widenAsLeftOf[AA, FF[_, _]](implicit ev: <:<[F[AA, B], FF[AA, B]]): FF[AA, B]
-
def
widenAsRightOf[FF[_, _], BB](implicit ev: <:<[F[A, BB], FF[A, BB]]): FF[A, BB]
-
def
widenLeft[AA](implicit ev1: <:<[A, AA], ev2: =:!=[A, AA]): F[AA, B]
-
def
widenRight[BB](implicit ev1: <:<[B, BB], ev2: =:!=[B, BB]): F[A, BB]
-
def
→[B](y: B): (WidenOps2[F, A, B], B)
Shadowed Implicit Value Members
-
def
widenAsLeftOf[AA, FF[_, _]](implicit ev: <:<[WidenOps2[F, AA, B], FF[AA, B]]): FF[AA, B]
-
def
widenAsRightOf[FF[_, _], BB](implicit ev: <:<[WidenOps2[F, A, BB], FF[A, BB]]): FF[A, BB]
-
def
widenLeft[AA](implicit ev1: <:<[A, AA], ev2: =:!=[A, AA]): WidenOps2[F, AA, B]
-
def
widenRight[BB](implicit ev1: <:<[B, BB], ev2: =:!=[B, BB]): WidenOps2[F, A, BB]
Inherited by implicit conversion any2stringadd from
WidenOps2[F, A, B] to any2stringadd[WidenOps2[F, A, B]]
Inherited by implicit conversion StringFormat from
WidenOps2[F, A, B] to StringFormat[WidenOps2[F, A, B]]
Inherited by implicit conversion Ensuring from
WidenOps2[F, A, B] to Ensuring[WidenOps2[F, A, B]]
Inherited by implicit conversion ArrowAssoc from
WidenOps2[F, A, B] to ArrowAssoc[WidenOps2[F, A, B]]