:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05
ModuleAgda-2.7.0.1Haskell2010
Eq UnderLambdaDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstOrd UnderLambdaDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstShow UnderLambdaDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstSemigroup UnderLambdaDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstMonoid UnderLambdaDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstEq SeqArgDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstOrd SeqArgDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstShow SeqArgDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstSemigroup SeqArgDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstMonoid SeqArgDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstEq OccursDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstOrd OccursDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstShow OccursDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstSemigroup OccursDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstMonoid OccursDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstHasFree TAltDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstHasFree TTermDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstHasFree IntDefined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstHasFree a => HasFree (Binder a)Defined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstHasFree a => HasFree (InSeq a)Defined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstHasFree a => HasFree [a]Defined in Agda-2.7.0.1 · Agda.Compiler.Treeless.Subst(HasFree a, HasFree b) => HasFree (a, b)Defined in Agda-2.7.0.1 · Agda.Compiler.Treeless.SubstInSeq aStrenghtening.