Open jwaldmann opened 3 years ago
I am using ersatz's Boolean typeclass in https://hackage.haskell.org/package/obdd (to get names for Boolean operations)
I want to also use Ersatz.Counting.exactly (etc.) but they are monorphic ([Bit] -> Bit) while the type could be Boolean b=> [b] -> b.
[Bit] -> Bit
Boolean b=> [b] -> b
Current implementation uses sumBit :: Foldable t => t Bit -> Bits. Could that be olymorphic as well?
sumBit :: Foldable t => t Bit -> Bits
Well, then Bits must be [b] (or a newtype).
Bits
[b]
I am using ersatz's Boolean typeclass in https://hackage.haskell.org/package/obdd (to get names for Boolean operations)
I want to also use Ersatz.Counting.exactly (etc.) but they are monorphic (
[Bit] -> Bit) while the type could beBoolean b=> [b] -> b.Current implementation uses
sumBit :: Foldable t => t Bit -> Bits. Could that be olymorphic as well?Well, then
Bitsmust be[b](or a newtype).