Yampa-0.9.1.1: tests/AFRPTestsEvSrc.hs
{- $Id: AFRPTestsEvSrc.hs,v 1.3 2003/12/19 15:32:22 henrik Exp $
******************************************************************************
* A F R P *
* *
* Module: AFRPTestsEvSrc *
* Purpose: Test cases for event sources *
* Authors: Antony Courtney and Henrik Nilsson *
* *
* Copyright (c) Yale University, 2003 *
* *
******************************************************************************
-}
module AFRPTestsEvSrc (evsrc_trs, evsrc_tr) where
import AFRP
import AFRPInternals (Event(NoEvent, Event))
import AFRPTestsCommon
------------------------------------------------------------------------------
-- Test cases for basic event sources and stateful event suppression
------------------------------------------------------------------------------
evsrc_t0 :: [Event ()]
evsrc_t0 = testSF1 never
evsrc_t0r =
[NoEvent, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t1 :: [Event Int]
evsrc_t1 = testSF1 (now 42)
evsrc_t1r :: [Event Int]
evsrc_t1r =
[Event 42, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t2 :: [Event Int]
evsrc_t2 = testSF1 (after 0.0 42)
evsrc_t2r :: [Event Int]
evsrc_t2r =
[Event 42, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t3 :: [Event Int]
evsrc_t3 = testSF1 (after 3.0 42)
evsrc_t3r :: [Event Int]
evsrc_t3r =
[NoEvent, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
Event 42, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t4 :: [Event Int]
evsrc_t4 = testSF1 (after 3.01 42)
evsrc_t4r :: [Event Int]
evsrc_t4r =
[NoEvent, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, Event 42, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t5 :: [Event Int]
evsrc_t5 = testSF1 (repeatedly 0.795 42)
evsrc_t5r :: [Event Int]
evsrc_t5r =
[NoEvent, NoEvent, NoEvent, NoEvent, -- 0.0 s
Event 42, NoEvent, NoEvent, Event 42, -- 1.0 s
NoEvent, NoEvent, Event 42, NoEvent, -- 2.0 s
NoEvent, Event 42, NoEvent, NoEvent, -- 3.0 s
Event 42, NoEvent, NoEvent, NoEvent, -- 4.0 s
Event 42, NoEvent, NoEvent, Event 42, -- 5.0 s
NoEvent]
evsrc_t6 :: [Event Int]
evsrc_t6 = testSF1 (repeatedly 0.30 42)
evsrc_t6r :: [Event Int]
evsrc_t6r =
[NoEvent, NoEvent, Event 42, Event 42, -- 0.0 s
Event 42, Event 42, Event 42, NoEvent, -- 1.0 s
Event 42, Event 42, Event 42, Event 42, -- 2.0 s
Event 42, NoEvent, Event 42, Event 42, -- 3.0 s
Event 42, Event 42, Event 42, NoEvent, -- 4.0 s
Event 42, Event 42, Event 42, Event 42, -- 5.0 s
Event 42]
evsrc_t7 :: [Event Int]
evsrc_t7 = testSF1 (repeatedly 0.24 42)
evsrc_t7r :: [Event Int]
evsrc_t7r =
[NoEvent, Event 42, Event 42, Event 42, -- 0.0 s
Event 42, Event 42, Event 42, Event 42, -- 1.0 s
Event 42, Event 42, Event 42, Event 42, -- 2.0 s
Event 42, Event 42, Event 42, Event 42, -- 3.0 s
Event 42, Event 42, Event 42, Event 42, -- 4.0 s
Event 42, Event 42, Event 42, Event 42, -- 5.0 s
Event 42]
evsrc_t8 :: [Event Int]
evsrc_t8 = testSF1 (afterEach [(0.00, 1), (0.00, 2), (0.01, 3), (0.23, 4),
(0.02, 5), (0.75, 6), (0.10, 7), (0.10, 8),
(0.10, 9), (2.00, 10)])
evsrc_t8r :: [Event Int]
evsrc_t8r =
[Event 1, Event 3, Event 5, NoEvent, -- 0.0 s
NoEvent, Event 6, Event 9, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, Event 10, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t9 :: [Event Int]
evsrc_t9 = testSF1 (afterEach [(2.03, 0),
(0.00, 1), (0.00, 2), (0.01, 3), (0.23, 4),
(0.02, 5), (0.75, 6), (0.10, 7), (0.10, 8),
(0.10, 9), (2.00, 10)])
evsrc_t9r :: [Event Int]
evsrc_t9r =
[NoEvent, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, Event 0, Event 4, NoEvent, -- 2.0 s
NoEvent, Event 6, Event 9, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, Event 10, NoEvent, -- 5.0 s
NoEvent]
evsrc_t10 :: [Event ()]
evsrc_t10 = testSF1 (localTime >>> arr (>=0) >>> edge)
evsrc_t10r =
[NoEvent, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t11 :: [Event ()]
evsrc_t11 = testSF1 (localTime >>> arr (>=4.26) >>> edge)
evsrc_t11r =
[NoEvent, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, Event (), NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
-- Raising edge detector.
evsrc_isEdge False False = Nothing
evsrc_isEdge False True = Just ()
evsrc_isEdge True True = Nothing
evsrc_isEdge True False = Nothing
evsrc_t12 :: [Event ()]
evsrc_t12 = testSF1 (localTime >>> arr (>=0) >>> edgeBy evsrc_isEdge False)
evsrc_t12r =
[Event (), NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t13 :: [Event ()]
evsrc_t13 = testSF1 (localTime >>> arr (>=4.26) >>> edgeBy evsrc_isEdge False)
evsrc_t13r =
[NoEvent, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, Event (), NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
-- Raising and falling edge detector.
evsrc_isEdge2 False False = Nothing
evsrc_isEdge2 False True = Just True
evsrc_isEdge2 True True = Nothing
evsrc_isEdge2 True False = Just False
evsrc_t14 :: [Event Bool]
evsrc_t14 = testSF1 (localTime
>>> arr (\t -> t >=2.01 && t <= 4.51)
>>> edgeBy evsrc_isEdge2 True)
evsrc_t14r =
[Event False, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, Event True, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, Event False, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t15 :: [Event Int]
evsrc_t15 = testSF1 (now 17 &&& repeatedly 0.795 42
>>> arr (uncurry merge)
>>> notYet)
evsrc_t15r :: [Event Int]
evsrc_t15r =
[NoEvent, NoEvent, NoEvent, NoEvent, -- 0.0 s
Event 42, NoEvent, NoEvent, Event 42, -- 1.0 s
NoEvent, NoEvent, Event 42, NoEvent, -- 2.0 s
NoEvent, Event 42, NoEvent, NoEvent, -- 3.0 s
Event 42, NoEvent, NoEvent, NoEvent, -- 4.0 s
Event 42, NoEvent, NoEvent, Event 42, -- 5.0 s
NoEvent]
evsrc_t16 :: [Event Int]
evsrc_t16 = testSF1 (now 42 >>> once)
evsrc_t16r :: [Event Int]
evsrc_t16r =
[Event 42, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t17 :: [Event Int]
evsrc_t17 = testSF1 (repeatedly 0.8 42 >>> once)
evsrc_t17r :: [Event Int]
evsrc_t17r =
[NoEvent, NoEvent, NoEvent, NoEvent, -- 0.0 s
Event 42, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t18 :: [Event Int]
evsrc_t18 = testSF1 (now 42 >>> takeEvents 0)
evsrc_t18r :: [Event Int]
evsrc_t18r =
[NoEvent, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t19 :: [Event Int]
evsrc_t19 = testSF1 (now 42 >>> takeEvents 1)
evsrc_t19r :: [Event Int]
evsrc_t19r =
[Event 42, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t20 :: [Event Int]
evsrc_t20 = testSF1 (repeatedly 0.8 42 >>> takeEvents 4)
evsrc_t20r :: [Event Int]
evsrc_t20r =
[NoEvent, NoEvent, NoEvent, NoEvent, -- 0.0 s
Event 42, NoEvent, NoEvent, Event 42, -- 1.0 s
NoEvent, NoEvent, Event 42, NoEvent, -- 2.0 s
NoEvent, Event 42, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t21 :: [Event Int]
evsrc_t21 = testSF1 (repeatedly 0.2 42 >>> takeEvents 4)
evsrc_t21r :: [Event Int]
evsrc_t21r =
[NoEvent, Event 42, Event 42, Event 42, -- 0.0 s
Event 42, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t22 :: [Event Int]
evsrc_t22 = testSF1 (now 42 >>> dropEvents 0)
evsrc_t22r :: [Event Int]
evsrc_t22r =
[Event 42, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t23 :: [Event Int]
evsrc_t23 = testSF1 (now 42 >>> dropEvents 1)
evsrc_t23r :: [Event Int]
evsrc_t23r =
[NoEvent, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 5.0 s
NoEvent]
evsrc_t24 :: [Event Int]
-- Drop 5 events to get rid of the event at 4.0 s which may or may not happen
-- exactly there.
evsrc_t24 = testSF1 (repeatedly 0.8 42 >>> dropEvents 5)
evsrc_t24r :: [Event Int]
evsrc_t24r =
[NoEvent, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 1.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 2.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 3.0 s
NoEvent, NoEvent, NoEvent, NoEvent, -- 4.0 s
Event 42, NoEvent, NoEvent, Event 42, -- 5.0 s
NoEvent]
evsrc_t25 :: [Event Int]
evsrc_t25 = testSF1 (repeatedly 0.2 42 >>> dropEvents 4)
evsrc_t25r :: [Event Int]
evsrc_t25r =
[NoEvent, NoEvent, NoEvent, NoEvent, -- 0.0 s
NoEvent, Event 42, Event 42, Event 42, -- 1.0 s
Event 42, Event 42, Event 42, Event 42, -- 2.0 s
Event 42, Event 42, Event 42, Event 42, -- 3.0 s
Event 42, Event 42, Event 42, Event 42, -- 4.0 s
Event 42, Event 42, Event 42, Event 42, -- 5.0 s
Event 42]
evsrc_trs =
[ evsrc_t0 ~= evsrc_t0r,
evsrc_t1 ~= evsrc_t1r,
evsrc_t2 ~= evsrc_t2r,
evsrc_t3 ~= evsrc_t3r,
evsrc_t4 ~= evsrc_t4r,
evsrc_t5 ~= evsrc_t5r,
evsrc_t6 ~= evsrc_t6r,
evsrc_t7 ~= evsrc_t7r,
evsrc_t8 ~= evsrc_t8r,
evsrc_t9 ~= evsrc_t9r,
evsrc_t10 ~= evsrc_t10r,
evsrc_t11 ~= evsrc_t11r,
evsrc_t12 ~= evsrc_t12r,
evsrc_t13 ~= evsrc_t13r,
evsrc_t14 ~= evsrc_t14r,
evsrc_t15 ~= evsrc_t15r,
evsrc_t16 ~= evsrc_t16r,
evsrc_t17 ~= evsrc_t17r,
evsrc_t18 ~= evsrc_t18r,
evsrc_t19 ~= evsrc_t19r,
evsrc_t20 ~= evsrc_t20r,
evsrc_t21 ~= evsrc_t21r,
evsrc_t22 ~= evsrc_t22r,
evsrc_t23 ~= evsrc_t23r,
evsrc_t24 ~= evsrc_t24r,
evsrc_t25 ~= evsrc_t25r
]
evsrc_tr = and evsrc_trs