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