Mercurial > pygar

comparison core/sim/bdir_dut/Trace.bi @ 1:91a1f76ddd62 pygar svn.2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[svn r2] Adding initial lab 5 source
author punk
date Tue, 13 Apr 2010 17:34:33 -0400
parents
children
comparison
equal deleted inserted replaced
0:6d1ff93e3afa 1:91a1f76ddd62
1 signature Trace where {
2 import ¶Counter®¶;
3
4 import ¶FIFOF_®¶;
5
6 import ¶FIFOF®¶;
7
8 import ¶FIFO®¶;
9
10 import ¶Inout®¶;
11
12 import ¶List®¶;
13
14 import ¶Clocks®¶;
15
16 import ¶ListN®¶;
17
18 import ¶PrimArray®¶;
19
20 import ¶Vector®¶;
21
22 import ¶Connectable®¶;
23
24 import ¶GetPut®¶;
25
26 import ¶ClientServer®¶;
27
28 class (Trace.Traceable :: * -> *) item_t where {
29 Trace.traceTiny :: ¶Prelude®¶.¶String®¶ ->
30 ¶Prelude®¶.¶String®¶ -> item_t -> ¶Prelude®¶.¶Action®¶ {-# arg_names = [loc, traceTag, item] #-};
31 Trace.traceFull :: ¶Prelude®¶.¶String®¶ ->
32 ¶Prelude®¶.¶String®¶ -> item_t -> ¶Prelude®¶.¶Action®¶ {-# arg_names = [loc, traceTag, item] #-}
33 };
34
35 instance Trace Trace.Traceable ¶Prelude®¶.¶String®¶;
36
37 instance Trace Trace.Traceable (¶Prelude®¶.¶Bit®¶ n);
38
39 Trace.traceGet :: (Trace.Traceable item_t) =>
40 ¶Prelude®¶.¶String®¶ -> ¶Prelude®¶.¶String®¶ -> ¶GetPut®¶.¶Get®¶ item_t -> ¶GetPut®¶.¶Get®¶ item_t;
41
42 Trace.tracePut :: (Trace.Traceable item_t) =>
43 ¶Prelude®¶.¶String®¶ -> ¶Prelude®¶.¶String®¶ -> ¶GetPut®¶.¶Put®¶ item_t -> ¶GetPut®¶.¶Put®¶ item_t;
44
45 Trace.traceClient :: (Trace.Traceable resp_t, Trace.Traceable req_t) =>
46 ¶Prelude®¶.¶String®¶ ->
47 ¶Prelude®¶.¶String®¶ ->
48 ¶Prelude®¶.¶String®¶ ->
49 ¶ClientServer®¶.¶Client®¶ req_t resp_t -> ¶ClientServer®¶.¶Client®¶ req_t resp_t;
50
51 Trace.traceServer :: (Trace.Traceable resp_t, Trace.Traceable req_t) =>
52 ¶Prelude®¶.¶String®¶ ->
53 ¶Prelude®¶.¶String®¶ ->
54 ¶Prelude®¶.¶String®¶ ->
55 ¶ClientServer®¶.¶Server®¶ req_t resp_t -> ¶ClientServer®¶.¶Server®¶ req_t resp_t
56 }