This has to be outside of EvaluatorAndThen because of covarience stuff it is not possible to write
def force(implicit x: Monoid[A]) = ...inside EvaluatorAndThen[A]
We should write def force[B >: A](implicit x: Monoid[B]) but Monoid should be made contravarient in A,
which is not possible (in part because it is not logical and because contravarient stuff does not work well
with implicits)
This member is added by an implicit conversion from (CollectionLikeUI.this)#ForceResult[V, A, R] to
any2stringadd[(CollectionLikeUI.this)#ForceResult[V, A, R]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def->[B](y: B): ((CollectionLikeUI.this)#ForceResult[V, A, R], B)
Implicit information
This member is added by an implicit conversion from (CollectionLikeUI.this)#ForceResult[V, A, R] to
ArrowAssoc[(CollectionLikeUI.this)#ForceResult[V, A, R]] performed by method ArrowAssoc in scala.Predef.
defensuring(cond: ((CollectionLikeUI.this)#ForceResult[V, A, R]) ⇒ Boolean, msg: ⇒ Any): (CollectionLikeUI.this)#ForceResult[V, A, R]
Implicit information
This member is added by an implicit conversion from (CollectionLikeUI.this)#ForceResult[V, A, R] to
Ensuring[(CollectionLikeUI.this)#ForceResult[V, A, R]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from (CollectionLikeUI.this)#ForceResult[V, A, R] to
Ensuring[(CollectionLikeUI.this)#ForceResult[V, A, R]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
defensuring(cond: Boolean, msg: ⇒ Any): (CollectionLikeUI.this)#ForceResult[V, A, R]
Implicit information
This member is added by an implicit conversion from (CollectionLikeUI.this)#ForceResult[V, A, R] to
Ensuring[(CollectionLikeUI.this)#ForceResult[V, A, R]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
defensuring(cond: Boolean): (CollectionLikeUI.this)#ForceResult[V, A, R]
Implicit information
This member is added by an implicit conversion from (CollectionLikeUI.this)#ForceResult[V, A, R] to
Ensuring[(CollectionLikeUI.this)#ForceResult[V, A, R]] performed by method Ensuring in scala.Predef.
This member is added by an implicit conversion from (CollectionLikeUI.this)#ForceResult[V, A, R] to
StringFormat[(CollectionLikeUI.this)#ForceResult[V, A, R]] performed by method StringFormat in scala.Predef.
defresult[L](implicit l: (CollectionLikeUI.this)#MatcherApply[A, A, V, L]): L
final defsynchronized[T0](arg0: ⇒ T0): T0
Definition Classes
AnyRef
deftoString(): String
Definition Classes
AnyRef → Any
deftree[L](implicit l: (CollectionLikeUI.this)#MatcherApply[A, T, V, L]): L
final defwait(): Unit
Definition Classes
AnyRef
Annotations
@throws(...)
final defwait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws(...)
final defwait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@throws(...)
def→[B](y: B): ((CollectionLikeUI.this)#ForceResult[V, A, R], B)
Implicit information
This member is added by an implicit conversion from (CollectionLikeUI.this)#ForceResult[V, A, R] to
ArrowAssoc[(CollectionLikeUI.this)#ForceResult[V, A, R]] performed by method ArrowAssoc in scala.Predef.
Inherited by implicit conversion any2stringadd from
(CollectionLikeUI.this)#ForceResult[V, A, R] to any2stringadd[(CollectionLikeUI.this)#ForceResult[V, A, R]]
Inherited by implicit conversion StringFormat from
(CollectionLikeUI.this)#ForceResult[V, A, R] to StringFormat[(CollectionLikeUI.this)#ForceResult[V, A, R]]
Inherited by implicit conversion Ensuring from
(CollectionLikeUI.this)#ForceResult[V, A, R] to Ensuring[(CollectionLikeUI.this)#ForceResult[V, A, R]]
Inherited by implicit conversion ArrowAssoc from
(CollectionLikeUI.this)#ForceResult[V, A, R] to ArrowAssoc[(CollectionLikeUI.this)#ForceResult[V, A, R]]
This has to be outside of EvaluatorAndThen because of covarience stuff it is not possible to write def force(implicit x: Monoid[A]) = ...inside EvaluatorAndThen[A] We should write def force[B >: A](implicit x: Monoid[B]) but Monoid should be made contravarient in A, which is not possible (in part because it is not logical and because contravarient stuff does not work well with implicits)