| |
| | [No title] |
 | | showChar ')' > instance (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) > => Show (a, b, c, d, e, f, g, h) where > showsPrec p (a,b,c,d,e,f,g,h) = showChar 'FRö&¦V7G2FBvWB6VæB&÷VæBê Then are just outports with pids, and extents. |
 | | Packets are just OutPorts with a pid > type Packet a = > (Pid, -- id of this packet > Int, -- output port number for the signal value > a, -- latch to hold the signal value > Bool, -- need to send it to the left? |
 | | where > outs = outports state -------------------------------------------------------------------------------- Circuit example -- a register > regs :: Signal a => Int -> Circuit a > regs bits = (size, is, os, states) > where > size = 1+7*bits > is = ("sto",0): zipWith ilabel [0..] [ 7*x+1 |
| www.macs.hw.ac.uk /~gnik/apset/circuit_simulator.lhs (394 words) |
|