retroclash-lib-0.1.2.3: Code shared across the code samples in the book "Retrocomputing with Clash"
Safe HaskellSafe-Inferred
LanguageHaskell2010

RetroClash.SevenSegment

Documentation

data SevenSegment n anodes segments dp Source #

Constructors

SevenSegment 

Fields

Instances

Instances details
Generic (SevenSegment n anodes segments dp) Source # 
Instance details

Defined in RetroClash.SevenSegment

Associated Types

type Rep (SevenSegment n anodes segments dp) :: Type -> Type #

Methods

from :: SevenSegment n anodes segments dp -> Rep (SevenSegment n anodes segments dp) x #

to :: Rep (SevenSegment n anodes segments dp) x -> SevenSegment n anodes segments dp #

type Rep (SevenSegment n anodes segments dp) Source # 
Instance details

Defined in RetroClash.SevenSegment

type Rep (SevenSegment n anodes segments dp) = D1 ('MetaData "SevenSegment" "RetroClash.SevenSegment" "retroclash-lib-0.1.2.3-CyofdjsWDRF6p6fT5WYPf1" 'False) (C1 ('MetaCons "SevenSegment" 'PrefixI 'True) (S1 ('MetaSel ('Just "anodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ("AN" ::: Vec n (Active anodes))) :*: (S1 ('MetaSel ('Just "segments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ("SEG" ::: Vec 7 (Active segments))) :*: S1 ('MetaSel ('Just "dp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ("DP" ::: Active dp)))))

encodeHexSS :: Unsigned 4 -> Vec 7 Bool Source #

showSS :: Vec 7 Bool -> String Source #

showSSs :: [Vec 7 Bool] -> String Source #

muxRR :: (KnownNat n, HiddenClockResetEnable dom) => Signal dom Bool -> Signal dom (Vec n a) -> (Signal dom (Vec n Bool), Signal dom a) Source #

driveSS :: (KnownNat n, HiddenClockResetEnable dom, _) => (a -> (Vec 7 Bool, Bool)) -> Signal dom (Vec n (Maybe a)) -> Signal dom (SevenSegment n anodes segments dp) Source #

sevenSegmentPort :: PortName Source #