chalmers-lava2000-1.2.0: Hardware description library

Safe HaskellSafe-Infered

Lava.ConstructiveAnalysis

Documentation

constructive :: (Generic a, Generic b) => (a -> b) -> a -> Signal BoolSource