Signal
- Companion
- class
trait SignalLowPriorityImplicits
class Object
trait Matchable
class Any
Type members
Implicits
Implicits
implicit def applicativeInstance[F <: ([_$3] =>> Any)](F: Concurrent[F]): Applicative[[_$4] =>> Signal[F, _$4]]
Inherited implicits
implicit def functorInstance[F <: ([_$11] =>> Any)](evidence$6: Functor[F]): Functor[[_$12] =>> Signal[F, _$12]]
Note that this is not subsumed by Signal.applicativeInstance because
Signal.applicativeInstance requires a
since it non-deterministically zips elements together while our
Signal.applicativeInstance requires a
Concurrent[F]
since it non-deterministically zips elements together while our
Functor
instance has no other constraints.Separating the two instances allows us to make the
more general.
Functor
instancemore general.
We put this in a
implicits if the Signal.applicativeInstance is applicable, allowing
the
SignalLowPriorityImplicits
trait to resolve ambiguousimplicits if the Signal.applicativeInstance is applicable, allowing
the
Applicative
instance to be chosen.- Inhertied from
- SignalLowPriorityImplicits