Pretty Good Sum Type
1.0.0
|
Files | |
file | logical.hpp [code] |
Conjunctions and disjunctions over predicate packs. | |
file | pgs.hpp [code] |
file | recursive_union.hpp [code] |
A type modeling a "recursive union". | |
file | recursive_wrapper.hpp [code] |
A workaround for the absence of recursive types. | |
file | sum_type.hpp [code] |
file | type_traits.hpp [code] |
At this time contains only a metafunction for determining if a given type F is "callable" on a parameter pack of arguments Args | |