Moduleghc-10.0.0.20260917GHC2024

GHC.Types.Var.FV

Utilities for efficiently and deterministically computing free variables.

Synopsis

newtypenewtype FV env acc

Instances2Semigroup, Monoid

Semigroup a => Semigroup (FV env a)Defined in ghc-10.0.0.20260917 · GHC.Types.Var.FV
Monoid a => Monoid (FV env a)Defined in ghc-10.0.0.20260917 · GHC.Types.Var.FV

valuerunFV :: FV env acc -> env -> acc

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

typetype BoundVars = TyCoVarSet

typetype VarSetFV = FV BoundVars (EndoOS TyCoVarSet)

typetype DVarSetFV = FV BoundVars (EndoOS DTyCoVarSet)

typetype SelectiveDFV = FV (InterestingVarFun, BoundVars) (EndoOS DVarSet)

typetype TyCoFV = VarSetFV

typetype DTyCoFV = DVarSetFV

valuerunFVTop :: FV BoundVars a -> a

valuerunFVAcc :: FV BoundVars (EndoOS a) -> a -> a

valuerunTyCoVars :: TyCoFV -> TyCoVarSet

valuerunTyCoVarsDSet :: DTyCoFV -> DTyCoVarSet

valuerunFVSelective :: InterestingVarFun -> SelectiveDFV -> DVarSet

valuerunFVSelectiveList :: InterestingVarFun -> SelectiveDFV -> [Var]

valuerunFVSelectiveSet :: InterestingVarFun -> SelectiveDFV -> VarSet

typetype InterestingVarFun = Var -> Bool

valueaddBndrFV :: TyCoVar -> FV BoundVars a -> FV BoundVars a

valueaddBndrsFV :: [Var] -> FV BoundVars a -> FV BoundVars a

valueaddBndrSelectiveFV :: TyCoVar -> FV (f, BoundVars) a -> FV (f, BoundVars) a

valueaddBndrsSelectiveFV :: [Var] -> FV (f, BoundVars) a -> FV (f, BoundVars) a

valueemptyFV :: Monoid a => FV env a

valueunionFV :: Semigroup a => FV env a -> FV env a -> FV env a

valuemapUnionFV