Arrow

Quick Start
Arrow Fx
API Docs
Patterns
Data Types
- Intro
- Basic Types
- Option
- Either
- Try
- Validated
- NonEmptyList
- ListK
- SequenceK
- SetK
- MapK
- SortedMapK
- Ior
- Id
- Reader
- Kleisli
- State
- StateT
- Store
- Moore
- Sum
- Day
- WriterT
- Trampoline
- Eval
- OptionT
- EitherT
- Function0
- Function1
- Const
Type Classes
- Intro
- Show
- Eq
- Hash
- Order
- Semigroup
- Semigroupal
- Monoidal
- Monoid
- Semiring
- Foldable
- Bifoldable
- Bitraverse
- 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
- IO
- MonadDefer
- Async
- Effect
- Promise
- Ref
- Fiber
- Resource
Optics
- Optics DSL
- Iso
- Lens
- Optional
- Prism
- Getter
- Setter
- Fold
- Traversal
- Cons
- Snoc
- At
- Index
- FilterIndex
- Each
Λrrow Query Language
- Λrrow Query Language
- select
- from
- where
- groupBy
- orderBy
- sum
- union
- Custom Data Types
Generic
- Product
Integrations
- Rx2
- Reactor
- kotlinx.coroutines
- Retrofit
- KindedJ
Free
- Free
- FreeApplicative
- Cofree
- Yoneda
- Coyoneda
Recursion Schemes
- Intro
- Recursive
- Corecursive
- Birecursive
- Mu
- Nu
- Fix
Legal
- Credits
- Licenses

Trampoline

advanced

TODO. Meanwhile you can find a short description in the intro to datatypes.