chalmers-lava2000-1.4.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