PrecomputeFreeVars Level Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Precompute |
PrecomputeFreeVars PlusLevel Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Precompute |
PrecomputeFreeVars Sort Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Precompute |
PrecomputeFreeVars Term Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Precompute |
PrecomputeFreeVars Type Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Precompute |
PrecomputeFreeVars a => PrecomputeFreeVars (Arg a) Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Precompute |
PrecomputeFreeVars a => PrecomputeFreeVars (Abs a) Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Precompute |
PrecomputeFreeVars a => PrecomputeFreeVars (Dom a) Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Precompute |
PrecomputeFreeVars a => PrecomputeFreeVars (Elim' a) Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Precompute |
PrecomputeFreeVars a => PrecomputeFreeVars (CompiledClauses' a) Source # | |
Instance detailsDefined in Agda.TypeChecking.CompiledClause.Compile |
PrecomputeFreeVars a => PrecomputeFreeVars (Maybe a) Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Precompute |
PrecomputeFreeVars a => PrecomputeFreeVars [a] Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Precompute |
(PrecomputeFreeVars a, PrecomputeFreeVars b) => PrecomputeFreeVars (a, b) Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Precompute |