type Word = SizedInt D16
type Index = RangedWord
-const :: a -> a -> a
const a b = a
-fu :: ( PositiveT p, NaturalT n, (p :>: n) ~ True) =>
- (a -> a -> a)
- -> Vector p a
- -> (Index n, Index n)
- -> a
- -> (a, a)
fu op inputs (addr1, addr2) out =
(out', out)
where
where
fures = (fu const inputs (addrs!(0 :: Index D3)) (fuss!(0 :: Index D3))) +> (
(fu (+) inputs (addrs!(1 :: Index D3)) (fuss!(1 :: Index D3))) +> (
- (fu (-) inputs (addrs!(2 :: Index D3)) (fuss!(2 :: Index D3))) +> ( singleton
- (fu (*) inputs (addrs!(3 :: Index D3)) (fuss!(3 :: Index D3))))))
+ (fu (-) inputs (addrs!(2 :: Index D3)) (fuss!(2 :: Index D3))) +> (
+ (fu (*) inputs (addrs!(3 :: Index D3)) (fuss!(3 :: Index D3))) +> empty)))
(fuss', outputs) = unzip fures
inputs = 0 +> (1 +> (input +> outputs))
out = head outputs