free-compiler-0.3.0.0: A Haskell to Coq compiler.

Index - V

valueDependencyComponentsFreeC.IR.DependencyGraph
valueDependencyGraphFreeC.IR.DependencyGraph
valueRefsFreeC.IR.Reference
ValueScopeFreeC.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
varAppFreeC.IR.Syntax.Expr, FreeC.IR.Syntax
VarEntryFreeC.Environment.Entry
VariableFreeC.Backend.Coq.Syntax
variableFreeC.Backend.Coq.Syntax
VariablesFreeC.Backend.Coq.Syntax
VarIdentFreeC.Frontend.IR.Token
VarNameFreeC.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
varPatAgdaIdentFreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
varPatCoqIdentFreeC.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
varPatIsStrictFreeC.IR.Syntax.Expr, FreeC.IR.Syntax
varPatNameFreeC.IR.Syntax.Expr, FreeC.IR.Syntax
varPatQNameFreeC.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
varPatToExprFreeC.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
VarRefFreeC.IR.Reference
VarSymbolFreeC.Frontend.IR.Token
vcatFreeC.Pretty
vernacularCommandsFreeC.Backend.Coq.Keywords
visibleFreeC.Backend.Agda.Syntax
visibleTypeAppFreeC.IR.Syntax.Expr, FreeC.IR.Syntax
vsepFreeC.Pretty