scalaz
package
scalaz
Type Members
-
type
<~[+F[_], -G[_]] = NaturalTransformation[G, F]
-
type
=?>[-E, +A] = Kleisli[Option, E, A]
-
type
@>[A, B] = LensFamily[A, A, B, B]
-
type
@?>[A, B] = PLensFamily[A, A, B, B]
-
type
@@[+T, Tag] = T with Tagged[Tag]
-
type
Alternative[F[_]] = ApplicativePlus[F]
-
type
Cont[R, +A] = IndexedContsT[scalaz.Id.Id, scalaz.Id.Id, R, R, A]
-
type
ContT[M[+_], R, +A] = IndexedContsT[scalaz.Id.Id, M, R, R, A]
-
type
Conts[W[+_], R, +A] = IndexedContsT[W, scalaz.Id.Id, R, R, A]
-
type
ContsT[W[+_], M[+_], R, +A] = IndexedContsT[W, M, R, R, A]
-
type
FirstOf[A] = A with Tagged[FirstVal]
-
type
FirstOption[A] = Option[A] with Tagged[First]
-
type
IRWS[-R, +W, -S1, +S2, +A] = IndexedReaderWriterStateT[scalaz.Id.Id, R, W, S1, S2, A]
-
type
IRWST[F[+_], -R, +W, -S1, +S2, +A] = IndexedReaderWriterStateT[F, R, W, S1, S2, A]
-
type
IndexedCont[+R, -O, +A] = IndexedContsT[scalaz.Id.Id, scalaz.Id.Id, R, O, A]
-
type
IndexedContT[M[+_], +R, -O, +A] = IndexedContsT[scalaz.Id.Id, M, R, O, A]
-
type
IndexedConts[W[+_], +R, -O, +A] = IndexedContsT[W, scalaz.Id.Id, R, O, A]
-
type
IndexedReaderWriterState[-R, +W, -S1, +S2, +A] = IndexedReaderWriterStateT[scalaz.Id.Id, R, W, S1, S2, A]
-
type
IndexedState[-S1, +S2, +A] = IndexedStateT[scalaz.Id.Id, S1, S2, A]
-
type
IndexedStore[+I, -A, +B] = IndexedStoreT[scalaz.Id.Id, I, A, B]
-
type
LastOf[A] = A with Tagged[LastVal]
-
type
LastOption[A] = Option[A] with Tagged[Last]
-
type
Lens[A, B] = LensFamily[A, A, B, B]
-
type
MaxOf[A] = A with Tagged[MaxVal]
-
type
MaxOption[A] = Option[A] with Tagged[Max]
-
type
MinOf[A] = A with Tagged[MinVal]
-
type
MinOption[A] = Option[A] with Tagged[Min]
-
type
PIndexedState[-S1, +S2, +A] = IndexedStateT[scalaz.Id.Id, S1, S2, Option[A]]
-
type
PIndexedStateT[F[+_], -S1, +S2, +A] = IndexedStateT[F, S1, S2, Option[A]]
-
type
PLens[A, B] = PLensFamily[A, A, B, B]
-
type
PState[S, +A] = IndexedStateT[scalaz.Id.Id, S, S, Option[A]]
-
type
PStateT[F[+_], S, +A] = IndexedStateT[F, S, S, Option[A]]
-
type
RWS[-R, +W, S, +A] = IndexedReaderWriterStateT[scalaz.Id.Id, R, W, S, S, A]
-
type
RWST[F[+_], -R, +W, S, +A] = IndexedReaderWriterStateT[F, R, W, S, S, A]
-
type
Reader[-E, +A] = Kleisli[scalaz.Id.Id, E, A]
-
type
ReaderT[F[+_], -E, +A] = Kleisli[F, E, A]
-
type
ReaderWriterState[-R, +W, S, +A] = IndexedReaderWriterStateT[scalaz.Id.Id, R, W, S, S, A]
-
type
ReaderWriterStateT[F[+_], -R, +W, S, +A] = IndexedReaderWriterStateT[F, R, W, S, S, A]
-
type
State[S, +A] = IndexedStateT[scalaz.Id.Id, S, S, A]
-
type
StateT[F[+_], S, +A] = IndexedStateT[F, S, S, A]
-
type
Store[A, +B] = IndexedStoreT[scalaz.Id.Id, A, A, B]
-
type
StoreT[F[+_], A, +B] = IndexedStoreT[F, A, A, B]
-
type
Tagged[T] = AnyRef { type Tag = T }
-
type
Unwriter[+W, +A] = UnwriterT[scalaz.Id.Id, W, A]
-
type
ValidationNel[+E, +X] = Validation[NonEmptyList[E], X]
-
type
Writer[+W, +A] = WriterT[scalaz.Id.Id, W, A]
-
type
|-->[+A, B] = IndexedStoreT[scalaz.Id.Id, B, B, A]
-
type
|>=|[G[_], F[_]] = MonadPartialOrder[G, F]
-
type
~>[-F[_], +G[_]] = NaturalTransformation[F, G]
-
type
~~>[-F[_, _], +G[_, _]] = BiNaturalTransformation[F, G]
-
type
⊤ = Any
-
type
⊥ = Nothing
Value Members
-
val
IRWS: IndexedReaderWriterState.type
-
val
IRWST: IndexedReaderWriterStateT.type
-
val
RWS: ReaderWriterState.type
-
val
RWST: ReaderWriterStateT.type
-
implicit
val
idInstance: Traverse1[scalaz.Id.Id] with Each[scalaz.Id.Id] with Monad[scalaz.Id.Id] with Comonad[scalaz.Id.Id] with Cojoin[scalaz.Id.Id] with Distributive[scalaz.Id.Id] with Zip[scalaz.Id.Id] with Unzip[scalaz.Id.Id] with Cozip[scalaz.Id.Id]
-
-
Inherited from AnyRef
Inherited from Any