Lava.Netlist

Documentation

netlist :: Functor f => (S a -> a) -> f Symbol -> f a

netlistIO :: Sequent f => IO v -> (v -> S v -> IO ()) -> f Symbol -> IO (f v)

netlistST :: Sequent f => ST s v -> (v -> S v -> ST s ()) -> f Symbol -> ST s (f v)