Module types

Expand description

Auto-generated module

🤖 Generated with SplitRS

Structs§

AgdaAnalysisCache
AgdaCacheEntry
AgdaClause: A single function definition clause. f p1 p2 = rhs (where decls...)
AgdaConstantFoldingHelper
AgdaConstructor: A single constructor in a data declaration.
AgdaData: Top-level data declaration.
AgdaDepGraph
AgdaDominatorTree
AgdaExtCache: Analysis cache for AgdaExt.
AgdaExtConstFolder: Constant folding helper for AgdaExt.
AgdaExtDepGraph: Dependency graph for AgdaExt.
AgdaExtDomTree: Dominator tree for AgdaExt.
AgdaExtLiveness: Liveness analysis for AgdaExt.
AgdaExtPassConfig: Configuration for AgdaExt passes.
AgdaExtPassRegistry: Pass registry for AgdaExt.
AgdaExtPassStats: Statistics for AgdaExt passes.
AgdaExtWorklist: Worklist for AgdaExt.
AgdaField: A single field in a record declaration.
AgdaLivenessInfo
AgdaModule: A complete Agda 2 source file.
AgdaPassConfig
AgdaPassRegistry
AgdaPassStats
AgdaRecord: Top-level record declaration.
AgdaWorklist
AgdaX2Cache: Analysis cache for AgdaX2.
AgdaX2ConstFolder: Constant folding helper for AgdaX2.
AgdaX2DepGraph: Dependency graph for AgdaX2.
AgdaX2DomTree: Dominator tree for AgdaX2.
AgdaX2Liveness: Liveness analysis for AgdaX2.
AgdaX2PassConfig: Configuration for AgdaX2 passes.
AgdaX2PassRegistry: Pass registry for AgdaX2.
AgdaX2PassStats: Statistics for AgdaX2 passes.
AgdaX2Worklist: Worklist for AgdaX2.