Mercurial > pygar

annotate core/sim/bdir_dut/Trace.bi @ 65:cf8bb3038cbd pygar svn.66

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[svn r66] sim passes
author punk
date Tue, 11 May 2010 09:05:22 -0400
parents 91a1f76ddd62
children
rev   line source
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 }