Index
acceptP | UnsafeSys |
allButLast | Aux |
allSunk | BoardUntrusted |
Battleship | Ship |
Board | |
1 (Type/Class) | ShotBoard |
2 (Type/Class) | BoardUntrusted |
boardToStrs | |
1 (Function) | ShotBoard |
2 (Function) | BoardUntrusted |
Carrier | Ship |
catchFatal | Sys |
Cell | MatrixUntrusted |
client | Client |
clientLoop | Command |
Complete | Board |
completeToBoard | BoardUntrusted |
completeToLBC | Board |
completeToMatrix | Board |
completeToStrs | BoardUntrusted |
connectToP | UnsafeSys |
const | Matrix |
DCMVar | Sys |
Destroyer | Ship |
doneServer | Command |
DuplicateShip | Board |
empty | |
1 (Function) | Board |
2 (Function) | ShotBoard |
ExitCode | UnsafeSys |
ExitFailure | UnsafeSys |
ExitSuccess | UnsafeSys |
fatal | Sys |
getComplete | Player |
guardAllocP_Check | Sys |
guardAlloc_Check | Sys |
guardWriteP_Check | Sys |
guardWrite_Check | Sys |
Handle | Sys |
hClose | Sys |
hCloseP | Sys |
hGetChar | Sys |
hGetCharP | Sys |
hGetLine | Sys |
hGetLineP | Sys |
Hit | |
1 (Data Constructor) | BoardUntrusted |
2 (Data Constructor) | Player |
hit | ShotBoard |
HitLSR | Board |
Horiz | Board |
HostName | UnsafeSys |
hPutChar | Sys |
hPutCharP | Sys |
hPutStr | Sys |
hPutStrLn | Sys |
hPutStrLnP | Sys |
hPutStrP | Sys |
hSetBuffering | Sys |
hSetBufferingP | Sys |
infoServer | Command |
isComplete | Board |
labelStdinP | UnsafeSys |
labelStdoutP | UnsafeSys |
LB | Board |
LBC | |
1 (Type/Class) | Board |
2 (Data Constructor) | PlayerInterfaceMsg |
lbcToLB | Board |
LC | |
1 (Type/Class) | Board |
2 (Data Constructor) | Board |
3 (Data Constructor) | PlayerInterfaceMsg |
listenOnP | UnsafeSys |
lost | Player |
LSR | Board |
main | Main |
makeOnce | Once |
map | Matrix |
mapInd | Aux |
mapM | Matrix |
mapPos | Matrix |
Matrix | Matrix |
matrixToStr | MatrixUntrusted |
matrixToStrs | MatrixUntrusted |
Membership | Board |
Miss | |
1 (Data Constructor) | BoardUntrusted |
2 (Data Constructor) | Player |
miss | ShotBoard |
MissLSR | Board |
NotPart | Board |
OffBoard | Board |
Once | Once |
opponentShot | Player |
ord | Ship |
Orient | Board |
orientToStr | Board |
OverlapsShip | Board |
pairToPos | Board |
Part | Board |
PatrolBoat | Ship |
PIMsg | PlayerInterfaceMsg |
PIMsgPair | PlayerInterfaceMsg |
piMsgPair | PlayerInterfaceMsg |
place | Board |
PlaceResult | Board |
Placing | Board |
placing | Player |
PlacingHandle | Player |
PlacingSuccess | Board |
placingToComplete | Board |
placingToMatrix | Board |
placingToStrs | BoardUntrusted |
playerInterface | PlayerInterface |
PortID | UnsafeSys |
PortNumber | |
1 (Data Constructor) | UnsafeSys |
2 (Type/Class) | UnsafeSys |
Pos | Board |
posToPair | Board |
posToStr | Board |
privOfPrin | UnsafeSys |
promptServer | Command |
Repeat | |
1 (Data Constructor) | BoardUntrusted |
2 (Data Constructor) | Player |
Resign | PlayerInterfaceMsg |
runOnce | Once |
runProg | UnsafeSys |
Sank | |
1 (Data Constructor) | BoardUntrusted |
2 (Data Constructor) | Player |
sank | ShotBoard |
SankLSR | Board |
sClose | UnsafeSys |
sCloseP | UnsafeSys |
Service | UnsafeSys |
Ship | Ship |
ships | Ship |
shipToLetter | Ship |
shipToStr | Ship |
shoot | |
1 (Function) | BoardUntrusted |
2 (Function) | Player |
ShootingHandle | Player |
ShotResult | |
1 (Type/Class) | BoardUntrusted |
2 (Type/Class) | Player |
size | |
1 (Function) | Ship |
2 (Function) | Board |
Socket | UnsafeSys |
strip | Aux |
strToInteger | Aux |
strToOrient | Board |
strToPos | Board |
sub | |
1 (Function) | Matrix |
2 (Function) | Board |
Submarine | Ship |
toChar | MatrixUntrusted |
tokens | Aux |
transpose | Matrix |
UnixSocket | UnsafeSys |
update | |
1 (Function) | Aux |
2 (Function) | Matrix |
3 (Function) | Board |
valid | Matrix |
Vert | Board |
won | Player |