scalaz

Type Members

1. type :<:[F[_], G[_]] = Inject[F, G]

2. type :≺:[F[_], G[_]] = Inject[F, G]

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

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

5. type @>[A, B] = LensFamily[A, A, B, B]

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

7. type @@[T, Tag] = scalaz.TagKind.@@[T, Tag]

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

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

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

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

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

13. type DLeft[+A] = -\/[A]

14. type DRight[+B] = \/-[B]

15. type Disjunction[+A, +B] = \/[A, B]

16. type DisjunctionT[F[_], A, B] = EitherT[F, A, B]

17. type FirstMaybe[A] = scalaz.TagKind.@@[Maybe[A], First]

18. type FirstOf[A] = scalaz.TagKind.@@[A, FirstVal]

19. type FirstOption[A] = scalaz.TagKind.@@[Option[A], First]

20. type GlorifiedTuple[+A, +B] = \/[A, B]

21. type IMap[A, B] = ==>>[A, B]

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

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

24. type IndexedCont[R, O, A] = IndexedContsT[scalaz.Id.Id, scalaz.Id.Id, R, O, A]

25. type IndexedContT[M[_], R, O, A] = IndexedContsT[scalaz.Id.Id, M, R, O, A]

26. type IndexedConts[W[_], R, O, A] = IndexedContsT[W, scalaz.Id.Id, R, O, A]

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

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

29. type IndexedStore[I, A, B] = IndexedStoreT[scalaz.Id.Id, I, A, B]

30. type LastMaybe[A] = scalaz.TagKind.@@[Maybe[A], Last]

31. type LastOf[A] = scalaz.TagKind.@@[A, LastVal]

32. type LastOption[A] = scalaz.TagKind.@@[Option[A], Last]

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

34. type MaxMaybe[A] = scalaz.TagKind.@@[Maybe[A], Max]

35. type MaxOf[A] = scalaz.TagKind.@@[A, MaxVal]

36. type MaxOption[A] = scalaz.TagKind.@@[Option[A], Max]

37. type MinMaybe[A] = scalaz.TagKind.@@[Maybe[A], Min]

38. type MinOf[A] = scalaz.TagKind.@@[A, MinVal]

39. type MinOption[A] = scalaz.TagKind.@@[Option[A], Min]

40. type NonEmptyIList[A] = OneAnd[IList, A]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

56. type Traced[A, B] = TracedT[scalaz.Id.Id, A, B]

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

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

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

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

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

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

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

64. type ∨[A, B] = \/[A, B]

65. type ⊤ = Any

66. type ⊥ = Nothing