Safe Haskell | None |
---|
Agda.TypeChecking.CompiledClause.Match
Documentation
matchCompiled :: CompiledClauses -> MaybeReducedArgs -> TCM (Reduced (Blocked Args) Term)Source
type Stack = [(CompiledClauses, MaybeReducedArgs, Args -> Args)]Source
Agda-2.3.2: A dependently typed functional programming language and proof assistant
Safe Haskell | None |
---|
Agda.TypeChecking.CompiledClause.Match
matchCompiled :: CompiledClauses -> MaybeReducedArgs -> TCM (Reduced (Blocked Args) Term)Source
type Stack = [(CompiledClauses, MaybeReducedArgs, Args -> Args)]Source