measurable

A simple shallowly-embedded DSL for dealing with measures.
Log | Files | Refs | README | LICENSE

commit fa13d350c9ad1cbafb36bbc4e1238bbf5de70f9c
parent b4f94a06a93c36c5333572c3e5929d6721ecdf42
Author: Jared Tobin <jared@jtobin.ca>
Date:   Thu, 17 Oct 2013 15:33:13 +1300

Update text.

Diffstat:
MREADME.md | 3+--
Msrc/Measurable.hs | 2+-
2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md @@ -1,6 +1,5 @@ measurable ---------- -An experimental embedded DSL for creating, manipulating, and using measures in -Haskell. +An experimental embedded DSL for creating, manipulating, and using measures. diff --git a/src/Measurable.hs b/src/Measurable.hs @@ -115,7 +115,7 @@ convolute :: Measure -> Measure -> Measure convolute mu nu f = nu $ \y -> mu $ \x -> f $ x + y -- | For a random variable X, measurable function f, and measure P, we can --- construct the image (pushforward) measure P (f X). +-- construct the image (pushforward) measure P_X. push :: (Double -> Double) -> Measure -> Measure push f mu g = mu $ g . f