Valuation

Value Processes

The basics

data PR a

type RV a

Value process helpers

takePr

horizonPr

andPr

Value process lifting

liftPr

lift2Pr

lift2PrAll

lift3Pr

zipWithAll

Models

data Model

simpleModel

rateModels

rateModel

Process primitives

bigK

konstSlices

condPr

disc

absorb

snell

Lattices

Simple calculation

prevSlice

rates

Probability calculation

probabilityLattice

Expected value

expectedValue

expectedValuePr

Valuation semantics

Valuation semantics for contracts

evalC

Valuation semantics for observables

evalO

Functions for Graphviz output

latticeImage

printTree

writeTreeAsDot

runDot

prToDot

rvsToDot

dotExt

assignIds

numberList

showNodes

nodeLabel

treeToDot

dotJoin

dotGraph

dotGraphHdr

formatDotStmt