search

ekmett / ersatz

A monad for interfacing with external SAT solvers
Other
63 stars 15 forks source link

feature req: bit vector with type-indexed length #21

Open jwaldmann opened 8 years ago

jwaldmann commented 8 years ago

using type-lits and possibly https://hackage.haskell.org/package/ghc-typelits-natnormalise-0.2

even if all the operations are fixed-width it would already be an improvement because we could remove all the individual Bit types.

jwaldmann commented 4 years ago

cf. https://gitlab.imn.htwk-leipzig.de/waldmann/fuglede/-/blob/master/F.hs#L128 (this is arithmetics modulo 2^width)