seqI | Iso |
Set | Huffman |
setGame | SetGames |
showBits | Games |
sHuffGame | Huffman |
shufflePartition | FilterGames |
Single | |
1 (Data Constructor) | Games |
2 (Data Constructor) | PGames |
singleIso | Iso |
sortByGame | SetGames |
Split | |
1 (Data Constructor) | Games |
2 (Data Constructor) | PGames |
split | PGames |
split2 | PGames |
split3 | PGames |
splitIso | Iso |
stream | PGames |
succIso | Iso |
sumGame | BasicGames |
sumI | Iso |
swapProdI | Iso |
swapSumI | Iso |