ADPfusion-0.4.0.2: Efficient, high-level dynamic programming.

Index

%ADP.Fusion
...ADP.Fusion
:|ADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
<<#ADP.Fusion
<<<ADP.Fusion
<||ADP.Fusion.TH.Backtrack, ADP.Fusion.TH, ADP.Fusion
>>>ADP.Fusion.QuickCheck.Point
allProps 
1 (Function)ADP.Fusion.QuickCheck.Point
2 (Function)ADP.Fusion.QuickCheck.Set
3 (Function)ADP.Fusion.QuickCheck.Subword
ApplyADP.Fusion.Apply, ADP.Fusion
applyADP.Fusion.Apply, ADP.Fusion
ArgADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
AxiomADP.Fusion.SynVar.Axiom, ADP.Fusion.SynVar, ADP.Fusion
axiomADP.Fusion.SynVar.Axiom, ADP.Fusion.SynVar, ADP.Fusion
AxiomStreamADP.Fusion.SynVar.Axiom, ADP.Fusion.SynVar, ADP.Fusion
BacktrackADP.Fusion.SynVar.Backtrack, ADP.Fusion.SynVar, ADP.Fusion
BacktrackIndexADP.Fusion.SynVar.Backtrack, ADP.Fusion.SynVar, ADP.Fusion
BacktrackingProductADP.Fusion.TH.Backtrack
BtIRecADP.Fusion.SynVar.Recursive.Type, ADP.Fusion.SynVar.Recursive, ADP.Fusion.SynVar, ADP.Fusion
BtITblADP.Fusion.SynVar.Array.Type, ADP.Fusion.SynVar.Array, ADP.Fusion.SynVar, ADP.Fusion
BuildADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
buildADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
buildBacktrackingChoiceADP.Fusion.TH.Backtrack
buildLeftTypeADP.Fusion.TH.Backtrack
buildRightTypeADP.Fusion.TH.Backtrack
buildRnsADP.Fusion.TH.Backtrack
buildSigRTypeADP.Fusion.TH.Backtrack
CheckLeftADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
CheckRightADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
Chr 
1 (Type/Class)ADP.Fusion.Term.Chr.Type, ADP.Fusion.Term.Chr, ADP.Fusion.Term, ADP.Fusion
2 (Data Constructor)ADP.Fusion.Term.Chr.Type, ADP.Fusion.Term.Chr, ADP.Fusion.Term, ADP.Fusion
chrADP.Fusion.Term.Chr.Type, ADP.Fusion.Term.Chr, ADP.Fusion.Term, ADP.Fusion
chrLeftADP.Fusion.Term.Chr.Type, ADP.Fusion.Term.Chr, ADP.Fusion.Term, ADP.Fusion
ComplementContextADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
ComplementedADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
ContextADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
csSADP.Fusion.QuickCheck.Subword
customCheck 
1 (Function)ADP.Fusion.QuickCheck.Point
2 (Function)ADP.Fusion.QuickCheck.Set
3 (Function)ADP.Fusion.QuickCheck.Subword
Deletion 
1 (Type/Class)ADP.Fusion.Term.Deletion.Type, ADP.Fusion.Term.Deletion, ADP.Fusion.Term, ADP.Fusion
2 (Data Constructor)ADP.Fusion.Term.Deletion.Type, ADP.Fusion.Term.Deletion, ADP.Fusion.Term, ADP.Fusion
Edge 
1 (Type/Class)ADP.Fusion.Term.Edge.Type, ADP.Fusion.Term.Edge, ADP.Fusion.Term, ADP.Fusion
2 (Data Constructor)ADP.Fusion.Term.Edge.Type, ADP.Fusion.Term.Edge, ADP.Fusion.Term, ADP.Fusion
ElementADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
ElmADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
ElmBtIRecADP.Fusion.SynVar.Recursive.Type, ADP.Fusion.SynVar.Recursive, ADP.Fusion.SynVar, ADP.Fusion
ElmBtITblADP.Fusion.SynVar.Array.Type, ADP.Fusion.SynVar.Array, ADP.Fusion.SynVar, ADP.Fusion
ElmChrADP.Fusion.Term.Chr.Type, ADP.Fusion.Term.Chr, ADP.Fusion.Term, ADP.Fusion
ElmDeletionADP.Fusion.Term.Deletion.Type, ADP.Fusion.Term.Deletion, ADP.Fusion.Term, ADP.Fusion
ElmEdgeADP.Fusion.Term.Edge.Type, ADP.Fusion.Term.Edge, ADP.Fusion.Term, ADP.Fusion
ElmEpsilonADP.Fusion.Term.Epsilon.Type, ADP.Fusion.Term.Epsilon, ADP.Fusion.Term, ADP.Fusion
ElmIRecADP.Fusion.SynVar.Recursive.Type, ADP.Fusion.SynVar.Recursive, ADP.Fusion.SynVar, ADP.Fusion
ElmITblADP.Fusion.SynVar.Array.Type, ADP.Fusion.SynVar.Array, ADP.Fusion.SynVar, ADP.Fusion
ElmPeekIndexADP.Fusion.Term.PeekIndex.Type, ADP.Fusion.Term.PeekIndex, ADP.Fusion.Term, ADP.Fusion
ElmSADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
ElmStrngADP.Fusion.Term.Strng.Type, ADP.Fusion.Term.Strng, ADP.Fusion.Term, ADP.Fusion
ElmTSADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
EmptyOkADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
Epsilon 
1 (Type/Class)ADP.Fusion.Term.Epsilon.Type, ADP.Fusion.Term.Epsilon, ADP.Fusion.Term, ADP.Fusion
2 (Data Constructor)ADP.Fusion.Term.Epsilon.Type, ADP.Fusion.Term.Epsilon, ADP.Fusion.Term, ADP.Fusion
exposeADP.Fusion.SynVar.Fill, ADP.Fusion.SynVar, ADP.Fusion
ExposeTablesADP.Fusion.SynVar.Fill, ADP.Fusion.SynVar, ADP.Fusion
fromTerminalStreamADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
FunADP.Fusion.Apply, ADP.Fusion
genAttributeFunctionADP.Fusion.TH.Backtrack
GenBacktrackTableADP.Fusion.SynVar.Backtrack, ADP.Fusion.SynVar, ADP.Fusion
genChoiceFunctionADP.Fusion.TH.Backtrack
genClauseBacktrackADP.Fusion.TH.Backtrack
getArgADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
getIdxADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
GetIxsADP.Fusion.QuickCheck.Point
getIxsADP.Fusion.QuickCheck.Point
getMonadNameADP.Fusion.TH.Backtrack
getObjectiveNamesADP.Fusion.TH.Backtrack
getOmxADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
getRuleResultTypeADP.Fusion.TH.Common
getRuleSynVarNamesADP.Fusion.TH.Backtrack
highBitADP.Fusion.QuickCheck.Set
highestADP.Fusion.QuickCheck.Subword
highestBADP.Fusion.QuickCheck.Set
highestBIIADP.Fusion.QuickCheck.Set
initialContextADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
InsideContextADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
iPackTerminalStreamADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
IRec 
1 (Type/Class)ADP.Fusion.SynVar.Recursive.Type, ADP.Fusion.SynVar.Recursive, ADP.Fusion.SynVar, ADP.Fusion
2 (Data Constructor)ADP.Fusion.SynVar.Recursive.Type, ADP.Fusion.SynVar.Recursive, ADP.Fusion.SynVar, ADP.Fusion
iRecConstraintADP.Fusion.SynVar.Recursive.Type, ADP.Fusion.SynVar.Recursive, ADP.Fusion.SynVar, ADP.Fusion
iRecFromADP.Fusion.SynVar.Recursive.Type, ADP.Fusion.SynVar.Recursive, ADP.Fusion.SynVar, ADP.Fusion
iRecFunADP.Fusion.SynVar.Recursive.Type, ADP.Fusion.SynVar.Recursive, ADP.Fusion.SynVar, ADP.Fusion
iRecToADP.Fusion.SynVar.Recursive.Type, ADP.Fusion.SynVar.Recursive, ADP.Fusion.SynVar, ADP.Fusion
IStaticADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
ITbl 
1 (Type/Class)ADP.Fusion.SynVar.Array.Type, ADP.Fusion.SynVar.Array, ADP.Fusion.SynVar, ADP.Fusion
2 (Data Constructor)ADP.Fusion.SynVar.Array.Type, ADP.Fusion.SynVar.Array, ADP.Fusion.SynVar, ADP.Fusion
iTblArrayADP.Fusion.SynVar.Array.Type, ADP.Fusion.SynVar.Array, ADP.Fusion.SynVar, ADP.Fusion
iTblBigOrderADP.Fusion.SynVar.Array.Type, ADP.Fusion.SynVar.Array, ADP.Fusion.SynVar, ADP.Fusion
iTblConstraintADP.Fusion.SynVar.Array.Type, ADP.Fusion.SynVar.Array, ADP.Fusion.SynVar, ADP.Fusion
iTblFunADP.Fusion.SynVar.Array.Type, ADP.Fusion.SynVar.Array, ADP.Fusion.SynVar, ADP.Fusion
iTblLittleOrderADP.Fusion.SynVar.Array.Type, ADP.Fusion.SynVar.Array, ADP.Fusion.SynVar, ADP.Fusion
IVariableADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
M 
1 (Type/Class)ADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
2 (Data Constructor)ADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
makeAlgebraProductADP.Fusion.TH, ADP.Fusion
makeBacktrackingProductInstanceADP.Fusion.TH.Backtrack
manySADP.Fusion.Term.Strng.Type, ADP.Fusion.Term.Strng, ADP.Fusion.Term, ADP.Fusion
maxPLADP.Fusion.QuickCheck.Point
minSizeADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
MkStreamADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
mkStreamADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
ModifyConstraintADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
MutateCellADP.Fusion.SynVar.Fill, ADP.Fusion.SynVar, ADP.Fusion
mutateCellADP.Fusion.SynVar.Fill, ADP.Fusion.SynVar, ADP.Fusion
MutateTablesADP.Fusion.SynVar.Fill, ADP.Fusion.SynVar, ADP.Fusion
mutateTablesADP.Fusion.SynVar.Fill, ADP.Fusion.SynVar, ADP.Fusion
mutateTablesDefaultADP.Fusion.SynVar.Fill, ADP.Fusion.SynVar, ADP.Fusion
mxsPPADP.Fusion.QuickCheck.Point
NaughtADP.Fusion.Base.Set, ADP.Fusion.Base, ADP.Fusion
NonEmptyADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
OFirstLeftADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
OLeftOfADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
OnlyTablesADP.Fusion.SynVar.Fill, ADP.Fusion.SynVar, ADP.Fusion
onlyTablesADP.Fusion.SynVar.Fill, ADP.Fusion.SynVar, ADP.Fusion
OnlyZeroADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
oPackTerminalStreamADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
options 
1 (Function)ADP.Fusion.QuickCheck.Point
2 (Function)ADP.Fusion.QuickCheck.Set
3 (Function)ADP.Fusion.QuickCheck.Subword
ORightOfADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
OStaticADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
OutsideContextADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
PeekIndex 
1 (Type/Class)ADP.Fusion.Term.PeekIndex.Type, ADP.Fusion.Term.PeekIndex, ADP.Fusion.Term, ADP.Fusion
2 (Data Constructor)ADP.Fusion.Term.PeekIndex.Type, ADP.Fusion.Term.PeekIndex, ADP.Fusion.Term, ADP.Fusion
prop_1dim_Itbl_ManySADP.Fusion.QuickCheck.Point
prop_1dim_Itbl_SomeSADP.Fusion.QuickCheck.Point
prop_2dimItCCADP.Fusion.QuickCheck.Point
prop_2dimIt_NC_CNADP.Fusion.QuickCheck.Point
prop_2dim_Itbl_ManyS_ManySADP.Fusion.QuickCheck.Point
prop_2dim_Itbl_SomeS_SomeSADP.Fusion.QuickCheck.Point
prop_2dim_ManyS_ManySADP.Fusion.QuickCheck.Point
prop_2dim_SomeS_SomeSADP.Fusion.QuickCheck.Point
prop_bii_eADP.Fusion.QuickCheck.Set
prop_bii_iADP.Fusion.QuickCheck.Set
prop_bii_ieADP.Fusion.QuickCheck.Set
prop_bii_ieeADP.Fusion.QuickCheck.Set
prop_bii_ieeeADP.Fusion.QuickCheck.Set
prop_bii_ieee_nADP.Fusion.QuickCheck.Set
prop_bii_iee_nADP.Fusion.QuickCheck.Set
prop_bii_ie_nADP.Fusion.QuickCheck.Set
prop_bii_i_nADP.Fusion.QuickCheck.Set
prop_b_iiADP.Fusion.QuickCheck.Set
prop_b_iiiADP.Fusion.QuickCheck.Set
prop_b_iii_nnnADP.Fusion.QuickCheck.Set
prop_b_ii_nnADP.Fusion.QuickCheck.Set
prop_CCADP.Fusion.QuickCheck.Point
prop_ccOccADP.Fusion.QuickCheck.Subword
prop_cIcOcADP.Fusion.QuickCheck.Subword
prop_cOcADP.Fusion.QuickCheck.Subword
prop_cOcccADP.Fusion.QuickCheck.Subword
prop_cOcIcADP.Fusion.QuickCheck.Subword
prop_Epsilon 
1 (Function)ADP.Fusion.QuickCheck.Point
2 (Function)ADP.Fusion.QuickCheck.Subword
prop_ItADP.Fusion.QuickCheck.Point
prop_Itbl_ManySADP.Fusion.QuickCheck.Point
prop_Itbl_SomeSADP.Fusion.QuickCheck.Point
prop_ItCADP.Fusion.QuickCheck.Point
prop_ManySADP.Fusion.QuickCheck.Point
prop_O_2dimItCCADP.Fusion.QuickCheck.Point
prop_O_2dimIt_NC_CNADP.Fusion.QuickCheck.Point
prop_O_EpsilonADP.Fusion.QuickCheck.Point
prop_O_ItADP.Fusion.QuickCheck.Point
prop_O_ItCADP.Fusion.QuickCheck.Point
prop_O_ItCCADP.Fusion.QuickCheck.Point
prop_O_ItNCADP.Fusion.QuickCheck.Point
prop_O_ZEpsilonADP.Fusion.QuickCheck.Point
prop_O_ZEpsilonEpsilonADP.Fusion.QuickCheck.Point
prop_O_ZItADP.Fusion.QuickCheck.Point
prop_O_ZItCCADP.Fusion.QuickCheck.Point
prop_O_ZItNCADP.Fusion.QuickCheck.Point
prop_SomeSADP.Fusion.QuickCheck.Point
prop_sv_IIOADP.Fusion.QuickCheck.Subword
prop_sv_IOADP.Fusion.QuickCheck.Subword
prop_sv_IOIADP.Fusion.QuickCheck.Subword
prop_sv_OIADP.Fusion.QuickCheck.Subword
prop_sv_OIIADP.Fusion.QuickCheck.Subword
prop_TtADP.Fusion.QuickCheck.Point
prop_ZEpsilonADP.Fusion.QuickCheck.Point
prop_ZItADP.Fusion.QuickCheck.Point
RADP.Fusion.QuickCheck.Point
recBuildLamPatADP.Fusion.TH.Backtrack
RuleContextADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
runFreezeMTblsADP.Fusion.SynVar.Fill, ADP.Fusion.SynVar, ADP.Fusion
S 
1 (Type/Class)ADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
2 (Data Constructor)ADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
S4 
1 (Type/Class)ADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
2 (Data Constructor)ADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
S5 
1 (Type/Class)ADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
2 (Data Constructor)ADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
S6 
1 (Type/Class)ADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
2 (Data Constructor)ADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
SigRADP.Fusion.TH.Backtrack
someSADP.Fusion.Term.Strng.Type, ADP.Fusion.Term.Strng, ADP.Fusion.Term, ADP.Fusion
StackADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
StaticCheckADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
staticCheckADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
streamToVectorADP.Fusion.TH.Backtrack
Strng 
1 (Type/Class)ADP.Fusion.Term.Strng.Type, ADP.Fusion.Term.Strng, ADP.Fusion.Term, ADP.Fusion
2 (Data Constructor)ADP.Fusion.Term.Strng.Type, ADP.Fusion.Term.Strng, ADP.Fusion.Term, ADP.Fusion
strngADP.Fusion.Term.Strng.Type, ADP.Fusion.Term.Strng, ADP.Fusion.Term, ADP.Fusion
tableBigOrderADP.Fusion.SynVar.Fill, ADP.Fusion.SynVar, ADP.Fusion
TableConstraintADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
TableFunADP.Fusion.SynVar.Fill, ADP.Fusion.SynVar, ADP.Fusion
TableIndicesADP.Fusion.SynVar.Indices
tableIndicesADP.Fusion.SynVar.Indices
tableLittleOrderADP.Fusion.SynVar.Fill, ADP.Fusion.SynVar, ADP.Fusion
TableOrderADP.Fusion.SynVar.Fill, ADP.Fusion.SynVar, ADP.Fusion
TableStaticVarADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
tableStaticVarADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
tableStreamIndexADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
TblConstraintADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
TermArgADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
TerminalStreamADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
terminalStreamADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
TermStaticVarADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
termStaticVarADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
termStreamIndexADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
TermSymbolADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
ThatADP.Fusion.Base.Set, ADP.Fusion.Base, ADP.Fusion
ThisADP.Fusion.Base.Set, ADP.Fusion.Base, ADP.Fusion
ThisThatNaughtADP.Fusion.Base.Set, ADP.Fusion.Base, ADP.Fusion
toBacktrackADP.Fusion.SynVar.Backtrack, ADP.Fusion.SynVar, ADP.Fusion
toEmptyADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
toNonEmptyADP.Fusion.Base.Classes, ADP.Fusion.Base, ADP.Fusion
toTerminalStreamADP.Fusion.Base.Multi, ADP.Fusion.Base, ADP.Fusion
trADP.Fusion.QuickCheck.Common
undefbs2iADP.Fusion.Base.Set, ADP.Fusion.Base, ADP.Fusion
undefiADP.Fusion.Base.Set, ADP.Fusion.Base, ADP.Fusion
vectorToStreamADP.Fusion.TH.Backtrack
xoBADP.Fusion.QuickCheck.Set
xoSADP.Fusion.QuickCheck.Subword
xprop_O_ixZItCCADP.Fusion.QuickCheck.Point
xsADP.Fusion.QuickCheck.Point
xsBADP.Fusion.QuickCheck.Set
xsBIIADP.Fusion.QuickCheck.Set
xsPADP.Fusion.QuickCheck.Point
xsPoADP.Fusion.QuickCheck.Point
xsPPADP.Fusion.QuickCheck.Point
xsPPoADP.Fusion.QuickCheck.Point
xsSADP.Fusion.QuickCheck.Subword
xsZPADP.Fusion.QuickCheck.Point
xsZPoADP.Fusion.QuickCheck.Point
|||ADP.Fusion
~~ADP.Fusion