dragen-0.1.0.0: Automatic derivation of optimized QuickCheck random generators. (Index)

dragen-0.1.0.0: Automatic derivation of optimized QuickCheck random generators.

Index

addDep	Megadeth
addMutRecLoops	Reification
App	TypeInfo
apply	TypeInfo
applyTo	Megadeth
Base	TypeInfo
blacklist	Optimization
builtInFreqs	Prediction
cargs	TypeInfo
chiSquare	Optimization
chiSquareVec	Optimization
chooseExpQ	Arbitrary
cname	TypeInfo
Con
1 (Type/Class)	TypeInfo
2 (Data Constructor)	TypeInfo
confirm	Prediction, Dragen
consList	TypeInfo
ConsMap	Countable
constructors	Optimization, Dragen
conType	TypeInfo
ConView	Megadeth
CostFunction	Optimization
count	Countable
count1	Countable
Countable	Countable
Countable1	Countable
countSat	TypeInfo
customListGen	Arbitrary
customMaybeGen	Arbitrary
deriveArbitraryInstance	Arbitrary
devArbitrary	Arbitrary
doPreq	Megadeth
dot	Optimization
dragenArbitrary	Dragen
epsilon	Optimization
extractCon	Reification
extractTVar	Reification
extractType	Reification
filterKeys	Prediction
findLeafTypes	Megadeth
fixAppl	Megadeth
flatten	TypeInfo
FreqMap	Prediction
frequencyExpQ	Arbitrary
gcount	Countable
gcount1	Countable
GCountable	Countable
GCountable1	Countable
genGWMatrix	Prediction
genTupleArbs	Arbitrary
getCon	TypeInfo
getDeps	Megadeth
getRecursives	TypeInfo
getSiblings	TypeInfo
getTerminals	TypeInfo
getTy	Megadeth
hasArbIns	Megadeth
headOf	Megadeth
headOfNoVar	Megadeth
Heat	Optimization
initMap	Prediction
instantiate	Reification
involvedWith	TypeInfo
isInsName	Megadeth
isMutRec	Arbitrary
isPrim	Megadeth
isRecursive	Megadeth
isSibling	TypeInfo
isTerminal	TypeInfo
isUnit	Megadeth
isVarT	Megadeth
localSearch	Optimization
makeArbExpsQ	Arbitrary
megaderive	Megadeth
megaderivePrim	Megadeth
member	Megadeth
Name	TypeInfo
Names	Megadeth
neighborhood	Optimization
nm	Megadeth
normalize	Prediction
normalizeTerminals	Prediction
occurrences	TypeInfo
only	Optimization, Dragen
onlyTypes	Optimization
optimizeLS	Optimization
paramNames	Megadeth
predict	Prediction
prevDev	Megadeth
prim	TypeInfo
ProbMap	Prediction
rec	TypeInfo
recursive	Megadeth
reifyInvolvedTypes	Reification
reifyName	Reification
reifyNameEnv	Reification
reifyType	Reification
reifyTypeEnv	Reification
showMap	Prediction
SimpleCon	Megadeth
simpleConView	Megadeth
Size	Prediction
splitCons	TypeInfo
StQ	Megadeth
subtype	TypeInfo
tcons	TypeInfo
tocheck	Megadeth
tsig	TypeInfo
tt	Megadeth
Type	TypeInfo
typeArgs	TypeInfo
TypeDef
1 (Type/Class)	TypeInfo
2 (Data Constructor)	TypeInfo
TypeEnv	TypeInfo
typeName	TypeInfo
types	Optimization, Dragen
typeSigs	TypeInfo
unapply	TypeInfo
uniform	Optimization, Dragen
unsupported	Reification
updateMutRec	Arbitrary
Var	TypeInfo
varNames	Megadeth
weighted	Optimization, Dragen
whitelist	Optimization
without	Optimization, Dragen
withoutTypes	Optimization