package prbnmcn-dagger-test

You can search for identifiers within the package.

in-package search v0.2.0

prbnmcn-dagger-test
- Dagger_tests
  - Basic_consistency
    
    Gen
    
    Infix
    
    Rational
    
    Lmh
    
    Lmh_incremental
    
    Make
    
    Lang
    
    Array_ops
    
    Infix
    
    List_ops
    
    Seq_ops
    
    N
    
    Runner
    
    Smc_stratified
    
    Smc_systematic
  - Biased_coin
  - Diffusions
  - Linear_regression
    
    Smc
    
    FM
    
    Basis
    
    Map
    
    R
    
    R2
    
    R
    
    Table
    
    Traced
    
    Traced_incremental
  - Map_array
    
    Pure
    
    Infix
  - Poly
    
    Poly
    
    Smc
    
    Array_ops
    
    Infix
    
    List_ops
    
    Seq_ops
    
    Smc_types
  - Random_walks
  - Resampling_test
    
    Dist
    
    R
    
    Rat
  - Sprinkler
    
    Traced
    
    Traced_incremental
  - Yield

Legend:
Library
Module
Module type
Parameter
Class
Class type

val name : string -> string

val eval : 
  burn_in:int ->
  int ->
  'a Dagger.Smc_inference.Unit_smc.t ->
  'a0 Seq.t

val dist_with_oracle : 
  ?plot:string ->
  ?oracle_pdf:(float -> float) ->
  burn_in:int ->
  int ->
  float Dagger.Smc_inference.Unit_smc.t ->
  (Dagger.RNG.t, float) Stats.Stats_intf.gen ->
  float

val gaussian_1d : float Dagger.Smc_inference.Unit_smc.t

val test_gaussian_1d : QCheck.Test.t

val gamma_1d : float Dagger.Smc_inference.Unit_smc.t

val test_gamma_1d : QCheck.Test.t

val gaussian_sum : float Dagger.Smc_inference.Unit_smc.t

val gaussian_sum_oracle : float Gen.t

val test_gaussian_sum : QCheck.Test.t

val iid_gaussian_sum : float Dagger.Smc_inference.Unit_smc.t

val iid_gaussian_sum_oracle : float Gen.t

val test_iid_gaussian_sum : QCheck.Test.t

val gaussian_chain : float Dagger.Smc_inference.Unit_smc.t

val gaussian_chain_oracle : float Gen.t

val test_gaussian_chain : QCheck.Test.t

val gaussian_sum_map : float Dagger.Smc_inference.Unit_smc.t

val gaussian_sum_bind : float Dagger.Smc_inference.Unit_smc.t

val test_map2_bind : QCheck.Test.t

val mixture1 : float Dagger.Smc_inference.Unit_smc.t

val mixture_oracle : float Gen.t

val test_mixture1 : QCheck.Test.t

val mixture2 : float Dagger.Smc_inference.Unit_smc.t

val test_mixture2 : QCheck.Test.t

val mixture3 : float Dagger.Smc_inference.Unit_smc.t

val mixture3_oracle : float Gen.t

val oracle_pdf : float -> float

val test_mixture3 : QCheck.Test.t

val test_mixture4 : QCheck.Test.t

type range = {

min : float;
max : float;

}

val uniform_in_interval : range:range -> Random.State.t -> float

val uniform_dist : float Dagger.Dist.t

val importance_gaussian : float Dagger.Smc_inference.Unit_smc.t

val test_importance : QCheck.Test.t

val tests : QCheck.Test.t list