Signal
- Companion
- class
trait SignalInstances
trait SignalLowPriorityInstances
class Object
trait Matchable
class Any
Type members
Value members
Implicits
Inherited implicits
implicit def functorInstance[F <: ([_$23] =>> Any)](evidence$5: Functor[F]): Functor[[_$24] =>> Signal[F, _$24]]
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
- SignalLowPriorityInstances
implicit def applicativeInstance[F <: ([_$19] =>> Any)](evidence$4: Concurrent[F]): Applicative[[_$20] =>> Signal[F, _$20]]
- Inhertied from
- SignalInstances