|
punk@1
|
1 signature Trace where {
|
|
punk@1
|
2 import ¶Counter®¶;
|
|
punk@1
|
3
|
|
punk@1
|
4 import ¶FIFOF_®¶;
|
|
punk@1
|
5
|
|
punk@1
|
6 import ¶FIFOF®¶;
|
|
punk@1
|
7
|
|
punk@1
|
8 import ¶FIFO®¶;
|
|
punk@1
|
9
|
|
punk@1
|
10 import ¶Inout®¶;
|
|
punk@1
|
11
|
|
punk@1
|
12 import ¶List®¶;
|
|
punk@1
|
13
|
|
punk@1
|
14 import ¶Clocks®¶;
|
|
punk@1
|
15
|
|
punk@1
|
16 import ¶ListN®¶;
|
|
punk@1
|
17
|
|
punk@1
|
18 import ¶PrimArray®¶;
|
|
punk@1
|
19
|
|
punk@1
|
20 import ¶Vector®¶;
|
|
punk@1
|
21
|
|
punk@1
|
22 import ¶Connectable®¶;
|
|
punk@1
|
23
|
|
punk@1
|
24 import ¶GetPut®¶;
|
|
punk@1
|
25
|
|
punk@1
|
26 import ¶ClientServer®¶;
|
|
punk@1
|
27
|
|
punk@1
|
28 class (Trace.Traceable :: * -> *) item_t where {
|
|
punk@1
|
29 Trace.traceTiny :: ¶Prelude®¶.¶String®¶ ->
|
|
punk@1
|
30 ¶Prelude®¶.¶String®¶ -> item_t -> ¶Prelude®¶.¶Action®¶ {-# arg_names = [loc, traceTag, item] #-};
|
|
punk@1
|
31 Trace.traceFull :: ¶Prelude®¶.¶String®¶ ->
|
|
punk@1
|
32 ¶Prelude®¶.¶String®¶ -> item_t -> ¶Prelude®¶.¶Action®¶ {-# arg_names = [loc, traceTag, item] #-}
|
|
punk@1
|
33 };
|
|
punk@1
|
34
|
|
punk@1
|
35 instance Trace Trace.Traceable ¶Prelude®¶.¶String®¶;
|
|
punk@1
|
36
|
|
punk@1
|
37 instance Trace Trace.Traceable (¶Prelude®¶.¶Bit®¶ n);
|
|
punk@1
|
38
|
|
punk@1
|
39 Trace.traceGet :: (Trace.Traceable item_t) =>
|
|
punk@1
|
40 ¶Prelude®¶.¶String®¶ -> ¶Prelude®¶.¶String®¶ -> ¶GetPut®¶.¶Get®¶ item_t -> ¶GetPut®¶.¶Get®¶ item_t;
|
|
punk@1
|
41
|
|
punk@1
|
42 Trace.tracePut :: (Trace.Traceable item_t) =>
|
|
punk@1
|
43 ¶Prelude®¶.¶String®¶ -> ¶Prelude®¶.¶String®¶ -> ¶GetPut®¶.¶Put®¶ item_t -> ¶GetPut®¶.¶Put®¶ item_t;
|
|
punk@1
|
44
|
|
punk@1
|
45 Trace.traceClient :: (Trace.Traceable resp_t, Trace.Traceable req_t) =>
|
|
punk@1
|
46 ¶Prelude®¶.¶String®¶ ->
|
|
punk@1
|
47 ¶Prelude®¶.¶String®¶ ->
|
|
punk@1
|
48 ¶Prelude®¶.¶String®¶ ->
|
|
punk@1
|
49 ¶ClientServer®¶.¶Client®¶ req_t resp_t -> ¶ClientServer®¶.¶Client®¶ req_t resp_t;
|
|
punk@1
|
50
|
|
punk@1
|
51 Trace.traceServer :: (Trace.Traceable resp_t, Trace.Traceable req_t) =>
|
|
punk@1
|
52 ¶Prelude®¶.¶String®¶ ->
|
|
punk@1
|
53 ¶Prelude®¶.¶String®¶ ->
|
|
punk@1
|
54 ¶Prelude®¶.¶String®¶ ->
|
|
punk@1
|
55 ¶ClientServer®¶.¶Server®¶ req_t resp_t -> ¶ClientServer®¶.¶Server®¶ req_t resp_t
|
|
punk@1
|
56 }
|
