Annotation processor and framework for deriving algebraic data types constructors, morphisms, optics and typeclasses
- algebra
- algebraic-data-types
- annotation-processor
- catamorphisms
- derive4j
- discriminated-unions
- exhaustiveness-checking
- fold
- functional-programming
- java
- java-8
- laziness
- optics
- sum-types
- tagged-unions
- visitor
- visitor-pattern