We can enumerate something like that without having maths operations available. Some kind of Gray code, or ranking-unranking ops, might be just the ticket here.
We can enumerate something like that without having maths operations available. Some kind of Gray code, or ranking-unranking ops, might be just the ticket here.
This is actually not possible, as we can't promote finiteBitSize in the context of an associated type, possibly at all, and definitely without something like singletons.
This is actually not possible, as we can't promote ``finiteBitSize`` in the context of an associated type, possibly at all, and _definitely_ without something like ``singletons``.
Koz Ross
We can enumerate something like that without having maths operations available. Some kind of Gray code, or ranking-unranking ops, might be just the ticket here.
This is actually not possible, as we can't promote
finiteBitSizein the context of an associated type, possibly at all, and definitely without something likesingletons.