1. Introduction to Higher-Kinded-J
  3. Getting Started
  4. HKT Introduction
    ❱
    1. Concepts
    2. Usage Guide
    3. Basic HKT Examples
    4. Quick Reference
    5. Extending
  7. Type Classes
  8. Functional Api
    ❱
    1. Functor
    2. Applicative
    3. Alternative
    4. Monad
    5. MonadError
    6. Semigroup and Monoid
    7. Foldable and Traverse
    8. MonadZero
    9. Selective
    10. Profunctor
    11. Bifunctor
    12. For Comprehension
  11. Monads in Practice
  12. Supported Types
    ❱
    1. CompletableFuture
    2. Either
    3. Identity
    4. IO
    5. Lazy
    6. List
    7. Maybe
    8. Optional
    9. Reader
    10. State
    11. Stream
    12. Trampoline
    13. Free
    14. Try
    15. Validated
    16. Writer
    17. Const
  15. Advanced Topics
  16. Monad Transformers
    ❱
    1. EitherT
    2. OptionalT
    3. MaybeT
    4. ReaderT
    5. StateT
  19. Complete HKT Examples
  20. An Order Workflow
  21. Draughts Game
  23. Optics
  24. Optics Introduction
    ❱
    1. Lenses
    2. Prisms
    3. Advanced Prism Patterns
    4. Isomorphisms
    5. Traversals
    6. Folds
    7. Filtered Optics
    8. Indexed Optics
    9. Limiting Traversals
    10. Getters
    11. Setters
    12. At Type Class
    13. Ixed Type Class
    14. Profunctor Optics
    15. Combining Optics - Validation
    16. Fluent API for Optics
    17. Free Monad DSL
    18. Optic Interpreters
    19. Practical Examples
    20. Auditing Complex Data - The Power of Optics
    21. Working with Core Types and Optics
      ❱
      1. Core Type Prisms
      2. Lens Extensions
      3. Traversal Extensions
  27. More Functional Thinking
  28. Blog series
  30. Glossary
  31. Functional Programming Terminology
  33. Project Info
  34. Contributing
  35. Code of Conduct
  36. License