- Introduction to Higher-Kinded-J
- Higher-Kinded Types
- 1. HKT Introduction
❱
- 1.1. Concepts
- 1.2. Usage Guide
- 1.3. Extending
- 2. For Comprehension
- 3. Monads
❱
- 3.1. CompletableFuture
- 3.2. Either
- 3.3. Identity
- 3.4. IO
- 3.5. Lazy
- 3.6. List
- 3.7. Maybe
- 3.8. Optional
- 3.9. Reader
- 3.10. State
- 3.11. Try
- 3.12. Validated
- 3.13. Writer
- 3.14. MonadZero
- 4. Monad Transformers
❱
- 4.1. EitherT
- 4.2. OptionalT
- 4.3. MaybeT
- 4.4. ReaderT
- 4.5. StateT
- HKT Examples
- 5. How to use HKTs
- 6. An Order Workflow
- 7. Draughts Game
- Optics
- 8. Optics Introduction
- 9. Lenses
- 10. Prisms
- 11. Isomorphisms
- 12. Traversals
- 13. Combining Optics - Validation
- Optics Examples
- 14. How to use Optics
- 15. Auditing Complex Data - The Power of Optics
- More Functional Thinking
- 16. Blog series
- Project Info
- 17. Contributing
- 18. Code of Conduct
- 19. License