RetroClash.SevenSegment

Documentation

data SevenSegment n anodes segments dp

Constructors

SevenSegment

Fields

• anodes :: "AN" ::: Vec n (Active anodes)
• segments :: "SEG" ::: Vec 7 (Active segments)
• dp :: "DP" ::: Active dp

Instances

Generic (SevenSegment n anodes segments dp)

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)

Defined in RetroClash.SevenSegment

type Rep (SevenSegment n anodes segments dp) = D1 ('MetaData "SevenSegment" "RetroClash.SevenSegment" "retroclash-lib-0.1.2.1-3QYYIIVHJO83EmrUE6AW6v" '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

showSS :: Vec 7 Bool -> String

showSSs :: [Vec 7 Bool] -> String

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

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

sevenSegmentPort :: PortName