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

   Definition Classes

   package

4. type @?>[A, B] = PLensT[Id, A, 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 FirstOption[A] = Option[A] with Tagged[First]

   Definition Classes

   package

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

   Definition Classes

   package

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

   Definition Classes

   package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

25. type ValidationTNEL[M[+_], +E, +X] = ValidationT[M, NonEmptyList[E], X]

    Definition Classes

    package

26. type Writer[W, A] = WriterT[Id, W, A]

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

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

    Definition Classes

    package

31. type ⊤ = Any

    Definition Classes

    package

32. type ⊥ = Nothing

    Definition Classes

    package