generic-boltzmann-brain/api/Data/Boltzmann.hs

module Data.Boltzmann (
  -- * Combinatorial systems
  Constructable (..),
  ConstructorFrequencies,
  ConstructorWeights,
  System (..),
  mkDefWeights,

  -- * Boltzmann samplers
  BoltzmannSampler (..),
  LowerBound (..),
  UpperBound (..),
  rejectionSampler,
  toleranceRejectionSampler,
  mkBoltzmannSampler,
  mkDefBoltzmannSampler,
  quickCheckRejectionSampler,
  quickCheckToleranceRejectionSampler,

  -- * Buffon machines
  BuffonMachine,
  EvalIO (..),
  eval,
) where

import Data.Boltzmann.System (
  Constructable (..),
  ConstructorFrequencies,
  ConstructorWeights,
  System (..),
 )

import Data.Boltzmann.System.TH (
  mkBoltzmannSampler,
  mkDefBoltzmannSampler,
 )

import Data.Boltzmann.Sampler (
  BoltzmannSampler (..),
  LowerBound (..),
  UpperBound (..),
  quickCheckRejectionSampler,
  quickCheckToleranceRejectionSampler,
  rejectionSampler,
  toleranceRejectionSampler,
 )

import Data.Boltzmann.Sampler.TH (
  mkDefWeights,
 )

import Data.Boltzmann.BuffonMachine (
  BuffonMachine,
  EvalIO (..),
  eval,
 )