kansas-lava-papilio-0.3.1: Kansas Lava support files for the Papilio FPGA board
Hardware.KansasLava.SevenSegment
data Active Source
Constructors
data SevenSegment clk active n Source
Fields
encodeHexSS :: Unsigned X4 -> Matrix X7 Bool Source
showSS :: Matrix X7 Bool -> String Source
driveSS :: forall clk sig n. (Clock clk, sig ~ Signal clk, Size n, Rep n, Num n, Integral n) => Matrix n (sig Bool) -> Matrix n (Matrix X7 (sig Bool)) -> SevenSegment clk ActiveLow n Source
driveSS_ :: forall clk sig n. (Clock clk, sig ~ Signal clk, Size n, Rep n, Num n, Integral n) => Matrix n (Maybe (Matrix X7 (sig Bool))) -> SevenSegment clk ActiveLow n Source