- Quick Start
- Arrow Fx
-
API Docs
- Type Classes
- Core Data Types
- Core Extensions
- Core Extra Data Types
- Core Extra Extensions
- Effects
- Effects Extensions
- Effects Coroutines
- Effects Coroutines Extensions
- Effects Rx2
- Effects Rx2 Extensions
- Effects Reactor
- Effects Reactor Extensions
- Streams
- MTL
- Optics
- Recursion
- Recursion Extensions
- Generic
- Free
- Validation
- Patterns
- Data Types
-
Type Classes
- Intro
- Show
- Eq
- Hash
- Order
- Semigroup
- Semigroupal
- Monoid
- Semiring
- Foldable
- Bifoldable
- Traverse
- Reducible
- TraverseFilter
- Functor
- FunctorFilter
- Applicative
- ApplicativeError
- Selective
- Monad
- MonadError
- Bracket
- MonadFilter
- MonadReader
- MonadWriter
- MonadState
- MonadCombine
- Comonad
- Bimonad
- Bifunctor
- Profunctor
- SemigroupK
- MonoidK
- Inject
- Alternative
- Divide
- Divisible
- Decidable
- Effects
- Optics
- Λrrow Query Language
- Generic
- Integrations
- Free
- Recursion Schemes
- Legal
Const
intermediate
Supported type classes
| Module | Type classes |
| arrow.mtl.typeclasses | TraverseFilter |
| arrow.typeclasses | Applicative, Contravariant, Divide, Divisible, Eq, Foldable, Functor, Hash, Invariant, Monoid, Semigroup, Show, Traverse |
TODO. Meanwhile you can find a short description in the intro to datatypes.