blarney-0.1.0.0

Copyright	(c) Alexandre Joannou 2020-2021
License	MIT
Stability	experimental
Safe Haskell	Safe-Inferred
Language	GHC2021

Blarney.Netlist.Passes.Utils

Contents

Queries on individual Nets
Basic MNetlistPasses
Exported Blarney modules

Description

This module provides helper functions to write netlist passes.

Synopsis

netIsRoot :: Net -> Bool
netDontKill :: Net -> Bool
readNet :: InstId -> MNetlistPass s Net
type NetCounts s = STUArray s InstId Int
countNetRef :: MNetlistPass s (NetCounts s)
module Blarney.Core.Prim
module Blarney.Core.NetHelpers

Queries on individual `Net`s

netIsRoot :: Net -> Bool Source #

A helper function to tell if a Net is a netlist root

netDontKill :: Net -> Bool Source #

A helper function to tell if a Net should not be optimised away

readNet :: InstId -> MNetlistPass s Net Source #

A helper function to read a Net from a MNetlist

Basic `MNetlistPass`es

type NetCounts s = STUArray s InstId Int Source #

A helper type for Net reference counting

countNetRef :: MNetlistPass s (NetCounts s) Source #

A Net reference counting helper function

Exported `Blarney` modules

module Blarney.Core.Prim

module Blarney.Core.NetHelpers