cats.arrow
Members list
Type members
Classlikes
Must obey the laws defined in cats.laws.ArrowLaws.
Must obey the laws defined in cats.laws.ArrowLaws.
Attributes
- Companion
- object
- Source
- Arrow.scala
- Supertypes
-
trait Strong[F]trait Profunctor[F]trait Category[F]trait Compose[F]trait Serializableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait ArrowChoice[F]trait CommutativeArrow[F]
- Self type
-
Arrow[F]
Attributes
- Companion
- trait
- Source
- Arrow.scala
- Supertypes
- Self type
-
Arrow.type
Must obey the laws defined in cats.laws.ArrowChoiceLaws.
Must obey the laws defined in cats.laws.ArrowChoiceLaws.
Attributes
- Companion
- object
- Source
- ArrowChoice.scala
- Supertypes
-
trait Choice[F]trait Arrow[F]trait Strong[F]trait Profunctor[F]trait Category[F]trait Compose[F]trait Serializableclass Objecttrait Matchableclass AnyShow all
- Self type
-
ArrowChoice[F]
Attributes
- Companion
- trait
- Source
- ArrowChoice.scala
- Supertypes
- Self type
-
ArrowChoice.type
Must obey the laws defined in cats.laws.CategoryLaws.
Must obey the laws defined in cats.laws.CategoryLaws.
Attributes
- Companion
- object
- Source
- Category.scala
- Supertypes
- Known subtypes
- Self type
-
Category[F]
Attributes
- Companion
- trait
- Source
- Category.scala
- Supertypes
- Self type
-
Category.type
Attributes
- Companion
- object
- Source
- Choice.scala
- Supertypes
-
trait Category[F]trait Compose[F]trait Serializableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait ArrowChoice[F]
Attributes
- Companion
- trait
- Source
- Choice.scala
- Supertypes
- Self type
-
Choice.type
In a Commutative Arrow F[_, _], the split operation (or ***
) is commutative, which means that there is non-interference between the effect of the paired arrows.
In a Commutative Arrow F[_, _], the split operation (or ***
) is commutative, which means that there is non-interference between the effect of the paired arrows.
Must obey the laws in CommutativeArrowLaws
Attributes
- Companion
- object
- Source
- CommutativeArrow.scala
- Supertypes
-
trait Arrow[F]trait Strong[F]trait Profunctor[F]trait Category[F]trait Compose[F]trait Serializableclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- trait
- Source
- CommutativeArrow.scala
- Supertypes
- Self type
-
CommutativeArrow.type
Must obey the laws defined in cats.laws.ComposeLaws.
Must obey the laws defined in cats.laws.ComposeLaws.
Here's how you can use >>>
and <<<
Example:
scala> import cats.syntax.all._
scala> val f : Int => Int = (_ + 1)
scala> val g : Int => Int = (_ * 100)
scala> (f >>> g)(3)
res0: Int = 400
scala> (f <<< g)(3)
res1: Int = 301
Attributes
- Companion
- object
- Source
- Compose.scala
- Supertypes
- Known subtypes
- Self type
-
Compose[F]
Attributes
- Companion
- trait
- Source
- Compose.scala
- Supertypes
- Self type
-
Compose.type
FunctionK[F[_], G[_]]
is a functor transformation from F
to G
in the same manner that function A => B
is a morphism from values of type A
to B
.
FunctionK[F[_], G[_]]
is a functor transformation from F
to G
in the same manner that function A => B
is a morphism from values of type A
to B
. An easy way to create a FunctionK instance is to use the Polymorphic lambdas provided by typelevel/kind-projector v0.9+. E.g.
val listToOption = λ[FunctionK[List, Option]](_.headOption)
Attributes
- Companion
- object
- Source
- FunctionK.scala
- Supertypes
- Self type
-
Attributes
- Companion
- trait
- Source
- FunctionK.scala
- Supertypes
- Self type
-
FunctionK.type
A Profunctor is a Contravariant functor on its first type parameter and a Functor on its second type parameter.
A Profunctor is a Contravariant functor on its first type parameter and a Functor on its second type parameter.
Must obey the laws defined in cats.laws.ProfunctorLaws.
Attributes
- Companion
- object
- Source
- Profunctor.scala
- Supertypes
- Known subtypes
- Self type
-
Profunctor[F]
Attributes
- Companion
- trait
- Source
- Profunctor.scala
- Supertypes
- Self type
-
Profunctor.type
Must obey the laws defined in cats.laws.StrongLaws.
Must obey the laws defined in cats.laws.StrongLaws.
Attributes
- Companion
- object
- Source
- Strong.scala
- Supertypes
- Known subtypes
Attributes
- Companion
- trait
- Source
- Strong.scala
- Supertypes
- Self type
-
Strong.type