1. Introduction to Higher-Kinded-J
  3. Effect Path API
  4. Introduction
    ❱
    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
    5. Composition Patterns
    6. ForPath Comprehension
    7. Type Conversions
    8. Focus-Effect Integration
    9. Patterns and Recipes
    10. Advanced Effects
    11. Effect Contexts
      ❱
      1. ErrorContext
      2. Optional Contexts
      3. ConfigContext
      4. MutableContext
    13. Advanced Topics
  7. Advanced Topics
  8. Introduction
    ❱
    1. Monad Transformers
    2. EitherT
    3. OptionalT
    4. MaybeT
    5. ReaderT
    6. StateT
  11. Complete HKT Examples
  12. An Order Workflow
  13. Draughts Game
  15. Hands-On Learning
  16. Introduction
    ❱
    1. Interactive Tutorials
    2. Core Types: Foundations
    3. Core Types: Error Handling
    4. Core Types: Advanced
    5. Effect API
    6. Optics: Lens & Prism
    7. Optics: Traversals & Practice
    8. Optics: Fluent & Free DSL
    9. Optics: Focus DSL
    10. Learning Paths
    11. Solutions Guide
    12. Troubleshooting
  19. Optics I: Fundamentals
  20. Introduction
    ❱
    1. What Are Optics?
    2. Lenses
    3. Prisms
    4. Affines
    5. Isomorphisms
    6. Composition Rules
  23. Optics II: Collections
  24. Introduction
    ❱
    1. Traversals
    2. Folds
    3. Getters
    4. Setters
    5. Common Data Structures
    6. Limiting Traversals
    7. List Decomposition
  27. Optics III: Precision and Filtering
  28. Introduction
    ❱
    1. Filtered Optics
    2. Indexed Optics
    3. Each Typeclass
    4. String Traversals
    5. Indexed Access
    6. Advanced Prism Patterns
    7. Profunctor Optics
  31. Optics IV: Java-Friendly APIs
  32. Introduction
    ❱
    1. Focus DSL
    2. Kind Field Support
    3. Fluent API
    4. Free Monad DSL
    5. Interpreters
  35. Optics V: Integration and Recipes
  36. Introduction
    ❱
    1. Composing Optics
    2. Core Type Integration
    3. Optics Extensions
    4. Cookbook
    5. Auditing Complex Data
  39. Integration Guides
  40. Introduction
    ❱
    1. Spring Boot Integration
    2. Migrating to Functional Errors
  43. Foundations: Higher-Kinded Types
  44. Introduction
    ❱
    1. HKT Introduction
    2. Concepts
    3. Type Arity
    4. Usage Guide
    5. Basic HKT Examples
    6. Quick Reference
    7. Extending
  47. Foundations: Type Classes
  48. Introduction
    ❱
    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
  51. Foundations: Core Types
  52. Introduction
    ❱
    1. Supported Types
    2. CompletableFuture
    3. Either
    4. Identity
    5. IO
    6. Lazy
    7. List
    8. Maybe
    9. Optional
    10. Reader
    11. State
    12. Stream
    13. Trampoline
    14. Free
    15. Free Applicative
    16. Coyoneda
    17. Try
    18. Validated
    19. Writer
    20. Const
  55. More Functional Thinking
  56. Blog series
  58. Glossary
  59. Functional Programming Terminology
  61. Project Info
  62. Contributing
  63. Code of Conduct
  64. License