Safe Haskell | None |
---|---|
Language | Haskell98 |
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 a, Generic b1, Generic b2) => (a -> b1) -> (a -> b2) -> a -> IO ProofResult Source #