Generate fluent AssertJ assertions for Higher-Kinded-J types.
npx skills add https://github.com/higher-kinded-j/higher-kinded-j --skill hkj-test
Please help me install this Agent Skill. Skill: hkj-test Source: https://github.com/higher-kinded-j/higher-kinded-j/tree/main/.claude/skills/hkj-test Command: npx skills add https://github.com/higher-kinded-j/higher-kinded-j --skill hkj-test
This Skill simplifies testing for Higher-Kinded-J (HKJ) types by providing fluent, type-safe AssertJ assertions that eliminate boilerplate and ensure test code remains readable and aligned with business logic.
Use the hkj-test skill to generate AssertJ fluent assertions for the provided Higher-Kinded-J type and verify its state.
High-intent search queries and answers about installing and using this skill.
You can write fluent AssertJ assertions for Higher-Kinded-J types by using dedicated assertion classes for types like Either, Maybe, and IO to ensure type-safe and readable unit testing without boilerplate.
Testing optic laws for functional programming structures requires an optic law harness that provides static assertions to verify the laws of Iso, Lens, Prism, Affine, and Traversal optics within your Java applications.
To control time-based logic deterministically in Java unit tests without thread sleeps, you can use a controlled SteppableClock implementation to manipulate time progression explicitly.
Yes, you can validate monad transformers and complex functional structures using type-safe assertion helpers that facilitate the verification of these advanced functional programming components under success and failure conditions.
Standard AssertJ lacks specific support for Higher-Kinded-J types, requiring dedicated fluent assertion helpers to properly verify domain-specific Either-based error handling and complex optic transformations.
higher-kinded-jProvides architectural patterns for structuring Java 25 applications with Functional Core, Imperative Shell design.
rainoftimeCompose monadic effects like state, error handling, and IO into stacks.
higher-kinded-jConvert Either, Validated, and Effect Path types into HTTP responses in Spring Boot.
ColdBoxWrite fluent TestBox assertions with chained matchers and expectAll().
