final class FoldableOps0[F[_], A] extends AnyVal
- Alphabetic
- By Inheritance
- FoldableOps0
- AnyVal
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new FoldableOps0(fa: F[A])
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
foldMapK[G[_], B](f: (A) ⇒ G[B])(implicit F: Foldable[F], G: MonoidK[G]): G[B]
Fold implemented by mapping
A
values intoB
in a contextG
and then combining them using theMonoidK[G]
instance.Fold implemented by mapping
A
values intoB
in a contextG
and then combining them using theMonoidK[G]
instance.scala> import cats._, cats.implicits._ scala> val f: Int => Endo[String] = i => (s => s + i) scala> val x: Endo[String] = List(1, 2, 3).foldMapK(f) scala> val a = x("foo") a: String = "foo321"
-
def
getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
mkString_(delim: String)(implicit A: Show[A], F: Foldable[F]): String
Make a string using
Show
and delimiter.Make a string using
Show
and delimiter.Named as
mkString_
to avoid conflict.Example:
scala> import cats.implicits._ scala> val l: List[Int] = List(1, 2, 3) scala> l.mkString_(",") res0: String = 1,2,3 scala> val el: List[Int] = List() scala> el.mkString_(",") res1: String =
-
def
partitionBifold[H[_, _], B, C](f: (A) ⇒ H[B, C])(implicit A: Alternative[F], F: Foldable[F], H: Bifoldable[H]): (F[B], F[C])
Separate this Foldable into a Tuple by an effectful separating function
A => H[B, C]
for someBifoldable[H]
Equivalent toFunctor#map
overAlternative#separate
Separate this Foldable into a Tuple by an effectful separating function
A => H[B, C]
for someBifoldable[H]
Equivalent toFunctor#map
overAlternative#separate
scala> import cats.implicits._, cats.data.Const scala> val list = List(1,2,3,4) scala> list.partitionBifold(a => (a, "value " + a.toString)) res0: (List[Int], List[String]) = (List(1, 2, 3, 4),List(value 1, value 2, value 3, value 4)) `Const`'s second parameter is never instantiated, so we can use an impossible type: scala> list.partitionBifold(a => Const[Int, Nothing with Any](a)) res1: (List[Int], List[Nothing with Any]) = (List(1, 2, 3, 4),List())
-
def
partitionBifoldM[G[_], H[_, _], B, C](f: (A) ⇒ G[H[B, C]])(implicit A: Alternative[F], F: Foldable[F], M: Monad[G], H: Bifoldable[H]): G[(F[B], F[C])]
Separate this Foldable into a Tuple by an effectful separating function
A => G[H[B, C]]
for someBifoldable[H]
Equivalent toTraverse#traverse
overAlternative#separate
Separate this Foldable into a Tuple by an effectful separating function
A => G[H[B, C]]
for someBifoldable[H]
Equivalent toTraverse#traverse
overAlternative#separate
scala> import cats.implicits._, cats.data.Const scala> val list = List(1,2,3,4) `Const`'s second parameter is never instantiated, so we can use an impossible type: scala> list.partitionBifoldM(a => Option(Const[Int, Nothing with Any](a))) res0: Option[(List[Int], List[Nothing with Any])] = Some((List(1, 2, 3, 4),List()))
-
def
partitionEitherM[G[_], B, C](f: (A) ⇒ G[Either[B, C]])(implicit A: Alternative[F], F: Foldable[F], M: Monad[G]): G[(F[B], F[C])]
Separate this Foldable into a Tuple by an effectful separating function
A => G[Either[B, C]]
Equivalent toTraverse#traverse
overAlternative#separate
Separate this Foldable into a Tuple by an effectful separating function
A => G[Either[B, C]]
Equivalent toTraverse#traverse
overAlternative#separate
scala> import cats.implicits._, cats.Eval scala> val list = List(1,2,3,4) scala> val partitioned1 = list.partitionEitherM(a => if (a % 2 == 0) Eval.now(Either.left[String, Int](a.toString)) else Eval.now(Either.right[String, Int](a))) Since `Eval.now` yields a lazy computation, we need to force it to inspect the result: scala> partitioned1.value res0: (List[String], List[Int]) = (List(2, 4),List(1, 3)) scala> val partitioned2 = list.partitionEitherM(a => Eval.later(Either.right(a * 4))) scala> partitioned2.value res1: (List[Nothing], List[Int]) = (List(),List(4, 8, 12, 16))
- def sliding10(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A, A, A, A)]
- def sliding11(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A, A, A, A, A)]
- def sliding12(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A, A, A, A, A, A)]
- def sliding13(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A)]
- def sliding14(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- def sliding15(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- def sliding16(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- def sliding17(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- def sliding18(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- def sliding19(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- def sliding2(implicit F: Foldable[F]): List[(A, A)]
- def sliding20(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- def sliding21(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- def sliding22(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- def sliding3(implicit F: Foldable[F]): List[(A, A, A)]
- def sliding4(implicit F: Foldable[F]): List[(A, A, A, A)]
- def sliding5(implicit F: Foldable[F]): List[(A, A, A, A, A)]
- def sliding6(implicit F: Foldable[F]): List[(A, A, A, A, A, A)]
- def sliding7(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A)]
- def sliding8(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A, A)]
- def sliding9(implicit F: Foldable[F]): List[(A, A, A, A, A, A, A, A, A)]
-
def
toString(): String
- Definition Classes
- Any