chalmers-lava2000-1.5: Hardware description EDSL

Safe HaskellNone
LanguageHaskell98

Lava.Vis

Documentation

vis :: Checkable a => a -> IO ProofResult Source

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 b1, Generic a, Generic b) => (a -> b) -> (a -> b1) -> a -> IO ProofResult Source