catsInstancesProSubject
colibri.Observable.catsInstancesProSubject
object catsInstancesProSubject extends Profunctor[ProSubject]
Attributes
- Graph
-
- Supertypes
- Self type
Members list
Value members
Concrete methods
Contramap on the first type parameter and map on the second type parameter
Contramap on the first type parameter and map on the second type parameter
Example:
scala> import cats.syntax.all._
scala> import cats.arrow.Profunctor
scala> val fab: Double => Double = x => x + 0.3
scala> val f: Int => Double = x => x.toDouble / 2
scala> val g: Double => Double = x => x * 3
scala> val h = Profunctor[Function1].dimap(fab)(f)(g)
scala> h(3)
res0: Double = 5.4
Attributes
Inherited methods
Narrows A into a subtype AA. Example:
Narrows A into a subtype AA. Example:
scala> import cats.syntax.profunctor._
scala> import cats.instances.function._
scala>
scala> sealed trait Foo
scala> case object Bar extends Foo
scala> val x1: Foo => Int = _ => 1
scala> val x2: Bar.type => Int = x1.leftNarrow
Attributes
- Inherited from:
- Profunctor
contramap on the first type parameter
contramap on the first type parameter
Attributes
- Inherited from:
- Profunctor
Widens B into a supertype BB. Example:
Widens B into a supertype BB. Example:
scala> import cats.syntax.profunctor._
scala> import cats.instances.function._
scala>
scala> sealed trait Foo
scala> case object Bar extends Foo
scala> val x1: Int => Bar.type = _ => Bar
scala> val x2: Int => Foo = x1.rightWiden
Attributes
- Inherited from:
- Profunctor
map on the second type parameter
map on the second type parameter
Attributes
- Inherited from:
- Profunctor
In this article