mcmc-synthesis-0.1.2.2: MCMC applied to probabilistic program synthesis (Index)

mcmc-synthesis-0.1.2.2: MCMC applied to probabilistic program synthesis

Index

categorical	Language.Synthesis.Distribution
constant	Language.Synthesis.Distribution
Distr
1 (Type/Class)	Language.Synthesis.Distribution
2 (Data Constructor)	Language.Synthesis.Distribution
jump	Language.Synthesis.Synthesis
logProbability	Language.Synthesis.Distribution
mhList	Language.Synthesis.MCMC
mix
1 (Function)	Language.Synthesis.Distribution
2 (Function)	Language.Synthesis.Mutations
mutateInstruction	Language.Synthesis.Mutations
mutateInstructionAt	Language.Synthesis.Mutations
mutateInstructionsAt	Language.Synthesis.Mutations
Mutation	Language.Synthesis.Mutations, Language.Synthesis.Synthesis
negativeInfinity	Language.Synthesis.Distribution
prior	Language.Synthesis.Synthesis
Problem
1 (Type/Class)	Language.Synthesis.Synthesis
2 (Data Constructor)	Language.Synthesis.Synthesis
randInt	Language.Synthesis.Distribution
replicate	Language.Synthesis.Distribution
runningBest	Language.Synthesis.Synthesis
sample	Language.Synthesis.Distribution
Score	Language.Synthesis.Synthesis
score	Language.Synthesis.Synthesis
sumByLogs	Language.Synthesis.Distribution
swapInstructions	Language.Synthesis.Mutations
synthesizeMhList	Language.Synthesis.Synthesis
toScore	Language.Synthesis.Synthesis
uniform	Language.Synthesis.Distribution