scalaz
package
scalaz
Type Members
-
type
<~[+F[_], -G[_]] = NaturalTransformation[G, F]
-
type
=?>[E, A] = Kleisli[Option, E, A]
-
type
@>[A, B] = LensFamilyT[scalaz.Id.Id, A, A, B, B]
-
type
@?>[A, B] = PLensFamilyT[scalaz.Id.Id, A, A, B, B]
-
type
@@[T, Tag] = T with Tagged[Tag]
-
type
Alternative[F[_]] = ApplicativePlus[F]
-
type
FirstOption[A] = Option[A] with Tagged[First]
-
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
LastOption[A] = Option[A] with Tagged[Last]
-
type
Lens[A, B] = LensFamilyT[scalaz.Id.Id, A, A, B, B]
-
type
LensFamily[-A1, +A2, +B1, -B2] = LensFamilyT[scalaz.Id.Id, A1, A2, B1, B2]
-
type
LensT[F[+_], A, B] = LensFamilyT[F, A, A, B, B]
-
type
MaxOption[A] = Option[A] with Tagged[Max]
-
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] = PLensFamilyT[scalaz.Id.Id, A, A, B, B]
-
type
PLensFamily[-A1, +A2, +B1, -B2] = PLensFamilyT[scalaz.Id.Id, A1, A2, B1, B2]
-
type
PLensT[F[+_], A, B] = PLensFamilyT[F, 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] = ReaderWriterStateT[scalaz.Id.Identity, R, W, S, A]
-
type
RWST[F[+_], -R, +W, S, +A] = ReaderWriterStateT[F, R, W, 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] = ReaderWriterStateT[scalaz.Id.Identity, R, W, 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
RWST: ReaderWriterStateT.type
-
implicit
val
idInstance: Traverse[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