1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
==================== Strictness signatures ====================
Data.MemoTrie.$fHasTrie(): <L>
Data.MemoTrie.$fHasTrie(,): <1C(1,L)><LC(S,L)><L>
Data.MemoTrie.$fHasTrieBool: <1!P(L,L)>
Data.MemoTrie.$fHasTrieEither: <1C(1,L)><1C(1,L)><1!P(L,L)>
Data.MemoTrie.$fHasTrieInteger: <1!P(1!P(S,1!P(1!P(S,1L),1!P(S,1L))),1!P(S,1!P(1!P(S,1L),1!P(S,1L))))>b
Data.MemoTrie.$fHasTrieList: <SC(S,L)><1!P(L,L)>
==================== Cpr signatures ====================
Data.MemoTrie.$fHasTrie():
Data.MemoTrie.$fHasTrie(,):
Data.MemoTrie.$fHasTrieBool:
Data.MemoTrie.$fHasTrieEither:
Data.MemoTrie.$fHasTrieInteger:
Data.MemoTrie.$fHasTrieList:
==================== Strictness signatures ====================
Data.MemoTrie.$fHasTrie(): <L>
Data.MemoTrie.$fHasTrie(,): <1C(1,L)><LC(S,L)><L>
Data.MemoTrie.$fHasTrieBool: <1!P(L,L)>
Data.MemoTrie.$fHasTrieEither: <1C(1,L)><1C(1,L)><1!P(L,L)>
Data.MemoTrie.$fHasTrieInteger: <1!P(1!P(B,1!P(1!P(B,1!P(L,L)),1!P(B,1!P(L,L)))),1!P(B,1!P(1!B,1!B)))>b
Data.MemoTrie.$fHasTrieList: <SC(S,L)><1!P(L,L)>
|
