kansas-lava-papilio-0.3.1: Kansas Lava support files for the Papilio FPGA board

Safe HaskellNone
LanguageHaskell2010

Hardware.KansasLava.SevenSegment

Documentation

data Active Source

Constructors

ActiveHigh 
ActiveLow 

data SevenSegment clk active n Source

Constructors

SevenSegment 

Fields

ssAnodes :: Matrix n (Signal clk Bool)
 
ssSegments :: Matrix X7 (Signal clk Bool)
 
ssDecimalPoint :: Signal clk Bool
 

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