Bool package:clash-prelude

Zero-extend a Boolean value to a BitVector of the appropriate size.
>>> boolToBV True :: BitVector 6
0b00_0001

>>> boolToBV False :: BitVector 6
0b00_0000
Convert a Bool to a Bit
Convert a Bit to a Bool