| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | AA | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | cats | scalaz | → | → first version | ← | ← first version | |||||||||||||||||||||
2 | Adjunction | ||||||||||||||||||||||||||
3 | Align | ||||||||||||||||||||||||||
4 | Applicative | Applicative | done | 1.0 | done | 1.0 | |||||||||||||||||||||
5 | ApplicativeError | ||||||||||||||||||||||||||
6 | Alternative | ApplicativePlus | done | 1.0 | done | 1.0 | |||||||||||||||||||||
7 | Apply | Apply | done | 1.0 | done | 1.0 | |||||||||||||||||||||
8 | arrow/Arrow | Arrow | done | 1.0 | |||||||||||||||||||||||
9 | kernel/Band | ||||||||||||||||||||||||||
10 | Bifoldable | Bifoldable | done | 1.0 | done | 1.0 | |||||||||||||||||||||
11 | functor/Bifunctor | Bifunctor | done | 1.0 | |||||||||||||||||||||||
12 | Bimonad | ||||||||||||||||||||||||||
13 | Bitraverse | ||||||||||||||||||||||||||
14 | FlatMap | BindRec | done | 1.0 | done | 1.0 | |||||||||||||||||||||
15 | FlatMap | Bind | done | 1.0 | incompatible | ||||||||||||||||||||||
16 | Bitraverse | ||||||||||||||||||||||||||
17 | kernel/BoundedSemilattice | ||||||||||||||||||||||||||
18 | Catchable | ||||||||||||||||||||||||||
19 | arrow/Category | Category | done | 1.0 | done | 1.0 | |||||||||||||||||||||
20 | arrow/Choice | Choice | done | 2.0 | done | 2.0 | |||||||||||||||||||||
21 | |||||||||||||||||||||||||||
22 | CoflatMap | Cobind | done | 1.0 | done | 1.0 | |||||||||||||||||||||
23 | |||||||||||||||||||||||||||
24 | |||||||||||||||||||||||||||
25 | Comonad | Comonad | done | 1.0 | done | 1.0 | |||||||||||||||||||||
26 | ComonadStore | ||||||||||||||||||||||||||
27 | ComonadTrans | ||||||||||||||||||||||||||
28 | arrow/Compose | Compose | done | 1.0 | done | 1.0 | |||||||||||||||||||||
29 | functor/Contravariant | Contravariant | done | 1.0 | done | 1.0 | |||||||||||||||||||||
30 | ContravariantCartesian | ||||||||||||||||||||||||||
31 | ContravariantCoyoneda | ||||||||||||||||||||||||||
32 | |||||||||||||||||||||||||||
33 | |||||||||||||||||||||||||||
34 | Cozip | ||||||||||||||||||||||||||
35 | Distributive | ||||||||||||||||||||||||||
36 | Divide | ||||||||||||||||||||||||||
37 | Divisible | ||||||||||||||||||||||||||
38 | Enum | ||||||||||||||||||||||||||
39 | Eq | Equal | done | 1.0 | done | 1.0 | |||||||||||||||||||||
40 | |||||||||||||||||||||||||||
41 | |||||||||||||||||||||||||||
42 | Foldable | Foldable | done | 1.0 | done | 1.0 | |||||||||||||||||||||
43 | Foldable1 | ||||||||||||||||||||||||||
44 | |||||||||||||||||||||||||||
45 | |||||||||||||||||||||||||||
46 | |||||||||||||||||||||||||||
47 | arrow/FunctionK | NaturalTransformation | done | 1.0 | done | 1.0 | |||||||||||||||||||||
48 | FunctorFilter | ||||||||||||||||||||||||||
49 | Functor | Functor | done | 1.0 | done | 1.0 | |||||||||||||||||||||
50 | Generator | ||||||||||||||||||||||||||
51 | |||||||||||||||||||||||||||
52 | |||||||||||||||||||||||||||
53 | |||||||||||||||||||||||||||
54 | functor/Invariant | InvariantFunctor | done | 1.0 | done | 1.0 | |||||||||||||||||||||
55 | IsEmpty | ||||||||||||||||||||||||||
56 | Isomorphism | ||||||||||||||||||||||||||
57 | kernel/Eq | ||||||||||||||||||||||||||
58 | Leibniz | ||||||||||||||||||||||||||
59 | Lan | ||||||||||||||||||||||||||
60 | Lens | ||||||||||||||||||||||||||
61 | Liskov | ||||||||||||||||||||||||||
62 | Monad | Monad | done | 1.0 | done | 1.0 | |||||||||||||||||||||
63 | MonadCombine | ||||||||||||||||||||||||||
64 | MonadError | MonadError | done | 1.0 | done | 1.0 | |||||||||||||||||||||
65 | MonadFilter | ||||||||||||||||||||||||||
66 | MonadListen | ||||||||||||||||||||||||||
67 | MonadPlus | ||||||||||||||||||||||||||
68 | MonadReader | MonadReader | done | 1.0 | done | 1.0 | |||||||||||||||||||||
69 | MonadState | MonadState | done | 1.0 | done | 1.0 | |||||||||||||||||||||
70 | MonadTell | ||||||||||||||||||||||||||
71 | MonadTrans | ||||||||||||||||||||||||||
72 | kernel/Monoid | Monoid | done | 1.0 | done | 1.0 | |||||||||||||||||||||
73 | MonoidCoproduct | ||||||||||||||||||||||||||
74 | MonoidK | ||||||||||||||||||||||||||
75 | |||||||||||||||||||||||||||
76 | data/Nested | ||||||||||||||||||||||||||
77 | Nondeterminism | ||||||||||||||||||||||||||
78 | |||||||||||||||||||||||||||
79 | |||||||||||||||||||||||||||
80 | NotNothing | ||||||||||||||||||||||||||
81 | NotNull | ||||||||||||||||||||||||||
82 | |||||||||||||||||||||||||||
83 | Optional | ||||||||||||||||||||||||||
84 | kernel/Order | Order | done | 1.0 | done | 1.0 | |||||||||||||||||||||
85 | kernel/PartialOrder | ||||||||||||||||||||||||||
86 | PLens | ||||||||||||||||||||||||||
87 | Cartesian? | Plus | |||||||||||||||||||||||||
88 | PlusEmpty | ||||||||||||||||||||||||||
89 | ProChoice | ||||||||||||||||||||||||||
90 | functor/Profunctor | Profunctor | done | 2.0 | done | 2.0 | |||||||||||||||||||||
91 | Ran | ||||||||||||||||||||||||||
92 | Representable | ||||||||||||||||||||||||||
93 | kernel/Semigroup | Semigroup | done | 1.0 | |||||||||||||||||||||||
94 | SemigroupK | ||||||||||||||||||||||||||
95 | kernel/Semilattice | ||||||||||||||||||||||||||
96 | Show | Show | done | 1.0 | done | 1.0 | |||||||||||||||||||||
97 | arrow/Split | Split | |||||||||||||||||||||||||
98 | |||||||||||||||||||||||||||
99 | functor/Strong | Strong | |||||||||||||||||||||||||
100 | Traverse | Traverse | done | 1.0 | done | 1.0 |