UntypedPlutusCore.Analysis.Usages
Description
Functions for computing variable usage inside terms.
termUsages ∷ HasUnique name TermUnique ⇒ Term name uni fun a → Usages Source #
type Usages = MultiSet Unique Source #
getUsageCount ∷ HasUnique n unique ⇒ n → Usages → Int Source #
Get the usage count of n.
n
allUsed ∷ Usages → Set Unique Source #
Get a set of ns which are used at least once.