3 // --- Signals ------------------------------------------------------
\r
11 deriving instance Eq Signal
\r
12 deriving instance Hashable Signal
\r
13 deriving instance Show Signal
\r
15 instance Additive Signal where
\r
17 a + b = SigSum [a,b]
\r
20 instance Ring Signal where
\r
23 fromInteger i = SigConst (fromInteger i)
\r
24 a * b = SigMul [a,b]
\r
27 instance Real Signal where
\r
28 fromDouble d = SigConst d
\r
32 main = 1 + 2 * 3 - 4
\r