1. Introduction to Higher-Kinded-J
  2. Quickstart
  3. Cheat Sheet
  4. Effect Path API
    ❱
    1. Effect Path Overview
    2. Capability Interfaces
    3. Path Types
      ❱
      1. MaybePath
      2. EitherPath
      3. TryPath
      4. IOPath
      5. ValidationPath
      6. IdPath
      7. OptionalPath
      8. GenericPath
      9. TrampolinePath
      10. FreePath
      11. FreeApPath
      12. VTaskPath
      13. VStreamPath
    5. Composition Patterns
    6. ForPath Comprehension
    7. Type Conversions
    8. Focus-Effect Integration
    9. Capstone: Effects Meet Optics
    10. Patterns and Recipes
    11. Migration Cookbook
    12. Common Compiler Errors
    13. Advanced Effects
    14. Effect Contexts
      ❱
      1. ErrorContext
      2. Optional Contexts
      3. ConfigContext
      4. MutableContext
      5. RequestContext
      6. SecurityContext
      7. Context vs ConfigContext
    16. Advanced Topics
    17. Production Readiness
  6. Advanced Topics
    ❱
    1. Stack Archetypes
    2. Monad Transformers
    3. EitherT
    4. OptionalT
    5. MaybeT
    6. ReaderT
    7. StateT
  8. Hands-On Learning
    ❱
    1. Interactive Tutorials
    2. Core Types: Foundations
    3. Core Types: Error Handling
    4. Core Types: Advanced
    5. Effect API
    6. Concurrency: VTask
    7. Concurrency: Scope & Resource
    8. Optics: Lens & Prism
    9. Optics: Traversals & Practice
    10. Optics: Fluent & Free DSL
    11. Optics: Focus DSL
    12. Expression: ForState
    13. Learning Paths
    14. Solutions Guide
    15. Troubleshooting
  10. Examples Gallery
    ❱
    1. Order Processing Workflow
      ❱
      1. Order Walkthrough
      2. Effect Composition
      3. Production Patterns
      4. Concurrency and Scale
    3. Draughts Game
      ❱
      1. Building the Game
  12. Optics I: Fundamentals
    ❱
    1. What Are Optics?
    2. Lenses
    3. Prisms
    4. Affines
    5. Isomorphisms
    6. Composition Rules
    7. Coupled Fields
  14. Optics II: Collections
    ❱
    1. Traversals
    2. Folds
    3. Getters
    4. Setters
    5. Common Data Structures
    6. Limiting Traversals
    7. List Decomposition
  16. Optics III: Precision and Filtering
    ❱
    1. Filtered Optics
    2. Indexed Optics
    3. Each Typeclass
    4. String Traversals
    5. Indexed Access
    6. Advanced Prism Patterns
    7. Profunctor Optics
  18. Optics IV: Java-Friendly APIs
    ❱
    1. Focus DSL
    2. Optics for External Types
      ❱
      1. Taming JSON with Jackson
      2. Database Records with JOOQ
      3. Focus DSL with External Libraries
    4. Kind Field Support
    5. Fluent API
    6. Free Monad DSL
    7. Interpreters
  20. Optics V: Integration and Recipes
    ❱
    1. Composing Optics
    2. Core Type Integration
    3. Optics Extensions
    4. Cookbook
    5. Auditing Complex Data
  22. Integration Guides
    ❱
    1. Spring Boot Integration
    2. Migrating to Functional Errors
  24. Foundations: Higher-Kinded Types
    ❱
    1. HKT Introduction
    2. Concepts
    3. Type Arity
    4. Usage Guide
    5. Basic HKT Examples
    6. Quick Reference
    7. Extending
  26. Foundations: Type Classes
    ❱
    1. Functional Api
    2. Functor
    3. Applicative
    4. Alternative
    5. Monad
    6. MonadError
    7. Semigroup and Monoid
    8. Foldable and Traverse
    9. MonadZero
    10. Selective
    11. Profunctor
    12. Bifunctor
    13. Natural Transformation
    14. For Comprehension
    15. ForState Comprehension
    16. Choosing Abstraction Levels
  28. Foundations: Core Types
    ❱
    1. Supported Types
    2. CompletableFuture
    3. Either
    4. Identity
    5. IO
    6. Lazy
    7. List
    8. Maybe
    9. Optional
    10. Reader
    11. Context
    12. State
    13. Stream
    14. Trampoline
    15. Free
    16. Free Applicative
    17. Coyoneda
    18. Try
    19. Validated
    20. VTask
      ❱
      1. Structured Concurrency
      2. Resource Management
    22. VStream
      ❱
      1. HKT and Type Classes
    24. Writer
    25. Const
  30. More Functional Thinking
  31. Glossary
  32. Release History
  33. Benchmarks & Performance
  35. Project Info
  36. Contributing
  37. Code of Conduct
  38. License