chalmers-lava2000-1.6.1: Hardware description EDSL
Lava.Vhdl
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 #