higher-kinded-j
Higher-kinded types, monads and composable effects for Java 25: the Effect Path API for railway-style error handling, advanced optics…
What XERJ indexed
Selected work
“Give a field a navigator wherever its Focus method focuses on a record”. 36 files, 1,259 lines in hkj-processor, hkj-examples, hkj-annotations.
Licence
The repository
Checked by a person at the pinned commit.
The XERJ corpus
The author agreed by email on 2026-10-23. Same terms as the repository. Answers name the repo, the commit and the file:line.
in licence reviewnot in the hub yetsuggested use: adapt with attribution
higher-kinded-typesjavahigher-kinded-jeffectsfunctional-programmingjava25opticsannotation-processor
Example questions
- How does higher-kinded-j implement higher-kinded-types?
- Where does higher-kinded-j handle “Give a field a navigator wherever its Focus method focuses on a record”?
- What does hkj-processor do in higher-kinded-j?
The prompt
Paste it into your AI agent. It clones higher-kinded-j/higher-kinded-j at the pinned commit and indexes it on your machine.
Search the GitHub repository higher-kinded-j/higher-kinded-j with XERJ (https://hub.xerj.org/corpus/higher-kinded-j--higher-kinded-j). Run these in a shell, in order, and check each result before the next: 1. xerj --help (success: it prints usage). If xerj is missing: curl -fsSL https://xerj.org/get | sh 2. git clone https://github.com/higher-kinded-j/higher-kinded-j higher-kinded-j && git -C higher-kinded-j checkout ac422824b77ef4b0362e78163a81cb35b959cc41 3. Start a local node and leave it running: xerj --insecure --data-dir ./xerj-data 4. xerj autoindex ./higher-kinded-j --url http://127.0.0.1:9200 --prefix higher-kinded-j --progress plain 5. xerj autoindex map --url http://127.0.0.1:9200 Then answer my question from the indexed files and cite the ax_path of every hit. Query syntax: https://xerj.org/llms.txt Licence: MIT. Keep the copyright notice and credit the authors.
Related
Magnus SmithAPI design and specification corporakeywhizaeronhivemq-mqtt-clienteschizoid/telescopeCassiur/JavaTavernSVamseekar/devernance
Selected work and consent: the XERJ registry.