Safe Haskell | None |
---|---|
Language | Haskell98 |
Lava.Test
Documentation
test :: (Constructive a, Show b, Generic b) => (a -> b) -> IO [b] Source #
chalmers-lava2000-1.6.1: Hardware description EDSL
Safe Haskell | None |
---|---|
Language | Haskell98 |
Lava.Test
test :: (Constructive a, Show b, Generic b) => (a -> b) -> IO [b] Source #