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

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

dataAnnote	Embedder.Atmo.Syntax
DataCon
1 (Type/Class)	Embedder.Atmo.Syntax
2 (Data Constructor)	Embedder.Atmo.Syntax
DataConId
1 (Type/Class)	Embedder.Atmo.Syntax
2 (Data Constructor)	Embedder.Atmo.Syntax
dataCons	Embedder.Atmo.Syntax
datacons	Embedder.Atmo.DependencyGraph
dataconsPat	Embedder.Atmo.DependencyGraph
dataconsPb	Embedder.Atmo.DependencyGraph
DataDefn
1 (Type/Class)	Embedder.Atmo.Syntax
2 (Data Constructor)	Embedder.Atmo.Syntax
DataHeader	Embedder.Atmo.Syntax
dataName	Embedder.Atmo.Syntax
Datatype	Embedder.Isabelle.Syntax
DatatypeConstructor
1 (Type/Class)	Embedder.Isabelle.Syntax
2 (Data Constructor)	Embedder.Isabelle.Syntax
datatypeConstructors	Embedder.Isabelle.Syntax
datatypeName	Embedder.Isabelle.Syntax
datatypeTVars	Embedder.Isabelle.Syntax
dataVars	Embedder.Atmo.Syntax
DCon	Embedder.Atmo.DependencyGraph
DDecl	Embedder.Atmo.DependencyGraph
DDef	Embedder.Atmo.DependencyGraph
debugLint	Embedder.Config
Decl	Embedder.Isabelle.Syntax
Declaration	Embedder.Atmo.DependencyGraph
decls	Embedder.Isabelle.Syntax
Def
1 (Type/Class)	Embedder.Atmo.DependencyGraph
2 (Data Constructor)	Embedder.Atmo.DependencyGraph
def2Decl	Embedder.Atmo.DependencyGraph
defaultInputsFile	Embedder.Config
Definition	Embedder.Isabelle.Syntax
definitionName	Embedder.Isabelle.Syntax
definitionTerm	Embedder.Isabelle.Syntax
definitionType	Embedder.Isabelle.Syntax
definitionVars	Embedder.Isabelle.Syntax
Defn
1 (Type/Class)	Embedder.Atmo.Syntax
2 (Data Constructor)	Embedder.Atmo.Syntax
defnAnnote	Embedder.Atmo.Syntax
DefnAttr	Embedder.Atmo.Syntax
defnAttr	Embedder.Atmo.Syntax
defnBinds	Embedder.Atmo.Syntax
defnName	Embedder.Atmo.Syntax
defnPolyTy	Embedder.Atmo.Syntax
deparenify	ReWire.HSE.Desugar
depatLambdas	ReWire.HSE.Desugar
depth	Embedder.Config
Desugar
1 (Type/Class)	ReWire.HSE.Desugar
2 (Data Constructor)	ReWire.HSE.Desugar
desugar
1 (Function)	ReWire.HSE.Desugar
2 (Function)	Embedder.HSE.Desugar
desugarAsPats	ReWire.HSE.Desugar
desugarDos	ReWire.HSE.Desugar
desugarFuns	ReWire.HSE.Desugar
desugarGuards	ReWire.HSE.Desugar
desugarIfs	ReWire.HSE.Desugar
desugarInfix	ReWire.HSE.Desugar
desugarLets	ReWire.HSE.Desugar
desugarNegLitPats	ReWire.HSE.Desugar
desugarNegs	ReWire.HSE.Desugar
desugarRecords	ReWire.HSE.Desugar
desugarTuples	ReWire.HSE.Desugar
desugarTyFuns	ReWire.HSE.Desugar
deuniquifyLocalOps	ReWire.HSE.Fixity
Disp	Embedder.Isabelle.Syntax
Div	Embedder.Builtins
dsAlt	ReWire.HSE.Desugar
dsBinds	ReWire.HSE.Desugar
dsConDecl	ReWire.HSE.Desugar
dsDecl	ReWire.HSE.Desugar
dsDeclHead	ReWire.HSE.Desugar
dsExp	ReWire.HSE.Desugar
dsMatch	ReWire.HSE.Desugar
dsModule	ReWire.HSE.Desugar
dsPat	ReWire.HSE.Desugar
dsQName	ReWire.HSE.Desugar
dstArrow	Embedder.Atmo.Types
dstNegTy	Embedder.Atmo.Types
dstPlusTy	Embedder.Atmo.Types
dstPoly1	Embedder.Atmo.Types
dstReacT	Embedder.Atmo.Types
dstStateT	Embedder.Atmo.Types
dstTyApp	Embedder.Atmo.Types
dsType	ReWire.HSE.Desugar
DTyp	Embedder.Isabelle.Syntax
dump	Embedder.Config