Adding size and get for EitherK

typelevel · May 14, 2017 · 40426c4 · 40426c4
1 parent d94f5e8
commit 40426c4
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/core/src/main/scala/cats/data/EitherK.scala b/core/src/main/scala/cats/data/EitherK.scala
@@ -189,6 +189,12 @@ private[data] trait EitherKFoldable[F[_], G[_]] extends Foldable[EitherK[F, G, ?
   def foldLeft[A, B](fa: EitherK[F, G, A], z: B)(f: (B, A) => B): B =
     fa.foldLeft(z)(f)
 
+  override def size[A](fa: EitherK[F, G, A]): Long =
+    fa.run.fold(F.size, G.size)
+
+  override def get[A](fa: EitherK[F, G, A])(idx: Long) =
+    fa.run.fold(F.get(_)(idx), G.get(_)(idx))
+
   override def foldMap[A, B](fa: EitherK[F, G, A])(f: A => B)(implicit M: Monoid[B]): B =
     fa foldMap f
 }