1. Introduction to Higher-Kinded-J
  2. Getting Started
  3. HKT Introduction
    1. Concepts
    2. Usage Guide
    3. Basic HKT Examples
    4. Quick Reference
    5. Extending
  4. Type Classes
  5. Functional Api
    1. Functor
    2. Applicative
    3. Monad
    4. MonadError
    5. Semigroup and Monoid
    6. Foldable and Traverse
    7. MonadZero
    8. Profunctor
    9. For Comprehension
  6. Monads in Practice
  7. Supported Types
    1. CompletableFuture
    2. Either
    3. Identity
    4. IO
    5. Lazy
    6. List
    7. Maybe
    8. Optional
    9. Reader
    10. State
    11. Try
    12. Validated
    13. Writer
  8. Advanced Topics
  9. Monad Transformers
    1. EitherT
    2. OptionalT
    3. MaybeT
    4. ReaderT
    5. StateT
  10. Complete HKT Examples
  11. An Order Workflow
  12. Draughts Game
  13. Optics
  14. Optics Introduction
    1. Lenses
    2. Prisms
    3. Isomorphisms
    4. Traversals
    5. Profunctor Optics
    6. Combining Optics - Validation
    7. Practical Examples
    8. Auditing Complex Data - The Power of Optics
  15. More Functional Thinking
  16. Blog series
  17. Project Info
  18. Contributing
  19. Code of Conduct
  20. License