RetroClash.VGA

Documentation

data VGASync dom

Constructors

VGASync

Fields

• vgaHSync :: "HSYNC" ::: Signal dom Bit
• vgaVSync :: "VSYNC" ::: Signal dom Bit
• vgaDE :: "DE" ::: Signal dom Bool

data VGADriver dom w h

Constructors

VGADriver

Fields

• vgaSync :: VGASync dom
• vgaX :: Signal dom (Maybe (Index w))
• vgaY :: Signal dom (Maybe (Index h))

vgaDriver :: (HiddenClockResetEnable dom, KnownNat w, KnownNat h) => DomainPeriod dom ~ ps => VGATimings ps w h -> VGADriver dom w h

data VGAOut dom r g b

Constructors

VGAOut

Fields

• vgaSync :: VGASync dom
• vgaR :: "RED" ::: Signal dom (Unsigned r)
• vgaG :: "GREEN" ::: Signal dom (Unsigned g)
• vgaB :: "BLUE" ::: Signal dom (Unsigned b)

Instances

type TryDomain t (VGAOut dom r g b)

Defined in RetroClash.VGA

type TryDomain t (VGAOut dom r g b) = 'Found dom

type HasDomain dom1 (VGAOut dom2 r g b)

Defined in RetroClash.VGA

type HasDomain dom1 (VGAOut dom2 r g b) = DomEq dom1 dom2

vgaOut :: (HiddenClockResetEnable dom, KnownNat r, KnownNat g, KnownNat b) => VGASync dom -> Signal dom (Unsigned r, Unsigned g, Unsigned b) -> VGAOut dom r g b

data VGATiming (visible :: Nat)

Constructors

forall front pulse back. VGATiming

Fields

• polarity :: Polarity
• preWidth :: SNat front
• pulseWidth :: SNat pulse
• postWidth :: SNat back

Instances

Show (VGATiming vis)

Defined in RetroClash.VGA

Methods

showsPrec :: Int -> VGATiming vis -> ShowS

show :: VGATiming vis -> String

showList :: [VGATiming vis] -> ShowS

data VGATimings (ps :: Nat) (w :: Nat) (h :: Nat)

Constructors

VGATimings

Fields

• vgaHorizTiming :: VGATiming w
• vgaVertTiming :: VGATiming h

Instances

Show (VGATimings ps w h)

Defined in RetroClash.VGA

Methods

showsPrec :: Int -> VGATimings ps w h -> ShowS

show :: VGATimings ps w h -> String

showList :: [VGATimings ps w h] -> ShowS

vga640x480at60 :: VGATimings (HzToPeriod 25175000) 640 480

VGA 640*480@60Hz, 25.175 MHz pixel clock

vga800x600at60 :: VGATimings (HzToPeriod 40000000) 800 600

VGA 800x600@60Hz, 40 MHz pixel clock

vga800x600at72 :: VGATimings (HzToPeriod 50000000) 800 600

VGA 800x600@72Hz, 50 MHz pixel clock

vga1024x768at60 :: VGATimings (HzToPeriod 65000000) 1024 768

VGA 1024*768@60Hz, 65 MHz pixel clock