Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data VGAParams w h = VGAParams {
- vgaHorizTiming :: VGATiming w
- vgaVertTiming :: VGATiming h
- data VGATiming a = VGATiming {}
- data VGADriverIn clk r g b = VGADriverIn {}
- data VGADriverOut clk w h r g b = VGADriverOut {}
- driveVGA :: forall clk n r g b w h. (Clock clk, Rep n, Eq n, Num n, Bounded n, Rep r, Rep g, Rep b, Size w, Size h) => Witness n -> VGAParams w h -> VGADriverIn clk r g b -> VGADriverOut clk w h r g b
- vga640x480at60 :: VGAParams X10 X10
- vga800x600at72 :: VGAParams X11 X10
- vga800x600at60 :: VGAParams X11 X10
Generic VGA driver
VGAParams | |
|
data VGADriverIn clk r g b Source
data VGADriverOut clk w h r g b Source
Timing parameters for predefined VGA modes
vga640x480at60 :: VGAParams X10 X10 Source
VGA 640*480@60Hz, 25.175 MHz pixel clock
vga800x600at72 :: VGAParams X11 X10 Source
VGA 800x600@72Hz, 50 MHz pixel clock
vga800x600at60 :: VGAParams X11 X10 Source
VGA 800x600@60Hz, 40 MHz pixel clock