view core/sim/bdir_dut/Trace.bi @ 13:6d461680c6d9 pygar svn.14

[svn r14] more stuff
author punk
date Tue, 27 Apr 2010 09:03:28 -0400
parents 91a1f76ddd62
children
line wrap: on
line source
1 signature Trace where {
2 import ¶Counter®¶;
4 import ¶FIFOF_®¶;
6 import ¶FIFOF®¶;
8 import ¶FIFO®¶;
10 import ¶Inout®¶;
12 import ¶List®¶;
14 import ¶Clocks®¶;
16 import ¶ListN®¶;
18 import ¶PrimArray®¶;
20 import ¶Vector®¶;
22 import ¶Connectable®¶;
24 import ¶GetPut®¶;
26 import ¶ClientServer®¶;
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 };
35 instance Trace Trace.Traceable ¶Prelude®¶.¶String®¶;
37 instance Trace Trace.Traceable (¶Prelude®¶.¶Bit®¶ n);
39 Trace.traceGet :: (Trace.Traceable item_t) =>
40 ¶Prelude®¶.¶String®¶ -> ¶Prelude®¶.¶String®¶ -> ¶GetPut®¶.¶Get®¶ item_t -> ¶GetPut®¶.¶Get®¶ item_t;
42 Trace.tracePut :: (Trace.Traceable item_t) =>
43 ¶Prelude®¶.¶String®¶ -> ¶Prelude®¶.¶String®¶ -> ¶GetPut®¶.¶Put®¶ item_t -> ¶GetPut®¶.¶Put®¶ item_t;
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;
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 }