pds

Copyright	(c) Julian Grove and Aaron Steven White 2025
License	MIT
Maintainer	julian.grove@gmail.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

Framework.Lambda.Delta

Contents

Delta rules
- Example rules

Description

Delta rules are defined. These encode algebraic laws relating λ-terms that feature constants.

Synopsis

Delta rules

Example rules

arithmetic :: DeltaRule Source #

Performs some arithmetic simplifications.

cleanUp :: DeltaRule Source #

Get rid of vacuous let-bindings.

disjunctions :: DeltaRule Source #

Marginalizes out certain distributions; some other stuff.

equality :: DeltaRule Source #

Computes syntactic equalities.

indicator :: DeltaRule Source #

Computes the indicator function.

ite :: DeltaRule Source #

Computes if then else.

logical :: DeltaRule Source #

maxes :: DeltaRule Source #

Computes the max function.

observations :: DeltaRule Source #

Observing Tr is trivial, while observing Fa yields an undefined probability distribution.

probabilities :: DeltaRule Source #

Computes probabilities for certain probabilitic programs.

states :: DeltaRule Source #

Computes functions on indices and states. These include reading and writing to locations of fixed type, as well as pushing to and popping from stacks, thus possibly modifying the type of the state.