Skip to content

Commit

Permalink
yampa-test: Adjust indentation to two spaces (KSG Haskell 1.3.0 - 4.2…
Browse files Browse the repository at this point in the history 
…). Refs #215.

Suggestion: Each time a new expression or block-like construct is opened, the
indent should increase by two spaces. When the section ends, the indent returns
to the previous indent level. The indent level applies to both Haskell
expressions and comments throughout the block.
  • Loading branch information
@ivanperez-keera
ivanperez-keera committed May 15, 2022
1 parent fe2bde5 commit 416d6a6
Showing 1 changed file with 165 additions and 165 deletions.
330 changes: 165 additions & 165 deletions yampa-test/tests/TestsRPSwitch.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,140 +21,140 @@ import TestsCommon
-- * Test cases for rpSwitchB and drpSwitchB

rpswitch_inp1 = (fromJust (head delta_inp), zip (repeat 1.0) (tail delta_inp))
where
delta_inp =
[ Just (1.0, NoEvent), Nothing, Nothing
, Just (2.0, Event (integral:)), Just (3.0, NoEvent), Nothing
, Just (4.0, NoEvent), Nothing, Nothing
, Just (5.0, Event ((integral >>> arr (+100.0)):))
, Just (6.0, NoEvent), Nothing
, Just (7.0, NoEvent), Nothing, Nothing
, Just (8.0, Event tail), Just (9.0, NoEvent), Nothing
]
++ repeat Nothing
where
delta_inp =
[ Just (1.0, NoEvent), Nothing, Nothing
, Just (2.0, Event (integral:)), Just (3.0, NoEvent), Nothing
, Just (4.0, NoEvent), Nothing, Nothing
, Just (5.0, Event ((integral >>> arr (+100.0)):))
, Just (6.0, NoEvent), Nothing
, Just (7.0, NoEvent), Nothing, Nothing
, Just (8.0, Event tail), Just (9.0, NoEvent), Nothing
]
++ repeat Nothing

-- This input contains exaples of "continuos switching", i.e. the same
-- switching event ocurring during a a few contiguous time steps.
-- It also starts with an immediate switch.
rpswitch_inp2 = (fromJust (head delta_inp), zip (repeat 1.0) (tail delta_inp))
where
delta_inp =
[ Just (1.0, Event (integral:))
, Just (1.0, NoEvent), Nothing
, Just (2.0, Event ((integral >>> arr(+100.0)):)), Nothing, Nothing
, Just (3.0, Event ((integral >>> arr(+200.0)):)), Nothing, Nothing
, Just (4.0, NoEvent), Nothing, Nothing
, Just (5.0, Event ((arr (*3)):))
, Just (5.0, NoEvent), Nothing
, Just (6.0, Event tail), Just (7.0, Event ((arr (*7)):))
, Just (8.0, Event (take 2))
, Just (9.0, NoEvent), Nothing
]
++ repeat Nothing
where
delta_inp =
[ Just (1.0, Event (integral:))
, Just (1.0, NoEvent), Nothing
, Just (2.0, Event ((integral >>> arr(+100.0)):)), Nothing, Nothing
, Just (3.0, Event ((integral >>> arr(+200.0)):)), Nothing, Nothing
, Just (4.0, NoEvent), Nothing, Nothing
, Just (5.0, Event ((arr (*3)):))
, Just (5.0, NoEvent), Nothing
, Just (6.0, Event tail), Just (7.0, Event ((arr (*7)):))
, Just (8.0, Event (take 2))
, Just (9.0, NoEvent), Nothing
]
++ repeat Nothing

rpswitch_t0 :: [[Double]]
rpswitch_t0 = take 20 $ embed (rpSwitchB []) rpswitch_inp1

rpswitch_t0r =
[ [] -- 0 s
, [] -- 1 s
, [] -- 2 s
, [0.0] -- 3 s
, [2.0] -- 4 s
, [5.0] -- 5 s
, [8.0] -- 6 s
, [12.0] -- 7 s
, [16.0] -- 8 s
, [100.0, 20.0] -- 9 s
, [105.0, 25.0] -- 10 s
, [111.0, 31.0] -- 11 s
, [117.0, 37.0] -- 12 s
, [124.0, 44.0] -- 13 s
, [131.0, 51.0] -- 14 s
, [58.0] -- 15 s
, [66.0] -- 16 s
, [75.0] -- 17 s
, [84.0] -- 18 s
, [93.0] -- 19 s
]
[ [] -- 0 s
, [] -- 1 s
, [] -- 2 s
, [0.0] -- 3 s
, [2.0] -- 4 s
, [5.0] -- 5 s
, [8.0] -- 6 s
, [12.0] -- 7 s
, [16.0] -- 8 s
, [100.0, 20.0] -- 9 s
, [105.0, 25.0] -- 10 s
, [111.0, 31.0] -- 11 s
, [117.0, 37.0] -- 12 s
, [124.0, 44.0] -- 13 s
, [131.0, 51.0] -- 14 s
, [58.0] -- 15 s
, [66.0] -- 16 s
, [75.0] -- 17 s
, [84.0] -- 18 s
, [93.0] -- 19 s
]

rpswitch_t1 :: [[Double]]
rpswitch_t1 = take 20 $ embed (drpSwitchB []) rpswitch_inp1

rpswitch_t1r =
[ [] -- 0 s
, [] -- 1 s
, [] -- 2 s
, [] -- 3 s
, [2.0] -- 4 s
, [5.0] -- 5 s
, [8.0] -- 6 s
, [12.0] -- 7 s
, [16.0] -- 8 s
, [20.0] -- 9 s
, [105.0, 25.0] -- 10 s
, [111.0, 31.0] -- 11 s
, [117.0, 37.0] -- 12 s
, [124.0, 44.0] -- 13 s
, [131.0, 51.0] -- 14 s
, [138.0, 58.0] -- 15 s
, [66.0] -- 16 s
, [75.0] -- 17 s
, [84.0] -- 18 s
, [93.0] -- 19 s
]
[ [] -- 0 s
, [] -- 1 s
, [] -- 2 s
, [] -- 3 s
, [2.0] -- 4 s
, [5.0] -- 5 s
, [8.0] -- 6 s
, [12.0] -- 7 s
, [16.0] -- 8 s
, [20.0] -- 9 s
, [105.0, 25.0] -- 10 s
, [111.0, 31.0] -- 11 s
, [117.0, 37.0] -- 12 s
, [124.0, 44.0] -- 13 s
, [131.0, 51.0] -- 14 s
, [138.0, 58.0] -- 15 s
, [66.0] -- 16 s
, [75.0] -- 17 s
, [84.0] -- 18 s
, [93.0] -- 19 s
]

rpswitch_t2 :: [[Double]]
rpswitch_t2 = take 20 $ embed (rpSwitchB []) rpswitch_inp2

rpswitch_t2r =
[ [0.0] -- 0 s
, [1.0] -- 1 s
, [2.0] -- 2 s
, [100.0, 3.0] -- 3 s
, [100.0, 102.0, 5.0] -- 4 s
, [100.0, 102.0, 104.0, 7.0] -- 5 s
, [200.0, 102.0, 104.0, 106.0, 9.0] -- 6 s
, [200.0, 203.0, 105.0, 107.0, 109.0, 12.0] -- 7 s
, [200.0, 203.0, 206.0, 108.0, 110.0, 112.0, 15.0] -- 8 s
, [203.0, 206.0, 209.0, 111.0, 113.0, 115.0, 18.0] -- 9 s
, [207.0, 210.0, 213.0, 115.0, 117.0, 119.0, 22.0] -- 10 s
, [211.0, 214.0, 217.0, 119.0, 121.0, 123.0, 26.0] -- 11 s
, [15.0, 215.0, 218.0, 221.0, 123.0, 125.0, 127.0, 30.0] -- 12 s
, [15.0, 220.0, 223.0, 226.0, 128.0, 130.0, 132.0, 35.0] -- 13 s
, [15.0, 225.0, 228.0, 231.0, 133.0, 135.0, 137.0, 40.0] -- 14 s
, [230.0, 233.0, 236.0, 138.0, 140.0, 142.0, 45.0] -- 15 s
, [49.0, 236.0, 239.0, 242.0, 144.0, 146.0, 148.0, 51.0] -- 16 s
, [56.0, 243.0] -- 17 s
, [63.0, 251.0] -- 18 s
, [63.0, 260.0] -- 19 s
]
[ [0.0] -- 0 s
, [1.0] -- 1 s
, [2.0] -- 2 s
, [100.0, 3.0] -- 3 s
, [100.0, 102.0, 5.0] -- 4 s
, [100.0, 102.0, 104.0, 7.0] -- 5 s
, [200.0, 102.0, 104.0, 106.0, 9.0] -- 6 s
, [200.0, 203.0, 105.0, 107.0, 109.0, 12.0] -- 7 s
, [200.0, 203.0, 206.0, 108.0, 110.0, 112.0, 15.0] -- 8 s
, [203.0, 206.0, 209.0, 111.0, 113.0, 115.0, 18.0] -- 9 s
, [207.0, 210.0, 213.0, 115.0, 117.0, 119.0, 22.0] -- 10 s
, [211.0, 214.0, 217.0, 119.0, 121.0, 123.0, 26.0] -- 11 s
, [15.0, 215.0, 218.0, 221.0, 123.0, 125.0, 127.0, 30.0] -- 12 s
, [15.0, 220.0, 223.0, 226.0, 128.0, 130.0, 132.0, 35.0] -- 13 s
, [15.0, 225.0, 228.0, 231.0, 133.0, 135.0, 137.0, 40.0] -- 14 s
, [230.0, 233.0, 236.0, 138.0, 140.0, 142.0, 45.0] -- 15 s
, [49.0, 236.0, 239.0, 242.0, 144.0, 146.0, 148.0, 51.0] -- 16 s
, [56.0, 243.0] -- 17 s
, [63.0, 251.0] -- 18 s
, [63.0, 260.0] -- 19 s
]

rpswitch_t3 :: [[Double]]
rpswitch_t3 = take 20 $ embed (drpSwitchB []) rpswitch_inp2

rpswitch_t3r =
[ [] -- 0 s
, [1.0] -- 1 s
, [2.0] -- 2 s
, [3.0] -- 3 s
, [102.0, 5.0] -- 4 s
, [102.0, 104.0, 7.0] -- 5 s
, [102.0, 104.0, 106.0, 9.0] -- 6 s
, [203.0, 105.0, 107.0, 109.0, 12.0] -- 7 s
, [203.0, 206.0, 108.0, 110.0, 112.0, 15.0] -- 8 s
, [203.0, 206.0, 209.0, 111.0, 113.0, 115.0, 18.0] -- 9 s
, [207.0, 210.0, 213.0, 115.0, 117.0, 119.0, 22.0] -- 10 s
, [211.0, 214.0, 217.0, 119.0, 121.0, 123.0, 26.0] -- 11 s
, [215.0, 218.0, 221.0, 123.0, 125.0, 127.0, 30.0] -- 12 s
, [15.0, 220.0, 223.0, 226.0, 128.0, 130.0, 132.0, 35.0] -- 13 s
, [15.0, 225.0, 228.0, 231.0, 133.0, 135.0, 137.0, 40.0] -- 14 s
, [18.0, 230.0, 233.0, 236.0, 138.0, 140.0, 142.0, 45.0] -- 15 s
, [236.0, 239.0, 242.0, 144.0, 146.0, 148.0, 51.0] -- 16 s
, [56.0, 243.0, 246.0, 249.0, 151.0, 153.0, 155.0, 58.0] -- 17 s
, [63.0, 251.0] -- 18 s
, [63.0, 260.0] -- 19 s
]
[ [] -- 0 s
, [1.0] -- 1 s
, [2.0] -- 2 s
, [3.0] -- 3 s
, [102.0, 5.0] -- 4 s
, [102.0, 104.0, 7.0] -- 5 s
, [102.0, 104.0, 106.0, 9.0] -- 6 s
, [203.0, 105.0, 107.0, 109.0, 12.0] -- 7 s
, [203.0, 206.0, 108.0, 110.0, 112.0, 15.0] -- 8 s
, [203.0, 206.0, 209.0, 111.0, 113.0, 115.0, 18.0] -- 9 s
, [207.0, 210.0, 213.0, 115.0, 117.0, 119.0, 22.0] -- 10 s
, [211.0, 214.0, 217.0, 119.0, 121.0, 123.0, 26.0] -- 11 s
, [215.0, 218.0, 221.0, 123.0, 125.0, 127.0, 30.0] -- 12 s
, [15.0, 220.0, 223.0, 226.0, 128.0, 130.0, 132.0, 35.0] -- 13 s
, [15.0, 225.0, 228.0, 231.0, 133.0, 135.0, 137.0, 40.0] -- 14 s
, [18.0, 230.0, 233.0, 236.0, 138.0, 140.0, 142.0, 45.0] -- 15 s
, [236.0, 239.0, 242.0, 144.0, 146.0, 148.0, 51.0] -- 16 s
, [56.0, 243.0, 246.0, 249.0, 151.0, 153.0, 155.0, 58.0] -- 17 s
, [63.0, 251.0] -- 18 s
, [63.0, 260.0] -- 19 s
]

-- Starts three "ramps" with different phase. As soon as one exceeds a
-- threshold, it's restarted, while the others are left alone. The observaton
Expand All @@ -167,72 +167,72 @@ rpswitch_ramp phase = constant 2.0 >>> integral >>> arr (+phase)
-- We assume that only one signal function will reach the limit at a time.
rpswitch_limit :: Double -> SF [Double] (Event ([SF a Double]->[SF a Double]))
rpswitch_limit x = arr (findIndex (>=x)) >>> edgeJust >>> arr (fmap restart)
where
restart n = \sfs -> take n sfs ++ [rpswitch_ramp 0.0] ++ drop (n+1) sfs
where
restart n = \sfs -> take n sfs ++ [rpswitch_ramp 0.0] ++ drop (n+1) sfs

rpswitch_t4 :: [[Double]]
rpswitch_t4 = take 30 $ embed (loop sf) (deltaEncode 0.1 (repeat ()))
where
sf :: SF (a, [Double]) ([Double],[Double])
sf = (second (rpswitch_limit 2.99)
>>> drpSwitchB [ rpswitch_ramp 0.0
, rpswitch_ramp 1.0
, rpswitch_ramp 2.0
]
)
>>> arr dup
where
sf :: SF (a, [Double]) ([Double],[Double])
sf = (second (rpswitch_limit 2.99)
>>> drpSwitchB [ rpswitch_ramp 0.0
, rpswitch_ramp 1.0
, rpswitch_ramp 2.0
]
)
>>> arr dup

rpswitch_t4r =
[ [0.0, 1.0, 2.0]
, [0.2, 1.2, 2.2]
, [0.4, 1.4, 2.4]
, [0.6, 1.6, 2.6]
, [0.8, 1.8, 2.8]
, [1.0, 2.0, 3.0]
, [1.2, 2.2, 0.2]
, [1.4, 2.4, 0.4]
, [1.6, 2.6, 0.6]
, [1.8, 2.8, 0.8]
, [2.0, 3.0, 1.0]
, [2.2, 0.2, 1.2]
, [2.4, 0.4, 1.4]
, [2.6, 0.6, 1.6]
, [2.8, 0.8, 1.8]
, [3.0, 1.0, 2.0]
, [0.2, 1.2, 2.2]
, [0.4, 1.4, 2.4]
, [0.6, 1.6, 2.6]
, [0.8, 1.8, 2.8]
, [1.0, 2.0, 3.0]
, [1.2, 2.2, 0.2]
, [1.4, 2.4, 0.4]
, [1.6, 2.6, 0.6]
, [1.8, 2.8, 0.8]
, [2.0, 3.0, 1.0]
, [2.2, 0.2, 1.2]
, [2.4, 0.4, 1.4]
, [2.6, 0.6, 1.6]
, [2.8, 0.8, 1.8]
]
[ [0.0, 1.0, 2.0]
, [0.2, 1.2, 2.2]
, [0.4, 1.4, 2.4]
, [0.6, 1.6, 2.6]
, [0.8, 1.8, 2.8]
, [1.0, 2.0, 3.0]
, [1.2, 2.2, 0.2]
, [1.4, 2.4, 0.4]
, [1.6, 2.6, 0.6]
, [1.8, 2.8, 0.8]
, [2.0, 3.0, 1.0]
, [2.2, 0.2, 1.2]
, [2.4, 0.4, 1.4]
, [2.6, 0.6, 1.6]
, [2.8, 0.8, 1.8]
, [3.0, 1.0, 2.0]
, [0.2, 1.2, 2.2]
, [0.4, 1.4, 2.4]
, [0.6, 1.6, 2.6]
, [0.8, 1.8, 2.8]
, [1.0, 2.0, 3.0]
, [1.2, 2.2, 0.2]
, [1.4, 2.4, 0.4]
, [1.6, 2.6, 0.6]
, [1.8, 2.8, 0.8]
, [2.0, 3.0, 1.0]
, [2.2, 0.2, 1.2]
, [2.4, 0.4, 1.4]
, [2.6, 0.6, 1.6]
, [2.8, 0.8, 1.8]
]

rpswitch_trs =
[ rpswitch_t0 ~= rpswitch_t0r
, rpswitch_t1 ~= rpswitch_t1r
, rpswitch_t2 ~= rpswitch_t2r
, rpswitch_t3 ~= rpswitch_t3r
, rpswitch_t4 ~= rpswitch_t4r
]
[ rpswitch_t0 ~= rpswitch_t0r
, rpswitch_t1 ~= rpswitch_t1r
, rpswitch_t2 ~= rpswitch_t2r
, rpswitch_t3 ~= rpswitch_t3r
, rpswitch_t4 ~= rpswitch_t4r
]

rpswitch_tr = and rpswitch_trs

rpswitch_st0 = testSFSpaceLeak 1000000 (loop sf)
where
sf :: SF (a, [Double]) ([Double],[Double])
sf = (second (rpswitch_limit 2.99)
>>> drpSwitchB [ rpswitch_ramp 0.0
, rpswitch_ramp 1.0
, rpswitch_ramp 2.0
]
) >>> arr dup
where
sf :: SF (a, [Double]) ([Double],[Double])
sf = (second (rpswitch_limit 2.99)
>>> drpSwitchB [ rpswitch_ramp 0.0
, rpswitch_ramp 1.0
, rpswitch_ramp 2.0
]
) >>> arr dup

rpswitch_st0r = [1.5,2.5,0.5]

0 comments on commit 416d6a6

Please sign in to comment.