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

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 - B

backslash	FreeC.Pretty
backupPos	FreeC.Backend.Agda.Syntax
Bang
1 (Data Constructor)	FreeC.Backend.Coq.Syntax
2 (Data Constructor)	FreeC.Frontend.IR.Token
Bare	FreeC.Backend.Coq.Syntax
bare	FreeC.Backend.Coq.Syntax
bareNameOf	FreeC.Backend.Agda.Syntax
bareNameWithDefault	FreeC.Backend.Agda.Syntax
baseLibName
1 (Function)	FreeC.Backend.Coq.Base
2 (Function)	FreeC.Backend.Agda.Base
Beginning	FreeC.Backend.Agda.Syntax
beginningOf	FreeC.Backend.Agda.Syntax
beginningOfFile	FreeC.Backend.Agda.Syntax
below	FreeC.IR.Subterm
beside	FreeC.Pretty
bestConInfo	FreeC.Backend.Agda.Syntax
Bind
1 (Type/Class)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
2 (Data Constructor)	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
3 (Data Constructor)	FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax
bind	FreeC.Backend.Agda.Converter.Free
Binder
1 (Type/Class)	FreeC.Backend.Coq.Syntax
2 (Type/Class)	FreeC.Backend.Agda.Syntax
3 (Data Constructor)	FreeC.Backend.Agda.Syntax
Binder'	FreeC.Backend.Agda.Syntax
binderName	FreeC.Backend.Agda.Syntax
binderPattern	FreeC.Backend.Agda.Syntax
Binders	FreeC.Backend.Coq.Syntax
bindExpr	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
BindHole	FreeC.Backend.Agda.Syntax
binding	FreeC.Backend.Agda.Syntax
bindSrcSpan	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
bindVarPat	FreeC.IR.Syntax.Expr, FreeC.IR.Syntax
blankProof	FreeC.Backend.Coq.Syntax
BlockComment	FreeC.IR.Syntax.Pragma, FreeC.IR.Syntax
BName	FreeC.Backend.Agda.Syntax
bnameFixity	FreeC.Backend.Agda.Syntax
bnameTactic	FreeC.Backend.Agda.Syntax
bool	FreeC.Pretty
boolTypeConName	FreeC.IR.Base.Prelude
BoundName	FreeC.Backend.Agda.Syntax
boundName	FreeC.Backend.Agda.Syntax
boundVarsAt	FreeC.IR.Subterm
boundVarsOf	FreeC.IR.Subterm
boundVarsWithTypeAt	FreeC.IR.Subterm
boundVarsWithTypeOf	FreeC.IR.Subterm
braces	FreeC.Pretty
brackets	FreeC.Pretty
BuiltinPragma	FreeC.Backend.Agda.Syntax