rewire-embedder-2.8: A ReWire-to-Isabelle embedder (Index - F)

rewire-embedder-2.8: A ReWire-to-Isabelle embedder

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
$
|
All

Index - F

FDecl	Embedder.Atmo.DependencyGraph
FieldId	Embedder.Atmo.Syntax, Embedder.Atmo.Util
filterName	Embedder.Atmo.ToIsabelle
FinAdd	Embedder.Builtins
findCtorSigFromField	ReWire.HSE.Rename
FinDiv	Embedder.Builtins
FinEq	Embedder.Builtins
finger	ReWire.HSE.Rename
Finite	Embedder.Builtins
FiniteMaxBound	Embedder.Builtins
FiniteMinBound	Embedder.Builtins
finiteTy	Embedder.Atmo.Types
FinLt	Embedder.Builtins
finMax	Embedder.Atmo.Types
FinMul	Embedder.Builtins
FinSub	Embedder.Builtins
firstTerm	Embedder.Isabelle.Syntax
fixFixity	ReWire.HSE.Rename
fixLocalOps	ReWire.HSE.Fixity
Flatten	Embedder.Config
flatten	Embedder.Config
flattenAlts	ReWire.HSE.Desugar
flattenCase	Embedder.Atmo.ToIsabelle
flattenLam	Embedder.Atmo.Util
flattenLambdas	ReWire.HSE.Desugar
flattenSig	Embedder.Atmo.Types
flattenTuple	Embedder.Atmo.Util
flattenTy	Embedder.Atmo.ToIsabelle
flattenTyTuple	Embedder.Atmo.ToIsabelle
FQCtors	ReWire.HSE.Rename
FQCtorSigs	ReWire.HSE.Rename
FQName	ReWire.HSE.Rename
Free	Embedder.Isabelle.Syntax
FreeProgram	Embedder.Atmo.Syntax
Fresh	ReWire.HSE.Desugar
fresh	ReWire.HSE.Desugar
FromFinite	Embedder.Builtins
fromImps	ReWire.HSE.Rename
Fun	Embedder.Isabelle.Syntax
FunBinding
1 (Type/Class)	Embedder.Atmo.Syntax
2 (Data Constructor)	Embedder.Atmo.Syntax
fundamental	Embedder.Atmo.Types
funEquations	Embedder.Isabelle.Syntax
funId	Embedder.Isabelle.Syntax
fve	Embedder.Atmo.DependencyGraph
fvePat	Embedder.Atmo.DependencyGraph
fvePb	Embedder.Atmo.DependencyGraph
fvt	Embedder.Atmo.DependencyGraph