Data.Lambda.Random.System

Combinatorial system defining closed h-shallow lambda terms in the de Bruijn notation.

System

data Expr a

An expression defining the branching probabilities in the Boltzmann model for closed h-shallow lambda terms.

Constructors

Expr

Fields

• abs :: a

  Abstraction probability.

• app :: a

  Application probability.

• idx :: [a]

  Probabilities for de Bruijn indices

Instances

Show a => Show (Expr a)

Methods

showsPrec :: Int -> Expr a -> ShowS

show :: Expr a -> String

showList :: [Expr a] -> ShowS

type System a = [Expr a]

Combinatorial system specification for closed h-shallow lambda terms.

boltzmannSystem

Arguments

:: (Floating a, Integral b)

=> Model b

Size notion.

-> b

Shallowness.

-> a

Formal z parameter.

-> System a

The computed Boltzmann system.

Computes the Boltzmann model for closed h-shallow lambda terms evaluated in the given parameter.

Boltzmann samplers

data Sampler a b

Boltzmann sampler specification consisting of a Boltzmann system with a corresponding size notion model.

Constructors

Sampler

Fields

• system :: System a

  Boltzmann system.

• model :: Model b

  Size notion.

boltzmannSampler

Arguments

:: (Floating a, Integral b)

=> Model b

Size notion.

-> b

Shallowness.

-> a

Formal z parameter.

-> Sampler a b

The computed Boltzmann sampler.

Computes the Boltzmann sampler specification for closed h-shallow lambda terms evaluated in the given parameter.

rejectionSampler

Arguments

:: (Floating a, Ord a, Integral b)

=> Model b

Size notion.

-> b

Shallowness.

-> a

Singularity approximation error.

-> Sampler a b

The computed rejection Boltzmann sampler.

Computes the rejection Boltzmann sampler for closed h-shallow lambda terms evaluated near the dominating singularity.