@@ -79,8 +79,8 @@ tag f = khatri f identity
80state g s r = tag g `comp` tag s `comp` r
80state g s r = tag g `comp` tag s `comp` r
82−grass_wet :: Matrix Double (G, (S, R)) One
82+grass_wet :: Matrix Double () (G, (S, R)) -> Matrix Double One One
83−grass_wet = row [0,1] . kp1
83+grass_wet state = row [0,1] . kp1 . state
85rainning :: Matrix Double (G, (S, R)) One
85rainning :: Matrix Double (G, (S, R)) One
86rainning = row [0,1] . kp2 . kp2
86rainning = row [0,1] . kp2 . kp2
@@ -162,7 +162,7 @@ exec = do
162 putStrLn "\n Checking that the last result is indeed a distribution: "
162 putStrLn "\n Checking that the last result is indeed a distribution: "
163 prettyPrint (bang . sumSSM . khatri die die)
163 prettyPrint (bang . sumSSM . khatri die die)
164 putStrLn "\n Probability of grass being wet:"
164 putStrLn "\n Probability of grass being wet:"
165− prettyPrint (grass_wet . state grass sprinkler rain)
165+ prettyPrint (grass_wet (state grass sprinkler rain))
166 putStrLn "\n Probability of rain:"
166 putStrLn "\n Probability of rain:"
167 prettyPrint (rainning . state grass sprinkler rain)
167 prettyPrint (rainning . state grass sprinkler rain)
168 putStrLn "\n Is the arbitrary state a valid state? (Alcuin Puzzle)"
168 putStrLn "\n Is the arbitrary state a valid state? (Alcuin Puzzle)"