Relax `Enumerable` constraint

mlabs-haskell / apropos

Propositional Logic Apropos Types

Apache License 2.0

14 stars 5 forks source link

Relax `Enumerable` constraint #19

Closed AriFordsham closed 2 years ago

AriFordsham commented 2 years ago

Modified enumerateSolutions to not use enumerated
Removed Enumerable superclass from LogicalModel (so it is no longer required for enumerateSolutions)
Added Enumerable constraint to enumerateScenariosWhere and satisfiesFormula
Propagated constraint to use sites

jhodgdev commented 2 years ago

Is this OK to merge @delicious-lemon ?

Geometer1729 commented 2 years ago

I'm not totally convinced this implementation of enumerateSolutions is correct. I'm going to try to write some examples that depend on enumerateSolutions behaving as expected.

AriFordsham commented 2 years ago

Can this be merged?