search

bruderj15 / Hasmtlib

A monad for interfacing with external SMT solvers
GNU General Public License v3.0
12 stars 1 forks source link

Generalize counting-functions #112

Closed bruderj15 closed 2 months ago

bruderj15 commented 2 months ago

As in https://github.com/ekmett/ersatz/issues/54 we probably can generalize the function.

I occasionally also need to count type Bool.

But: Will this worsen API-readability? Or even worse, do we get ambigous types?

bruderj15 commented 2 months ago

Not possible because Orderable is monomorphic in result type for comparing functions.