- Companion
- class
trait SignalInstances
trait SignalLowPriorityInstances
class Object
trait Matchable
class Any
Type members
Classlikes
Value members
Implicits
Inherited implicits
implicit def applicativeInstance[F[_]](implicit evidence$4: Concurrent[F]): Applicative[[_] =>> Signal[F, _$23]]
- Inherited from
- SignalInstances
implicit def functorInstance[F[_]](implicit evidence$5: Functor[F]): Functor[[_] =>> Signal[F, _$27]]
Note that this is not subsumed by Signal.applicativeInstance because
Signal.applicativeInstance requires a Concurrent[F]
since it non-deterministically zips elements together while our
Functor
instance has no other constraints.
Note that this is not subsumed by Signal.applicativeInstance because
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 Functor
instance
more general.
We put this in a SignalLowPriorityImplicits
trait to resolve ambiguous
implicits if the Signal.applicativeInstance is applicable, allowing
the Applicative
instance to be chosen.
- Inherited from
- SignalLowPriorityInstances