Board

Positions and Orientations

size

data Pos

posToPair

pairToPos

posToStr

strToPos

data Orient

orientToStr

strToOrient

Placing-phase Boards

data Placing

empty

isComplete

data PlaceResult a

place

data Complete

placingToComplete

data Membership

placingToMatrix

completeToMatrix

Labeled Boards

data LSR

data LC

data LB

sub

update

data LBC

completeToLBC

lbcToLB