Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data Model
- class Papilio fabric => LogicStart fabric where
- clockRate :: Integer
- board_init :: Papilio fabric => fabric ()
- toUCF :: Model -> KLEG -> IO String
- data Active
- data SevenSegment clk active n = SevenSegment {}
- data Buttons clk = Buttons {
- 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 = VGA {}
- switchesP :: LogicStart fabric => fabric (Patch () (Matrix X8 (Seq Bool)) () (Matrix X8 ()))
- ledsP :: LogicStart fabric => Patch (Matrix X8 (Seq Bool)) (fabric ()) (Matrix X8 ()) ()
Documentation
Class for the methods of the Spartan3e
class Papilio fabric => LogicStart fabric where Source
Initialization, and global settings.
board_init :: Papilio fabric => fabric () Source
board_init
sets up the use of default clock,
which is the native 32MHz on-board clock.
Data structures
data SevenSegment clk active n Source
Buttons | |
|