Typeclass instance to minimize a type collection wrt.
Typeclass instance to minimize a type collection wrt. to its path cardinality under the constraint
that the intersected initial type collection is subtype equal to the intersected result.
Example:
Seq('A :&: 'B =>: 'C :&: 'D, 'A =>: 'C) = Set('A =>: 'C, 'A :&: 'B =>: 'D)
Type class to make types (subtype-)comparable.
Instance of the subtype relation type class which operates on casted types
Extract immediate children in the syntax tree of types and filters them by relevance for subtype comparison.
the taxonomy, where each constructor name is mapped to its directly smaller successors.
Functional representation of the taxonomy under reflexive transitive closure.
(Since version ) see corresponding Javadoc for more information.
Subtyping based on a taxonomy of type constructors.
the taxonomy, where each constructor name is mapped to its directly smaller successors.