ddc-core-simpl-0.3.2.1: Disciplined Disciple Compiler code transformations. (Index - C)

ddc-core-simpl-0.3.2.1: Disciplined Disciple Compiler code transformations.

A
B
C
E
F
G
H
I
L
M
N
P
R
S
T
U
All

Index - C

checkDisjoint	DDC.Core.Transform.Rewrite.Disjoint
checkDistinct	DDC.Core.Transform.Rewrite.Disjoint
checkRewriteRule	DDC.Core.Transform.Rewrite.Rule
Config
1 (Type/Class)	DDC.Core.Transform.Thread
2 (Data Constructor)	DDC.Core.Transform.Thread
3 (Type/Class)	DDC.Core.Transform.Eta
4 (Data Constructor)	DDC.Core.Transform.Eta
5 (Type/Class)	DDC.Core.Transform.Beta
6 (Data Constructor)	DDC.Core.Transform.Beta
7 (Type/Class)	DDC.Core.Transform.Snip
8 (Data Constructor)	DDC.Core.Transform.Snip
9 (Type/Class)	DDC.Core.Transform.Forward
10 (Data Constructor)	DDC.Core.Transform.Forward
configBindRedexes	DDC.Core.Transform.Beta
configCheckConfig	DDC.Core.Transform.Thread
configExpand	DDC.Core.Transform.Eta
configFloatControl	DDC.Core.Transform.Forward
configFloatLetBody	DDC.Core.Transform.Forward
configSnipLetBody	DDC.Core.Transform.Snip
configSnipOverApplied	DDC.Core.Transform.Snip
configThreadMe	DDC.Core.Transform.Thread
configThreadPat	DDC.Core.Transform.Thread
configTokenType	DDC.Core.Transform.Thread
configVoidType	DDC.Core.Transform.Thread
configWrapResultExp	DDC.Core.Transform.Thread
configWrapResultType	DDC.Core.Transform.Thread
configZero
1 (Function)	DDC.Core.Transform.Eta
2 (Function)	DDC.Core.Transform.Beta
3 (Function)	DDC.Core.Transform.Snip
containsRegion	DDC.Core.Transform.Rewrite.Env
containsWitness	DDC.Core.Transform.Rewrite.Env