chalmers-lava2000-1.5: Hardware description EDSL
Lava.Netlist
netlist :: Functor f => (S a -> a) -> f Symbol -> f a Source
netlistIO :: Sequent f => IO v -> (v -> S v -> IO ()) -> f Symbol -> IO (f v) Source
netlistST :: Sequent f => ST s v -> (v -> S v -> ST s ()) -> f Symbol -> ST s (f v) Source