Open madeline-os opened 2 years ago
proposed new class head:
class HasChangeNotification be n db | db be -> n where
changeNotification :: DatabaseEntity be db (TableEntity a) -> n (Change a)
@danbornside's version seems fair to me.
Consider
It is difficult to imagine a scenario where one would want to use a different notification type (
n
above) for two different tables (a
above). What is far more likely is that there is one notification type for the entire databasedb
. This would reduce the tedium and increase the clarity of instance declarations for this class.