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