Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
java
algebra
functional-programming
fold
annotation-processor
algebraic-data-types
visitor
java-8
optics
visitor-pattern
discriminated-unions
sum-types
laziness
derive4j
catamorphisms
exhaustiveness-checking
tagged-unions
-
Updated
Dec 1, 2022 - Java