scalaz

Type Members

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

   Definition Classes

   package

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

   Definition Classes

   package

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

   Definition Classes

   package

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

   Definition Classes

   package

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

   Definition Classes

   package

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

   Definition Classes

   package

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

   Definition Classes

   package

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

   Definition Classes

   package

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

   Definition Classes

   package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

51. type ⊤ = Any

    Definition Classes

    package

52. type ⊥ = Nothing

    Definition Classes

    package