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.$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)>
Data.MemoTrie.$fHasTrieTuple2: <1C(1,L)><LC(S,L)><L>
Data.MemoTrie.$fHasTrieUnit: <L>
==================== Cpr signatures ====================
Data.MemoTrie.$fHasTrieBool:
Data.MemoTrie.$fHasTrieEither:
Data.MemoTrie.$fHasTrieInteger:
Data.MemoTrie.$fHasTrieList:
Data.MemoTrie.$fHasTrieTuple2:
Data.MemoTrie.$fHasTrieUnit:
==================== Strictness signatures ====================
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)>
Data.MemoTrie.$fHasTrieTuple2: <1C(1,L)><LC(S,L)><L>
Data.MemoTrie.$fHasTrieUnit: <L>
|