blarney-0.1.0.0
Copyright(c) Alexandre Joannou 2020-2021
LicenseMIT
Stabilityexperimental
Safe HaskellSafe-Inferred
LanguageGHC2021

Blarney.Netlist.Passes.Types

Description

This module defines the notions of mutable netlists MNetlists and passes MNetlistPasses which can be used to write Netlist optimisation passes.

Synopsis

Mutable netlist types

type MNetlist s = STArray s InstId (Maybe Net) Source #

A helper type for mutable Netlist

type MNetlistRef s = STRef s (MNetlist s) Source #

A reference to an MNetlist

type MNetlistPass s a = MNetlistRef s -> ST s a Source #

A pass over an MNetlist