Package org.derive4j
Class Makes.CaseOfMatchers.TotalMatcher_Catamorphism<R>
java.lang.Object
org.derive4j.Makes.CaseOfMatchers.PartialMatcher<R>
org.derive4j.Makes.CaseOfMatchers.PartialMatcher_Factory<R>
org.derive4j.Makes.CaseOfMatchers.TotalMatcher_Catamorphism<R>
- Enclosing class:
Makes.CaseOfMatchers
public static final class Makes.CaseOfMatchers.TotalMatcher_Catamorphism<R>
extends Makes.CaseOfMatchers.PartialMatcher_Factory<R>
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class org.derive4j.Makes.CaseOfMatchers.PartialMatcher_Factory
factory, factory_
Methods inherited from class org.derive4j.Makes.CaseOfMatchers.PartialMatcher
otherwise, otherwise_, otherwiseEmpty
-
Constructor Details
-
TotalMatcher_Catamorphism
-
-
Method Details
-
catamorphism
-
catamorphism_
-