comparison core/sim/bdir_dut/SFIFO.bi @ 1:91a1f76ddd62 pygar svn.2

[svn r2] Adding initial lab 5 source
author punk
date Tue, 13 Apr 2010 17:34:33 -0400
parents
children
comparison
equal deleted inserted replaced
0:6d1ff93e3afa 1:91a1f76ddd62
1 signature SFIFO where {
2 import ¶ConfigReg®¶;
3
4 import ¶FIFOF_®¶;
5
6 import ¶FIFOF®¶;
7
8 import ¶FIFO®¶;
9
10 import ¶List®¶;
11
12 import ¶Monad®¶;
13
14 import ¶RWire®¶;
15
16 interface (SFIFO.SFIFO :: * -> * -> *) alpha_T search_T = {
17 SFIFO.enq :: alpha_T -> ¶Prelude®¶.¶Action®¶ {-# arg_names = [x] #-};
18 SFIFO.deq :: ¶Prelude®¶.¶Action®¶ {-# arg_names = [] #-};
19 SFIFO.first :: alpha_T {-# arg_names = [] #-};
20 SFIFO.clear :: ¶Prelude®¶.¶Action®¶ {-# arg_names = [] #-};
21 SFIFO.find :: search_T -> ¶Prelude®¶.¶Bool®¶ {-# arg_names = [x] #-};
22 SFIFO.find2 :: search_T -> ¶Prelude®¶.¶Bool®¶ {-# arg_names = [x] #-}
23 };
24
25 instance SFIFO (¶Prelude®¶.¶PrimMakeUndefined®¶ alpha_T) =>
26 ¶Prelude®¶.¶PrimMakeUndefined®¶ (SFIFO.SFIFO alpha_T search_T);
27
28 instance SFIFO (¶Prelude®¶.¶PrimDeepSeqCond®¶ alpha_T) =>
29 ¶Prelude®¶.¶PrimDeepSeqCond®¶ (SFIFO.SFIFO alpha_T search_T);
30
31 instance SFIFO (¶Prelude®¶.¶PrimMakeUninitialized®¶ alpha_T) =>
32 ¶Prelude®¶.¶PrimMakeUninitialized®¶ (SFIFO.SFIFO alpha_T search_T);
33
34 SFIFO.mkSFIFO :: (¶Prelude®¶.¶Bits®¶ alpha_T asz, ¶Prelude®¶.¶IsModule®¶ _m__ _c__) =>
35 (search_T -> alpha_T -> ¶Prelude®¶.¶Bool®¶) -> _m__ (SFIFO.SFIFO alpha_T search_T);
36
37 SFIFO.mkSFIFO1 :: (¶Prelude®¶.¶Eq®¶ alpha_T,
38 ¶Prelude®¶.¶Bits®¶ alpha_T asz,
39 ¶Prelude®¶.¶IsModule®¶ _m__ _c__) =>
40 (search_T -> alpha_T -> ¶Prelude®¶.¶Bool®¶) -> _m__ (SFIFO.SFIFO alpha_T search_T);
41
42 SFIFO.mkSizedSFIFOInternal :: (¶Prelude®¶.¶Bits®¶ alpha_T alpha_SZ,
43 ¶Prelude®¶.¶IsModule®¶ _m__ _c__) =>
44 ¶Prelude®¶.¶Integer®¶ ->
45 (search_T -> alpha_T -> ¶Prelude®¶.¶Bool®¶) ->
46 (search_T -> alpha_T -> ¶Prelude®¶.¶Bool®¶) -> _m__ (SFIFO.SFIFO alpha_T search_T);
47
48 SFIFO.mkSizedSFIFO :: (¶Prelude®¶.¶Bits®¶ alpha_T asz, ¶Prelude®¶.¶IsModule®¶ _m__ _c__) =>
49 ¶Prelude®¶.¶Integer®¶ ->
50 (search_T -> alpha_T -> ¶Prelude®¶.¶Bool®¶) -> _m__ (SFIFO.SFIFO alpha_T search_T)
51 }