We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3c96da2 commit 2fdd8d8Copy full SHA for 2fdd8d8
src/Libraries/Base1/Prelude.bs
@@ -4631,6 +4631,7 @@ instance WrapPorts () () where
4631
filterZeroWidthPorts _ Nil = Nil
4632
filterZeroWidthPorts _ _ = error "filterZeroWidthPorts: non-empty port names list"
4633
4634
+-- Helper class to conditionally convert Bit 0 to ()
4635
class NonEmptyBits n pb | n -> pb where
4636
toNonEmptyBits :: Bit n -> pb
4637
fromNonEmptyBits :: pb -> Bit n
0 commit comments