Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Target = Target {}
- targetPart :: Target -> String
- data Board = Board {}
- ise :: Target -> ClashKit -> FilePath -> FilePath -> String -> Rules SynthKit
- vivado :: Board -> ClashKit -> FilePath -> FilePath -> String -> Rules SynthKit
- papilioPro :: Target
- papilioOne :: Target
- nexysA750T :: Board
- basys3 :: Board
- pynqZ2 :: Board
Documentation
Target | |
|
targetPart :: Target -> String Source #
Board | |
|
papilioPro :: Target Source #
Target defintion for Papilio Pro
papilioOne :: Target Source #
Target definition for Papilio One
nexysA750T :: Board Source #
Board definition for Digilent Nexys A7-50T