• Eric Niebler's avatar
    remove executor category properties; refactor, simplify, remove concepts. · 059ca1b2
    Eric Niebler authored
    Summary:
    Now that we have `.schedule()`, We can syntactically determine what things are executors and which are not. We can also tell what kind of executor, be it constrained, or time, or neither. Therefore, we no longer need the `is_executor<>` property query. Nuke it.
    
    In addition, all the `Sender`, `Receiver`, and `Executor` concepts, in addition to testing for the required syntac, took an arbitrary number of properties to query. Those were breaking subsumption relationships (e.g., `Sender<From, is_many<>>` doesn't subsume `Sender<From>`). Move those property queries out of the concept heirarchy and into separate algorithm requirements that test the properties directly.
    
    Reviewed By: kirkshoop
    
    Differential Revision: D14570712
    
    fbshipit-source-id: 8ae0d96e5c9f00dcea3fbff4bbbe04c71bb0df07
    059ca1b2
forwards.h 3.64 KB