Zipper

smithy4s.capability.Zipper
See theZipper companion object
trait Zipper[F[_]] extends Covariant[F]

A zipper is similar in notion to Applicative, in that it allows for combining several values of F in non-sequential ways.

The encoding here is specialised towards the traversal of sequences, which is something that's done heavily in this codebase.

Attributes

Companion
object
Graph
Supertypes
trait Covariant[F]
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def pure[A](a: A): F[A]
def zipMapAll[A](seq: IndexedSeq[F[Any]])(f: IndexedSeq[Any] => A): F[A]

Concrete methods

override def map[A, B](fa: F[A])(f: A => B): F[B]

Attributes

Definition Classes
def zipMap[A, B, C](fa: F[A], fb: F[B])(f: (A, B) => C): F[C]