Mercurial > pygar

view 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
line wrap: on
line source
     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 }