- Quick Start
- Arrow Fx
-
API Docs
- Ank
- Ank Gradle
- Annotations
- AQL
- Benchmarks Effects
- Core
- Core Extensions
- Docs
- Examples
- Free
- Free Extensions
- Effects
- Effects MTL
- Effects Reactor
- Effects Rx2
- Generic
- Integrations Retrofit Adapter
- Kindedj
- Meta
- Meta Test Models
- MTL
- MTL extensions
- Optics
- Optics MTL
- Recursion
- Recursion Extensions
- Reflect
- Streams
- Syntax
- Test
- UI
- UI Extensions
- Validation
- Patterns
- Data Types
-
Type Classes
- Intro
- Show
- Eq
- Hash
- Order
- Semigroup
- Monoid
- Foldable
- Bifoldable
- Traverse
- Reducible
- TraverseFilter
- Functor
- FunctorFilter
- Applicative
- ApplicativeError
- Selective
- Monad
- MonadError
- Bracket
- MonadFilter
- MonadReader
- MonadWriter
- MonadState
- MonadCombine
- Comonad
- Bimonad
- Bifunctor
- Profunctor
- SemigroupK
- MonoidK
- Alternative
- Divide
- Divisible
- Decidable
- Effects
- Optics
- Λrrow Query Language
- Generic
- Integrations
- Free
- Recursion Schemes
- Legal
Traverse
intermediate
TODO. Meanwhile you can find a short description in the intro to typeclasses.
Data types
| Module | Data types |
| arrow.core | Either, Id, Ior, ListK, MapK, NonEmptyList, Option, SequenceK, Try, Tuple2, Validated |
| arrow.free | Free |
| arrow.fx.reactor | FluxK |
| arrow.fx.rx2 | FlowableK, ObservableK |
| arrow.mtl | EitherT, OptionT |
| arrow.typeclasses | Const |