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
      ❱
      1. ForPath Examples
      2. ForPath Parallel Composition
      3. ForPath Traverse
    8. Type Conversions
    9. Focus-Effect Integration
    10. Capstone: Effects Meet Optics
    11. Patterns and Recipes
    12. Migration Cookbook
    13. Common Compiler Errors
    14. Advanced Effects
    15. Effect Contexts
      ❱
      1. ErrorContext
      2. Optional Contexts
      3. ConfigContext
      4. MutableContext
      5. RequestContext
      6. SecurityContext
      7. Context vs ConfigContext
    17. Advanced Topics
    18. Production Readiness
    19. Effect Handlers
      ❱
      1. Effect Handler Reference
  6. Resilience Patterns
    ❱
    1. Retry
    2. Circuit Breaker
    3. Bulkhead
    4. Saga
    5. Combined Patterns
  8. Advanced Topics
    ❱
    1. Stack Archetypes
    2. Monad Transformers
    3. EitherT
    4. OptionalT
    5. MaybeT
    6. ReaderT
    7. StateT
    8. WriterT
    9. MTL Capabilities
      ❱
      1. MonadReader
      2. MonadState
      3. MonadWriter
      4. Combining Capabilities
  10. 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. Expression: ForPath Parallel
    14. Resilience Patterns
    15. Learning Paths
    16. Solutions Guide
    17. Troubleshooting
  12. 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
    5. Market Data Pipeline
      ❱
      1. Building the Pipeline
      2. Alerts and Resilience
      3. Quick Reference
    7. Portfolio Risk Analysis
    8. Payment Processing
  14. Optics I: Fundamentals
    ❱
    1. What Are Optics?
    2. Lenses
    3. Prisms
    4. Affines
    5. Isomorphisms
    6. Composition Rules
    7. Coupled Fields
  16. Optics II: Collections
    ❱
    1. Traversals
    2. Folds
    3. Getters
    4. Setters
    5. Common Data Structures
    6. Limiting Traversals
    7. List Decomposition
  18. 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
  20. Optics IV: Java-Friendly APIs
    ❱
    1. Focus DSL
      ❱
      1. Navigation and Composition
      2. Type Class and Effect Integration
      3. Custom Containers and Code Generation
      4. Focus DSL Reference
    3. Optics for External Types
      ❱
      1. Taming JSON with Jackson
      2. Database Records with JOOQ
      3. Focus DSL with External Libraries
    5. Kind Field Support
    6. Fluent API
    7. Free Monad DSL
    8. Interpreters
  22. Optics V: Integration and Recipes
    ❱
    1. Composing Optics
    2. Core Type Integration
    3. Optics Extensions
    4. Cookbook
    5. Auditing Complex Data
  24. Tooling
    ❱
    1. Build Plugins
    2. Compile-Time Checks
    3. Diagnostics
    4. Traversal Generator Plugins
  26. Integration Guides
    ❱
    1. Spring Boot Integration
    2. Migrating to Functional Errors
    3. EffectBoundary Integration
  28. Foundations: Higher-Kinded Types
    ❱
    1. HKT Introduction
    2. Concepts
    3. Type Arity
    4. Usage Guide
    5. Basic HKT Examples
    6. Quick Reference
    7. Extending
  30. 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
      ❱
      1. Parallel Composition
      2. Traverse Within Comprehensions
      3. Optics Integration
      4. MTL & ForState Bridge
    16. ForState Comprehension
    17. Choosing Abstraction Levels
  32. 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. EitherF
    18. Coyoneda
    19. Try
    20. Validated
    21. VTask
      ❱
      1. Structured Concurrency
      2. Resource Management
    23. VStream
      ❱
      1. HKT and Type Classes
      2. Parallel Operations
      3. Performance
      4. Resource-Safe Streaming
      5. Advanced Features
    25. Writer
    26. Const
  34. More Functional Thinking
  35. Glossary
  36. Release History
  37. Benchmarks & Performance
  39. Project Info
  40. Contributing
  41. Code of Conduct
  42. License