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

Safe HaskellNone
LanguageHaskell2010

Hardware.KansasLava.Boards.Papilio.LogicStart

Contents

Synopsis

Documentation

data Model Source

Constructors

PapilioOne 
PapilioPro 

Class for the methods of the Spartan3e

class Papilio fabric => LogicStart fabric where Source

Methods

switches :: fabric (Matrix X8 (Signal CLK Bool)) Source

buttons :: fabric (Buttons CLK) Source

leds :: Matrix X8 (Signal CLK Bool) -> fabric () Source

sseg :: SevenSegment CLK ActiveLow X4 -> fabric () Source

vga :: RawVGA CLK X3 X3 X2 -> fabric () Source

Instances

Initialization, and global settings.

clockRate :: Integer Source

The clock rate on the Papilio (32MHz), in hertz.

board_init :: Papilio fabric => fabric () Source

board_init sets up the use of default clock, which is the native 32MHz on-board clock.

toUCF :: Model -> KLEG -> IO String Source

Data structures

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
 

data Buttons clk Source

Constructors

Buttons 

Fields

buttonUp :: Signal clk Bool
 
buttonDown :: Signal clk Bool
 
buttonLeft :: Signal clk Bool
 
buttonRight :: Signal clk Bool
 
buttonCenter :: Signal clk Bool
 

data VGA clk r g b Source

Constructors

VGA 

Fields

vgaR :: Signal clk (Enabled r)
 
vgaG :: Signal clk (Enabled g)
 
vgaB :: Signal clk (Enabled b)
 
vgaVSync :: Signal clk Bool
 
vgaHSync :: Signal clk Bool
 

switchesP :: LogicStart fabric => fabric (Patch () (Matrix X8 (Seq Bool)) () (Matrix X8 ())) Source

switchesP gives a patch-level API for the toggle switches.

ledsP :: LogicStart fabric => Patch (Matrix X8 (Seq Bool)) (fabric ()) (Matrix X8 ()) () Source

ledP gives a patch-level API for the leds.