verismith-0.6.0.2: Random verilog generation and simulator testing.

Copyright	(c) 2019 Yann Herklotz Grave
License	GPL-3
Maintainer	yann [at] yannherklotz [dot] com
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Verismith.Tool.QuartusLight

Description

QuartusLight synthesiser implementation.

Documentation

data QuartusLight Source #

Constructors

QuartusLight
Fields quartusLightBin :: !(Maybe FilePath) quartusLightDesc :: !Text quartusLightOutput :: !FilePath

Instances

Eq QuartusLight Source #
Instance details Defined in Verismith.Tool.QuartusLight Methods (==) :: QuartusLight -> QuartusLight -> Bool # (/=) :: QuartusLight -> QuartusLight -> Bool #
Show QuartusLight Source #
Instance details Defined in Verismith.Tool.QuartusLight Methods showsPrec :: Int -> QuartusLight -> ShowS # show :: QuartusLight -> String # showList :: [QuartusLight] -> ShowS #
NFData QuartusLight Source #
Instance details Defined in Verismith.Tool.QuartusLight Methods rnf :: QuartusLight -> () #
Synthesiser QuartusLight Source #
Instance details Defined in Verismith.Tool.QuartusLight Methods runSynth :: QuartusLight -> SourceInfo -> ResultSh () Source # synthOutput :: QuartusLight -> FilePath Source # setSynthOutput :: QuartusLight -> FilePath -> QuartusLight Source #
Tool QuartusLight Source #
Instance details Defined in Verismith.Tool.QuartusLight Methods toText :: QuartusLight -> Text Source #

defaultQuartusLight :: QuartusLight Source #