plutus-core-1.65.0.0: Language library for Plutus Core

Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Analysis.Usages

Description

Functions for computing variable usage inside types.

Synopsis

typeUsages ∷ HasUnique tyname TypeUnique ⇒ Type tyname uni a → Usages
type Usages = MultiSet Unique
getUsageCount ∷ HasUnique n unique ⇒ n → Usages → Int
allUsed ∷ Usages → Set Unique

Documentation

typeUsages ∷ HasUnique tyname TypeUnique ⇒ Type tyname uni 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.