chalmers-lava2000-1.5: 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