select | Combinatorics.Battleship.SetCover |
Ship | |
1 (Type/Class) | Combinatorics.Battleship |
2 (Data Constructor) | Combinatorics.Battleship |
shipArea | Combinatorics.Battleship.Enumeration |
shipBounds | Combinatorics.Battleship.Enumeration |
shipOutline | Combinatorics.Battleship.Enumeration |
shipReserve | Combinatorics.Battleship.SetCover |
shipShape | Combinatorics.Battleship.SetCover |
ShipSize | |
1 (Type/Class) | Combinatorics.Battleship |
2 (Type/Class) | Combinatorics.Battleship.Fleet |
singleton | |
1 (Function) | Combinatorics.Battleship.Fleet |
2 (Function) | Combinatorics.Battleship.Count.CountMap |
Size | |
1 (Type/Class) | Combinatorics.Battleship.Size |
2 (Data Constructor) | Combinatorics.Battleship.Size |
size | |
1 (Function) | Combinatorics.Battleship.Size |
2 (Function) | Combinatorics.Battleship.Count.CountMap |
Size2 | |
1 (Type/Class) | Combinatorics.Battleship.Count.ShortenShip.Distribution |
2 (Data Constructor) | Combinatorics.Battleship.Count.ShortenShip.Distribution |
size2 | Combinatorics.Battleship.Count.ShortenShip.Distribution |
size2FromSizes | Combinatorics.Battleship.Count.ShortenShip.Distribution |
sizeOfWithSize | Combinatorics.Battleship.Count.ShortenShip.Distribution |
standardBoardSize | Combinatorics.Battleship.SetCover |
standardFleet | Combinatorics.Battleship.Enumeration |
standardFleetList | Combinatorics.Battleship.SetCover |
subset | Combinatorics.Battleship.Fleet |
Succ | |
1 (Type/Class) | Combinatorics.Battleship.Size |
2 (Data Constructor) | Combinatorics.Battleship.Size |
sum | Combinatorics.Battleship.Count.Counter |
sumMaps | Combinatorics.Battleship.SetCover |
sumMapsStorable | Combinatorics.Battleship.SetCover |
switch | Combinatorics.Battleship.Size |
symmetric | Combinatorics.Battleship.Count.ShortenShip.Distribution |