Topic: lawful classes
Simon Hudon (Mar 23 2018 at 16:30):
I'm having a look at the new
is_lawful_functor. I just realized that it does not extend
functor. That makes some signatures pretty verbose. Is there a plan to make shortcuts like
lawful_functor that would combine both?
Mario Carneiro (Mar 23 2018 at 18:37):
I think it used to be bundled and was later unbundled. Of course you should ask Sebastian for the full story
Sebastian Ullrich (Mar 23 2018 at 19:50):
I'm not convinced of the useful of such shortcut classes. You cannot have class inference convert both to and from the class without risking cycles, which would make their usage quite clunky, I'd imagine.
Last updated: May 17 2021 at 22:15 UTC