Arrow

Quick Start
Patterns
Data Types
- Intro
- Basic Types
- Option
- Either
- Try
- Validated
- NonEmptyList
- ListK
- SequenceK
- SetK
- MapK
- SortedMapK
- Ior
- Id
- Reader
- Kleisli
- State
- StateT
- WriterT
- Trampoline
- Coproduct
- Eval
- OptionT
- EitherT
- Function0
- Function1
- Const
Type Classes
- Intro
- Show
- Eq
- Order
- Semigroup
- Monoid
- Foldable
- Bifoldable
- Traverse
- Reducible
- TraverseFilter
- Functor
- FunctorFilter
- Applicative
- ApplicativeError
- Monad
- MonadError
- MonadFilter
- MonadReader
- MonadWriter
- MonadState
- MonadCombine
- Comonad
- Bimonad
- SemigroupK
- MonoidK
- Inject
- Alternative
Effects
- IO
- MonadDefer
- Async
- Effect
Optics
- Syntax DSL
- Iso
- Lens
- Optional
- Prism
- Getter
- Setter
- Fold
- Traversal
- At
- Index
- FilterIndex
- Each
Generic
- Product
Integrations
Free
- Free
- FreeApplicative
- Cofree
- Yoneda
- Coyoneda
Recursion Schemes
Legal
- Credits
- Licenses

Edit

Cofree

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