plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

UntypedPlutusCore.Analysis.Usages

Description

Functions for computing variable usage inside terms.

Synopsis

Documentation

termUsagesHasUnique name TermUniqueTerm name uni fun a → Usages Source #

type Usages = MultiSet Unique Source #

getUsageCountHasUnique n unique ⇒ n → UsagesInt Source #

Get the usage count of n.

allUsedUsages → Set Unique Source #

Get a set of ns which are used at least once.