chalmers-lava2000-1.2.0: Hardware description library

Safe HaskellSafe-Infered

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