chalmers-lava2000-1.0: Hardware description library

Lava2000.Vis

Documentation

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

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

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

equivCheckVisInput :: (Generic a, Generic b, Generic b1) => (a -> b) -> (a -> b1) -> a -> IO ProofResultSource