-- VectorSpace has caused some ambiguity problems. See e.g. looplaws_t2,
-- switch_t1a.
--
-- 2005-11-26: A simple way of making many test cases more robust would
-- be to have a version of deltaEncode that adds a little extra time
-- to the very first delta time. That way sampling would always be slightly
-- "late".
--
-- But since we often compare time stamps, we'd also either have
-- to adjust the "~=" relation to tolerate "jitter" of that magnitute,
-- or we'd have to formulate many tests more carefully to allow a
-- certain "fuzziness".
module Main where
import Test.Tasty (TestTree, defaultMain, testGroup)
import qualified Test.FRP.Yampa.Basic as Basic
import qualified Test.FRP.Yampa.Conditional as Conditional
import qualified Test.FRP.Yampa.Delays as Delays
import qualified Test.FRP.Yampa.Event as Event
import qualified Test.FRP.Yampa.EventS as EventS
import qualified Test.FRP.Yampa.Hybrid as Hybrid
import qualified Test.FRP.Yampa.Integration as Integration
import qualified Test.FRP.Yampa.InternalCore as InternalCore
import qualified Test.FRP.Yampa.Loop as Loop
import qualified Test.FRP.Yampa.Scan as Scan
import qualified Test.FRP.Yampa.Simulation as Simulation
import qualified Test.FRP.Yampa.Switches as Switches
import qualified Test.FRP.Yampa.Task as Task
import qualified Test.FRP.Yampa.Time as Time
main :: IO ()
main = defaultMain tests
tests :: TestTree
tests = testGroup "Yampa QC properties"
[ Basic.tests
, Conditional.tests
, Delays.tests
, Event.tests
, EventS.tests
, Hybrid.tests
, Integration.tests
, InternalCore.tests
, Loop.tests
, Scan.tests
, Simulation.tests
, Switches.tests
, Task.tests
, Time.tests
]