scalaz

package scalaz

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. scalaz
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. type <~[+F[_], -G[_]] = NaturalTransformation[G, F]

  2. type =?>[E, A] = Kleisli[Option, E, A]

  3. type @>[A, B] = LensT[scalaz.Id.Id, A, B]

  4. type @?>[A, B] = PLensT[scalaz.Id.Id, A, B]

  5. type @@[T, Tag] = T with Tagged[Tag]

  6. type Alternative[F[_]] = ApplicativePlus[F]

  7. type FirstOption[A] = Option[A] with Tagged[First]

  8. type LastOption[A] = Option[A] with Tagged[Last]

  9. type Lens[A, B] = LensT[scalaz.Id.Id, A, B]

  10. type MaxOption[A] = Option[A] with Tagged[Max]

  11. type MinOption[A] = Option[A] with Tagged[Min]

  12. type PLens[A, B] = PLensT[scalaz.Id.Id, A, B]

  13. type PState[A, B] = StateT[scalaz.Id.Id, A, Option[B]]

  14. type PStateT[F[+_], A, B] = StateT[F, A, Option[B]]

  15. type RWS[-R, +W, S, +A] = ReaderWriterStateT[scalaz.Id.Identity, R, W, S, A]

  16. type RWST[F[+_], -R, +W, S, +A] = ReaderWriterStateT[F, R, W, S, A]

  17. type Reader[E, +A] = Kleisli[scalaz.Id.Id, E, A]

  18. type ReaderT[F[+_], E, +A] = Kleisli[F, E, A]

  19. type ReaderWriterState[-R, +W, S, +A] = ReaderWriterStateT[scalaz.Id.Identity, R, W, S, A]

  20. type State[S, +A] = StateT[scalaz.Id.Id, S, A]

  21. type Store[A, B] = StoreT[scalaz.Id.Id, A, B]

  22. type Tagged[T] = AnyRef { type Tag = T }

  23. type Unwriter[+W, +A] = UnwriterT[scalaz.Id.Id, W, A]

  24. type ValidationNEL[+E, +X] = Validation[NonEmptyList[E], X]

  25. type Writer[+W, +A] = WriterT[scalaz.Id.Id, W, A]

  26. type |-->[A, B] = StoreT[scalaz.Id.Id, B, A]

  27. type |>=|[G[_], F[_]] = MonadPartialOrder[G, F]

  28. type ~>[-F[_], +G[_]] = NaturalTransformation[F, G]

  29. type ~~>[-F[_, _], +G[_, _]] = BiNaturalTransformation[F, G]

  30. type = Any

  31. type = Nothing

Value Members

  1. val RWST: ReaderWriterStateT.type

  2. package example

  3. 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]

  4. package syntax

Inherited from AnyRef

Inherited from Any

Ungrouped