signature BRegFile where {

 import ¶Counter®¶;

 		 

 import ¶FIFOF_®¶;

 		

 import ¶FIFOF®¶;

 	       

 import ¶FIFO®¶;

 	      

 import ¶Inout®¶;

 	       

 import ¶List®¶;

 	      

 import ¶Clocks®¶;

 		

 import ¶ListN®¶;

 	       

 import ¶PrimArray®¶;

 		   

 import ¶RWire®¶;

 	       

 import ¶RegFile®¶;

 		 

 import ¶Vector®¶;

 		

 import ¶Connectable®¶;

 		     

 import ¶GetPut®¶;

 		

 import ¶ClientServer®¶;

 		      

 import Trace;

 	    

 import ProcTypes;

 		

 interface (BRegFile.BRegFile :: * -> * -> *) index_t data_t = {

     BRegFile.upd :: index_t -> data_t -> ¶Prelude®¶.¶Action®¶ {-# arg_names = [addr, ¡data¡] #-};

     BRegFile.sub :: index_t -> data_t {-# arg_names = [addr] #-}

 };

  

 instance BRegFile (¶Prelude®¶.¶PrimMakeUndefined®¶ data_t) =>

 		  ¶Prelude®¶.¶PrimMakeUndefined®¶ (BRegFile.BRegFile index_t data_t);

 										    

 instance BRegFile ¶Prelude®¶.¶PrimDeepSeqCond®¶ (BRegFile.BRegFile index_t data_t);

 										  

 instance BRegFile ¶Prelude®¶.¶PrimMakeUninitialized®¶ (BRegFile.BRegFile index_t data_t);

 											

 BRegFile.mkBRegFile :: (¶Prelude®¶.¶Bounded®¶ index_t,

 			¶Prelude®¶.¶Eq®¶ index_t,

 			¶Prelude®¶.¶Bits®¶ data_t size_data,

 			¶Prelude®¶.¶Bits®¶ index_t size_index,

 			¶Prelude®¶.¶IsModule®¶ _m__ _c__) =>

 		       _m__ (¶RegFile®¶.¶RegFile®¶ index_t data_t)

 }