Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Functions for computing variable usage inside terms and types.
Synopsis
- termUsages ∷ (HasUnique name TermUnique, HasUnique tyname TypeUnique) ⇒ Term tyname name uni fun a → Usages
- 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
termUsages ∷ (HasUnique name TermUnique, HasUnique tyname TypeUnique) ⇒ Term tyname name uni fun a → Usages Source #
typeUsages ∷ HasUnique tyname TypeUnique ⇒ Type tyname uni a → Usages Source #