free-compiler-0.3.0.0: A Haskell to Coq compiler. (Index - V)

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

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
Y
Z
.
<
_
All

Index - V

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