Signal

fs2.concurrent.Signal
See theSignal companion trait
object Signal

Attributes

Companion
trait
Source
Signal.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Signal.type

Members list

Type members

Classlikes

final implicit class BooleanSignalOps[F[_]](val self: Signal[F, Boolean]) extends AnyVal

Attributes

Source
Signal.scala
Supertypes
class AnyVal
trait Matchable
class Any
final implicit class SignalOps[F[_], A](val self: Signal[F, A]) extends AnyVal

Attributes

Source
Signal.scala
Supertypes
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def constant[F[_], A](a: A)(implicit F: Concurrent[F]): Signal[F, A]

Attributes

Source
Signal.scala
def mapped[F[_] : Functor, A, B](fa: Signal[F, A])(f: A => B): Signal[F, B]

Attributes

Source
Signal.scala

Implicits

Implicits

final implicit def BooleanSignalOps[F[_]](self: Signal[F, Boolean]): BooleanSignalOps[F]

Attributes

Source
Signal.scala
final implicit def SignalOps[F[_], A](self: Signal[F, A]): SignalOps[F, A]

Attributes

Source
Signal.scala

Inherited implicits

implicit def applicativeInstance[F[_] : Concurrent]: Applicative[[_] =>> Signal[F, _$50]]

Attributes

Inherited from:
SignalInstances (hidden)
Source
Signal.scala
implicit def functorInstance[F[_] : Functor]: Functor[[_] =>> Signal[F, _$53]]

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.

Attributes

Inherited from:
SignalLowPriorityInstances (hidden)
Source
Signal.scala