chalmers-lava2000-1.5: Hardware description EDSL

Safe HaskellNone
LanguageHaskell98

Lava.Vhdl

Documentation

writeVhdl :: (Constructive a, Generic b) => String -> (a -> b) -> IO () Source

writeVhdlInput :: (Generic a, Generic b) => String -> (a -> b) -> a -> IO () Source

writeVhdlInputOutput :: (Generic a, Generic b) => String -> (a -> b) -> a -> b -> IO () Source