chalmers-lava2000-1.4.1: Hardware description EDSL

Safe HaskellNone

Lava.Test

Documentation

test :: (Constructive a, Show b, Generic b) => (a -> b) -> IO [b]Source