Data.Lambda.Random.PlainSystem

Combinatorial specification defining plain lambda terms in the de Bruijn notation.

System

data PlainSystem a

An expression defining the branching probabilities in the Boltzmann model for plain lambda terms.

Constructors

PlainSystem

Fields

• abs :: a

  Abstraction probability.

• app :: a

  Application probability.

• zero :: a

  Zero constructor probability.

Instances

Show a => Show (PlainSystem a)

Methods

showsPrec :: Int -> PlainSystem a -> ShowS

show :: PlainSystem a -> String

showList :: [PlainSystem a] -> ShowS

boltzmannSystem

Arguments

:: (Floating a, Integral b)

=> Model b

Size notion.

-> a

Formal z parameter.

-> PlainSystem a

The computed Boltzmann system.

Computes the Boltzmann model for plain lambda terms evaluated in the given parameter.

Boltzmann samplers

data PlainSampler a b

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

Constructors

PlainSampler

Fields

• system :: PlainSystem a

  Boltzmann system.

• model :: Model b

  Size notion.

boltzmannSampler

Arguments

:: (Floating a, Integral b)

=> Model b

Size notion.

-> a

Formal z parameter.

-> PlainSampler a b

The computed Boltzmann sampler.

Computes the Boltzmann sampler specification for plain lambda terms evaluated in the given parameter.

rejectionSampler

Arguments

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

=> Model b

Size notion.

-> a

Singularity approximation error.

-> PlainSampler a b

The computed rejection Boltzmann sampler.

Computes the rejection Boltzmann sampler for plain lambda terms evaluated near the dominating singularity.