Yampa-0.10.6: tests/AFRPTestsLoopPre.hs
{-# OPTIONS_GHC -fno-warn-tabs #-}
{- $Id: AFRPTestsLoopPre.hs,v 1.2 2003/11/10 21:28:58 antony Exp $
******************************************************************************
* A F R P *
* *
* Module: AFRPTestsLoopPre *
* Purpose: Test cases for loopPre *
* Authors: Antony Courtney and Henrik Nilsson *
* *
* Copyright (c) Yale University, 2003 *
* *
******************************************************************************
-}
module AFRPTestsLoopPre (loopPre_tr, loopPre_trs) where
import FRP.Yampa
import AFRPTestsCommon
------------------------------------------------------------------------------
-- Test cases for loopPre
------------------------------------------------------------------------------
loop_acc :: SF (Double, Double) (Double, Double)
loop_acc = arr (\(x, y)->(x+y, x+y))
-- This kind of test will fail for infinitesimal delay!
loopPre_t0 = testSF1 (loopPre 0 loop_acc)
loopPre_t0r =
[0.0,1.0,3.0,6.0,10.0,15.0,21.0,28.0,36.0,45.0,55.0,66.0,78.0,91.0,
105.0,120.0,136.0,153.0,171.0,190.0,210.0,231.0,253.0,276.0,300.0]
loopPre_t1 = testSF2 (loopPre 0 loop_acc)
loopPre_t1r =
[0.0,0.0,0.0,0.0,0.0,1.0,2.0,3.0,4.0,5.0,7.0,9.0,11.0,13.0,15.0,18.0,
21.0,24.0,27.0,30.0,34.0,38.0,42.0,46.0,50.0]
-- This kind of test will fail for infinitesimal delay!
loopPre_t2 = testSF1 (loopPre False (arr (dup . not . snd)))
loopPre_t2r =
[True,False,True,False,True,False,True,False,True,False,True,False,
True,False,True,False,True,False,True,False,True,False,True,False,True]
loopPre_t3 = testSF1 (loopPre 0 (first localTime))
loopPre_t3r =
[0.0,0.25,0.5,0.75,1.0,1.25,1.5,1.75,2.0,2.25,2.5,2.75,3.0,3.25,3.5,3.75,
4.0,4.25,4.5,4.75,5.0,5.25,5.5,5.75,6.0]
loopPre_t4 = testSF1 (loopPre 0 (first localTime >>> loop_acc))
loopPre_t4r =
[0.0,0.25,0.75,1.5,2.5,3.75,5.25,7.0,9.0,11.25,13.75,16.5,19.5,22.75,
26.25,30.0,34.0,38.25,42.75,47.5,52.5,57.75,63.25,69.0,75.0]
loopPre_trs =
[ loopPre_t0 ~= loopPre_t0r,
loopPre_t1 ~= loopPre_t1r,
loopPre_t2 ~= loopPre_t2r,
loopPre_t3 ~= loopPre_t3r,
loopPre_t4 ~= loopPre_t4r
]
loopPre_tr = and loopPre_trs