:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11
ModuleAgda-2.8.0.2Haskell2010
Eq UnderLambdaDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstOrd UnderLambdaDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstShow UnderLambdaDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstSemigroup UnderLambdaDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstMonoid UnderLambdaDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstEq SeqArgDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstOrd SeqArgDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstShow SeqArgDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstSemigroup SeqArgDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstMonoid SeqArgDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstEq OccursDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstOrd OccursDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstShow OccursDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstSemigroup OccursDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstMonoid OccursDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstHasFree TAltDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstHasFree TTermDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstHasFree IntDefined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstHasFree a => HasFree (Binder a)Defined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstHasFree a => HasFree (InSeq a)Defined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstHasFree a => HasFree [a]Defined in Agda-2.8.0.2 · Agda.Compiler.Treeless.Subst(HasFree a, HasFree b) => HasFree (a, b)Defined in Agda-2.8.0.2 · Agda.Compiler.Treeless.SubstInSeq aStrenghtening.