ghc-10.0.0.20260917: The GHC API
Safe HaskellNone
LanguageGHC2024

GHC.Types.Var.FV

Description

Utilities for efficiently and deterministically computing free variables.

Documentation

data FV env acc where Source #

Bundled Patterns

pattern MkFV :: (env -> acc) -> FV env acc 

Instances

Instances details
Monoid a => Monoid (FV env a) Source # 
Instance details

Defined in GHC.Types.Var.FV

Methods

mempty :: FV env a Source #

mappend :: FV env a -> FV env a -> FV env a Source #

mconcat :: [FV env a] -> FV env a Source #

Semigroup a => Semigroup (FV env a) Source # 
Instance details

Defined in GHC.Types.Var.FV

Methods

(<>) :: FV env a -> FV env a -> FV env a Source #

sconcat :: NonEmpty (FV env a) -> FV env a Source #

stimes :: Integral b => b -> FV env a -> FV env a Source #

type BoundVars = TyCoVarSet Source #

type VarSetFV = FV BoundVars (EndoOS TyCoVarSet) Source #

type DVarSetFV = FV BoundVars (EndoOS DTyCoVarSet) Source #

type SelectiveDFV = FV (InterestingVarFun, BoundVars) (EndoOS DVarSet) Source #

type TyCoFV = VarSetFV Source #

type DTyCoFV = DVarSetFV Source #

runFVTop :: FV BoundVars a -> a Source #

runFVAcc :: FV BoundVars (EndoOS a) -> a -> a Source #

runTyCoVars :: TyCoFV -> TyCoVarSet Source #

runTyCoVarsDSet :: DTyCoFV -> DTyCoVarSet Source #

runFVSelective :: InterestingVarFun -> SelectiveDFV -> DVarSet Source #

runFVSelectiveList :: InterestingVarFun -> SelectiveDFV -> [Var] Source #

runFVSelectiveSet :: InterestingVarFun -> SelectiveDFV -> VarSet Source #

type InterestingVarFun = Var -> Bool Source #

addBndrFV :: TyCoVar -> FV BoundVars a -> FV BoundVars a Source #

addBndrsFV :: [Var] -> FV BoundVars a -> FV BoundVars a Source #

addBndrSelectiveFV :: TyCoVar -> FV (f, BoundVars) a -> FV (f, BoundVars) a Source #

addBndrsSelectiveFV :: [Var] -> FV (f, BoundVars) a -> FV (f, BoundVars) a Source #

emptyFV :: Monoid a => FV env a Source #

unionFV :: Semigroup a => FV env a -> FV env a -> FV env a Source #

mapUnionFV :: (Foldable t, Monoid acc) => (a -> FV env acc) -> t a -> FV env acc Source #