Agda.TypeChecking.Free.Precompute · Agda-2.7.0.1

classclass PrecomputeFreeVars a where

Instances13PrecomputeFreeVars, …

PrecomputeFreeVars LevelDefined in Agda-2.7.0.1 · Agda.TypeChecking.Free.Precompute
PrecomputeFreeVars PlusLevelDefined in Agda-2.7.0.1 · Agda.TypeChecking.Free.Precompute
PrecomputeFreeVars SortDefined in Agda-2.7.0.1 · Agda.TypeChecking.Free.Precompute
PrecomputeFreeVars TermDefined in Agda-2.7.0.1 · Agda.TypeChecking.Free.Precompute
PrecomputeFreeVars TypeDefined in Agda-2.7.0.1 · Agda.TypeChecking.Free.Precompute
PrecomputeFreeVars a => PrecomputeFreeVars (Arg a)Defined in Agda-2.7.0.1 · Agda.TypeChecking.Free.Precompute
PrecomputeFreeVars a => PrecomputeFreeVars (Abs a)Defined in Agda-2.7.0.1 · Agda.TypeChecking.Free.Precompute
PrecomputeFreeVars a => PrecomputeFreeVars (Dom a)Defined in Agda-2.7.0.1 · Agda.TypeChecking.Free.Precompute
PrecomputeFreeVars a => PrecomputeFreeVars (Elim' a)Defined in Agda-2.7.0.1 · Agda.TypeChecking.Free.Precompute
PrecomputeFreeVars a => PrecomputeFreeVars (CompiledClauses' a)Defined in Agda-2.7.0.1 · Agda.TypeChecking.CompiledClause.Compile · orphan
PrecomputeFreeVars a => PrecomputeFreeVars (Maybe a)Defined in Agda-2.7.0.1 · Agda.TypeChecking.Free.Precompute
PrecomputeFreeVars a => PrecomputeFreeVars [a]Defined in Agda-2.7.0.1 · Agda.TypeChecking.Free.Precompute
(PrecomputeFreeVars a, PrecomputeFreeVars b) => PrecomputeFreeVars (a, b)Defined in Agda-2.7.0.1 · Agda.TypeChecking.Free.Precompute

methodprecomputeFreeVars :: a -> FV a

valueprecomputedFreeVars :: PrecomputeFreeVars a => a -> IntSet

valueprecomputeFreeVars_ :: PrecomputeFreeVars a => a -> a