battleship

Index

acceptPUnsafeSys
allButLastAux
allSunkBoardUntrusted
BattleshipShip
Board 
1 (Type/Class)ShotBoard
2 (Type/Class)BoardUntrusted
boardToStrs 
1 (Function)ShotBoard
2 (Function)BoardUntrusted
CarrierShip
catchFatalSys
CellMatrixUntrusted
clientClient
clientLoopCommand
CompleteBoard
completeToBoardBoardUntrusted
completeToLBCBoard
completeToMatrixBoard
completeToStrsBoardUntrusted
connectToPUnsafeSys
constMatrix
DCMVarSys
DestroyerShip
doneServerCommand
DuplicateShipBoard
empty 
1 (Function)Board
2 (Function)ShotBoard
ExitCodeUnsafeSys
ExitFailureUnsafeSys
ExitSuccessUnsafeSys
fatalSys
getCompletePlayer
guardAllocP_CheckSys
guardAlloc_CheckSys
guardWriteP_CheckSys
guardWrite_CheckSys
HandleSys
hCloseSys
hClosePSys
hGetCharSys
hGetCharPSys
hGetLineSys
hGetLinePSys
Hit 
1 (Data Constructor)BoardUntrusted
2 (Data Constructor)Player
hitShotBoard
HitLSRBoard
HorizBoard
HostNameUnsafeSys
hPutCharSys
hPutCharPSys
hPutStrSys
hPutStrLnSys
hPutStrLnPSys
hPutStrPSys
hSetBufferingSys
hSetBufferingPSys
infoServerCommand
isCompleteBoard
labelStdinPUnsafeSys
labelStdoutPUnsafeSys
LBBoard
LBC 
1 (Type/Class)Board
2 (Data Constructor)PlayerInterfaceMsg
lbcToLBBoard
LC 
1 (Type/Class)Board
2 (Data Constructor)Board
3 (Data Constructor)PlayerInterfaceMsg
listenOnPUnsafeSys
lostPlayer
LSRBoard
mainMain
makeOnceOnce
mapMatrix
mapIndAux
mapMMatrix
mapPosMatrix
MatrixMatrix
matrixToStrMatrixUntrusted
matrixToStrsMatrixUntrusted
MembershipBoard
Miss 
1 (Data Constructor)BoardUntrusted
2 (Data Constructor)Player
missShotBoard
MissLSRBoard
NotPartBoard
OffBoardBoard
OnceOnce
opponentShotPlayer
ordShip
OrientBoard
orientToStrBoard
OverlapsShipBoard
pairToPosBoard
PartBoard
PatrolBoatShip
PIMsgPlayerInterfaceMsg
PIMsgPairPlayerInterfaceMsg
piMsgPairPlayerInterfaceMsg
placeBoard
PlaceResultBoard
PlacingBoard
placingPlayer
PlacingHandlePlayer
PlacingSuccessBoard
placingToCompleteBoard
placingToMatrixBoard
placingToStrsBoardUntrusted
playerInterfacePlayerInterface
PortIDUnsafeSys
PortNumber 
1 (Data Constructor)UnsafeSys
2 (Type/Class)UnsafeSys
PosBoard
posToPairBoard
posToStrBoard
privOfPrinUnsafeSys
promptServerCommand
Repeat 
1 (Data Constructor)BoardUntrusted
2 (Data Constructor)Player
ResignPlayerInterfaceMsg
runOnceOnce
runProgUnsafeSys
Sank 
1 (Data Constructor)BoardUntrusted
2 (Data Constructor)Player
sankShotBoard
SankLSRBoard
sCloseUnsafeSys
sClosePUnsafeSys
ServiceUnsafeSys
ShipShip
shipsShip
shipToLetterShip
shipToStrShip
shoot 
1 (Function)BoardUntrusted
2 (Function)Player
ShootingHandlePlayer
ShotResult 
1 (Type/Class)BoardUntrusted
2 (Type/Class)Player
size 
1 (Function)Ship
2 (Function)Board
SocketUnsafeSys
stripAux
strToIntegerAux
strToOrientBoard
strToPosBoard
sub 
1 (Function)Matrix
2 (Function)Board
SubmarineShip
toCharMatrixUntrusted
tokensAux
transposeMatrix
UnixSocketUnsafeSys
update 
1 (Function)Aux
2 (Function)Matrix
3 (Function)Board
validMatrix
VertBoard
wonPlayer