plutus-core-1.40.0.0: Language library for Plutus Core

Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.Analysis.Usages

Description

Functions for computing variable usage inside terms.

Synopsis

termUsages ∷ HasUnique name TermUnique ⇒ Term name uni fun a → Usages
type Usages = MultiSet Unique
getUsageCount ∷ HasUnique n unique ⇒ n → Usages → Int
allUsed ∷ Usages → Set Unique

Documentation

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.

allUsed ∷ Usages → Set Unique Source #

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