scalaz-core/scalaz/IndexedStoreT

IndexedStoreT

object IndexedStoreT extends StoreTInstances with StoreTFunctions
Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Inherited methods

def indexedStore[I, A, B](i: I)(f: A => B): IndexedStore[I, A, B]
def indexedStoreT[F[_], I, A, B](r: (F[A => B], I)): IndexedStoreT[F, I, A, B]
def store[A, B](a: A)(f: A => B): Store[A, B]
Inherited from
StoreTFunctions
def storeT[F[_], A, B](r: (F[A => B], A)): StoreT[F, A, B]
Inherited from
StoreTFunctions

Implicits

Inherited implicits

final implicit
def covariantI[F[_], A, B]: IsCovariant[[_] =>> IndexedStoreT[F, _$33, A, B]]
Inherited from
StoreTInstances
implicit
def indexedStoreTBifunctor[F[_], A](implicit F0: Functor[F]): Bifunctor[[_, _] =>> IndexedStoreT[F, _$18, A, _$19]]
implicit
def indexedStoreTContravariant[F[_], I, B](implicit F0: Functor[F]): Contravariant[[_] =>> IndexedStoreT[F, I, _$14, B]]
implicit
def indexedStoreTFunctorLeft[F[_], A, B]: Functor[[_] =>> IndexedStoreT[F, _$16, A, B]]
implicit
def indexedStoreTFunctorRight[F[_], I, A](implicit F0: Functor[F]): Functor[[_] =>> IndexedStoreT[F, I, A, _$21]]
implicit
def storeMonad[S](implicit S: Monoid[S]): Monad[[_] =>> Store[S, _$29]]
Inherited from
StoreTInstances
implicit
def storeTCobind[F[_], A](implicit F0: Cobind[F]): Cobind[[_] =>> StoreT[F, A, _$23]]
Inherited from
StoreTInstances2
implicit
def storeTCohoist[S]: Cohoist[[ƒ[_], α] =>> StoreT[ƒ, S, α]]
Inherited from
StoreTInstances
implicit
def storeTComonad[F[_], A](implicit F0: Comonad[F]): Comonad[[_] =>> StoreT[F, A, _$25]]
Inherited from
StoreTInstances1
implicit
def storeTComonadStore[F[_], A](implicit F0: Comonad[F]): ComonadStore[[_] =>> StoreT[F, A, _$27], A]
Inherited from
StoreTInstances0