valueDependencyComponents | FreeC.IR.DependencyGraph |
valueDependencyGraph | FreeC.IR.DependencyGraph |
valueRefs | FreeC.IR.Reference |
ValueScope | FreeC.IR.Syntax.Name, FreeC.IR.Syntax |
Var | |
1 (Data Constructor) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
2 (Data Constructor) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
varApp | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
VarEntry | FreeC.Environment.Entry |
Variable | FreeC.Backend.Coq.Syntax |
variable | FreeC.Backend.Coq.Syntax |
Variables | FreeC.Backend.Coq.Syntax |
VarIdent | FreeC.Frontend.IR.Token |
VarName | FreeC.IR.Syntax.Name, FreeC.IR.Syntax, FreeC.LiftedIR.Syntax.Name, FreeC.LiftedIR.Syntax |
VarPat | |
1 (Type/Class) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
2 (Data Constructor) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
3 (Type/Class) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
4 (Data Constructor) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
varPatAgdaIdent | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
varPatCoqIdent | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
varPatIdent | |
1 (Function) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
2 (Function) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
varPatIsStrict | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
varPatName | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
varPatQName | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
varPatSrcSpan | |
1 (Function) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
2 (Function) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
varPatToExpr | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
varPatType | |
1 (Function) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
2 (Function) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
VarRef | FreeC.IR.Reference |
VarSymbol | FreeC.Frontend.IR.Token |
vcat | FreeC.Pretty |
vernacularCommands | FreeC.Backend.Coq.Keywords |
visible | FreeC.Backend.Agda.Syntax |
visibleTypeApp | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
vsep | FreeC.Pretty |