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] = LensFamily[A, A, B, B]

  4. type @?>[A, B] = PLensFamily[A, A, B, B]

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

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

  7. type Cont[R, +A] = IndexedContsT[scalaz.Id.Id, scalaz.Id.Id, R, R, A]

  8. type ContT[M[+_], R, +A] = IndexedContsT[scalaz.Id.Id, M, R, R, A]

  9. type Conts[W[+_], R, +A] = IndexedContsT[W, scalaz.Id.Id, R, R, A]

  10. type ContsT[W[+_], M[+_], R, +A] = IndexedContsT[W, M, R, R, A]

  11. type FirstOf[A] = A with Tagged[FirstVal]

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

  13. type IRWS[-R, +W, -S1, +S2, +A] = IndexedReaderWriterStateT[scalaz.Id.Id, R, W, S1, S2, A]

  14. type IRWST[F[+_], -R, +W, -S1, +S2, +A] = IndexedReaderWriterStateT[F, R, W, S1, S2, A]

  15. type IndexedCont[+R, -O, +A] = IndexedContsT[scalaz.Id.Id, scalaz.Id.Id, R, O, A]

  16. type IndexedContT[M[+_], +R, -O, +A] = IndexedContsT[scalaz.Id.Id, M, R, O, A]

  17. type IndexedConts[W[+_], +R, -O, +A] = IndexedContsT[W, scalaz.Id.Id, R, O, A]

  18. type IndexedReaderWriterState[-R, +W, -S1, +S2, +A] = IndexedReaderWriterStateT[scalaz.Id.Id, R, W, S1, S2, A]

  19. type IndexedState[-S1, +S2, +A] = IndexedStateT[scalaz.Id.Id, S1, S2, A]

  20. type IndexedStore[+I, -A, +B] = IndexedStoreT[scalaz.Id.Id, I, A, B]

  21. type LastOf[A] = A with Tagged[LastVal]

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

  23. type Lens[A, B] = LensFamily[A, A, B, B]

  24. type MaxOf[A] = A with Tagged[MaxVal]

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

  26. type MinOf[A] = A with Tagged[MinVal]

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

  28. type PIndexedState[-S1, +S2, +A] = IndexedStateT[scalaz.Id.Id, S1, S2, Option[A]]

  29. type PIndexedStateT[F[+_], -S1, +S2, +A] = IndexedStateT[F, S1, S2, Option[A]]

  30. type PLens[A, B] = PLensFamily[A, A, B, B]

  31. type PState[S, +A] = IndexedStateT[scalaz.Id.Id, S, S, Option[A]]

  32. type PStateT[F[+_], S, +A] = IndexedStateT[F, S, S, Option[A]]

  33. type RWS[-R, +W, S, +A] = IndexedReaderWriterStateT[scalaz.Id.Id, R, W, S, S, A]

  34. type RWST[F[+_], -R, +W, S, +A] = IndexedReaderWriterStateT[F, R, W, S, S, A]

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

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

  37. type ReaderWriterState[-R, +W, S, +A] = IndexedReaderWriterStateT[scalaz.Id.Id, R, W, S, S, A]

  38. type ReaderWriterStateT[F[+_], -R, +W, S, +A] = IndexedReaderWriterStateT[F, R, W, S, S, A]

  39. type State[S, +A] = IndexedStateT[scalaz.Id.Id, S, S, A]

  40. type StateT[F[+_], S, +A] = IndexedStateT[F, S, S, A]

  41. type Store[A, +B] = IndexedStoreT[scalaz.Id.Id, A, A, B]

  42. type StoreT[F[+_], A, +B] = IndexedStoreT[F, A, A, B]

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

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

  45. type ValidationNel[+E, +X] = Validation[NonEmptyList[E], X]

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

  47. type |-->[+A, B] = IndexedStoreT[scalaz.Id.Id, B, B, A]

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

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

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

  51. type = Any

  52. type = Nothing

Value Members

  1. val IRWS: IndexedReaderWriterState.type

  2. val IRWST: IndexedReaderWriterStateT.type

  3. val RWS: ReaderWriterState.type

  4. val RWST: ReaderWriterStateT.type

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

  6. package stream

  7. package syntax

Inherited from AnyRef

Inherited from Any

Ungrouped