"kO      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNNone*,29:;<=BDIQRT For convenience.A ListBaseCases n (O a); constraint basically provides the list of values of type a with depth at most n. Successor ZeroGeneric Arbitrary6A binary constructor for building up trees of weights. rType of a single weight, tagged with the name of the associated constructor for additional compile-time checking. + ((9 ::   "Leaf")  (8 ::   "Node")  ()) "2Trees of weights assigned to constructors of type a1, rescaled to obtain a probability distribution.Two ways of constructing them. + (x1  x2  ...  xn  ()) :: " a , :: " a Using weightsC, there must be exactly as many weights as there are constructors., is equivalent to + (1  ...  1  ())3 (automatically fills out the right number of 1s).)OPick a constructor with a given distribution, and fill its fields recursively.*Like *?, with bounded size to ensure termination for recursive types.+5A smart constructor to specify a custom distribution.,Uniform distribution.I  !"#$%&'()*%List of weights for every constructor+,-./0123456789:;<=>?@ABCDEFGH0  !"#$%&'()*+,-./I)*(&'$%"# !+,HGFE-DCBA@./?>=<;: 98765432106    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGH1None  ")*+,)*" +, None'PQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvNonewxyz{|}~           !!""#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQOPROPSOPTOPUOPVOPWOPXOPYOPZOP[OP\OP]OP^OP_OP`OPaOPbOPcOPdOefOegOhiOhjOhkOhlOhmOhmOhnOhoOhoOhpOhqOhrOhsOhtOhuOhvOhwOxyOxzOx{Ox|Ox}Ox~OxOxOxOxOxOxOxOxOxOxOxOxOxOxOxOxOxOxOx Ox OxOxOx-generic-random-0.4.1.0-21wgXcOQw3XFqm1rymGUsCGeneric.Random.Internal.GenericGeneric.Random.GenericGeneric.Random.DataGeneric.Random.Boltzmann BaseCases' ListBaseCases listBaseCases BaseCases baseCasesWeightedSZTaggedunTaggedArity GAProduct gaProductGASumgaSumGAgaUnsizedSizedGen'unGen' UniformWeight uniformWeight WeightBuilderPrec%FirstWWeightsL:|NWeights_genericArbitrarygenericArbitrary'weightsuniformsized'gArbitrarySinglegaSum'$fListBaseCasesn:*:$fListBaseCasesn:+:$fListBaseCasesSK1$fListBaseCasesZK1$fListBaseCasesnM1$fListBaseCasesnU1$fBaseCasesnM1$fBaseCasesn:+:$fAlternativeWeighted$fApplicativeWeighted$fGAProduct:*: $fGAProductM1 $fGAProductK1 $fGAProductU1$fGASumsizedM1$fGASumsized:+:$fGAUnsized:+: $fGASized:+: $fGASizedM1 $fGAUnsizedM1 $fGAsizedM1$fUniformWeightL$fUniformWeight:|$fWeightBuilderL$fWeightBuilder:|$fNumW $fFunctorGen'$fApplicativeGen' $fMonadGen'$fFunctorTagged$fFunctorWeightedbase GHC.GenericsRep1boltzmann-samplers-0.1.0.0-JXp3XIEjxcQGhw29m2MjvmBoltzmann.Data generatorR_ generator_ generatorMR generatorMgeneratorWith'generatorRWith'generatorPRWith'generatorPWith'generatorRWithgeneratorPWithgeneratorPRWithgeneratorSRWith generator' generatorR' generatorPR' generatorP' generatorR generatorPR generatorP generatorSRBoltzmann.Data.DataPointsSize'Boltzmann.Data.Types coerceAliases coerceAliasaliasRaliasAliasAliasR AMonadRandom asMonadRandomMonadRandomLikecharincrdoubleRintegerRintdoubleBoltzmann.Speciespoint unPointifulsfix runWeightedweighted solveSizedsizedGeneratorsolvesysEmbedemapembedModuleScalarscalar<.>EndoSystemdimsys' ConstModule unConstModule PointifulZero