scalaz-core/scalaz/IndexedStoreT

IndexedStoreT

final case
class IndexedStoreT[F[_], I, A, B](run: (F[A => B], I))
See also
Companion
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def ***[J, C, D](that: IndexedStoreT[F, J, C, D])(implicit M: Bind[F]): IndexedStoreT[F, (I, J), (A, C), (B, D)]

alias for product

alias for product

def bimap[X, Y](f: I => X)(g: B => Y)(implicit F: Functor[F]): IndexedStoreT[F, X, A, Y]
def bmap[X, Z >: I <: A](b: Bijection[Z, X])(implicit F: Functor[F]): StoreT[F, X, B]
def cobind[K, C](f: IndexedStoreT[F, K, A, B] => C)(implicit F: Cobind[F]): IndexedStoreT[F, I, K, C]
def contramap[X](g: X => A)(implicit F: Functor[F]): IndexedStoreT[F, I, X, B]
def copoint(implicit F: Comonad[F], ev: I <:< A): B
def duplicate[J](implicit F: Comonad[F]): IndexedStoreT[F, I, J, IndexedStoreT[F, J, A, B]]
def experiment[G[_]](f: I => G[A])(implicit F: Comonad[F], G: Functor[G]): G[B]
def imap[X](f: I => X): IndexedStoreT[F, X, A, B]
def leftMap[X](f: I => X): IndexedStoreT[F, X, A, B]
def map[C](f: B => C)(implicit ftr: Functor[F]): IndexedStoreT[F, I, A, C]
def peek(a: A)(implicit F: Comonad[F]): B
def peeks(f: I => A)(implicit F: Comonad[F]): B
def pos: I
def product[J, C, D](that: IndexedStoreT[F, J, C, D])(implicit M: Bind[F]): IndexedStoreT[F, (I, J), (A, C), (B, D)]

Two disjoint lenses can be paired

Two disjoint lenses can be paired

def put(a: A)(implicit F: Functor[F]): F[B]
def putf[G[_]](a: G[A])(implicit F: Functor[F], G: Functor[G]): G[F[B]]
def puts(f: I => A)(implicit F: Functor[F]): F[B]
def putsf[G[_]](f: I => G[A])(implicit F: Functor[F], G: Functor[G]): G[F[B]]
def seek[J](j: J): IndexedStoreT[F, J, A, B]
def seeks[J](f: I => J): IndexedStoreT[F, J, A, B]
def set: F[A => B]
def xmap[X1, X2](f: I => X1)(g: X2 => A)(implicit F: Functor[F]): IndexedStoreT[F, X1, X2, B]

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product