probability-0.2.2: Probabilistic Functional Programming

Numeric.Probability.Example.TreeGrowth

Contents

exact results
simulation results

Synopsis

type Height = Int
data Tree
- = Alive Height
- | Hit Height
- | Fallen
grow :: Trans Tree
hit :: Trans Tree
fall :: Trans Tree
evolve :: Trans Tree
seed :: Tree
tree :: Int -> Tree -> Dist Tree
hist :: Int -> Expand Tree
simTree :: Int -> Int -> RTrans Tree
simHist :: Int -> Int -> RExpand Tree
t2 :: Dist Tree
h2 :: Space Tree
st2 :: IO ()
sh2 :: IO ()
height :: Tree -> Int
p2 :: Vis
p3 :: Vis
p4 :: Vis
p5 :: Vis
p6 :: Vis
p1 :: Vis
heightAtTime :: Int -> Plot
heightCurve :: (Int, Color) -> Plot
done :: Tree -> Bool
ev5 :: Tree -> Dist Tree

Documentation

type Height = Int Source

data Tree Source

Constructors

Instances

grow :: Trans Tree Source

hit :: Trans Tree Source

fall :: Trans Tree Source

evolve :: Trans Tree Source

seed :: Tree Source

tree growth simulation: start with seed and run for n generations

exact results

tree :: Int -> Tree -> Dist Tree Source

tree n : tree distribution after n generations

hist :: Int -> Expand Tree Source

hist n : history of tree distributions for n generations

simulation results

simTree :: Int -> Int -> RTrans Tree Source

Since '(*.)' is overloaded for Trans and RChange, we can run the simulation ~. directly to n *. live.

simHist :: Int -> Int -> RExpand Tree Source

t2 :: Dist Tree Source

h2 :: Space Tree Source

st2 :: IO () Source

sh2 :: IO () Source

height :: Tree -> Int Source

p2 :: Vis Source

p3 :: Vis Source

p4 :: Vis Source

p5 :: Vis Source

p6 :: Vis Source

p1 :: Vis Source

heightAtTime :: Int -> Plot Source

heightCurve :: (Int, Color) -> Plot Source

done :: Tree -> Bool Source

ev5 :: Tree -> Dist Tree Source